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
-
-
-
Parameterized problems on directed graphs
Eng & Phys Sci Res Council EPSRC
1/09/07 → 31/08/10
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
-
Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems
Gutin, G., Cohen, D. & Crampton, J.
Eng & Phys Sci Res Council EPSRC
1/02/13 → 1/05/16
Project: Research
-
Explosive trace detection with an odour capture hybrid sensor system
1/04/09 → 31/03/11
Project: Research
-
-
Mining the Network Behaviour of Bots
Cavallaro, L., Gammerman, A., Vovk, V., Shanahan, H. & Luo, Z.
Eng & Phys Sci Res Council EPSRC
16/06/13 → 17/04/17
Project: Research
-
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research
-
PLanCompS: PLanCompS: Programming Language Components and Specifications
Johnstone, A., Scott, E., Reddington, J. & Walsh, R.
Eng & Phys Sci Res Council EPSRC
1/06/11 → 31/05/15
Project: Research
-
String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
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
-
-
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
-