Projects per year
- 50 - 100 out of 124 results
Search results
-
Research
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC
1/10/07 → 1/10/10
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
-
-
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
-
Machine Learning for Chemical Synthesis
Gammerman, A., Toccaceli, P., Vovk, V. & Luo, Z.
1/05/17 → 30/06/18
Project: Research
-
CLeVer: Verification of Hardware Concurrency via Model Learning
Eng & Phys Sci Res Council EPSRC
6/01/20 → 30/11/23
Project: Research
-
-
-
-
Analyzing Security-aware Workflows (funded by Leverhulme Trust)
Gutin, G., Crampton, J. & Cohen, D.
1/01/19 → 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
-
Improving Long COVID patient recovery through voice-based AI symptom tracking and personalised rehabilitation
1/10/22 → 30/09/23
Project: Research
-
-
Parameterized problems on directed graphs
Eng & Phys Sci Res Council EPSRC
1/09/07 → 31/08/10
Project: Research
-
Verification and correctness of service-oriented systems
Eng & Phys Sci Res Council EPSRC
1/10/12 → 31/12/12
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
-
String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research
-
Mining the Network Behaviour of Bots
Cavallaro, L., Gammerman, A., Vovk, V., Shanahan, H. & Luo, Z.
Eng & Phys Sci Res Council EPSRC
16/06/13 → 17/04/17
Project: Research
-
-
3D Modelling of Agent-Based Web-Services for E-Retailing Project
26/03/07 → 26/09/07
Project: Research
-
-
COMMODITY12: Extension of COntinuous Multi-parametric and Multi-layered Analysis Of DIabetes TYpe 1 & 2
1/03/14 → 1/09/15
Project: Research
-
Attention guidance for multi-task displays using human-like cognitive assistants
17/03/20 → 30/09/20
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
-
VersaTile – Transforming warehousing and distribution with industry leading AI planning and system controls
1/11/21 → 31/10/23
Project: Research
-
Explosive trace detection with an odour capture hybrid sensor system
1/04/09 → 31/03/11
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
-
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