Projects per year
- 1 - 50 out of 120 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
-
-
-
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
-
Constraint Network Tractability: Beyond Structure and Language
Eng & Phys Sci Res Council EPSRC
31/05/14 → 30/05/17
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
-
-
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
-
Verification and correctness of service-oriented systems
Eng & Phys Sci Res Council EPSRC
1/10/12 → 31/12/12
Project: Research
-
-
Semantic Completions: Unifying the wave and the Particle Views of Information
Pavlovic, D., Fiadeiro, J. L. & Vovk, V.
1/04/14 → 31/03/17
Project: Research
-
Parameterized problems on directed graphs
Eng & Phys Sci Res Council EPSRC
1/09/07 → 31/08/10
Project: Research
-
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research
-
-
The risk of unknowingly disclosing personal information through eye tracking and webcam technology
Durant, S., Woods, C., Watling, D. & Luo, Z.
9/10/17 → 8/10/20
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