| 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
|