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

• 53 Active
• 434 Finished

Projects per year

Search results

• Finished

  Human Error Data Collection

  Baber, C. & Gibson, W.

  EUROCONTROL EXPERIMENTAL CENTRE

  1/07/06 → 31/12/06

  Project: EU

• SEBASE: Software Engineered By Automated SEarch

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  29/06/06 → 28/12/11

  Project: Research Councils

  • Evolutionary algorithms 100%
  • Concept Drift 32%
  • Evolutionary multiobjective Optimization 27%
  • Containers 25%
  • Evolutionary Algorithms 24%

• Science Networks: Follow-up Activities - Workshops and Meetings in China, October '06

  Yao, X.

  THE ROYAL SOCIETY

  1/06/06 → 30/11/08

  Project: Research Councils

• DTC2 - Human Factors Integration Project Phase 2 (Bob Stone Non-Pay Account)

  Stone, B. & Baber, C.

  AEROSYSTEMS INTERNATIONAL LIMITED

  1/04/06 → 1/04/09

  Project: Industry

• DTC2 - Human Factors Integration Project Phase 2 (Core Account)

  Stone, B. & Baber, C.

  AEROSYSTEMS INTERNATIONAL LIMITED

  1/04/06 → 1/04/09

  Project: Industry

• DTC2 - Human Factors Integration Project Phase 2 (Chris Baber Non-Pay Account)

  Stone, B. & Baber, C.

  AEROSYSTEMS INTERNATIONAL LIMITED

  1/04/06 → 1/04/09

  Project: Industry

• Modular Abstraction and Abstraction Refinement: A Game Semantic Approach

  Ghica, D.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/03/06 → 30/11/08

  Project: Research Councils

  • Semantics 100%
  • Model Checking 66%
  • Model checking 62%
  • Software 52%
  • Game 47%

• Predictive Modelling of Signaling Pathways via Probabalistic Model-Checking with PRISM

  Kwiatkowska, M.

  MICROSOFT LIMITED

  1/01/06 → 30/06/07

  Project: Industry

• 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

• Semantics of Nondeterminism

  Levy, P.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/12/05 → 31/08/08

  Project: Research Councils

  • Tensors 100%
  • Continuation 91%
  • Monads 50%
  • Semantics 45%
  • Tensor 23%

• Scientific Document Analysis - Visit to Kyushu

  Sexton, A. & Sorge, V.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  13/11/05 → 12/02/06

  Project: Research Councils

• A Simulation Study of Major Early Transitions in the Evolution of Nervous Systems

  Yao, X.

  HONDA R&D EUROPE (DEUTSCHLON) GMBH

  1/11/05 → 31/12/16

  Project: EU

• Fifth International Conference in Hybrid Intelligent Systems

  Bullinaria, J.

  THE ROYAL SOCIETY

  1/11/05 → 31/01/06

  Project: Research

• The Co-evoloution of Information and Information Control on the DNA

  Yao, X.

  HONDA R&D EUROPE (DEUTSCHLON) GMBH

  1/10/05 → 31/12/16

  Project: EU

• A Unified Model for Speech Recognition and Synthesis

  Russell, M.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  14/09/05 → 13/03/09

  Project: Research Councils

  • Acoustics 100%
  • Hidden Markov models 93%
  • Discriminant analysis 32%
  • Singular value decomposition 31%
  • Speech recognition 28%

• FP6 STReP - ESIGNET : Evolving Cell Signalling Networks in Silico (NEST)

  Rowe, J. & Kent, C.

  EUROPEAN COMMISSION

  1/09/05 → 31/12/08

  Project: Research

• Workshop Attendance Bursary: Third Summer School Cognitive Vision - B Arisabala

  Claridge, E.

  Cancer Research UK

  1/08/05 → 31/08/05

  Project: Research

• TCS ProEnviro TCD Scheme II

  Hendley, R.

  PRO ENVIRO LTD, KNOWLEDGE TRANSFER PARTNERSHIPS

  11/07/05 → 10/06/08

  Project: Research

• 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

• Cancer GRID.

  Johnson, P. & Kwiatkowska, M.

  Medical Research Council

  1/06/05 → 31/05/08

  Project: Research Councils

• Designer Algorithms for Astronomical Data Mining

  Ponman, T., Yao, X., Chaplin, B., Claridge, E., Kaban, A., Raychaudhury, S., Sexton, A., Stevens, I. & Tino, P.

  SCIENCE & TECHNOLOGY FACILITIES COUNCIL

  9/05/05 → 8/05/08

  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

• Computational Complexity Analysis of Evoloutionary Algarithms.

  Yao, X. & Rowe, J.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/05/05 → 31/10/08

  Project: Research Councils

  • Evolutionary algorithms 100%
  • Evolutionary Algorithms 76%
  • Black-box Optimization 37%
  • Estimation of Distribution Algorithms 37%
  • Runtime Analysis 37%

• 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

• Wellcome VIP Kwiatkowska

  Kwiatkowska, M.

  THE WELLCOME TRUST

  1/04/05 → 30/09/05

  Project: Research

