Projects per year
- 100 - 124 out of 124 results
Search results
-
Finished
Machine learning for resource management in next-generation optical networks
Eng & Phys Sci Res Council EPSRC
1/10/06 → 30/09/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
-
-
-
Groebner Basis Techniques for Constraint Satisfaction Problems
Cohen, D. & Jeavons, P.
30/03/06 → 30/03/09
Project: Research
-
-
Cognitive Science and Machine Learning Approaches to Computational Linguistics
Clark, A.
1/01/06 → 30/09/06
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
-
Epigram II: Innovative programming via inductive families
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
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
1/09/04 → 30/04/08
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
-
Epigram I: Innovative programming via inductive families
Eng & Phys Sci Res Council EPSRC
1/12/01 → 30/09/04
Project: Research
-
-
An open proof checker based on type theory
Eng & Phys Sci Res Council EPSRC
1/08/99 → 31/12/02
Project: Research
-
-
Subtyping, inheritance, and reuse
Eng & Phys Sci Res Council EPSRC
1/10/96 → 31/03/00
Project: Research
-
Active
NAfANE: New Approaches for Approximate Nash Equilibria
Eng & Phys Sci Res Council EPSRC
1/01/24 → 31/12/26
Project: Research
-
-
DataSim: A Machine Learning-powered simulation tool for rail timetable optimisation
2/10/23 → 1/10/24
Project: Research
-
Memory-optimal classical simulation of quantum data
Eng & Phys Sci Res Council EPSRC
1/08/23 → 31/07/25
Project: Research