Projects per year
- 100 - 124 out of 124 results
Search results
-
-
String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research
-
-
Subtyping, inheritance, and reuse
Eng & Phys Sci Res Council EPSRC
1/10/96 → 31/03/00
Project: Research
-
Tamas Nepusz: Overlapping community detection methods for biological applications
2/02/09 → 1/02/11
Project: Research
-
The complexity of valued constraints
Eng & Phys Sci Res Council EPSRC
1/10/07 → 1/10/10
Project: Research
-
The Decision Theory of Hiring and Firing Advisors
Netherlands Organisation for Scientific Research
1/02/11 → 31/01/13
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 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
-
Tractability of Constraint Problems: Unification, Extension and Applicability
Eng & Phys Sci Res Council EPSRC
1/10/05 → 30/09/08
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
-
Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture
28/11/11 → 27/05/12
Project: Research
-
-
-
-
-
Verification and correctness of service-oriented systems
Eng & Phys Sci Res Council EPSRC
1/10/12 → 31/12/12
Project: Research
-
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/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
-
-
VersaTile – Transforming warehousing and distribution with industry leading AI planning and system controls
1/11/21 → 31/10/23
Project: Research
-
Visiting Proferssorship_Professor Fabio Fagnani
Bernardini, S. & Fagnani, F.
25/11/19 → 26/07/20
Project: Other