Projects per year
- 400 - 450 out of 531 results
Search results
-
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
-
NIPS Conference
Engineering & Physical Science Research Council
1/12/92 → 31/12/92
Project: Research Councils
-
International Joint Project 2008 - Combining complementary approaches for mathematical / chemical document analysis
1/04/09 → 31/03/11
Project: Research Councils
-
Modular Abstraction and Abstraction Refinement: A Game Semantic Approach
Engineering & Physical Science Research Council
1/03/06 → 30/11/08
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
-
EPSRC Institutional Sponsorship 2015 - Robotics community building projects
Engineering & Physical Science Research Council
1/06/15 → 31/03/16
Project: Research Councils
-
Semantic Foundations for Interactive Programs
Krishnaswami, N.
Engineering & Physical Science Research Council
1/06/16 → 31/08/17
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
-
Recursion, guarded recursion and computational effects
Engineering & Physical Science Research Council
1/07/16 → 31/12/19
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
-
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
-
International Exchanges Scheme - 2015 Chine (NSFC) - On some problems in the theory of domains (Royal Society -Newton Mobility Grant)
Jung, A.
16/03/16 → 15/03/18
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
-
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
-
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
-
IAA2017 - Optical Imaging for detection and characterisation of Rheumatoid arthritis
Engineering & Physical Science Research Council
1/01/19 → 31/03/20
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
-
Automated Understanding of Metaphorical Utterances in Mundane Discourse
Barnden, J.
Engineering & Physical Science Research Council
14/09/99 → 13/06/03
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
-
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
-
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
-
-
Discipline Hopping Award: Generative-discriminative Hybrids for Disease Prediction & Cell Communication Modelling
22/09/08 → 21/09/09
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
-
Isogeny-Based Cryptography: From Theory to Practice
Engineering & Physical Science Research Council
25/03/19 → 24/03/22
Project: Research Councils
-
10th International Conference on Information and Communications Security
Engineering & Physical Science Research Council
21/10/08 → 20/01/09
Project: Research Councils
-
Trustworthy Voting Systems
Engineering & Physical Science Research Council
12/10/09 → 21/04/14
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
-
Centre for Digital Citizens - Next Stage Digital Economy Centre
Engineering & Physical Science Research Council
15/06/22 → 31/10/25
Project: Research Councils
-
CLRM3D: Continual Large-scale Representation Learning from Multi-Modal Medical Data
18/04/23 → 17/04/25
Project: Research Councils
-
Post-Quantum Cryptography: a Cryptanalysis Approach
Engineering & Physical Science Research Council
1/10/21 → 30/09/26
Project: Research Councils
-
DAASE: Dynamic Adaptive Automated Software Engineering (via UCL)
Engineering & Physical Science Research Council
1/06/12 → 31/05/19
Project: Research Councils
-
Prisoners Dilema Competition: Celebrating the 20th Anniversary
Engineering & Physical Science Research Council
1/11/03 → 30/09/05
Project: Research Councils
-
A theory of type theories
Engineering & Physical Science Research Council
1/03/20 → 31/08/22
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
-
Average computation time of Evolutionary Algorithms for Combinational Optimisation problems.
Engineering & Physical Science Research Council
1/09/01 → 28/02/03
Project: Research Councils
-
Science Networks: Follow-up Activities - Workshops and Meetings in China, October '06
1/06/06 → 30/11/08
Project: Research Councils
-
Diversity Denoising for Unbiased Intensity Quantification in Fluorescence Microscopy
Lei, Y. & Krull, A.
1/03/21 → 31/08/21
Project: Research Councils
-
Cyber Security for the Vehicles of Tomorrow
Engineering & Physical Science Research Council
1/06/18 → 30/11/23
Project: Research Councils
-
Multi-dimensional quantum-enabled sub-THz Space-Borne ISAR sensing for space domain awareness and critical infrastructure monitoring - SBISAR
Gashinova, M., Cherniakov, M., Antoniou, M., Alconcel, L., Styles, I. & Martorella, M.
Engineering & Physical Science Research Council
1/05/24 → 31/07/27
Project: Research Councils
-
SEBASE: Software Engineered By Automated SEarch
Engineering & Physical Science Research Council
29/06/06 → 28/12/11
Project: Research Councils
-
KTS - SMTC UK, Longbridge - Dr Thorsten Schnier
Engineering & Physical Science Research Council
31/05/11 → 30/05/12
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
-
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
-
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
-
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
-
Verifying Interoperability requirements in Pervasive Systems
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils
-