- 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