• Evolutionary Computation Benchmarking

  Yao, X.

  HONDA R&D EUROPE (DEUTSCHLON) GMBH

  1/03/05 → 30/09/12

  Project: EU

• Wellcome Trust VIP Award - Ata Kaban

  Kaban, A. & Tino, P.

  THE WELLCOME TRUST

  1/01/05 → 30/06/05

  Project: Research

• 2004 AAAI Fall Symposiu, Computational Correctionism in Cognitive Science

  Tino, P.

  THE ROYAL SOCIETY

  1/12/04 → 31/01/05

  Project: Research

• Case Studentship with Thales

  Yao, X.

  THALES RESEARCH & TECHNOLOGY UK LTD

  1/10/04 → 30/09/07

  Project: Industry

• Articulatory Modelling for Speech Recognition and Speaker Identification

  Russell, M.

  Government Communications Headquarters

  1/10/04 → 30/09/07

  Project: Other Government Departments

• Market Based Control of Complex Computational Systems

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/10/04 → 31/03/10

  Project: Research Councils

  • Evolutionary Learning 100%
  • Resource allocation 64%
  • Reputation 39%
  • Iterated Prisoner's Dilemma 38%
  • Strategy 34%

• BAA-RM-04-23 NECTAR

  Delaney, B., Arvanitis, T., Hobbs, R. & Kwiatkowska, M.

  NATIONAL INSTITUTE OF HEALTH, USA

  30/09/04 → 29/09/08

  Project: Research

• Novel Algorithms for Efficient Grid Based Evoloution of Robot Controllers

  Wyatt, J.

  THE ROYAL SOCIETY

  1/09/04 → 30/11/04

  Project: Research

• Human Error Data Collection

  Baber, C.

  EUROCONTROL EXPERIMENTAL CENTRE

  1/09/04 → 31/12/04

  Project: EU

• FP6 IP - CoSy : Cognitive Systems for Cognitive Assistants

  Wyatt, J. & Sloman, A.

  EUROPEAN COMMISSION

  1/09/04 → 31/08/08

  Project: Research

  • Benchmarking 100%
  • Intelligent systems 98%
  • Intelligent robots 49%

• MLS FrameworkFor Continuous Domain Theory in Logical Form

  Jung, A.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  28/08/04 → 27/12/04

  Project: Research Councils

• Denotational Semantics of Nondetermination

  Levy, P.

  THE NUFFIELD FOUNDATION

  1/07/04 → 30/06/06

  Project: Research

• Large-Scale Distributed Simulation of the Grid

  Theodoropoulos, G.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  29/06/04 → 28/09/06

  Project: Research Councils

  • Agent-based Simulation 100%
  • Multi-agent Simulation 57%
  • Distributed Simulation 54%
  • System Simulation 42%
  • Multi-agent Systems 39%

• MsSAM (Methods to Support Shared Analysis for Mobile Investigators)

  Baber, C., Woolley, S. & Hunter, J.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/06/04 → 30/09/07

  Project: Research Councils

  • Crime 100%
  • examiner 69%
  • offense 54%
  • Police 24%
  • Law enforcement 22%

• China - UK Science Networks

  Yao, X.

  THE ROYAL SOCIETY

  1/05/04 → 30/09/05

  Project: Research

• FP6 STReP - CONNECT: Designing the Classroom of Tomorrow by Using Advanced Technologies to Connect Formal & Informal Environments

  Arvanitis, T., Baber, C. & Stone, B.

  EUROPEAN COMMISSION

  1/02/04 → 31/01/07

  Project: EU

• Wellcome Trust VIP Award: Dr X Li

  Li, X.

  THE WELLCOME TRUST

  1/01/04 → 30/09/04

  Project: Research

• VIP Development Award - Dr Ela Claridge

  Claridge, E.

  THE WELLCOME TRUST

  1/01/04 → 30/09/04

  Project: Research

• FP6 - NoE: KALEIDOSCOPE

  Beale, R. & Sharples, M.

  EUROPEAN COMMISSION

  1/01/04 → 31/12/07

  Project: EU

• 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

  • Probabilistic Automata 100%
  • Timed Automata 97%
  • Model checking 87%
  • Power Management 72%
  • Symbolic Model Checking 61%

• Prisoners Dilema Competition: Celebrating the 20th Anniversary

  Yao, X.

  ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

  1/11/03 → 30/09/05

  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

• FP6 IP - DBE: Digital Business Ecosystem

  Rowe, J.

  EUROPEAN COMMISSION

  1/11/03 → 31/10/06

  Project: EU

• 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

  • spontaneity 100%
  • drama 88%
  • metaphor 73%
  • director 72%
  • emotion 61%

• Speaker Verification Using a Dynamic 'Calculatory' Segmental HMM

  Russell, M.

  EUROPEAN OFFICE OF AEROSPACE RESEARCH & DEVELOPMENT

  1/10/03 → 30/09/04

  Project: Research