Computer Science

Projects

Projects per year 1992 2000 2002 2003 2004 2005 2006 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2047

• 2 Not started
• 53 Active
• 434 Finished

Projects per year

Search results

• 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

• 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

• 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

• A new mass spectrometer for structural proteomics and protein imaging

  Thomas, C., Grant, M., Lovering, A., Alderwick, L., Tomlinson, M., Winn, P., Knowles, T., Cooper, H., Styles, I., Gibbs, D., Huber, D., Bhatt, A. & Leney, A.

  BIOTECHNOLOGY & BIOLOGICAL SCIENCES

  1/07/19 → 30/06/20

  Project: Research

  • Imaging Mass Spectrometry 100%
  • Phycobiliproteins 70%
  • Mass Spectrometry 68%
  • Protein 67%
  • Metals 53%

• A Multiple Level Statistical Model for Speech Pattern Processing

  Russell, M.

  DERA

  18/01/99 → 17/01/01

  Project: Other Government Departments

• A Multi-Disciplinary Approach to Understanding the Immunological Basis and Potential Prevention of Graft versus Host Disease

  Moss, P., Malladi, R., Craddock, C., Pratt, D., Smith, D. & Tino, P.

  Medical Research Council

  1/10/13 → 30/06/18

  Project: Research Councils

  • T-Lymphocytes 100%
  • Hematopoietic Stem Cell Transplantation 89%
  • Stem Cell Transplantation 84%
  • Human Herpesvirus 4 68%
  • Graft vs Host Disease 64%

• A Midlands e-Science Centre of Excellence Proposal: Modelling and Analysis of Large Complex Systems

  Kwiatkowska, M., Chan, A., Knowles, P., Theodoropoulos, G. & Watkins, P.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/08/03 → 31/12/05

  Project: Research Councils

• Ambient Information Representation: Managing Increasing Data

  Beale, R.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  15/02/08 → 14/04/08

  Project: Research Councils

  • Pedagogy 100%
  • Engagement 98%
  • Cluster analysis 73%
  • Learning 57%
  • Design 39%

• 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

  • Mobile robots 100%
  • Robots 35%

• Alliance: Franco - British Partnership Programme 2003

  Kwiatkowska, M.

  BRITISH COUNCIL

  1/01/03 → 31/12/04

  Project: Other Government Departments

• Algorithms and Software Tools for WoS Analysis

  Kwiatkowska, M.

  BRITISH COUNCIL

  1/04/03 → 31/03/04

  Project: Other Government Departments

• 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

• Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment

  Rahli, V.

  Verified Trustworthy Software Systems

  1/04/20 → 30/09/21

  Project: Research

• A Higher Order approach to Codesign

  Ghica, D.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  17/06/13 → 16/12/16

  Project: Research Councils

  • Functional programming 100%
  • Semiring 82%
  • Resources 70%
  • Computer programming languages 68%
  • Computer hardware 66%

• Agent-Oriented Theorem Proving

  Kerber, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  14/01/00 → 13/01/01

  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

  • Neurons 100%

• A Future of Reliable Wireless Ad Hoc Networks of Roaming Devices (Forward)

  Kwiatkowska, M.

  TECHNOLOGY STRATEGY BOARD, QINETIQ LTD

  1/01/03 → 30/06/05

  Project: Research

• Adversarially-robust neural networks for cyber security

  Ryan, M.

  G.C.H.Q.

  30/09/19 → 31/03/23

  Project: Other Government Departments

• Advanced Visualisation and Rule Extraction for Marketing-Contract 654516

  Beale, R. & Hendley, R.

  BRITISH TELECOMMUNICATIONS PLC

  1/10/97 → 30/09/98

  Project: Industry

• Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation

  Levy, P.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/01/08 → 31/12/12

  Project: Research Councils

  • Power set 100%
  • Coalgebra 88%
  • Functor 70%
  • Chain 45%
  • Labeled Trees 26%

• Advanced IT Techniques to Support Analysis, Design andThrough-Life Management of Complex Engineering Systems

  Beale, R.

  Defence Science And Technology Laboratory

  1/06/94 → 30/11/94

  Project: Other Government Departments

• Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification

  Ghica, D.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/07/06 → 30/06/11

  Project: Research Councils

  • Semantics 100%
  • Geometry 44%
  • Digital circuits 40%
  • Syntactics 37%
  • Computer programming languages 33%

• 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

• ADEPT: Adaptive Dynamic Ensemble Prediction Techniques

  Wyatt, J.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/08/08 → 31/07/11

  Project: Research Councils

• Additional Sponsorship 2011 -Shaping Capability BTG: Market Based Control of complex computational system

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  12/12/11 → 14/05/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

• Additional Sponsorship 2011: Shaping Capability BTG: Grasping under Uncertainty in Robots and Humans

  Wyatt, J.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  24/01/12 → 30/06/12

  Project: Research Councils

• Adaptive Tools for Electromagnetics and Materials Modelling to Bridge the Gap between Design and Manufacturing (AOTOMAT) - (QMUL Led ECSA1X7R EP/P005578/1)

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/12/16 → 30/11/19

  Project: Research Councils

• Adaptive Divide-and-Conquer---Natures way to Cope with Complexity

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/07/03 → 31/12/03

  Project: Research Councils

• A Computational Exploration of Self Organising Dimensional Reduction Schemes for Corpus Derived Semantics

  Bullinaria, J.

  THE NUFFIELD FOUNDATION

  1/06/02 → 30/09/02

  Project: Research

• Accent Corpus

  Russell, M.

  20/20 SPEECH LIMITED

  1/12/02 → 30/06/03

  Project: Industry

• Accelerating RNS-CKKS Homomorphic Encryption Scheme on CPU-FPGA Heterogeneous Platforms

  Sinha Roy, S.

  SAMSUNG ELECTRONICS CO LTD

  1/03/20 → 30/11/20

  Project: Industry

• Academic Centre of Excellence in Cyber Security Research - University of Birmingham

  Ryan, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/07/17 → 30/06/23

  Project: Research Councils

• Academic Centre of Excellence in Cyber Security Research

  Ryan, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  31/12/13 → 30/12/17

  Project: Research Councils

• 3D Visualistion of Single Platelets Within Aggregates Using Expansion Microscopy

  Poulter, N., Pike, J., Thomas, S., Styles, I., Neely, R. & Watson, S.

  BRITISH HEART FOUNDATION

  1/10/19 → 30/09/22

  Project: Research

  • Actins 100%
  • Microscopy 49%
  • Cytochalasin D 26%
  • Lighting 21%
  • Workflow 21%

• 2004 AAAI Fall Symposiu, Computational Correctionism in Cognitive Science

  Tino, P.

  THE ROYAL SOCIETY

  1/12/04 → 31/01/05

  Project: Research

• 10th International Conference on Information and Communications Security

  Ryan, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  21/10/08 → 20/01/09

  Project: Research Councils

• (E-HL): E-Health and Learning

  Arvanitis, T., Baber, C., Davies, D. & Khan, K.

  European Commission

  23/01/03 → 22/06/04

  Project: EU

• (Anglia Ruskin University Lead) Life-swap workshops

  Fleck, R.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/11/15 → 31/01/17

  Project: Research Councils