Opendata, web and dolomites

H2020 projects about "mathematicians"

The page lists 34 projects related to the topic "mathematicians".

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