Projects per year
- 50 - 100 out of 124 results
Search results
-
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
-
Subtyping, inheritance, and reuse
Eng & Phys Sci Res Council EPSRC
1/10/96 → 31/03/00
Project: Research
-
Application of conformal predictors to functional magnetic resonance imaging research
15/04/09 → 14/04/10
Project: Research
-
-
-
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC
1/10/07 → 1/10/10
Project: Research
-
Machine Learning Methods for Coal Quality Analysis based on NIR Technology
1/11/11 → 30/10/13
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
-
On-line Self-Tuning Learning Algorithms for Handling Historical Information
1/07/13 → 30/06/16
Project: Research
-
The Female Experiences in a Male-dominated Learning Environment
Ferreira, M. C. & Watkins, C.
11/02/14 → 2/12/14
Project: Research
-
Transatlantic Perspectives on the Use of Data Science in Museums and Heritage
Platts, H., Dalton, P., Howard, D. & Watkins, C.
Arts & Humanities Res Coun AHRC
1/02/19 → 30/06/20
Project: Research
-
Justice for the Registrant: Transforming the fitness to practise process through the use of AI: Testing the model
Jago, R., van der Gaag, A. & Stathis, K.
1/02/20 → 31/03/20
Project: Research
-
-
Machine Learning for Chemical Synthesis
Gammerman, A., Toccaceli, P., Vovk, V. & Luo, Z.
1/05/17 → 30/06/18
Project: Research
-
Analyzing Security-aware Workflows (funded by Leverhulme Trust)
Gutin, G., Crampton, J. & Cohen, D.
1/01/19 → 31/12/21
Project: Research
-
CLeVer: Verification of Hardware Concurrency via Model Learning
Eng & Phys Sci Res Council EPSRC
6/01/20 → 30/11/23
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
-
Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina
Engelmann, S., Kuenzel, S., Tisan, A., Fisher, R., Lowry, D., Nisbet-Jones, P., Adey, P., Clemitshaw, K., France, J. & Johnstone, A.
1/04/20 → 31/07/21
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
-
String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
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
-
VersaTile – Transforming warehousing and distribution with industry leading AI planning and system controls
1/11/21 → 31/10/23
Project: Research
-
Improving Long COVID patient recovery through voice-based AI symptom tracking and personalised rehabilitation
1/10/22 → 30/09/23
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
-
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research
-
MobSec: Malware and Security in the Mobile Age
Cavallaro, L. & Kinder, J.
Eng & Phys Sci Res Council EPSRC
10/11/14 → 4/05/19
Project: Research
-
The Decision Theory of Hiring and Firing Advisors
Netherlands Organisation for Scientific Research
1/02/11 → 31/01/13
Project: Research
-
Development of automated methods for helping detection of anomalous behaviour
1/10/12 → 30/09/15
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
-
South Africa-UK Science Networks phase II Visitor Prof M Henning
Yeo, A.
15/07/08 → 30/07/08
Project: Research
-
Efficient Automatic Security Testing for Dynamic Languages
Kinder, J.
1/08/17 → 31/03/18
Project: Research
-
Memory-optimal classical simulation of quantum data
Eng & Phys Sci Res Council EPSRC
1/08/23 → 31/07/25
Project: Research
-
Cognitive Science and Machine Learning Approaches to Computational Linguistics
Clark, A.
1/01/06 → 30/09/06
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
-
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
-
Pascal: Grammatical inference with string kernels and latent structure techniques
Clark, A.
1/10/05 → 30/09/06
Project: Research
-
2iC Run Time technical prototype including Service Registery
South East England Development Agency
12/04/11 → 11/07/11
Project: Research