Opendata, web and dolomites
H2020 projects about "mathematicians"
The page lists 34 projects related to the topic "mathematicians".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | corr-DFT | Improving the accuracy and reliability of electronic structure calculations: New exchange-correlation functionals from a rigorous expansion at infinite coupling strength | 2015 |
| 3 | ARCADES | Algebraic Representations in Computer-Aided Design for complEx Shapes | 2016 |
| 4 | ArchSci2020 | Archaeology on the Edge: Northern Europe and the Circumpolar World | 2016 |
| 5 | OpenDreamKit | Open Digital Research Environment Toolkit for the Advancement of Mathematics | 2015 |
| 6 | ANT | Automata in Number Theory | 2015 |
| 7 | SOFT-TISSUES | Mathematical modelling of soft tissues | 2017 |
| 8 | HOLOGRAM | Holomorphic Dynamics connecting Geometry, Root-Finding, Algebra, and the Mandelbrot set | 2016 |
| 9 | REGPROP | Regularity properties, definability and combinatorics on the real line. | 2017 |
| 10 | CONCOM | Control Over Noisy Communication Media | 2016 |
| 11 | FoodSmartphone | Smartphone analyzers for on-site testing of food quality and safety | 2017 |
| 12 | UTOPIAE | Uncertainty Treatment and OPtimisation In Aerospace Engineering | 2017 |
| 13 | SMART | Strong Modular proof Assistance: Reasoning across Theories | 2017 |
| 14 | TraX | Stability and Transitions in Physical Processes | 2017 |
| 15 | FRAMED | Fracture Across Scales and Materials, Processes and Disciplines | 2017 |
| 16 | GeoBrown | Brownian geometry: at the interface between probability theory, combinatorics and mathematical physics. | 2017 |
| 17 | CAT-FFLAP | Catastrophic Failure in Flexural Lattice Problems | 2017 |
| 18 | ALEXANDRIA | Large-Scale Formal Proof for the Working Mathematician | 2017 |
| 19 | MathInParis | International Doctoral Training in Mathematical Sciences in Paris | 2017 |
| 20 | CSG | C° symplectic geometry | 2017 |
| 21 | GOTaM Cities | GOTaM Cities - Geography Of Talents in Metropolitan Cities | 2019 |
| 22 | BIGMATH | Big Data Challenges for Mathematics | 2018 |
| 23 | AMR-TB | Theoretical and computational investigation of tuberculosis antimicrobial resistance development based on extensive experimental library of mycobacterium strains | 2019 |
| 24 | BIOMASS-CCU | Biomass gasification with negative carbon emission through innovative CO2 capture and utilisation and integration with energy storage | 2019 |
| 25 | UNISCAMP | The unity of scattering amplitudes: gauge theory, gravity, strings and number theory | 2019 |
| 26 | FatiguEvoPro | Quasistatic evolution problems for material failure due to fatigue | 2019 |
| 27 | LYP-RIG | Lyapunov exponents and rigidity phenomena in dynamical systems and mathematical physics | 2019 |
| 28 | PredAlgoBC | Machine learning prediction for breast cancer therapy | 2019 |
| 29 | THREAD | Joint Training on Numerical Modelling of Highly Flexible Structures for Industrial Applications | 2019 |
| 30 | GW4SHM | Guided Waves for Structural Health Monitoring | 2020 |
| 31 | HyperK | Modern Aspects of Geometry: Categories, Cycles and Cohomology of Hyperkähler Varieties | 2020 |
| 32 | SingStocDispDyn | Singular Stochastic Dispersive Dynamics | 2020 |
| 33 | ZENITH | ZEbrafish Neuroscience Interdisciplinary Training Hub | 2019 |
| 34 | MotivicCircleMethod | A motivic circle method | 2020 |