- Other
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): £174,227
1/11/19 → 1/03/21
Project: Other
Probabilistic Combinatorics: Marking Colin McDiarmid's Retirement
London Mathematical Society: £6,000
9/04/16 → 10/04/16
Project: Other
Visiting Proferssorship_Professor Fabio Fagnani
Bernardini, S. & Fagnani, F.
Leverhulme Trust: £27,600
25/11/19 → 26/07/20
Project: Other
- Research
2iC Run Time technical prototype including Service Registery
South East England Development Agency: £12,000
12/04/11 → 11/07/11
Project: Research
3D Modelling of Agent-Based Web-Services for E-Retailing Project
London Development Agency: £8,000
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
A GPU-based high performance system for discovering consensus domain architecture and functional annotation of protein families
Biotechnology&BioSci Research BBSRC: £114,257
1/07/12 → 30/09/13
Project: Research
PROMETHEUS: A Reconfigurable Robotic Platform (s) With Advanced Sensing For Confined Spaces
Innovate UK: £219,999
1/04/19 → 31/03/21
Project: Research
ABI innovation: A Graph based Approach for the Genome Wide Prediction of Conditionally Essential Genes
National Science Foundation (NSF): £13,078, National Science Foundation: £13,169, National Science Foundation (NSF): £13,664
15/09/17 → 14/09/20
Project: Research
An open proof checker based on type theory
Eng & Phys Sci Res Council EPSRC: £268,000
1/08/99 → 31/12/02
Project: Research
Analyzing Security-aware Workflows (funded by Leverhulme Trust)
Gutin, G., Crampton, J. & Cohen, D.
1/01/19 → 31/12/21
Project: Research
Application of conformal predictors to functional magnetic resonance imaging research
Medical Research Council MRC: £85,581
15/04/09 → 14/04/10
Project: Research
Argumentation as a foundation for the semantic grid
European Union: £200,310
1/06/06 → 31/05/09
Project: Research
Attention guidance for multi-task displays using human-like cognitive assistants
Imperial College London: £17,150
17/03/20 → 30/09/20
Project: Research
Autonomous Intelligent Systems
Eng & Phys Sci Res Council EPSRC: £8,534
1/09/15 → 28/02/16
Project: Research
Bilateral NSF/BIO-BBSRC - Translational landscape to link cell growth with proliferation in the root meristem
Biotechnology&BioSci Research BBSRC: £583,852
1/07/15 → 30/06/18
Project: Research
Classical Dependant Type Theories
Eng & Phys Sci Res Council EPSRC: £98,545
1/03/12 → 30/09/13
Project: Research
Cognitive Learning: language, movement and vision
European Union: £1,592
1/01/06 → 30/09/06
Project: Research
Cognitive Science and Machine Learning Approaches to Computational Linguistics
European Union: £5,640
1/01/06 → 30/09/06
Project: Research
Composing Learning for Artificial Cognitive Systems
European Union: £266,427
1/03/11 → 28/02/15
Project: Research
Connect-R: Providing Structure in Unstructured Extreme Environments
Innovate UK: £477,000
1/01/19 → 31/12/20
Project: Research
Constraint Network Tractability: Beyond Structure and Language
Eng & Phys Sci Res Council EPSRC: £78,598
31/05/14 → 30/05/17
Project: Research
COMMODITY12: COntinuous Multi-parametric and Multi-layered analysis Of DIabetes TYpe 1 & 2
European Commission: £342,831
1/10/11 → 30/06/14
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 and application of Machine Learning Algorithms for the Analysis of Complex Vetinary Data Sets
Veterinary Laboratories Agency: £84,425
10/10/07 → 9/10/10
Project: Research
Development of a graph-theoretic approach to predict protein function by integrating large scale heterogeneous data
Biotechnology&BioSci Research BBSRC: £421,635
1/06/08 → 31/05/11
Project: Research
Development of automated methods for helping detection of anomalous behaviour
Thales: £45,000
1/10/12 → 30/09/15
Project: Research
Development of New Conformal Predition Methods with Applications in Medical Diagnosis
Cyprus Government: £30,770
28/12/06 → 27/12/09
Project: Research
Development of New Venn Prediction Methods for Osteoporosis Risk Assessment
Research Promotion Foundation of Cyprus: £28,215
1/09/11 → 31/08/13
Project: Research
Development of novel method for prediction of plant Pol 11 promoters
Royal Society: £3,000
1/02/10 → 7/03/10
Project: Research
Epigram I: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC: £199,000
1/12/01 → 30/09/04
Project: Research
Epigram II: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC: £50,483
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: £3,454,896
1/10/16 → 31/03/23
Project: Research
EU Thematic Network TYPES: Computer-assisted reasoning based on type theory
European Union: £107,000
1/09/04 → 30/04/08
Project: Research
Exascale Compound Activity Prediction Engine
Gammerman, A., Vovk, V. & Luo, Z.
European Union: £278,383
1/09/15 → 31/08/18
Project: Research
Explosive trace detection with an odour capture hybrid sensor system
Royal Society: £10,000
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
HoTT-based Computer-Assisted Reasoning
Royal Academy of Engineering: £10,000
1/07/14 → 30/06/15
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
Inference of RBR network and dynamic RBR complexes during leaf development
Paccanaro, A., Bogre, L. & Horvath, B.
European Commission: £255,440
1/03/13 → 28/02/15
Project: Research
Intelligent Agent Technology for Service Grids - I
Stathis, K. & Dean, J.
Unknown: £36,000
1/07/09 → 28/02/10
Project: Research
Intelligent Agent Technology for Service Grids - II
Stathis, K. & Dean, J.
Unknown: £15,000
1/05/10 → 31/12/10
Project: Research
International conference on discrete mathematics 2008
Royal Society: £1,260
6/05/08 → 12/05/08
Project: Research