Projects per year
- 300 - 350 out of 469 results
Search results
-
-
Fourteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2007)
Jung, A.
2/07/07 → 1/08/07
Project: Research Councils
-
British-Polish Young Scientist Programe - Pawel Waszkiewicz
Jung, A.
1/08/06 → 31/07/07
Project: Research Councils
-
-
Predictive Modelling of Signaling Pathways via Probabalistic Model-Checking with PRISM
Kwiatkowska, M.
1/01/06 → 30/06/07
Project: Industry
-
Centre of Excellance for Research in Computational Intelligence and Applications
1/01/03 → 31/03/07
Project: Other Government Departments
-
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
-
High Performance Facilities for SMEs and Incubation of Spin-offs
1/03/03 → 28/02/07
Project: Other Government Departments
-
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
-
Verifying Properties in Electronic Voting Protocols
Engineering & Physical Science Research Council
1/09/06 → 31/12/06
Project: Research Councils
-
S4-GRID Intelligent Symbiotic Simulation for Policy Decision Support in Social Sciences on the Grid
Theodoropoulos, G.
Economic & Social Research Council
1/01/06 → 31/12/06
Project: Research Councils
-
MERCIA: Work To Enable Adjust The Analysis Tools Available TO Enable Proof Of Principles To Be Demonstrated
Frayn, C.
BIRMINGHAM RESEARCH & DEVELOPMENT LTD
1/07/06 → 31/12/06
Project: Industry
-
Human Error Data Collection
Baber, C. & Gibson, W.
EUROCONTROL EXPERIMENTAL CENTRE
1/07/06 → 31/12/06
Project: EU
-
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
-
-
Nature Inspired Creative Design - A designing for the 21st Century Research Cluster
Schnier, T., Beale, R., Hendley, R. & Yao, X.
Engineering & Physical Science Research Council
1/04/05 → 30/09/06
Project: Research Councils
-
World Congress on Computational Intelligence
Bullinaria, J.
1/07/06 → 30/09/06
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
-
The role of language covers in games-based abstraction and refinement
Engineering & Physical Science Research Council
9/08/06 → 8/09/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
-
Extending Hoare Calculus to Deal with Crash
Kerber, M.
Engineering & Physical Science Research Council
16/07/06 → 15/08/06
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
-
-
-
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
-
DTC - Human Factors Integration Project
AEROSYSTEMS INTERNATIONAL LIMITED
1/04/03 → 31/03/06
Project: Industry
-
Studentship: Automatic Problem Decomposition Using Co-evolution and Ensembles
HONDA R&D EUROPE (DEUTSCHLON) GMBH
21/11/02 → 31/03/06
Project: EU
-
Scientific Document Analysis - Visit to Kyushu
Engineering & Physical Science Research Council
13/11/05 → 12/02/06
Project: Research Councils
-
Fifth International Conference in Hybrid Intelligent Systems
Bullinaria, J.
1/11/05 → 31/01/06
Project: Research
-
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
-
Prisoners Dilema Competition: Celebrating the 20th Anniversary
Engineering & Physical Science Research Council
1/11/03 → 30/09/05
Project: Research Councils
-
-
-
Workshop Attendance Bursary: Third Summer School Cognitive Vision - B Arisabala
Claridge, E.
1/08/05 → 31/08/05
Project: Research
-
Security Tutorial Day at MFPS 21
Jung, A. & Escardo, M.
Engineering & Physical Science Research Council
4/05/05 → 3/08/05
Project: Research Councils
-
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
-
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
-
-
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
-
-
2004 AAAI Fall Symposiu, Computational Correctionism in Cognitive Science
1/12/04 → 31/01/05
Project: Research
-
Alliance: Franco - British Partnership Programme 2003
Kwiatkowska, M.
1/01/03 → 31/12/04
Project: Other Government Departments
-
-
BELKA - Using Mixed - Reality Gaming to Investigate Integrated Mobile Ad Hoc Digital Communities
1/07/03 → 31/12/04
Project: Industry
-
MLS FrameworkFor Continuous Domain Theory in Logical Form
Jung, A.
Engineering & Physical Science Research Council
28/08/04 → 27/12/04
Project: Research Councils
-
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
-
-