Projects per year
- 1 - 50 out of 124 results
Search results
-
1851 Research Fellowship
Royal Commission of the Exhibition of 1851
1/09/22 → 31/12/23
Project: Research
-
2iC Run Time technical prototype including Service Registery
South East England Development Agency
12/04/11 → 11/07/11
Project: Research
-
3D Modelling of Agent-Based Web-Services for E-Retailing Project
26/03/07 → 26/09/07
Project: Research
-
cTQM: A cloud based tool for testing the quality of micro-array data in H. sapiens.
Shanahan, H. & Harrison, A.
8/06/11 → 9/06/11
Project: Research
-
Analyzing Security-aware Workflows (funded by Leverhulme Trust)
Gutin, G., Crampton, J. & Cohen, D.
1/01/19 → 31/12/21
Project: Research
-
An investigation into the use of artificial intelligence in regulatory decision making in complaints about nurses in the US, UK and Australia
Jago, R., van der Gaag, A., Stathis, K., Denney, D. & Webster, M.
National Council of State Boards of Nursing (NCSBN)
1/11/19 → 1/03/21
Project: Other
-
An open proof checker based on type theory
Eng & Phys Sci Res Council EPSRC
1/08/99 → 31/12/02
Project: Research
-
Application of conformal predictors to functional magnetic resonance imaging research
15/04/09 → 14/04/10
Project: Research
-
PROMETHEUS: A Reconfigurable Robotic Platform (s) With Advanced Sensing For Confined Spaces
1/04/19 → 31/03/21
Project: Research
-
-
Attention guidance for multi-task displays using human-like cognitive assistants
17/03/20 → 30/09/20
Project: Research
-
-
-
Classical Dependant Type Theories
Adams, R.
Eng & Phys Sci Res Council EPSRC
1/03/12 → 30/09/13
Project: Research
-
-
Cognitive Science and Machine Learning Approaches to Computational Linguistics
Clark, A.
1/01/06 → 30/09/06
Project: Research
-
-
-
Connect-R: Providing Structure in Unstructured Extreme Environments
1/01/19 → 31/12/20
Project: Research
-
Consensus-layer mitigations for validator ransomware attacks
O'Keeffe, D. & Hurley-Smith, D.
1/10/22 → 31/03/23
Project: Research
-
Constraint Network Tractability: Beyond Structure and Language
Eng & Phys Sci Res Council EPSRC
31/05/14 → 30/05/17
Project: Research
-
COMMODITY12: COntinuous Multi-parametric and Multi-layered analysis Of DIabetes TYpe 1 & 2
1/10/11 → 30/06/14
Project: Research
-
DataSim: A Machine Learning-powered simulation tool for rail timetable optimisation
2/10/23 → 1/10/24
Project: Research
-
-
Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina
Engelmann, S., Kuenzel, S., Tisan, A., Fisher, R., Lowry, D., Nisbet-Jones, P., Adey, P., Clemitshaw, K., France, J. & Johnstone, A.
1/04/20 → 31/07/21
Project: Research
-
Development of automated methods for helping detection of anomalous behaviour
1/10/12 → 30/09/15
Project: Research
-
Development of New Conformal Predition Methods with Applications in Medical Diagnosis
28/12/06 → 27/12/09
Project: Research
-
Development of New Venn Prediction Methods for Osteoporosis Risk Assessment
Research Promotion Foundation of Cyprus
1/09/11 → 31/08/13
Project: Research
-
Development of novel method for prediction of plant Pol 11 promoters
Solovyev, V.
1/02/10 → 7/03/10
Project: Research
-
Efficient Automatic Security Testing for Dynamic Languages
Kinder, J.
1/08/17 → 31/03/18
Project: Research
-
Epigram I: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC
1/12/01 → 30/09/04
Project: Research
-
Epigram II: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/08/05
Project: Research
-
EPSRC CDT2
Cid, C., Paterson, K., Mayes, K., Martin, K. M., Kinder, J. & Adey, P.
Eng & Phys Sci Res Council EPSRC
1/10/16 → 31/03/23
Project: Research
-
EU Thematic Network TYPES: Computer-assisted reasoning based on type theory
1/09/04 → 30/04/08
Project: Research
-
Exascale Compound Activity Prediction Engine
Gammerman, A., Vovk, V. & Luo, Z.
1/09/15 → 31/08/18
Project: Research
-
Explosive trace detection with an odour capture hybrid sensor system
1/04/09 → 31/03/11
Project: Research
-
COMMODITY12: Extension of COntinuous Multi-parametric and Multi-layered Analysis Of DIabetes TYpe 1 & 2
1/03/14 → 1/09/15
Project: Research
-
Groebner Basis Techniques for Constraint Satisfaction Problems
Cohen, D. & Jeavons, P.
30/03/06 → 30/03/09
Project: Research
-
-
Impact of the large scale roll-out of smart meters on freedom of choice and privacy
Zhang, X., Kuenzel, S., Córdoba-Pachón, J. & Watkins, C.
1/01/18 → 31/12/21
Project: Research
-
Improving Long COVID patient recovery through voice-based AI symptom tracking and personalised rehabilitation
1/10/22 → 30/09/23
Project: Research
-
Inference of RBR network and dynamic RBR complexes during leaf development
Paccanaro, A., Bogre, L. & Horvath, B.
1/03/13 → 28/02/15
Project: Research
-
-
Intelligent Agent Technology for Service Grids - I
Stathis, K. & Dean, J.
1/07/09 → 28/02/10
Project: Research
-
Intelligent Agent Technology for Service Grids - II
Stathis, K. & Dean, J.
1/05/10 → 31/12/10
Project: Research