Projects per year
- 1 - 50 out of 124 results
Search results
-
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
-
-
-
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
-
Constraint Network Tractability: Beyond Structure and Language
Eng & Phys Sci Res Council EPSRC
31/05/14 → 30/05/17
Project: Research
-
-
-
NAfANE: New Approaches for Approximate Nash Equilibria
Eng & Phys Sci Res Council EPSRC
1/01/24 → 31/12/26
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
-
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
-
Reverse Mathematics in Dependent Type Theory
Adams, R.
Eng & Phys Sci Res Council EPSRC
16/10/06 → 15/09/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
-
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
-
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
-
-
-