Projects per year
- 1 - 50 out of 124 results
Search results
-
Subtyping, inheritance, and reuse
Eng & Phys Sci Res Council EPSRC
1/10/96 → 31/03/00
Project: Research
-
-
An open proof checker based on type theory
Eng & Phys Sci Res Council EPSRC
1/08/99 → 31/12/02
Project: Research
-
-
Epigram I: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC
1/12/01 → 30/09/04
Project: Research
-
Pythagoras I: Pythagoras I: Machine support for semi-formalised proof oriented mathematics
Eng & Phys Sci Res Council EPSRC
1/10/02 → 30/09/04
Project: Research
-
EU Thematic Network TYPES: Computer-assisted reasoning based on type theory
1/09/04 → 30/04/08
Project: Research
-
Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/12/06
Project: Research
-
Epigram II: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/08/05
Project: Research
-
Pascal: Grammatical inference with string kernels and latent structure techniques
Clark, A.
1/10/05 → 30/09/06
Project: Research
-
Tractability of Constraint Problems: Unification, Extension and Applicability
Eng & Phys Sci Res Council EPSRC
1/10/05 → 30/09/08
Project: Research
-
-
-
Cognitive Science and Machine Learning Approaches to Computational Linguistics
Clark, A.
1/01/06 → 30/09/06
Project: Research
-
Groebner Basis Techniques for Constraint Satisfaction Problems
Cohen, D. & Jeavons, P.
30/03/06 → 30/03/09
Project: Research
-
-
-
Machine learning for resource management in next-generation optical networks
1/10/06 → 30/09/09
Project: Research
-
Multiple scale and multimodal data and information fusion in human sensory discrimation
Murtagh, F. & Zervas, D.
Biotechnology&BioSci Research BBSRC
1/10/06 → 31/03/08
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
-
Reverse Mathematics in Dependent Type Theory
Adams, R.
Eng & Phys Sci Res Council EPSRC
16/10/06 → 15/09/09
Project: Research
-
New Mathematical approaches for structuring and searching through, very large compressed encrypted textual data stores
Murtagh, F. & Contreras Albornoz, P.
Eng & Phys Sci Res Council EPSRC
1/11/06 → 31/03/10
Project: Research
-
Development of New Conformal Predition Methods with Applications in Medical Diagnosis
28/12/06 → 27/12/09
Project: Research
-
3D Modelling of Agent-Based Web-Services for E-Retailing Project
26/03/07 → 26/09/07
Project: Research
-
Parameterized problems on directed graphs
Eng & Phys Sci Res Council EPSRC
1/09/07 → 31/08/10
Project: Research
-
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC
1/10/07 → 1/10/10
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
-
-
-
South Africa-UK Science Networks phase II Visitor Prof M Henning
Yeo, A.
15/07/08 → 30/07/08
Project: Research
-
Tamas Nepusz: Overlapping community detection methods for biological applications
2/02/09 → 1/02/11
Project: Research
-
Explosive trace detection with an odour capture hybrid sensor system
1/04/09 → 31/03/11
Project: Research
-
Application of conformal predictors to functional magnetic resonance imaging research
15/04/09 → 14/04/10
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
-
Intelligent Agent Technology for Service Grids - I
Stathis, K. & Dean, J.
1/07/09 → 28/02/10
Project: Research
-
Development of novel method for prediction of plant Pol 11 promoters
Solovyev, V.
1/02/10 → 7/03/10
Project: Research
-
Intelligent Agent Technology for Service Grids - II
Stathis, K. & Dean, J.
1/05/10 → 31/12/10
Project: Research
-
Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds
Gutin, G. & Yeo, A.
1/12/10 → 30/11/12
Project: Research
-
The Decision Theory of Hiring and Firing Advisors
Netherlands Organisation for Scientific Research
1/02/11 → 31/01/13
Project: Research
-
-
2iC Run Time technical prototype including Service Registery
South East England Development Agency
12/04/11 → 11/07/11
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
-
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