Opendata, web and dolomites

H2020 projects about "equivalence"

The page lists 26 projects related to the topic "equivalence".

# achronym  title  year 
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