Opendata, web and dolomites
H2020 projects about "equivalence"
The page lists 26 projects related to the topic "equivalence".
| # | |||
|---|---|---|---|
| 1 | GAN | Groups, Actions and von Neumann algebras | 2015 |
| 2 | NewNGR | New frontiers in numerical general relativity | 2015 |
| 3 | Walgo | What is an Algorithm? Extensional and Intensional Equivalences between Programs | 2015 |
| 4 | BRAINSTRUCT | Building up a brain: understanding how neural stem cell fate and regulation controls nervous tissue architecture | 2015 |
| 5 | SM-GRAV | Gravity, Holography and The Standard Model | 2016 |
| 6 | BroadSem | Induction of Broad-Coverage Semantic Parsers | 2016 |
| 7 | MAINTRAC-Auto | MAINTRAC-Auto: Automatization and validation of a liquid biopsy assay “Maintrac-AUTO CTC-analyser” for predictive real time monitoring and success control of solid tumor cancer therapy | 2016 |
| 8 | UniCoSM | Universality in Condensed Matter and Statistical Mechanics | 2017 |
| 9 | QUANTIVIOL | Quantifying Quantum Gravity Violations of Causality and the Equivalence Principle | 2017 |
| 10 | BTMG | Birational and Tropical Methods in Geometry | 2018 |
| 11 | ANGRAM | Antimatter gravity measurement: How does antihydrogen fall? | 2017 |
| 12 | QUESCA | Quantum Enhanced Sensing with Cold Atoms | 2017 |
| 13 | CORNET | Provably Correct Networks | 2018 |
| 14 | BIF-SCV | Bifurcations in Several Complex Variables | 2018 |
| 15 | CARBS | Compositional Approximate Reasoning via Bialgebraic Semantics | 2019 |
| 16 | TICTOCGRAV | Exploring Gravity with Ultracold Cadmium and Strontium Optical Clocks and Bragg Interferometers | 2018 |
| 17 | ROBINS | Robotics Technology for Inspection of Ships | 2018 |
| 18 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 |
| 19 | QualiChain | Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation | 2019 |
| 20 | DIAPASoN | Differential Program Semantics | 2019 |
| 21 | IGOC | Interactions between Groups, Orbits, and Cartans | 2019 |
| 22 | FunI | Revealing Fundamental Interactions and their Symmetries at the highest Precision and the lowest Energies | 2019 |
| 23 | MODSTABVAR | Moduli spaces of stable varieties and applications | 2020 |
| 24 | HMS | Homological mirror symmetry, Hodge theory, and symplectic topology | 2020 |
| 25 | DIPVAR | Digital Platforms: Pricing, Variety and Quality Provision | 2020 |
| 26 | DC-ren | Drug combinations for rewriting trajectories of renal pathologies in type II diabetes (DC-ren) | 2020 |