Projects per year
- 300 - 350 out of 469 results
Search results
-
Research Councils
Postdoctoral Research Fellowship - Rigorous Runtime Analysis of Nature Inspired Meta-heuristics
Oliveto, P.
Engineering & Physical Science Research Council
1/08/10 → 30/09/13
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
-
Security Tutorial Day at MFPS 21
Jung, A. & Escardo, M.
Engineering & Physical Science Research Council
4/05/05 → 3/08/05
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
-
Fourteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2007)
Jung, A.
2/07/07 → 1/08/07
Project: Research Councils
-
IAA2017 - Optical Imaging for detection and characterisation of Rheumatoid arthritis
Engineering & Physical Science Research Council
1/01/19 → 31/03/20
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 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
-
The ExCALIBUR Capital Programme: Supporting Hardware and Enabling Software 2020-2021
SCIENCE & TECHNOLOGY FACILITIES COUNCIL
1/04/21 → 31/07/22
Project: Research Councils
-
Characterization of hemodynamic activity during non-pathological ageing by fractal analysis
11/03/22 → 10/03/24
Project: Research Councils
-
Academic Centre of Excellence in Cyber Security Research
Engineering & Physical Science Research Council
31/12/13 → 30/12/17
Project: Research Councils
-
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
-
Mobile Communications for Distributed Collaborative Problem Solving
Engineering & Physical Science Research Council
1/08/01 → 31/08/02
Project: Research Councils
-
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
Ryan, M., Ghica, D. & Kwiatkowska, M.
Engineering & Physical Science Research Council
1/10/06 → 31/03/10
Project: Research Councils
-
Human Factors of Wearable Computers
Engineering & Physical Science Research Council
1/10/97 → 30/09/00
Project: Research Councils
-
Ambient Information Representation: Managing Increasing Data
Engineering & Physical Science Research Council
15/02/08 → 14/04/08
Project: Research Councils
-
Challenging Different Forms of Bias in Physical Science and Engineering Research
Rowe, J., Duberley, J., Martin, U. & Stewart, B.
Engineering & Physical Science Research Council
1/11/18 → 30/04/21
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
-
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
-
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
-
NIPS Conference
Engineering & Physical Science Research Council
1/12/92 → 31/12/92
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
-
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
-
Evolutionary Computation for Dynamic Optimisation in Network Environments
Engineering & Physical Science Research Council
25/02/13 → 17/08/17
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
-
FORGING: Fortuitous Geometries and Compressive Learning
Engineering & Physical Science Research Council
9/01/17 → 8/01/23
Project: Research Councils
-
SEBASE: Software Engineered By Automated SEarch
Engineering & Physical Science Research Council
29/06/06 → 28/12/11
Project: Research Councils
-
A Multi-Disciplinary Approach to Understanding the Immunological Basis and Potential Prevention of Graft versus Host Disease
Moss, P., Malladi, R., Craddock, C., Pratt, G., Smith, D. & Tino, P.
1/10/13 → 30/06/18
Project: Research Councils
-
Theory of Evolutionary Computation - Application for Visiting Fellowship
Engineering & Physical Science Research Council
28/01/02 → 27/01/03
Project: Research Councils
-
Newton Advanced Fellowship - 2017 R1: Analysis and design of memristive circuit based on brain-like computing
1/03/17 → 29/02/20
Project: Research Councils
-
Newton Advanced Fellowship: Professor K Tang - Data Driven Metaheuristic Search
15/03/16 → 14/03/19
Project: Research Councils
-
Additional Sponsorship 2011 -Shaping Capability BTG: Market Based Control of complex computational system
Engineering & Physical Science Research Council
12/12/11 → 14/05/12
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
-
SMOOTH: Smoothing the Digital Identity Onboarding Process
15/05/23 → 15/12/23
Project: Research Councils
-
Higher Categories for Compositional Computer Science - Enhancement Award
Vicary, J.
1/01/18 → 31/03/20
Project: Research Councils
-
Postdoctoral Fellowship (Dr Murphy)
Murphy, D.
Engineering & Physical Science Research Council
1/04/93 → 31/03/95
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
-
(Anglia Ruskin University Lead) Life-swap workshops
Fleck, R.
Engineering & Physical Science Research Council
1/11/15 → 31/01/17
Project: Research Councils
-
Conferences on Intelligent Computer Mathematics
Engineering & Physical Science Research Council
1/07/08 → 31/12/08
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
-
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
-
Formation of Methods for Proof Planning in Mathematics
Kerber, M.
Engineering & Physical Science Research Council
7/12/98 → 6/02/02
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
-
Learning the structure and dynamics of human environments to support intelligent mobile robot behaviour
Hawes, N.
Engineering & Physical Science Research Council
29/04/13 → 28/04/14
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
-
Lexical Alignment in human computer dialogue - the impact of voice anthropomorphism
Cowan, B.
9/04/12 → 29/03/13
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