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, Dr E |
81,904
|
Applied Off-site and On-site Collective Multi-Robot Autonomous Building Manufacturing | Stuart-Smith, Mr R |
1,201,254
|
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
|
Enabling Clinical Decisions From Low-power MRI In Developing Nations Through Image Quality Transfer | Alexander, Professor D |
1,035,545
|
EPSRC Centre for Doctoral Training in Cybersecurity | Pym, Professor D |
5,734,203
|
EPSRC CENTRE for DOCTORAL TRAINING in Financial Computing & Analytics (covering Computational finance, Financial ICT, Regulation, Retail) | Treleaven, Professor P |
4,166,368
|
Graphics Pipelines for Next Generation Mixed Reality Systems | Steed, Professor A |
835,711
|
Interface reasoning for interacting systems (IRIS). | Pym, Professor D |
6,146,075
|
Learning MRI and histology image mappings for cancer diagnosis and prognosis | Alexander, Professor D |
774,254
|
Medical image computing for next-generation healthcare technology | Alexander, Professor D |
1,472,259
|
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
|
Reputation, Trust, and Privacy in the Sharing Economy: A Network Science Approach | Livan, Dr G |
807,635
|
Research Institute in Science of Cyber Security (RISCS) Phase 2 | Carr, Professor M |
848,945
|
Robotic Assisted Imaging | Stoyanov, Professor D |
1,239,250
|
Semantic Information Pursuit for Multimodal Data Analysis | Shawe-Taylor, Professor JS |
1,230,961
|
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,443,206
|
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
|