Projects per year
- 50 - 100 out of 120 results
Search results
-
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
-
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
-
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
-
-
-
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
-
Improving Long COVID patient recovery through voice-based AI symptom tracking and personalised rehabilitation
1/10/22 → 30/09/23
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
-
Parameterized problems on directed graphs
Eng & Phys Sci Res Council EPSRC
1/09/07 → 31/08/10
Project: Research
-
Attention guidance for multi-task displays using human-like cognitive assistants
17/03/20 → 30/09/20
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
-
Verification and correctness of service-oriented systems
Eng & Phys Sci Res Council EPSRC
1/10/12 → 31/12/12
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
-
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
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
-
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
-
Tractability of Constraint Problems: Unification, Extension and Applicability
Eng & Phys Sci Res Council EPSRC
1/10/05 → 30/09/08
Project: Research
-
Machine vision segmentation for automated UK train tracking and railway maintenance
1/12/22 → 2/10/23
Project: Research
-
Inference of RBR network and dynamic RBR complexes during leaf development
Paccanaro, A., Bogre, L. & Horvath, B.
1/03/13 → 28/02/15
Project: Research
-
MAPK signalling network to adapt leaf growth to drought conditions
Bogre, L., Paccanaro, A. & Papdi, C.
1/05/13 → 30/04/15
Project: Research
-
SHARPA: Shared Autonomy via Robust Task Planning and Argumentation
Eng & Phys Sci Res Council EPSRC
8/10/18 → 7/03/19
Project: Research
-
-
PROMETHEUS: A Reconfigurable Robotic Platform (s) With Advanced Sensing For Confined Spaces
1/04/19 → 31/03/21
Project: Research
-
Prediction of drug cocktails with anti-trypanosomal effect
Eng & Phys Sci Res Council EPSRC
1/06/16 → 31/03/17
Project: Research