Projects per year
- 100 - 150 out of 531 results
Search results
-
A Computational Exploration of Self Organising Dimensional Reduction Schemes for Corpus Derived Semantics
Bullinaria, J.
1/06/02 → 30/09/02
Project: Research
-
Enhance the Probalisitic Symbolic Model Checker Tool, Known as PRISM
Kwiatkowska, M.
1/07/02 → 31/10/02
Project: Industry
-
-
Marie Curie Fellowship: - Volker Sorge Agent-Based Theorem Proving
Kerber, M.
14/07/02 → 13/07/04
Project: EU
-
DEEPER Project : Discovery and Exloitation of Emergent Physics through Evolutionary Refinement
Miller, J.
1/08/02 → 31/07/03
Project: Research
-
-
PF - STAR - Preparing future multisensorial interaction research
Russell, M.
1/10/02 → 30/09/04
Project: EU
-
Studentship: Automatic Problem Decomposition Using Co-evolution and Ensembles
HONDA R&D EUROPE (DEUTSCHLON) GMBH
21/11/02 → 31/03/06
Project: EU
-
-
-
A Future of Reliable Wireless Ad Hoc Networks of Roaming Devices (Forward)
Kwiatkowska, M.
TECHNOLOGY STRATEGY BOARD, QINETIQ LTD
1/01/03 → 30/06/05
Project: Research
-
Centre of Excellance for Research in Computational Intelligence and Applications
1/01/03 → 31/03/07
Project: Other Government Departments
-
Alliance: Franco - British Partnership Programme 2003
Kwiatkowska, M.
1/01/03 → 31/12/04
Project: Other Government Departments
-
-
(E-HL): E-Health and Learning
Arvanitis, T., Baber, C., Davies, D. & Khan, K.
23/01/03 → 22/06/04
Project: EU
-
Physics-based Image Interpretation to Aid the Detection of Early Signs of Retinopathies
Claridge, E. & Gibson, J.
Engineering & Physical Science Research Council
1/02/03 → 30/06/05
Project: Research Councils
-
High Performance Facilities for SMEs and Incubation of Spin-offs
1/03/03 → 28/02/07
Project: Other Government Departments
-
-
Equipment to Support Hyper-Spectral Imaging and Analysis
Claridge, E.
1/03/03 → 31/03/03
Project: Other Government Departments
-
DTC - Human Factors Integration Project
Baber, C., Stone, B. & Arvanitis, T.
AEROSYSTEMS INTERNATIONAL LIMITED
1/04/03 → 31/03/06
Project: Industry
-
Algorithms and Software Tools for WoS Analysis
Kwiatkowska, M.
1/04/03 → 31/03/04
Project: Other Government Departments
-
Automated Verification of Probabilistics Protocols with PRISM
Kwiatkowska, M. & Theodoropoulos, G.
Engineering & Physical Science Research Council
1/04/03 → 31/03/06
Project: Research Councils
-
Workshop Domains VI
Jung, A.
Engineering & Physical Science Research Council
1/04/03 → 30/04/03
Project: Research Councils
-
Midlands Graduate School 2003
Jung, A.
Engineering & Physical Science Research Council
1/04/03 → 31/05/03
Project: Research Councils
-
DTC - Human Factors Integration Project
AEROSYSTEMS INTERNATIONAL LIMITED
1/04/03 → 31/03/06
Project: Industry
-
-
-
SEEDS: Scalable, Evolvable, Emergent, Development Systems
Miller, J.
Engineering & Physical Science Research Council
1/07/03 → 30/06/04
Project: Research Councils
-
Adaptive Divide-and-Conquer---Natures way to Cope with Complexity
Engineering & Physical Science Research Council
1/07/03 → 31/12/03
Project: Research Councils
-
BELKA - Using Mixed - Reality Gaming to Investigate Integrated Mobile Ad Hoc Digital Communities
1/07/03 → 31/12/04
Project: Industry
-
A Midlands e-Science Centre of Excellence Proposal: Modelling and Analysis of Large Complex Systems
Kwiatkowska, M., Chan, A., Knowles, P., Theodoropoulos, G. & Watkins, P.
Engineering & Physical Science Research Council
1/08/03 → 31/12/05
Project: Research Councils
-
Eurowearable 03
Baber, C. & Woolley, S.
Engineering & Physical Science Research Council
1/08/03 → 31/01/04
Project: Research Councils
-
A Generic Computational Model of Visual Attention and Object Recognition
Humphreys, G., Claridge, E. & Heinke, D.
Engineering & Physical Science Research Council
4/08/03 → 3/08/06
Project: Research Councils
-
An Intergrated Framework for Formal Vertification and Distributed Simulation of Asynchronous
Theodoropoulos, G. & Kwiatkowska, M.
Engineering & Physical Science Research Council
1/09/03 → 31/08/06
Project: Research Councils
-
Speaker Verification Using a Dynamic 'Calculatory' Segmental HMM
Russell, M.
EUROPEAN OFFICE OF AEROSPACE RESEARCH & DEVELOPMENT
1/10/03 → 30/09/04
Project: Research
-
EDrama: Enhancement of People, Technology and their Interaction.
Barnden, J. & Hendley, R.
Economic & Social Research Council
31/10/03 → 8/03/07
Project: Research Councils
-
-
Modelling and Analysis of Mobile AD Hoc Network Protocols
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/11/03 → 31/10/06
Project: Research Councils
-
Prisoners Dilema Competition: Celebrating the 20th Anniversary
Engineering & Physical Science Research Council
1/11/03 → 30/09/05
Project: Research Councils
-
Multi-lingual Sequent Theory Calculus and Domain Theory
Jung, A.
Engineering & Physical Science Research Council
1/11/03 → 30/04/04
Project: Research Councils
-
-
-
-
FP6 STReP - CONNECT: Designing the Classroom of Tomorrow by Using Advanced Technologies to Connect Formal & Informal Environments
Arvanitis, T., Baber, C. & Stone, B.
1/02/04 → 31/01/07
Project: EU
-
-
MsSAM (Methods to Support Shared Analysis for Mobile Investigators)
Baber, C., Woolley, S. & Hunter, J.
Engineering & Physical Science Research Council
1/06/04 → 30/09/07
Project: Research Councils
-
Large-Scale Distributed Simulation of the Grid
Theodoropoulos, G.
Engineering & Physical Science Research Council
29/06/04 → 28/09/06
Project: Research Councils
-
-
MLS FrameworkFor Continuous Domain Theory in Logical Form
Jung, A.
Engineering & Physical Science Research Council
28/08/04 → 27/12/04
Project: Research Councils
-