Projects per year
- 450 - 500 out of 531 results
Search results
-
Research Councils
SCEPTICS: A SystematiC Evaluation Process for Threats to Industrial Control Systems
Roberts, C., Chothia, T., Ryan, M. & Zhang, X.
Engineering & Physical Science Research Council
1/10/14 → 31/12/17
Project: Research Councils
-
CAP-TEE: Capability Architectures in Trusted Execution
Ryan, M., Thomas, R., Ordean, M., Garcia, F., Oswald, D., Muench, M. & Sinha Roy, S.
Engineering & Physical Science Research Council
12/08/20 → 30/11/24
Project: Research Councils
-
COMPaD: Commercial-Oriented Multi-modal Poster Generation and Design
1/10/23 → 30/09/24
Project: Research Councils
-
Isogeny-Based Cryptography: From Theory to Practice
Engineering & Physical Science Research Council
25/03/19 → 24/03/22
Project: Research Councils
-
Evolutionary Computation for Dynamic Optimisation in Network Environments
Engineering & Physical Science Research Council
25/02/13 → 17/08/17
Project: Research Councils
-
Verifying Interoperability requirements in Pervasive Systems
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils
-
-
Model Based Algorithms for Structural and functional Dual Modality MRI and Optical Imaging
Engineering & Physical Science Research Council
1/01/09 → 31/12/09
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
-
International Exchanges Scheme - 2015 Chine (NSFC) - Dynamic Optimization of Software Architectures for Cloud Applications
1/04/16 → 31/03/18
Project: Research Councils
-
-
-
Workshop Domains VI
Jung, A.
Engineering & Physical Science Research Council
1/04/03 → 30/04/03
Project: Research Councils
-
The ExCALIBUR Capital Programme: Supporting Hardware and Enabling Software 2020-2021
SCIENCE & TECHNOLOGY FACILITIES COUNCIL
1/04/21 → 31/07/22
Project: Research Councils
-
Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers
Engineering & Physical Science Research Council
1/04/24 → 31/03/27
Project: Research Councils
-
International Exchanges Scheme - 2011 China Costshare (NSFC)
1/03/12 → 28/02/14
Project: Research Councils
-
UnFed: Selective Forgetting in Federated Financial Applications
Engineering & Physical Science Research Council
1/04/24 → 31/07/24
Project: Research Councils
-
KTS - SMTC UK, Longbridge - Dr Thorsten Schnier
Engineering & Physical Science Research Council
31/05/11 → 30/05/12
Project: Research Councils
-
Learning in the Generative Model Space with Application to Computational Biology
16/03/15 → 15/03/17
Project: Research Councils
-
Development of a Steady Flow River Network Model
Hendley, R., Beale, R. & Knight, D.
Engineering & Physical Science Research Council
1/02/94 → 31/12/96
Project: Research Councils
-
A new perspective on human judgement and decision making as optimal: A framework for behaviour change - Manchester Lead
Howes, A.
Economic & Social Research Council
1/09/13 → 28/02/15
Project: Research Councils
-
International Joint Project 2008 - Combining complementary approaches for mathematical / chemical document analysis
1/04/09 → 31/03/11
Project: Research Councils
-
Midlands Graduate School 2003
Jung, A.
Engineering & Physical Science Research Council
1/04/03 → 31/05/03
Project: Research Councils
-
The ExCALIBUR Capital Programme: Supporting Hardware and Enabling Software 2020-2021
SCIENCE & TECHNOLOGY FACILITIES COUNCIL
1/11/21 → 31/07/22
Project: Research Councils
-
A Unified Model for Speech Recognition and Synthesis
Russell, M.
Engineering & Physical Science Research Council
14/09/05 → 13/03/09
Project: Research Councils
-
Sustained Autonomy through Plan-Based Control and World Modelling with Uncertainty
Hawes, N.
Engineering & Physical Science Research Council
16/07/12 → 15/07/15
Project: Research Councils
-
Developing a measure of social understanding for 15- 24-year-olds that is appropriate, fair, valid, and theoretically motivated.
Apperly, I., Gilligan, R., Lee, M., Broome, M., Surtees, A. & Devine, R.
1/11/22 → 31/10/25
Project: Research Councils
-
Conferences on Intelligent Computer Mathematics
Engineering & Physical Science Research Council
1/07/08 → 31/12/08
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
-
Reasoning With Fairness
Kwiatkowska, M.
Engineering & Physical Science Research Council
2/10/94 → 7/09/96
Project: Research Councils
-
Cooperatively Coevolving Particles Swarms for Large Scale Optimisation
Engineering & Physical Science Research Council
21/07/08 → 20/10/09
Project: Research Councils
-
STREAM (Support Technologies for Risk Evaluation, Assessment& Management)
Jarratt, P.
Engineering & Physical Science Research Council
1/08/96 → 31/07/99
Project: Research Councils
-
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
-
XSLAM - The Explicit Substitution Linear Abstract Machine
Ritter, E. & De Paiva, V.
Engineering & Physical Science Research Council
1/01/97 → 31/03/00
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
-
Evoloutionary Algorithms for Dynamic Optimisation Problems: Design, Analysis and Applications
Engineering & Physical Science Research Council
1/12/07 → 31/05/11
Project: Research Councils
-
Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Engineering & Physical Science Research Council
1/07/06 → 30/06/11
Project: Research Councils
-
Midlands Graduate School in Foundations of Computer Science 2007- 2009
Engineering & Physical Science Research Council
1/03/07 → 30/06/09
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
-
Agent-Oriented Theorem Proving
Kerber, M.
Engineering & Physical Science Research Council
14/01/00 → 13/01/01
Project: Research Councils
-
Physics-Based quantitative flouresence imaging methods for studying protein-protein interactions
Claridge, E. & Powner, D.
20/11/06 → 19/10/07
Project: Research Councils
-
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
-
-
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
-
Nominal String Diagrams
Engineering & Physical Science Research Council
1/12/20 → 31/05/24
Project: Research Councils
-
Grant Balances 2010 - Novel Optimisation methods for metabolomics
Engineering & Physical Science Research Council
22/02/12 → 29/03/12
Project: Research Councils
-
Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
Engineering & Physical Science Research Council
1/04/23 → 31/03/26
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
-
Semantics of Nondeterminism
Engineering & Physical Science Research Council
1/12/05 → 31/08/08
Project: Research Councils