Projects per year
- 100 - 128 out of 128 results
Search results
-
Finished
PCP: Practical Competitive Prediction
Vovk, V. (PI), Gammerman, A. (CoI), Kalnishkan, Y. (CoI), Chernov, A. (CoI) & Zhdanov, F. (CoI)
Eng & Phys Sci Res Council EPSRC
10/10/07 → 22/11/10
Project: Research
-
Development and application of Machine Learning Algorithms for the Analysis of Complex Vetinary Data Sets
Gammerman, A. (PI)
Veterinary Laboratories Agency
10/10/07 → 9/10/10
Project: Research
-
The complexity of valued constraints
Cohen, D. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/07 → 1/10/10
Project: Research
-
Parameterized problems on directed graphs
Gutin, G. (PI)
Eng & Phys Sci Res Council EPSRC
1/09/07 → 31/08/10
Project: Research
-
3D Modelling of Agent-Based Web-Services for E-Retailing Project
Stathis, K. (PI)
26/03/07 → 26/09/07
Project: Research
-
Development of New Conformal Predition Methods with Applications in Medical Diagnosis
Gammerman, A. (PI)
28/12/06 → 27/12/09
Project: Research
-
New Mathematical approaches for structuring and searching through, very large compressed encrypted textual data stores
Murtagh, F. (PI) & Contreras Albornoz, P. (CoI)
Eng & Phys Sci Res Council EPSRC
1/11/06 → 31/03/10
Project: Research
-
Reverse Mathematics in Dependent Type Theory
Adams, R. (PI)
Eng & Phys Sci Res Council EPSRC
16/10/06 → 15/09/09
Project: Research
-
Machine learning for resource management in next-generation optical networks
Luo, Z. (PI)
1/10/06 → 30/09/09
Project: Research
-
-
Machine learning for resource management in next-generation optical networks
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/06 → 30/09/09
Project: Research
-
Multiple scale and multimodal data and information fusion in human sensory discrimation
Murtagh, F. (PI) & Zervas, D. (CoI)
Biotechnology&BioSci Research BBSRC
1/10/06 → 31/03/08
Project: Research
-
Argumentation as a foundation for the semantic grid
Stathis, K. (PI)
1/06/06 → 31/05/09
Project: Research
-
Groebner Basis Techniques for Constraint Satisfaction Problems
Cohen, D. (CoI) & Jeavons, P. (PI)
30/03/06 → 30/03/09
Project: Research
-
-
Cognitive Science and Machine Learning Approaches to Computational Linguistics
Clark, A. (PI)
1/01/06 → 30/09/06
Project: Research
-
Tractability of Constraint Problems: Unification, Extension and Applicability
Cohen, D. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/05 → 30/09/08
Project: Research
-
-
Pascal: Grammatical inference with string kernels and latent structure techniques
Clark, A. (PI)
1/10/05 → 30/09/06
Project: Research
-
Epigram II: Innovative programming via inductive families
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/08/05
Project: Research
-
Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/12/06
Project: Research
-
EU Thematic Network TYPES: Computer-assisted reasoning based on type theory
Luo, Z. (PI)
1/09/04 → 30/04/08
Project: Research
-
Pythagoras I: Pythagoras I: Machine support for semi-formalised proof oriented mathematics
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/02 → 30/09/04
Project: Research
-
Epigram I: Innovative programming via inductive families
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/12/01 → 30/09/04
Project: Research
-
TYPES: Computer-assisted reasoning based on type theory
Luo, Z. (PI)
1/08/00 → 31/12/03
Project: Research
-
An open proof checker based on type theory
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/08/99 → 31/12/02
Project: Research
-
-
Subtyping, inheritance, and reuse
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/96 → 31/03/00
Project: Research