A coalgebraic framework for reductive logic and proof-search (ReLiC) | Pym, Professor D |
974,936
|
Academic Centre of Excellence in Cyber Security Research - University College London | De Cristofaro, Professor E |
81,904
|
Assessing Placental Structure and Function by Unified Fluid Mechanical Modelling and in-vivo MRI | Alexander, Professor D |
1,124,022
|
Automated Software Specialisation Using Genetic Improvement | Petke, Dr J |
891,505
|
Bio-Robots: Crawl, Jump, and Slither! | YASIN, Dr I |
200,339
|
Engaging Users in Smell Self-Care at Home | Obrist, Professor M |
403,075
|
EPSRC Centre for Doctoral Training in Cybersecurity | Pym, Professor D |
5,771,944
|
EPSRC CENTRE for DOCTORAL TRAINING in Financial Computing & Analytics (covering Computational finance, Financial ICT, Regulation, Retail) | Treleaven, Professor P |
4,168,786
|
Graphics Pipelines for Next Generation Mixed Reality Systems | Steed, Professor A |
835,711
|
Inclusive Public Activities for information and Communication Technologies (IPACT) | Holloway, Professor C |
201,106
|
Interface reasoning for interacting systems (IRIS). | Pym, Professor D |
6,146,075
|
Nominal String Diagrams | Zanasi, Dr F |
429,666
|
Non-invasive MRI Biomarkers for Oncology | Panagiotaki, Dr E |
992,539
|
Prosperity Partnership in Quantum Software for Modeling and Simulation | Morton, Professor JJL |
1,902,859
|
REALISING THE POTENTIAL OF OPEN MRI FOR DYNAMIC STUDIES OF HUMAN ANATOMY AND FUNCTION | Parker, Professor GJM |
56,160
|
Resources and co-resources: a junction between semantics and descriptive complexity | Abramsky, Professor S |
195,571
|
Resources in Computation | Abramsky, Professor S |
1,792,395
|
Robotic Assisted Imaging | Stoyanov, Professor D |
1,239,250
|
Semantic Information Pursuit for Multimodal Data Analysis | Shawe-Taylor, Professor JS |
1,230,961
|
Stochastic Gradient Descent in Banach Spaces | Kereta, Dr Z |
348,066
|
Stochastic iterative regularization: theory, algorithms and applications | Jin, Professor B |
385,265
|
Swarm Social Sound Modulators | Subramanian, Professor S |
816,581
|
Task Based Information Retrieval | Yilmaz, Professor E |
836,632
|
Transformative Innovation in the Delivery of Assisted Living products and services (TIDAL) | Holloway, Professor C |
948,972
|
UKRI AI Centre for Doctoral Training in Foundational Artificial Intelligence | Barber, Professor D |
6,483,356
|
UKRI-India Future Networks Initiative | Hailes, Professor S |
37,902
|
Verification of Hardware Concurrency via Model Learning (CLeVer) | Silva, Professor A |
692,958
|
Water exchange in the vasculature of the brain (WEX-BRAIN) | Parker, Professor GJM |
800,509
|