Projects per year
- 50 - 100 out of 531 results
Search results
-
-
British-German Academic Research Collaboration Programme
Kwiatkowska, M.
1/07/98 → 31/03/02
Project: Other Government Departments
-
Automatic Verification of Randomized Distributed Algorithms
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/09/98 → 31/08/01
Project: Research Councils
-
Early Recognition of Melanoma Using Computerised Image Analysis
Claridge, E.
Cambridge University Hospitals NHS Foundation Trust
1/09/98 → 28/02/00
Project: Research
-
Visiting Fellowship: Dr R Segala Formal Analysis of Randomized Distributed Algorithms
Kwiatkowska, M.
Engineering & Physical Science Research Council
30/10/98 → 29/04/02
Project: Research Councils
-
Literature Review and Summary on Issues Arising From The Allocation of Function Between Operators and UAVs, RPVs and SAVs
Defence and Science Technology Laboratory
30/11/98 → 30/10/99
Project: Other Government Departments
-
Formation of Methods for Proof Planning in Mathematics
Kerber, M.
Engineering & Physical Science Research Council
7/12/98 → 6/02/02
Project: Research Councils
-
A Multiple Level Statistical Model for Speech Pattern Processing
Russell, M.
18/01/99 → 17/01/01
Project: Other Government Departments
-
Pilot Study - OTS Protocols for Pedestrian or Cyclist Accidents and All Accident Witnesses
Neal-Sturgess, C., Hill, J., Baber, C., Crawford, J. & Cuerden, R.
DEPARTMENT FOR ENVIRONMENT, FOOD AND RURAL AFFAIRS
1/02/99 → 31/07/99
Project: Other Government Departments
-
ERDF : Centre of Excellence in Advanced Telematics
GOVERNMENT OFFICE WEST MIDLANDS
16/06/99 → 31/12/01
Project: Other Government Departments
-
Image Analysis based on an Optical Model of the Skin for Detection of Early Signs of Melanoma
Claridge, E.
Engineering & Physical Science Research Council
1/08/99 → 31/03/03
Project: Research Councils
-
Study of Sensitivity of the System Design of UAV to Formal HSI Techniques (CU010-234)
1/08/99 → 31/12/99
Project: Other Government Departments
-
-
Automated Understanding of Metaphorical Utterances in Mundane Discourse
Barnden, J.
Engineering & Physical Science Research Council
14/09/99 → 13/06/03
Project: Research Councils
-
-
Studentship: E Longmate - Cognitive Engineering of Digital Communities
NCR FINANCIAL SOLUTIONS GROUP LTD
1/01/00 → 31/12/02
Project: Industry
-
Agent-Oriented Theorem Proving
Kerber, M.
Engineering & Physical Science Research Council
14/01/00 → 13/01/01
Project: Research Councils
-
An Integrated Multiple-Level Statistical Model for Speech Pattern Processing
Russell, M.
Engineering & Physical Science Research Council
7/02/00 → 6/02/03
Project: Research Councils
-
-
Evolvable Hardware and Automatic Discovery of Uncoventional Designs
MARCONI COMMUNICATIONS LIMITED
1/04/00 → 31/03/03
Project: Industry
-
-
Verification of Quality of Service Properties in Timed Systems
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/05/00 → 31/07/03
Project: Research Councils
-
AISB-00 Convention -"Time for AI and Society"
Barnden, J. & Lee, M.
Engineering & Physical Science Research Council
18/05/00 → 17/08/00
Project: Research Councils
-
Modelling and Verification of Soft Deadlines
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/06/00 → 31/05/03
Project: Research Councils
-
Link: PUMA - Personalised User Interfaces for Information Management and Authorisation
Russell, M. & Quigley, S.
Engineering & Physical Science Research Council, BRITISH TELECOMMUNICATIONS PLC
1/06/00 → 31/05/03
Project: Research
-
SEI: Equipment for Development & Evaluation of Mobile Contextual Technologies
Sharples, M. & Beale, R.
Engineering & Physical Science Research Council
1/09/00 → 31/03/02
Project: Research Councils
-
Calculemus systems for Intergrated Computation and deduction.
Kerber, M.
1/09/00 → 31/08/04
Project: Research
-
SEI: Bioinformatic, Functional and Image Analysis in Biological Systems.
Trayer, I., Claridge, E. & Sloman, A.
Engineering & Physical Science Research Council
1/09/00 → 31/03/02
Project: Research Councils
-
Biometrics for Keyless Automotive Access
Russell, M.
MERITOR LIGHT VEHICLE SYSTEMS UK LTD
1/10/00 → 30/09/01
Project: Industry
-
-
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 3104.
PRO ENVIRO LTD, KNOWLEDGE TRANSFER PARTNERSHIPS
1/12/00 → 21/04/04
Project: Research
-
The application of Artifical Intellengence in Computer Security.
Sloman, A.
12/12/00 → 28/02/01
Project: Other Government Departments
-
Sponsorship of N.Wilkinson "Modelling asynchrony in formants"
Russell, M.
18/01/01 → 17/01/02
Project: Industry
-
European Science Exchange Programme Joint Project
Jung, A. & Escardo, M.
1/03/01 → 28/02/03
Project: Research
-
-
Intergration of Planning and Learning in Real Robot Tasks
26/04/01 → 30/06/03
Project: Other Government Departments
-
-
The Feature Construct in Programming and Specification Languages
Engineering & Physical Science Research Council
31/07/01 → 30/07/04
Project: Research Councils
-
Mobile Communications for Distributed Collaborative Problem Solving
Engineering & Physical Science Research Council
1/08/01 → 31/08/02
Project: Research Councils
-
Average computation time of Evolutionary Algorithms for Combinational Optimisation problems.
Engineering & Physical Science Research Council
1/09/01 → 28/02/03
Project: Research Councils
-
Case Award: Barry Wilkins- Methodology for the Design and Evaluation of Information Visualisation System in Command and Control Environments
1/10/01 → 30/09/02
Project: Other Government Departments
-
Automatic problem Decomposition using Co-evolution and Ensembles
HONDA R&D EUROPE (DEUTSCHLON) GMBH
1/10/01 → 31/03/02
Project: EU
-
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 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
-
-
Theory of Evolutionary Computation - Application for Visiting Fellowship
Engineering & Physical Science Research Council
28/01/02 → 27/01/03
Project: Research Councils
-
Teaching Company Scheme Programme No 3831
JET ENVIRONMENTAL TECHNIQUES LTD, KNOWLEDGE TRANSFER PARTNERSHIPS
1/02/02 → 31/01/04
Project: Research
-
Enhance the Probalistic Symbolic Model Checker Tool, Known as PRISM
Kwiatkowska, M.
1/03/02 → 28/06/02
Project: Industry
-