Projects per year
- 100 - 150 out of 531 results
Search results
-
-
-
Adaptive Divide-and-Conquer---Natures way to Cope with Complexity
Engineering & Physical Science Research Council
1/07/03 → 31/12/03
Project: Research Councils
-
Sponsored Phd, Resource Allocation and Scheduling in Active Memories
Quigley, S., Pycock, D. & Russell, M.
1/10/00 → 31/12/03
Project: Research
-
Teaching Company Scheme Programme No 3831
JET ENVIRONMENTAL TECHNIQUES LTD, KNOWLEDGE TRANSFER PARTNERSHIPS
1/02/02 → 31/01/04
Project: Research
-
Eurowearable 03
Baber, C. & Woolley, S.
Engineering & Physical Science Research Council
1/08/03 → 31/01/04
Project: Research Councils
-
-
-
Algorithms and Software Tools for WoS Analysis
Kwiatkowska, M.
1/04/03 → 31/03/04
Project: Other Government Departments
-
Teaching Company Scheme Programme No 3104.
PRO ENVIRO LTD, KNOWLEDGE TRANSFER PARTNERSHIPS
1/12/00 → 21/04/04
Project: Research
-
Multi-lingual Sequent Theory Calculus and Domain Theory
Jung, A.
Engineering & Physical Science Research Council
1/11/03 → 30/04/04
Project: Research Councils
-
(E-HL): E-Health and Learning
Arvanitis, T., Baber, C., Davies, D. & Khan, K.
23/01/03 → 22/06/04
Project: EU
-
SEEDS: Scalable, Evolvable, Emergent, Development Systems
Miller, J.
Engineering & Physical Science Research Council
1/07/03 → 30/06/04
Project: Research Councils
-
Marie Curie Fellowship: - Volker Sorge Agent-Based Theorem Proving
Kerber, M.
14/07/02 → 13/07/04
Project: EU
-
The Feature Construct in Programming and Specification Languages
Engineering & Physical Science Research Council
31/07/01 → 30/07/04
Project: Research Councils
-
Calculemus systems for Intergrated Computation and deduction.
Kerber, M.
1/09/00 → 31/08/04
Project: Research
-
PF - STAR - Preparing future multisensorial interaction research
Russell, M.
1/10/02 → 30/09/04
Project: EU
-
-
-
-
Speaker Verification Using a Dynamic 'Calculatory' Segmental HMM
Russell, M.
EUROPEAN OFFICE OF AEROSPACE RESEARCH & DEVELOPMENT
1/10/03 → 30/09/04
Project: Research
-
A Novel Coherent Approach to the Detection of and Diagnosis of the Misuse in MoD Networked Systems.
Kennedy, C.
1/12/01 → 30/11/04
Project: Other Government Departments
-
Novel Algorithms for Efficient Grid Based Evoloution of Robot Controllers
1/09/04 → 30/11/04
Project: Research
-
MLS FrameworkFor Continuous Domain Theory in Logical Form
Jung, A.
Engineering & Physical Science Research Council
28/08/04 → 27/12/04
Project: Research Councils
-
-
BELKA - Using Mixed - Reality Gaming to Investigate Integrated Mobile Ad Hoc Digital Communities
1/07/03 → 31/12/04
Project: Industry
-
Alliance: Franco - British Partnership Programme 2003
Kwiatkowska, M.
1/01/03 → 31/12/04
Project: Other Government Departments
-
2004 AAAI Fall Symposiu, Computational Correctionism in Cognitive Science
1/12/04 → 31/01/05
Project: Research
-
-
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
-
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
-
-
Distributed simulation of Agent-Based systems (Acronym: PDES-MAS).
Theodoropoulos, G.
Engineering & Physical Science Research Council
5/11/01 → 4/07/05
Project: Research Councils
-
Security Tutorial Day at MFPS 21
Jung, A. & Escardo, M.
Engineering & Physical Science Research Council
4/05/05 → 3/08/05
Project: Research Councils
-
Workshop Attendance Bursary: Third Summer School Cognitive Vision - B Arisabala
Claridge, E.
1/08/05 → 31/08/05
Project: Research
-
-
Prisoners Dilema Competition: Celebrating the 20th Anniversary
Engineering & Physical Science Research Council
1/11/03 → 30/09/05
Project: Research Councils
-
-
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
-
Fifth International Conference in Hybrid Intelligent Systems
Bullinaria, J.
1/11/05 → 31/01/06
Project: Research
-
Scientific Document Analysis - Visit to Kyushu
Engineering & Physical Science Research Council
13/11/05 → 12/02/06
Project: Research Councils
-
DTC - Human Factors Integration Project
Baber, C., Stone, B. & Arvanitis, T.
AEROSYSTEMS INTERNATIONAL LIMITED
1/04/03 → 31/03/06
Project: Industry
-
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
-
Studentship: Automatic Problem Decomposition Using Co-evolution and Ensembles
HONDA R&D EUROPE (DEUTSCHLON) GMBH
21/11/02 → 31/03/06
Project: EU
-
DTC - Human Factors Integration Project
AEROSYSTEMS INTERNATIONAL LIMITED
1/04/03 → 31/03/06
Project: Industry
-
-
-
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
-
Extending Hoare Calculus to Deal with Crash
Kerber, M.
Engineering & Physical Science Research Council
16/07/06 → 15/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