The page lists 45 projects related to the topic "mathematically".
# | |||
---|---|---|---|
1 | DIMR | Data Intensive Modelling of the Rhizosphere Processes | 2015 |
2 | UQMSI | Uncertainty Quantification and Modern Statistical Inference | 2015 |
3 | Walgo | What is an Algorithm? Extensional and Intensional Equivalences between Programs | 2015 |
4 | FOREMOTIONS | Formal Frameworks for Modal Notions Conceived as Predicates | 2016 |
5 | STAR | An Extended Local Scattering Theory for Acoustic-radiation and Receptivity of Trailing-edge Flows | 2016 |
6 | AEROFLEX | AEROelastic instabilities and control of FLEXible Structures | 2015 |
7 | Virtual Optics | Virtual Optics - A software revolution in the optical industry | 2015 |
8 | QINTERNET | Quantum communication networks | 2016 |
9 | AQUAMS | Analysis of quantum many-body systems | 2016 |
10 | Fox-IT | Fitting-to-Outcome eXpert for semi-automated cochlear implant fine-tuning | 2016 |
11 | HyLEF | Hydrodynamic Limits and Equilibrium Fluctuations: universality from stochastic systems | 2016 |
12 | NORIA | Numerical Optimal tRansport for ImAging | 2017 |
13 | MACOLAB | Towards a mathematical conjecture for the Landau-Ginzburg/conformal field theory correspondence and beyond | 2017 |
14 | SILICON | Self-Injection-Locked Integrated Analog-to-Digital Converter | 2017 |
15 | BEHAVE | New discrete choice theory for understanding moral decision making behaviour | 2017 |
16 | OpTiCA | Optimisation of Tidal energy Converter Arrays | 2017 |
17 | COEXIST | Coexistence on the boundary of chaos | 2017 |
18 | QuEST | Quantum Energy Conditions and Singularity Theorems | 2017 |
19 | QFPROBA | Quantum Fields and Probability | 2017 |
20 | DYNAMINT | Dynamics of Probed, Pulsed, Quenched and Driven Integrable Quantum Systems | 2017 |
21 | ACFD | Acoustical and Canonical Fluid Dynamics in numerical general relativity | 2017 |
22 | iHEART | An Integrated Heart Model for the simulation of the cardiac function | 2017 |
23 | AXION | Axions: From Heaven to Earth | 2017 |
24 | JOINTIME | Connecting Bronze Age Europe: High-precision Radiocarbon Dating 1700-1500 BCE | 2018 |
25 | ParAdapt | Theoretical and empirical approaches to understanding Parallel Adaptation | 2018 |
26 | ELVER | Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems | 2018 |
27 | ELIoT Pro | KEEPING YOUR CONNECTED SMART DEVICES PROTECTED AGAINST HACKERS AND CYBER ATTACKS | 2018 |
28 | MaMBoQ | Macroscopic Behavior of Many-Body Quantum Systems | 2019 |
29 | Active-DNA | Computationally Active DNA Nanostructures | 2018 |
30 | REWOCRYPT | Theoretically-Sound Real-World Cryptography | 2019 |
31 | GrowBot | Towards a new generation of plant-inspired growing artefacts | 2019 |
32 | CriticalMaaS | Concepts, theories and models for planning , operating and evaluating the dynamics of Mobility as a Service | 2019 |
33 | COMPLEXDYNAMICS-PHIM | On the Origin of Complex Dynamics in Multi-strain Models: Insights for Public Health Intervention Measures | 2019 |
34 | CUREX | seCUre and pRivate hEalth data eXchange | 2018 |
35 | Emergence | Emergence of wild differentiable dynamical systems | 2019 |
36 | EMC2 | Extreme-scale Mathematically-based Computational Chemistry | 2019 |
37 | DYNASNET | Dynamics and Structure of Networks | 2019 |
38 | anti-CRISPR | Selection and evolution of phage-encoded anti-CRISPR genes | 2019 |
39 | PaTreME | Partioning Tree Methane Emissions | 2020 |
40 | techFRONT | Novel techniques for quantitative behaviour of convection-diffusion equations | 2020 |
41 | SPECMON | The spectrum of infinite monster groups | 2020 |
42 | 3DConfigurator | Fully-automated software platform with 3D freeform configurator for design and production of individual and affordable furniture | 2019 |
43 | SMIC | Formal Models of Social Meaning and Identity Construction through Language | 2020 |
44 | AgingTimer | Systems biology of the individual stochastic timer of aging | 2020 |
45 | MATBFOB | MAThematical modelling of Biofilm FOrmation on Biomaterials | 2020 |