mathematics

AI2AM · Artificial Intelligence driven topology optimisation of Additively Manufactured Composite Components

DynaT · Dynamics of thought and thought disorders

Coqaml · Verified Extraction from Coq to OCaml with GADTs

BENGUP · Climate and marine-ecosystem predictions in the Angola-Benguela Upwelling System

NANODENDRITE · Nanoscale dendrite formation and mitigation in high-energy density metal anodes

G4Redox · ‘Development of hypoxia-activated quadruplex DNA binders as potential cancer therapeutics’

DesignerCells · Building a causal regulatory network of mesenchymal cells using targeted programming experiments

ClaVa · Clausal forms for Vague information processing

LDTSing · Low Dimensional Topology and Singularity Theory

PORT-BICPD · Power Converters with Best In-Class Power Density

2 partners

KPZcomb · The combinatorics of KPZ at positive temperature

Dynamic CER · Dynamic Comparative Effectiveness Research for health care interventions

MGFR · The (missing) fingerprints of Martian large-scale glaciations

EpiEcoEvo · The role of temperature and transmission route on parasite epidemiological, ecological and evolutionary dynamics

newDFT · Transforming applicability of density functional theory simulations

SuPerMan · Structure Preserving schemes for Conservation Laws on Space Time Manifolds

DESIRE · DESign of enzyme-InspiREd multivalent catalysts through functional patterning of nanosystems

NONLOCQUANT · Nonlocality in quantum groups

QUILCON · Quillen's Conjecture

CanMetCplxGeom · Finding canonical metrics in complex differential geometry

HEASeRS · High-temperature angular-selective radiant surfaces for the de-carbonisation of energy intensive industries.

Tropical · Tropical methods in MAthematics and Computer Science

THOR · Towards Higher Levels of Autonomy and Robustness in Space Operations through Uncertainty Management and Quantification

2 partners · 2 countries

Yeast H2S Signalling · Quantitatively deciphering a novel metabolic pathway triggered by sulfide gas