Projects per year
- 1 - 50 out of 124 results
Search results
-
Other
Visiting Proferssorship_Professor Fabio Fagnani
Bernardini, S. & Fagnani, F.
25/11/19 → 26/07/20
Project: 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)
1/11/19 → 1/03/21
Project: Other
-
Research
-
3D Modelling of Agent-Based Web-Services for E-Retailing Project
26/03/07 → 26/09/07
Project: Research
-
Development of New Conformal Predition Methods with Applications in Medical Diagnosis
28/12/06 → 27/12/09
Project: Research
-
-
One-One Meeting with Prof M Henning (South Africa): Total domination in graphs and transversals in hypergraphs
Yeo, A.
1/07/09 → 31/07/09
Project: Research
-
Classical Dependant Type Theories
Adams, R.
Eng & Phys Sci Res Council EPSRC
1/03/12 → 30/09/13
Project: Research
-
Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture
28/11/11 → 27/05/12
Project: Research
-
Epigram II: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/08/05
Project: Research
-
-
-
Groebner Basis Techniques for Constraint Satisfaction Problems
Cohen, D. & Jeavons, P.
30/03/06 → 30/03/09
Project: Research
-
Tamas Nepusz: Overlapping community detection methods for biological applications
2/02/09 → 1/02/11
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
-
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
-
-
-
1851 Research Fellowship
Royal Commission of the Exhibition of 1851
1/09/22 → 31/12/23
Project: Research
-
-
-
Parameterized problems on directed graphs
Eng & Phys Sci Res Council EPSRC
1/09/07 → 31/08/10
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
-
Reverse Mathematics in Dependent Type Theory
Adams, R.
Eng & Phys Sci Res Council EPSRC
16/10/06 → 15/09/09
Project: Research
-
DataSim: A Machine Learning-powered simulation tool for rail timetable optimisation
2/10/23 → 1/10/24
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
-
MIMRee: Robotics and AI: inspect, maintain and repair in extreme environments
1/03/19 → 28/02/21
Project: Research
-
Exascale Compound Activity Prediction Engine
Gammerman, A., Vovk, V. & Luo, Z.
1/09/15 → 31/08/18
Project: Research
-
Constraint Network Tractability: Beyond Structure and Language
Eng & Phys Sci Res Council EPSRC
31/05/14 → 30/05/17
Project: Research
-
-
-
PCP: Practical Competitive Prediction
Vovk, V., Gammerman, A., Kalnishkan, Y., Chernov, A. & Zhdanov, F.
Eng & Phys Sci Res Council EPSRC
10/10/07 → 22/11/10
Project: Research
-
NAfANE: New Approaches for Approximate Nash Equilibria
Eng & Phys Sci Res Council EPSRC
1/01/24 → 31/12/26
Project: Research
-
COMMODITY12: COntinuous Multi-parametric and Multi-layered analysis Of DIabetes TYpe 1 & 2
1/10/11 → 30/06/14
Project: Research
-
Machine learning for resource management in next-generation optical networks
Eng & Phys Sci Res Council EPSRC
1/10/06 → 30/09/09
Project: Research
-
Polytope methods in parameterized complexity
Eng & Phys Sci Res Council EPSRC
1/12/16 → 31/12/17
Project: Research
-
Development of novel method for prediction of plant Pol 11 promoters
Solovyev, V.
1/02/10 → 7/03/10
Project: Research
-
-
Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds
Gutin, G. & Yeo, A.
1/12/10 → 30/11/12
Project: Research
-
Machine learning for resource management in next-generation optical networks
1/10/06 → 30/09/09
Project: Research
-
An open proof checker based on type theory
Eng & Phys Sci Res Council EPSRC
1/08/99 → 31/12/02
Project: Research
-