Projects per year
- 1 - 50 out of 124 results
Search results
-
Visiting Proferssorship_Professor Fabio Fagnani
Bernardini, S. & Fagnani, F.
25/11/19 → 26/07/20
Project: Other
-
VersaTile – Transforming warehousing and distribution with industry leading AI planning and system controls
1/11/21 → 31/10/23
Project: Research
-
-
CLeVer: Verification of Hardware Concurrency via Model Learning
Eng & Phys Sci Res Council EPSRC
6/01/20 → 30/11/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
-
Verification and correctness of service-oriented systems
Eng & Phys Sci Res Council EPSRC
1/10/12 → 31/12/12
Project: Research
-
-
-
-
-
Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture
28/11/11 → 27/05/12
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
-
Tractability of Constraint Problems: Unification, Extension and Applicability
Eng & Phys Sci Res Council EPSRC
1/10/05 → 30/09/08
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
-
The Female Experiences in a Male-dominated Learning Environment
Ferreira, M. C. & Watkins, C.
11/02/14 → 2/12/14
Project: Research
-
The Decision Theory of Hiring and Firing Advisors
Netherlands Organisation for Scientific Research
1/02/11 → 31/01/13
Project: Research
-
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC
1/10/07 → 1/10/10
Project: Research
-
Tamas Nepusz: Overlapping community detection methods for biological applications
2/02/09 → 1/02/11
Project: Research
-
Subtyping, inheritance, and reuse
Eng & Phys Sci Res Council EPSRC
1/10/96 → 31/03/00
Project: Research
-
-
String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research
-
-
South Africa-UK Science Networks phase II Visitor Prof M Henning
Yeo, A.
15/07/08 → 30/07/08
Project: Research
-
SMaILE: Simple Methods for Artificial Intelligence Learning and Education
Compagnia di San Paolo Foundation
26/02/21 → 26/02/23
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
-
Semantic Completions: Unifying the Wave and the Particle Views of Information
Fiadeiro, J. L., Vovk, V. & Pavlovic, D.
Air Force Office of Scientific Research
1/01/16 → 31/12/16
Project: Research
-
Semantic Completions: Unifying the wave and the Particle Views of Information
Pavlovic, D., Fiadeiro, J. L. & Vovk, V.
1/04/14 → 31/03/17
Project: Research
-
-
MIMRee: Robotics and AI: inspect, maintain and repair in extreme environments
1/03/19 → 28/02/21
Project: Research
-
-
Reverse Mathematics in Dependent Type Theory
Adams, R.
Eng & Phys Sci Res Council EPSRC
16/10/06 → 15/09/09
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
-
-
-
Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds
Gutin, G. & Yeo, A.
1/12/10 → 30/11/12
Project: Research
-
Prediction of drug cocktails with anti-trypanosomal effect
Eng & Phys Sci Res Council EPSRC
1/06/16 → 31/03/17
Project: Research
-
PCP: Practical Competitive Prediction
Vovk, V., Gammerman, A., Kalnishkan, Y., Chernov, A. & Zhdanov, F.
Eng & Phys Sci Res Council EPSRC
10/10/07 → 22/11/10
Project: Research
-
Polytope methods in parameterized complexity
Eng & Phys Sci Res Council EPSRC
1/12/16 → 31/12/17
Project: Research
-
PLanCompS: PLanCompS: Programming Language Components and Specifications
Johnstone, A., Scott, E., Reddington, J. & Walsh, R.
Eng & Phys Sci Res Council EPSRC
1/06/11 → 31/05/15
Project: Research
-
-
Pascal: Grammatical inference with string kernels and latent structure techniques
Clark, A.
1/10/05 → 30/09/06
Project: Research
-
Parameterized problems on directed graphs
Eng & Phys Sci Res Council EPSRC
1/09/07 → 31/08/10
Project: Research
-
Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems
Gutin, G., Cohen, D. & Crampton, J.
Eng & Phys Sci Res Council EPSRC
1/02/13 → 1/05/16
Project: Research
-
-
On-line Self-Tuning Learning Algorithms for Handling Historical Information
1/07/13 → 30/06/16
Project: Research
-
One-One Meeting with Prof M Henning (South Africa): Total domination in graphs and transversals in hypergraphs
Yeo, A.
1/07/09 → 31/07/09
Project: Research