Projects per year
- 400 - 450 out of 469 results
Search results
-
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
-
Understanding scenes and events through joint parsing, cognitive reasoning and lifelong learning (Oxford lead)
Engineering & Physical Science Research Council
1/01/16 → 28/02/22
Project: Research Councils
-
Next generation tools for the annotation of metabolites in global LC-MS metabolomic studies
Dunn, W., He, S., Viant, M. & Weber, R.
Biotechnology & Biological Sciences Research Council
1/10/16 → 31/12/17
Project: Research Councils
-
Computational Complexity Analysis of Evoloutionary Algarithms.
Engineering & Physical Science Research Council
1/05/05 → 31/10/08
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
-
Foundations and Applications of Nature Inspired Computing Systems
1/08/12 → 31/07/17
Project: Research Councils
-
Strategic Partnership in Computational Science for Advanced Simulation and Modelling of Engineering Systems
Engineering & Physical Science Research Council
1/10/21 → 31/03/24
Project: Research Councils
-
World Congress on Computational Intelligence
Bullinaria, J.
1/07/06 → 30/09/06
Project: Research Councils
-
-
IAA2017_Formal Verification of a secure Boot Protocol
Engineering & Physical Science Research Council
17/09/18 → 16/11/18
Project: Research Councils
-
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
-
Advanced Analysis of Building Energy performance Using Computational Intelligence Approaches
Schnier, T.
Engineering & Physical Science Research Council
1/04/08 → 28/02/10
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
-
-
SEEDS: Scalable, Evolvable, Emergent, Development Systems
Miller, J.
Engineering & Physical Science Research Council
1/07/03 → 30/06/04
Project: Research Councils
-
Higher Algebra and Quantum Protocols
Vicary, J.
Engineering & Physical Science Research Council
4/03/19 → 31/03/20
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
-
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
-
Recursion, guarded recursion and computational effects
Engineering & Physical Science Research Council
1/07/16 → 31/12/19
Project: Research Councils
-
Trustworthy Voting Systems
Engineering & Physical Science Research Council
12/10/09 → 21/04/14
Project: Research Councils
-
EPSRC : Midlands Graduate School in the Foundations of Computing Science 2010
Engineering & Physical Science Research Council
18/08/10 → 17/08/11
Project: Research Councils
-
Automated quantitative software verification with PRISM
Kwiatkowska, M.
Engineering & Physical Science Research Council
1/01/07 → 31/03/10
Project: Research Councils
-
Discipline Hopping Award: Generative-discriminative Hybrids for Disease Prediction & Cell Communication Modelling
22/09/08 → 21/09/09
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
-
Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Engineering & Physical Science Research Council
1/01/08 → 31/12/12
Project: Research Councils
-
Additional Sponsorship 2011 -Shaping Capability BTG: Al and Philosophy conference (AISB/IACAP World congress 2012)
Barnden, J.
Engineering & Physical Science Research Council
12/06/12 → 30/06/12
Project: Research Councils
-
Coping with the Open-endedness of Everyday Metaphorical Language: Theory, Corpus Study and Computational Implementation
Barnden, J., Glasbey, S., Lee, M. & Wallington, A.
Engineering & Physical Science Research Council
1/07/05 → 30/11/08
Project: Research Councils
-
Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Engineering & Physical Science Research Council
1/04/10 → 30/09/15
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
-
Fourteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2007)
Jung, A.
2/07/07 → 1/08/07
Project: Research Councils
-
Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality.
Jung, A.
Engineering & Physical Science Research Council
29/03/10 → 28/08/10
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
-
Midlands Graduate School 2003
Jung, A.
Engineering & Physical Science Research Council
1/04/03 → 31/05/03
Project: Research Councils
-
Automated Diagnosis for Fault Detection, Identification and Recovery in Autosub6000
Dearden, R. & Wyatt, J.
Natural Environment Research Council
1/12/08 → 15/02/12
Project: Research Councils
-
Scientific Document Analysis - Visit to Kyushu
Engineering & Physical Science Research Council
13/11/05 → 12/02/06
Project: Research Councils
-
Conferences on Intelligent Computer Mathematics
Engineering & Physical Science Research Council
1/07/08 → 31/12/08
Project: Research Councils
-
Taking on the Teenagers - Using Adolescent Energy to Reduce Energy Use.
Beale, R. & Green, R.
Engineering & Physical Science Research Council
6/10/10 → 5/02/14
Project: Research Councils
-
A theory of type theories
Engineering & Physical Science Research Council
1/03/20 → 31/08/22
Project: Research Councils
-
Modelling Oceanic Internal Waves with Machine Learning Approaches
10/08/21 → 9/08/23
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
-
MACACO: Mobile context-Adaptive CAching for COntent-centric networking
Musolesi, M.
Engineering & Physical Science Research Council
30/04/14 → 29/04/17
Project: Research Councils
-
Automated Game-Theoretic Verification of Security Systems
Engineering & Physical Science Research Council
4/11/13 → 31/10/14
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
-
ALOOF: Autonomous Learning of the Meaning of Objects
Kunze, L., Hawes, N. & Parker, D.
Engineering & Physical Science Research Council
31/12/14 → 29/06/18
Project: Research Councils
-
Wideband Ionospheric Sounder Cubesat Experiment (WISCER) design study
Baber, C., Cannon, P. & Cruise, M.
SCIENCE & TECHNOLOGY FACILITIES COUNCIL
1/02/12 → 30/04/12
Project: Research Councils
-
Research Equipment Initiative - Vision, touch and balance
Wing, A., Humphreys, G., Kita, S., Kitas, G., Miall, C., Riddoch, J., Russell, M., Sackley, C., Thorpe, S. & Welchman, A.
Biotechnology & Biological Sciences Research Council
12/06/07 → 11/06/08
Project: Research Councils
-
Novel Digital Twins for Monitoring Compliance Debts
Minku, L., Pham, D. & Bahsoon, R.
Engineering & Physical Science Research Council
1/09/20 → 20/02/22
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
-
Mobile Communications for Distributed Collaborative Problem Solving
Engineering & Physical Science Research Council
1/08/01 → 31/08/02
Project: Research Councils
-
Eurowearable 03
Baber, C. & Woolley, S.
Engineering & Physical Science Research Council
1/08/03 → 31/01/04
Project: Research Councils