чиста математика

AbQuantumSpec · Abelianisation of Connections, Quantum Curves, and Spectral Clusters

LOGEO · Curve Counting and Log Geometry

2 партньори · 2 държави

CHROMA · Mobilization of chromium by organic matter in reduced systems

SoftNum · Software-Defined Number Formats: Bridging the Gap between Performance, Accuracy, and Security

NeuralFieldTheoriES · Towards a neural field theory for spiking neuron networks with electrical synapses

DQC · Diagrammatic Quantum Computation

DESIQM · Designer superconductivity in interacting quantum metamaterials

IDeCAST · Innovative design and control methodologies for large scale solar tracker

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

Coqaml · Verified Extraction from Coq to OCaml with GADTs

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 партньори

KPZcomb · The combinatorics of KPZ at positive temperature

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

GraCerLit · Development of Functionally Graded Ceramics by Lithography-based Ceramic Manufacturing (LCM)