Computer Science

Organisational unit: School

Research Projects

  1. Trait and State Impulsivity in Maltreated Children

    Peter Tino & Stephane De Brito

    ECONOMIC & SOCIAL RESEARCH COUNCIL

    4/12/2130/11/24

    Project: Research Councils

  2. Post-Quantum Cryptography: a Cryptanalysis Approach

    Christophe Petit

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/2130/09/26

    Project: Research Councils

  3. Modelling Oceanic Internal Waves with Machine Learning Approaches

    Shuo Wang

    THE ROYAL SOCIETY

    10/08/219/08/23

    Project: Research Councils

  4. Cross-Ledger Privacy & Deanonymization

    Pascal Berrang

    Federal Office for Defence Procurement armasuisse

    1/08/2131/07/22

    Project: Research

  5. EPSRC IAA 2021 (R9): Hamid Dehghani FOF - All optical personalised monitoring system for Rheumatoid Arthritis

    Hamid Dehghani

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/2131/03/22

    Project: Research Councils

  6. Efficient Quantization Techniques for Deep Learning in Embedded System

    Hyung Jin Chang

    Ministry of Science and ICT

    1/05/2130/04/22

    Project: Research

  7. The ExCALIBUR Capital Programme: Supporting Hardware and Enabling Software 2020-2021

    Iain Styles

    SCIENCE & TECHNOLOGY FACILITIES COUNCIL

    1/04/2131/03/22

    Project: Research Councils

  8. Diversity Denoising for Unbiased Intensity Quantification in Fluorescence Microscopy

    Yunwen Lei & Alexander Krull

    Medical Research Council

    1/03/2131/08/21

    Project: Research Councils

  9. Next generation deep tissue quantitative optical imaging

    Hamid Dehghani

    NATIONAL INSTITUTE OF HEALTH, USA

    1/01/2131/12/24

    Project: Research

  10. Turing AI Fellowship: Rigorous time-complexity analysis of co-evolutionary algorithms

    Per Kristian Lehre

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/2131/12/25

    Project: Research Councils

  11. Nominal String Diagrams

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/2030/11/23

    Project: Research Councils

  12. GSK Studentship - Multimodal Image Analysis

    Iain Styles

    Glaxosmithkline

    1/11/2031/10/24

    Project: Industry

  13. Baskerville: a national accelerated compute resource

    Biao Cai & Iain Styles

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, Lenovo UK Limited

    13/10/2012/10/24

    Project: Research Councils

  14. Novel Digital Twins for Monitoring Compliance Debts

    Leandro Minku, Duc Pham & Rami Bahsoon

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/2020/02/22

    Project: Research Councils

  15. CAP-TEE: Capability Architectures in Trusted Execution

    Mark Ryan, Richard J Thomas, Mihai Ordean, Sujoy Sinha Roy, Flavio Garcia & David Oswald

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    12/08/2011/06/24

    Project: Research Councils

  16. Morris K. Udall Center at the University of Rochester

    Max Little

    NATIONAL INSTITUTE OF HEALTH, USA

    1/08/2031/07/22

    Project: Research

  17. Explainable Reasoning and Learning for Ad hoc Multiagent Teamwork

    Mohan Sridharan

    OFFICE OF NAVAL RESEARCH USA

    1/06/2031/05/23

    Project: Research

  18. Structure vs. Invariants in Proofs (StrIP)

    Anupam Das

    Medical Research Council

    1/05/2030/04/24

    Project: Research Councils

  19. Effective signage to prevent Trespass

    Chris Baber & Anson Jack

    NETWORK RAIL INFRASTRUCTURE LTD

    27/04/207/09/20

    Project: Industry

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

    Vincent Rahli

    Verified Trustworthy Software Systems

    1/04/2030/09/21

    Project: Research

  21. Machine Learning in the Space of Inferential Models

    Peter Tino

    Alan Turing Institute

    1/04/2031/12/21

    Project: Research

  22. A theory of type theories

    Benedikt Ahrens

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/03/2028/02/22

    Project: Research Councils

  23. SIPP - Secure IoT Processor Platform with Remote Attestation

    David Oswald & Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/1930/11/22

    Project: Research Councils

  24. BURG: Benchmarks for UndeRstanding Grasping

    Ales Leonardis & Mohan Sridharan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/1931/10/22

    Project: Research Councils

  25. H2020_ERC_FUN2MODEL_PARTNER

    David Parker

    EUROPEAN COMMISSION

    1/10/1930/09/24

    Project: EU

  26. Adversarially-robust neural networks for cyber security

    Mark Ryan

    G.C.H.Q.

    30/09/1931/03/23

    Project: Other Government Departments

  27. Hyundai Comp Sci Placement

    Hyung Jin Chang

    HYUNDAI MOTOR COMPANY

    1/08/1931/12/47

    Project: Industry

  28. Human Engagement through artificial / augmented intelligence (via Lancaster University)

    Ian Apperly & Chris Baber

    ECONOMIC & SOCIAL RESEARCH COUNCIL

    1/06/1930/09/20

    Project: Research Councils

  29. Isogeny-Based Cryptography: From Theory to Practice

    Christophe Petit

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    25/03/1924/03/22

    Project: Research Councils

  30. Higher Algebra and Quantum Protocols

    Jamie Vicary

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    4/03/1931/03/20

    Project: Research Councils

  31. Turing Fellowship

    Ata Kaban

    Alan Turing Institute

    24/01/1923/01/21

    Project: Research

  32. IAA2017 - Optical Imaging for detection and characterisation of Rheumatoid arthritis

    Hamid Dehghani

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/1931/03/20

    Project: Research Councils

  33. Kit Murdock Studentship

    David Oswald

    5/11/184/05/22

    Project: Other Government Departments

  34. Challenging Different Forms of Bias in Physical Science and Engineering Research

    Jon Rowe, Jo Duberley, Una Martin & Brandon Stewart

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/1830/04/21

    Project: Research Councils

  35. DCMS Msc Cyber Security Fees Bursaries for 8 students

    Ian Batten

    DEPARTMENT FOR DIGITAL, CULTURE, MEDIA & SPORT

    1/10/1830/09/19

    Project: Other Government Departments

  36. IAA2017_Formal Verification of a secure Boot Protocol

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    17/09/1816/11/18

    Project: Research Councils

  37. Steroid Metabolomics for Diagnosis of Inborn Steroidogenesis Disorders

    Peter Tino, Jon Deeks, Angela Taylor & Wiebke Arlt

    Medical Research Council

    11/09/183/03/21

    Project: Research Councils

  38. Stable Prediction of Defect-Inducing Software Changes (SPDISC)

    Leandro Minku

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    4/09/181/11/19

    Project: Research Councils

  39. Rutherford strategic partner grant 2018 – Umberto Rivieccio

    Achim Jung

    Department for Business, Energy and Industrial Strategy

    8/07/187/09/18

    Project: Other Government Departments

  40. GCHQ Summer Internship

    Mark Ryan

    2/07/181/10/18

    Project: Other Government Departments

  41. Cyber Security for the Vehicles of Tomorrow

    Flavio Garcia

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/06/1831/05/23

    Project: Research Councils

  42. H2020_ITN_ECOLE_Coordinator

    Xin Yao

    EUROPEAN COMMISSION, European Commission - Management Costs

    1/04/1831/03/22

    Project: Research

  43. Quantum Paradigms for Classical Networking

    Jamie Vicary

    31/03/1831/03/20

    Project: Research Councils

  44. BHF Infrastructure Grant

    Steven Thomas, Natalie Poulter, Iain Styles & Steve Watson

    BRITISH HEART FOUNDATION

    27/03/1825/09/19

    Project: Research

  45. User-controlled hardware security anchors: evaluation and designs

    Flavio Garcia, David Oswald & Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/02/1831/01/23

    Project: Research

  46. H2020_RIA_FUTURETPM_PARTNER

    David Oswald, David Galindo Chacon & Mark Ryan

    EUROPEAN COMMISSION

    1/01/1831/12/20

    Project: EU

  47. Higher Categories for Compositional Science

    Jamie Vicary

    THE ROYAL SOCIETY

    1/01/1831/03/20

    Project: Research Councils

  48. IAA2017 - Sensors for Pallet Detection

    Ales Leonardis

    HYSTER-YALE UK LIMITED, ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/1830/06/19

    Project: Research

  49. Research PhD - Hyperspectral imaging for non-invasive wound assessment

    Hamid Dehghani

    Defence Science And Technology Laboratory

    1/11/1731/10/20

    Project: Other Government Departments

  50. National Centre for Nuclear Robotics (NCNR)

    Rustam Stolkin, Ales Leonardis & Bob Stone

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    2/10/1731/03/22

    Project: Research

  51. OpenHaven

    Flavio Garcia & Mark Ryan

    Government Communications Headquarters

    25/09/1724/03/21

    Project: Other Government Departments

  52. STRANDS Knowledge Transfer

    Nick Hawes

    Honda Research Institute Europe Gmbh

    3/07/172/09/18

    Project: EU

  53. Academic Centre of Excellence in Cyber Security Research - University of Birmingham

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/1730/06/22

    Project: Research Councils

  54. Hybrid Optimisation for Engines

    Xin Yao

    FORD MOTOR COMPANY

    1/07/1730/06/21

    Project: Research

  55. Robot Manipulation

    Mohan Sridharan & Morteza Azad

    Honda Research Institute Europe Gmbh

    1/07/1730/04/22

    Project: EU

  56. Research and Development into Joint decision making in Multi-criteria multi-attribute domains

    Chris Baber & Andrew Howes

    Defence Science And Technology Laboratory

    9/06/1718/12/17

    Project: Other Government Departments

  57. Robust remote sensing for multi-modal characterisation in nuclear and other extreme environments

    Ales Leonardis & Rustam Stolkin

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/05/171/11/21

    Project: Research

  58. H2020_ITN_SUNDIAL_Partner

    Peter Tino

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/04/1730/09/21

    Project: Research

  59. H2020_RISE_CID_PARTNER

    Achim Jung & Martin Escardo

    EUROPEAN COMMISSION

    1/04/1731/03/21

    Project: EU

  60. Robotics for Nuclear Environments - Lead Manchester University (EP/P01366X/1)

    Ales Leonardis & Rustam Stolkin

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/1731/03/23

    Project: Research

  61. To design and produce a 'smart' sensor system for autonomous vehicles in a warehouse environment

    Nick Hawes

    KNOWLEDGE TRANSFER PARTNERSHIPS

    12/01/1711/01/19

    Project: Other Government Departments

  62. FORGING: Fortuitous Geometries and Compressive Learning

    Ata Kaban

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    9/01/178/07/22

    Project: Research Councils

  63. System-Level Game Semantics: A unifying framework for composing systems

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/1630/11/19

    Project: Research Councils

  64. Digital Technology and Human Vulnerability: Towards an Ethical Film Praxis

    Michele Aaron & Russell Beale

    ARTS & HUMANITIES RESEARCH COUNCIL

    1/10/1631/03/17

    Project: Research Councils

  65. Next generation tools for the annotation of metabolites in global LC-MS metabolomic studies

    Warwick Dunn, Shan He, Mark Viant & Ralf Weber

    BIOTECHNOLOGY & BIOLOGICAL SCIENCES

    1/10/1631/12/17

    Project: Research Councils

  66. HP Research Chair Cyber Security (Prof M Ryan)

    Mark Ryan

    HP INC UK LTD

    1/09/161/09/22

    Project: Industry

  67. Recursion, guarded recursion and computational effects

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/1631/12/19

    Project: Research Councils

  68. Internship Scheme Agreement

    Mark Ryan

    13/06/1630/09/16

    Project: Other Government Departments

  69. Semantic Foundations for Interactive Programs

    Neelakantan Krishnaswami

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/06/1631/08/17

    Project: Research Councils

  70. Cracking the Code of Adaptive Evolution (deCODE)

    James Brown, Luisa Orsini, Mark Viant, Lindsey Compton, John Colbourne & Shan He

    NATURAL ENVIRONMENT RESEARCH COUNCIL

    1/05/1631/01/22

    Project: Research Councils

  71. Newton Advanced Fellowship: Professor K Tang - Data Driven Metaheuristic Search

    Xin Yao

    THE ROYAL SOCIETY

    15/03/1614/03/19

    Project: Research Councils

  72. Feasibility of the Use of Autonomous Robotic Systems for Wheelset Reworking

    Clive Roberts & Jeremy Wyatt

    RAIL SAFETY & STANDARDS BOARD

    1/03/1628/02/17

    Project: Industry

  73. Cyber Security Research

    Mark Ryan, Tom Chothia, David Oswald & Flavio Garcia

    Government Communications Headquarters

    15/02/1614/02/17

    Project: Other Government Departments

  74. Experienced-based Optimisation

    Xin Yao

    Honda Research Institute Europe Gmbh

    1/02/1631/12/23

    Project: EU

  75. H2020_COLLAB_LUCA

    Hamid Dehghani

    EUROPEAN COMMISSION

    1/02/1631/05/21

    Project: EU

  76. H2020_MSCA-IFEF_COEVOLFRAMEWORK

    Peter Tino

    EUROPEAN COMMISSION

    1/02/1631/01/18

    Project: EU

  77. H2020_ITN_BITMAP (CO-ORDINATOR)

    Iain Styles & Hamid Dehghani

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/01/1631/12/19

    Project: Research

  78. Understanding scenes and events through joint parsing, cognitive reasoning and lifelong learning (Oxford lead)

    Ales Leonardis

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/1628/02/22

    Project: Research Councils

  79. DARPA-BAA-15-36 Building Resource Adaptive Software Systems (BRASS)

    David Parker

    CHARLES RIVER ANALYTICS INC

    23/11/1523/11/19

    Project: Research

  80. (Anglia Ruskin University Lead) Life-swap workshops

    Rowanne Fleck

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/1531/01/17

    Project: Research Councils

  81. Computer vision for whole engine modelling variation

    Hamid Dehghani &

    ROLLS ROYCE

    28/09/1527/09/19

    Project: Industry

  82. Automated Conflict Resolution in Clinical Pathways

    Mark Lee, Ian Litchfield, Alice Turner & Behzad Bordbar

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/08/1530/04/19

    Project: Research Councils

  83. H2020_MSCA-IFEF_LESODYMAS

    Peter Tino & Wiebke Arlt

    EUROPEAN COMMISSION

    13/07/1512/07/17

    Project: EU

  84. Crypotographic Device Key Management for a Wider Audience

    Tom Chothia & Flavio Garcia

    L-3 TRL TECHNOLOGY LIMITED

    1/07/1531/12/18

    Project: Industry

  85. FP7_COLLAB_EUROC

    EUROPEAN COMMISSION

    1/07/1530/06/17

    Project: EU

  86. EPSRC Institutional Sponsorship 2015 - Robotics community building projects

    Jeremy Wyatt

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/06/1531/03/16

    Project: Research Councils

  87. H2020_COLLAB_ROMANS

    Rustam Stolkin & Ales Leonardis

    EUROPEAN COMMISSION

    1/05/1531/10/18

    Project: EU

  88. Robotic systems for retrieval of contaminated material from hazardous zones

    Rustam Stolkin, Ales Leonardis & Michael Mistry

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/1531/03/18

    Project: Research

  89. Learning in the Generative Model Space with Application to Computational Biology

    Shan He

    THE ROYAL SOCIETY

    16/03/1515/03/17

    Project: Research Councils

  90. Automotive Cyber Security Test Bench / Embedded Security Lab Expansion (linked to 18518)

    Flavio Garcia

    Government Communications Headquarters

    9/02/1531/03/16

    Project: Other Government Departments

  91. H2020_COLLAB (RIA)_COGIMON

    EUROPEAN COMMISSION

    1/02/1531/01/17

    Project: EU

  92. KTP with KUKA Robotics UK Ltd - To develop a new toolbox of software and alogoriths

    Rustam Stolkin & Ales Leonardis

    KUKA ROBOTICS UK LTD, KNOWLEDGE TRANSFER PARTNERSHIPS

    13/01/1512/01/18

    Project: Research

  93. ALOOF: Autonomous Learning of the Meaning of Objects

    Lars Kunze, Nick Hawes & David Parker

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    31/12/1429/06/18

    Project: Research Councils

  94. Secure Cloud-based Collaboration Platform

    Mark Ryan

    L-3 TRL TECHNOLOGY LIMITED

    1/12/1431/05/16

    Project: Industry

  95. Research PhD - Joanne Homer - Managing Attentional Demand through Visual Analytics

    Chris Baber

    Defence Science And Technology Laboratory

    1/10/1430/09/17

    Project: Other Government Departments

  96. SCEPTICS: A SystematiC Evaluation Process for Threats to Industrial Control Systems

    Clive Roberts, Tom Chothia, Mark Ryan & Xiao-Ping Zhang

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/1431/12/17

    Project: Research Councils

  97. Ultrasound mediated bioluminescence tomography for high sensitivity, high spatial resolution 3D imaging (via Nottingham)

    Hamid Dehghani

    NATIONAL CENTRE FOR THE REPLACEMENT, REFINEMENT & REDUCTION OF ANIMALS IN RESEARCH

    30/09/1430/05/18

    Project: Research Councils

  98. High-sensitivity dot for mapping human brain function 9R01NS090874-05A1

    Hamid Dehghani

    NATIONAL INSTITUTE OF HEALTH, USA

    15/09/1430/06/20

    Project: Research

  99. Summer Internships

    Tom Chothia

    30/06/1430/01/16

    Project: Other Government Departments

  100. FP7_SME_RIFLEX

    Clive Roberts, Mani Entezami, Edward Stewart & Jeremy Wyatt

    EUROPEAN COMMISSION, European Commission - Management Costs

    1/06/1431/05/16

    Project: Research

  101. MACACO: Mobile context-Adaptive CAching for COntent-centric networking

    Mirco Musolesi

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    30/04/1429/04/17

    Project: Research Councils

  102. Cryptanalysis and Fault Injection

    Flavio Garcia

    Government Communications Headquarters

    1/03/1431/03/14

    Project: Other Government Departments

  103. Digipass 270

    Mark Ryan

    Government Communications Headquarters

    1/03/1431/03/14

    Project: Other Government Departments

  104. Small Grant : Software-defined Networking Infrastructure Security Testbed

    Shishir Nagaraja

    Government Communications Headquarters

    1/03/1431/03/15

    Project: Other Government Departments

  105. Interaction with hierarchical planning systems

    Nick Hawes

    BAE SYSTEMS (OPERATIONS) LTD

    28/02/1431/12/14

    Project: Industry

  106. FP7_COLLAB_SPEEDD -Scalable ProactivE Event-Driven Decision making

    Chris Baber & Andrew Howes

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/02/1431/01/17

    Project: Research

  107. FP7_IEF_PROMOS

    Peter Tino

    EUROPEAN COMMISSION

    2/01/142/04/16

    Project: EU

  108. IAA 2012 - FOF Fast and reliable 3D scanning for image guided breast reconstructive surgery

    Hamid Dehghani

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/1430/09/15

    Project: Research Councils

  109. Academic Centre of Excellence in Cyber Security Research

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    31/12/1330/12/17

    Project: Research Councils

  110. FP7_SME_iPatDoc

    Bernd Bohnet

    European Commission - Management Costs, EUROPEAN COMMISSION

    15/11/1330/09/14

    Project: Research

  111. Automated Game-Theoretic Verification of Security Systems

    David Parker

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    4/11/1331/10/14

    Project: Research Councils

  112. Personalised Medicine through Learning in the Model Space

    Peter Tino

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/1331/03/17

    Project: Research Councils

  113. FP7_CiG_ANALYSIS

    Bernd Bohnet

    EUROPEAN COMMISSION

    1/09/1330/09/15

    Project: EU

  114. Command and Control: Understanding, Denying and Detecting

    Shishir Nagaraja

    GOVERNMENT COMMUNICATIONS PLANNING DIRECTORATE

    20/08/1319/08/16

    Project: Other Government Departments

  115. FP7_IIF_GEN-META

    John Barnden

    EUROPEAN COMMISSION

    15/07/1314/07/15

    Project: EU

  116. A Higher Order approach to Codesign

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    17/06/1316/12/16

    Project: Research Councils

  117. Learning the structure and dynamics of human environments to support intelligent mobile robot behaviour

    Nick Hawes

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    29/04/1328/04/14

    Project: Research Councils

  118. FP7_STRANDS_COLLAB

    Jeremy Wyatt & Nick Hawes

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/04/1331/05/17

    Project: Research

  119. New Control Methodology for the Next Generation of Engine Management Systems

    Hongming Xu & Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    25/03/1324/09/16

    Project: Research Councils

  120. FP7_COLLAB_CODYCO

    Michael Mistry, Chris Miall & Alan Wing

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/03/1328/02/17

    Project: Research

  121. FP7_COLLAB_PACMAN

    Jeremy Wyatt & Ales Leonardis

    EUROPEAN COMMISSION, European Commission - Management Costs

    1/03/1329/02/16

    Project: Research

  122. MRES Studentship Agreement - Honda Research Institue Europe GmbH

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/03/1331/12/16

    Project: EU

  123. Evolutionary Computation for Dynamic Optimisation in Network Environments

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    25/02/1317/08/17

    Project: Research Councils

  124. ISF 2012 - DL - Prof X Yao and Dr V Sorge

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    14/02/1331/03/13

    Project: Research Councils

  125. eGUT: a Tool for Predictive Computer Simulation of the Gut Microbiota and Host Interactions

    Jan-Ulrich Kreft, Shan He & Chris Thomas

    NATIONAL CENTRE FOR THE REPLACEMENT, REFINEMENT & REDUCTION OF ANIMALS IN RESEARCH

    1/01/1330/06/16

    Project: Research

  126. FP7_COLLAB_EMOTE_EMbOdied-perceptive Tutors foe Empathic-based learning

    Ginevra Castellano, Susan Bull & Mina Vasalou

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/12/1231/03/16

    Project: Research

  127. FP7_COLLAB_AMULETS/LASAGNE

    Mirco Musolesi

    EUROPEAN COMMISSION, European Commission - Management Costs

    1/11/1231/10/15

    Project: Research

  128. ISF 2012 - SC - A Black Box for Trauma Care

    Andrew Howes

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    8/10/1231/03/13

    Project: Research Councils

  129. FP7_COLLAB_HIERATIC v2

    Jon Rowe, Chris Good & David Parker

    EUROPEAN COMMISSION, European Commission - Management Costs

    1/10/1230/04/16

    Project: Research

  130. FP7_COLLAB_JUXTALEARN

    Russell Beale

    EUROPEAN COMMISSION, European Commission - Management Costs

    1/10/1231/12/15

    Project: Research

  131. Speech Recognition by Synthesis (SRbS)

    Martin Russell & Peter Jancovic

    Government Communications Headquarters

    1/10/1231/10/16

    Project: Other Government Departments

  132. Symptom Design Language and Automated Code Generator for Cloud

    Behzad Bordbar

    HEWLETT PACKARD

    1/10/1230/09/16

    Project: Research

  133. ISF 2012 - KTS - Supplies Group Limited - Competitor Intelligence

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, THE SUPPLIES GROUP LTD

    10/09/1231/03/13

    Project: Research

  134. ISF 2012 - KTS - Least Cost Fulfillment

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, THE SUPPLIES GROUP LTD

    10/09/1231/03/13

    Project: Research

  135. FP7_COLLAB_ILearnRW

    Mina Vasalou, Ginevra Castellano & Robert Hendley

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/09/1231/08/13

    Project: Research

  136. Foundations and Applications of Nature Inspired Computing Systems

    Xin Yao

    THE ROYAL SOCIETY

    1/08/1231/07/17

    Project: Research Councils

  137. Sustained Autonomy through Plan-Based Control and World Modelling with Uncertainty

    Nick Hawes

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    16/07/1215/07/15

    Project: Research Councils

  138. Additional Sponsorship 2011 -Shaping Capability BTG: Al and Philosophy conference (AISB/IACAP World congress 2012)

    John Barnden

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    12/06/1230/06/12

    Project: Research Councils

  139. DAASE: Dynamic Adaptive Automated Software Engineering (via UCL)

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/06/1231/05/19

    Project: Research Councils

  140. Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour

    Manfred Kerber & Colin Rowat

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/05/1230/04/15

    Project: Research Councils

  141. MUSCLE: Multi-platform Unbiased-optimisation of Spectrometry via Closed Loop Experimentation

    Mark Viant, Shan He & Helen Cooper

    BIOTECHNOLOGY & BIOLOGICAL SCIENCES

    23/04/1222/06/13

    Project: Research Councils

  142. First Grant scheme: New Techniques for Finding and Analysing Information Leaks

    Tom Chothia

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    2/04/121/08/13

    Project: Research Councils

  143. FP7_COLLAB_SIREN

    Mina Vasalou & Russell Beale

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/03/1231/08/13

    Project: Research

  144. International Exchanges Scheme - 2011 China Costshare (NSFC)

    Shan He

    THE ROYAL SOCIETY

    1/03/1228/02/14

    Project: Research Councils

  145. Grant Balances 2010 - Novel Optimisation methods for metabolomics

    Shan He

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    22/02/1229/03/12

    Project: Research Councils

  146. Wideband Ionospheric Sounder Cubesat Experiment (WISCER) design study

    Chris Baber, P.S. Cannon & Mike Cruise

    SCIENCE & TECHNOLOGY FACILITIES COUNCIL

    1/02/1230/04/12

    Project: Research Councils

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

    Jeremy Wyatt

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    24/01/1230/06/12

    Project: Research Councils

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

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    12/12/1114/05/12

    Project: Research Councils

  149. Artist in Residence - Dr Myfanwy Johns

    Thorsten Schnier

    LEVERHULME TRUST

    25/11/1130/06/12

    Project: Research

  150. FP7 COLLAB: COGWATCH - Cognitive Rehabilitation of Apraxia and Action Disorganisation Syndrome

    Alan Wing, Chris Baber, Martin Russell, Glyn Humphreys & Jane Riddoch

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/11/1128/02/15

    Project: Research

  151. FP7_CSA_ESPAS (P.I-Matthew Angling)

    Matthew Angling & Martin Russell

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/11/1130/11/15

    Project: Research

  152. FP7_MC_IEF_BMDF:Bilattices meet d-Frames

    Achim Jung

    EUROPEAN COMMISSION

    1/11/1131/10/13

    Project: EU

  153. The Uncertainty of Identity: Linking Spatiotemporal Information between Virtual and Real Worlds (via UCL)

    Mirco Musolesi

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/1130/04/15

    Project: Research Councils

  154. UBhave: Ubiquitous and social computing for positive behaviour change (via Southampton)

    Mirco Musolesi

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/1131/03/15

    Project: Research

  155. TSB - Trust Domains: A Framework for Modelling and Designing E-Service Infrastructures for Controlled Information Sharing.

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    18/07/1117/07/14

    Project: Research Councils

  156. KTP Customer Life Time value busines problem and opportunities

    Peter Tino

    INDUSTRIAL MATHEMATICS KTN, AEA TECHNOLOGY

    21/06/1119/12/11

    Project: Research

  157. KTS - SMTC UK, Longbridge - Dr Thorsten Schnier

    Xin Yao & Hongming Xu

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    31/05/1130/05/12

    Project: Research Councils

  158. Safe Implementation Project (secondment of X Du)

    Behzad Bordbar

    BRITISH TELECOMMUNICATIONS PLC

    16/05/111/12/13

    Project: Industry

  159. Evolutionary Approximation Algorithms for Optimisation: Algorithm Design and Complexity Analysis

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    29/04/1128/10/15

    Project: Research Councils

  160. FP7_COLLAB - Isense - Making Sense of Nonsense

    Xin Yao

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/01/1131/12/13

    Project: Research

  161. Taking on the Teenagers - Using Adolescent Energy to Reduce Energy Use.

    Russell Beale & Richard Green

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    6/10/105/02/14

    Project: Research Councils

  162. Unified probabilistic modelleing of adaptive spatial temporal structures in the human brain

    Peter Tino & Zoe Kourtzi

    BIOTECHNOLOGY & BIOLOGICAL SCIENCES

    1/10/1030/03/14

    Project: Research Councils

  163. Metaphor and Metonymy: Addressing a Debate and a Neglected Problem

    John Barnden

    LEVERHULME TRUST

    30/09/1030/11/13

    Project: Research

  164. Research Exchanges with China and India Travel Award.

    Hamid Dehghani

    THE ROYAL ACADEMY OF ENGINEERING

    2/09/1014/11/10

    Project: Research

  165. FP7 - Collab - EPiCS: Engineering Proprioception in Computing Systems

    Xin Yao & Rami Bahsoon

    EUROPEAN COMMISSION, European Commission - Management Costs

    1/09/1031/08/14

    Project: Research

  166. EPSRC : Midlands Graduate School in the Foundations of Computing Science 2010

    Eike Ritter

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    18/08/1017/08/11

    Project: Research Councils

  167. Postdoctoral Research Fellowship - Rigorous Runtime Analysis of Nature Inspired Meta-heuristics

    Pietro Oliveto

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/08/1030/09/13

    Project: Research Councils

  168. Co-Evolution of Neural Control and Body Plan under Limited Resources

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/06/1031/12/16

    Project: EU

  169. Integrating functional design evaluation methods in aesthetic design process

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/05/1031/12/16

    Project: EU

  170. Leadership Fellowships 2009 : Analysing Security and Privacy Properties

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/1030/09/15

    Project: Research Councils

  171. Parking Aid Module

    Mike Cherniakov & Chris Baber

    JAGUAR CARS LIMITED

    1/04/1031/01/11

    Project: Industry

  172. Coalgebraic Probabilistic Logic over Measurable Spaces via Stone Duality.

    Achim Jung

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    29/03/1028/08/10

    Project: Research Councils

  173. FP7 - COLLAB - GeRT: Generalising Robot Manipulation Task.

    Richard Dearden & Jeremy Wyatt

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/03/1028/02/13

    Project: Research

  174. FP7 COLLAB - TRANSFORM: Translational Research and Patient Safety in Europe.

    Theodoros Arvanitis, David Fitzmaurice, Chris Baber & Russell Beale

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/03/1030/11/13

    Project: Research

  175. Divergence of Neural Structures in Changing Environments

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/02/1031/12/16

    Project: EU

  176. VIP: Fellowship Bridging Award - S He

    Achim Jung & Shan He

    THE WELLCOME TRUST

    1/02/1030/09/10

    Project: Research

  177. Micro CT/NIR Molecular Imaging of Cancer

    Hamid Dehghani

    NATIONAL INSTITUTE OF HEALTH, USA

    4/12/0930/06/12

    Project: Research

  178. Fleet Designs for Robustness and Adaptiveness

    Xin Yao

    THE COMMONWEALTH OF AUSTRALIA

    21/10/091/04/12

    Project: Research

  179. Trustworthy Voting Systems

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    12/10/0921/04/14

    Project: Research Councils

  180. Coalgebraic Logic: Expanding the Scope.

    Achim Jung

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/0931/12/12

    Project: Research

  181. KTP - Rapide Comm - Using Natural Language Processing based approaches

    Mark Lee

    RAPIDE COMMUNICATIONS LTD, AEA TECHNOLOGY

    14/09/0913/09/11

    Project: Research

  182. Applications of geometric logic to topos approaches to quantum theory

    Steven Vickers

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/0931/08/12

    Project: Research Councils

  183. High-Sensitivity Dot for Mapping Human Brain Function

    Hamid Dehghani

    NATIONAL INSTITUTE OF HEALTH, USA

    1/08/0931/05/14

    Project: Research

  184. NIRFAST

    Hamid Dehghani

    NATIONAL INSTITUTE OF HEALTH, USA

    1/06/0931/05/14

    Project: Research

  185. DTC - Human Factors Integration Phase 5 Extension (Bob Stone Non pay Account)

    Bob Stone & Chris Baber

    AEROSYSTEMS INTERNATIONAL LIMITED

    1/04/0931/03/12

    Project: Industry

  186. DTC - Human Factors Integration Phase 5 Extension (CORE Account)

    Bob Stone & Chris Baber

    AEROSYSTEMS INTERNATIONAL LIMITED

    1/04/0931/03/12

    Project: Industry

  187. DTC - Human Factors Integration Phase 5 Extension (Chris Baber Non-Pay Account)

    Bob Stone & Chris Baber

    AEROSYSTEMS INTERNATIONAL LIMITED

    1/04/0931/03/12

    Project: Industry

  188. Reinforcement Learning of visual Routines in Autonomous Systems

    Jeremy Wyatt

    BRITISH COUNCIL

    1/03/0910/09/12

    Project: Other Government Departments

  189. VIP Award - H Dehghani - Development Award

    Achim Jung & Hamid Dehghani

    THE WELLCOME TRUST

    1/02/0931/08/09

    Project: Research

  190. Model Based Algorithms for Structural and functional Dual Modality MRI and Optical Imaging

    Hamid Dehghani

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/0931/12/09

    Project: Research Councils

  191. VIP Award - H Chen Fellowship Bridging Award

    Achim Jung

    THE WELLCOME TRUST

    1/01/0931/05/09

    Project: Research

  192. Automated Diagnosis for Fault Detection, Identification and Recovery in Autosub6000

    Richard Dearden & Jeremy Wyatt

    NATURAL ENVIRONMENT RESEARCH COUNCIL

    1/12/0815/02/12

    Project: Research Councils

  193. FP7 Collab DETECTER : Detection Technologies, Terrorism, Ethics and Human Rights

    Tom Sorell, Heather Draper & Martin Russell

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/12/0831/01/12

    Project: Research

  194. 10th International Conference on Information and Communications Security

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    21/10/0820/01/09

    Project: Research Councils

  195. Verifying Interoperability requirements in Pervasive Systems

    Mark Ryan & Eike Ritter

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    8/10/087/03/13

    Project: Research Councils

  196. CASE Staite:Architectures for Advertisements in the Mobile Space

    Rami Bahsoon

    VODAFONE GROUP SERVICES LTD

    1/10/0831/03/12

    Project: Industry

  197. Verification of statebased access control - M Koleini

    Mark Ryan

    MICROSOFT RESEARCH LTD

    1/10/0830/09/11

    Project: Industry

  198. ADEPT: Adaptive Dynamic Ensemble Prediction Techniques

    Jeremy Wyatt

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/08/0831/07/11

    Project: Research Councils

  199. Cooperatively Coevolving Particles Swarms for Large Scale Optimisation

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    21/07/0820/10/09

    Project: Research Councils

  200. Conferences on Intelligent Computer Mathematics

    Volker Sorge

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/0831/12/08

    Project: Research Councils

  201. KTP 6759 - Design and Implementation of a Distributed System for Performance and Compliance Monitoring

    Behzad Bordbar

    AEA TECHNOLOGY, BRITISH TELECOMMUNICATIONS PLC

    6/05/085/05/11

    Project: Research

  202. FP7_Collab_CogX: Cognitive Systems that Self-Understand and Self-Extend

    Jeremy Wyatt, Richard Dearden & Aaron Sloman

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/05/0830/06/12

    Project: Research

  203. Advanced Analysis of Building Energy performance Using Computational Intelligence Approaches

    Thorsten Schnier

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/0828/02/10

    Project: Research Councils

  204. FP7 COLLAB - CASAM: Computer-Aided Semantic Annotation of Multimedia

    Robert Hendley & Russell Beale

    European Commission - Management Costs, EUROPEAN COMMISSION

    1/04/0831/03/11

    Project: Research

  205. Multi-Disciplinary Optimisation and Data Mining at Birmingham

    Xin Yao, Andrew Chan, Michal Kocvara & Zoe Kourtzi

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/0831/03/11

    Project: Research Councils

  206. Services for Intelligent Mobility Management (SIMM) : CITR_P17557 - Prof J Polak

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/0830/06/09

    Project: Research Councils

  207. Ambient Information Representation: Managing Increasing Data

    Russell Beale

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    15/02/0814/04/08

    Project: Research Councils

  208. Intelligent Ambient Information Representation: Managing Increasing Data

    Russell Beale

    THE ROYAL ACADEMY OF ENGINEERING

    15/02/0814/02/10

    Project: Research

  209. Design Optimisation with Adaptive Representations 2 (DOAR-2)

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/02/0831/12/16

    Project: EU

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

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/0831/12/12

    Project: Research Councils

  211. Evoloutionary Algorithms for Dynamic Optimisation Problems: Design, Analysis and Applications

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/0731/05/11

    Project: Research Councils

  212. Medieval warfare on the grid: the case of Manzikert

    Vince Gaffney & Georgios Theodoropoulos

    ARTS & HUMANITIES RESEARCH COUNCIL

    1/10/0730/09/11

    Project: Research Councils

  213. Modular discrete-wavelength light source synchronised with an intensity imaging camera for high-speed multispectral

    Ela Claridge & Iain Styles

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/0731/01/09

    Project: Research Councils

  214. Social insect inspired communication networks

    Shan He

    LEVERHULME TRUST

    1/10/0730/09/09

    Project: Research

  215. Fourteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2007)

    Achim Jung

    THE ROYAL SOCIETY

    2/07/071/08/07

    Project: Research Councils

  216. Verifying Anonymity and Privacy Properties of Security Protocols

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/05/0731/10/08

    Project: Research Councils

  217. Midlands Graduate School in Foundations of Computer Science 2007- 2009

    Eike Ritter

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/03/0730/06/09

    Project: Research Councils

  218. Automated quantitative software verification with PRISM

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/0731/03/10

    Project: Research Councils

  219. MERCIA Spinner Award - Dr Dan Ghica

    Dan Ghica

    BIRMINGHAM RESEARCH & DEVELOPMENT LTD

    1/12/0630/09/07

    Project: Industry

  220. Autonomic Solutions for Visualised ICT

    Xin Yao

    BRITISH TELECOMMUNICATIONS PLC

    1/11/0630/04/10

    Project: Industry

  221. Birmingham Interdisciplinary Bridging - Dr X Li

    Xiaoli Li

    Medical Research Council

    1/10/0630/06/07

    Project: Research Councils

  222. UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures

    Mark Ryan, Dan Ghica & Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/0631/03/10

    Project: Research Councils

  223. Verifying Properties in Electronic Voting Protocols

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/0631/12/06

    Project: Research Councils

  224. The role of language covers in games-based abstraction and refinement

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    9/08/068/09/06

    Project: Research Councils

  225. British-Polish Young Scientist Programe - Pawel Waszkiewicz

    Achim Jung

    BRITISH ACADEMY

    1/08/0631/07/07

    Project: Research Councils

  226. Design Optimization with Adaptive Representation (DOAR)

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/08/0631/12/16

    Project: EU

  227. Extending Hoare Calculus to Deal with Crash

    Manfred Kerber

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    16/07/0615/08/06

    Project: Research Councils

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

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/0630/06/11

    Project: Research Councils

  229. Human Error Data Collection

    Chris Baber & William Gibson

    EUROCONTROL EXPERIMENTAL CENTRE

    1/07/0631/12/06

    Project: EU

  230. World Congress on Computational Intelligence

    John Bullinaria

    THE ROYAL SOCIETY

    1/07/0630/09/06

    Project: Research Councils

  231. SEBASE: Software Engineered By Automated SEarch

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    29/06/0628/12/11

    Project: Research Councils

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

    Xin Yao

    THE ROYAL SOCIETY

    1/06/0630/11/08

    Project: Research Councils

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

    Bob Stone & Chris Baber

    AEROSYSTEMS INTERNATIONAL LIMITED

    1/04/061/04/09

    Project: Industry

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

    Bob Stone & Chris Baber

    AEROSYSTEMS INTERNATIONAL LIMITED

    1/04/061/04/09

    Project: Industry

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

    Bob Stone & Chris Baber

    AEROSYSTEMS INTERNATIONAL LIMITED

    1/04/061/04/09

    Project: Industry

  236. Modular Abstraction and Abstraction Refinement: A Game Semantic Approach

    Dan Ghica

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/03/0630/11/08

    Project: Research Councils

  237. Semantics of Nondeterminism

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/0531/08/08

    Project: Research Councils

  238. Scientific Document Analysis - Visit to Kyushu

    Alan Sexton & Volker Sorge

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    13/11/0512/02/06

    Project: Research Councils

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

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/11/0531/12/16

    Project: EU

  240. Fifth International Conference in Hybrid Intelligent Systems

    John Bullinaria

    THE ROYAL SOCIETY

    1/11/0531/01/06

    Project: Research

  241. The Co-evoloution of Information and Information Control on the DNA

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/10/0531/12/16

    Project: EU

  242. A Unified Model for Speech Recognition and Synthesis

    Martin Russell

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    14/09/0513/03/09

    Project: Research Councils

  243. TCS ProEnviro TCD Scheme II

    Robert Hendley

    PRO ENVIRO LTD, KNOWLEDGE TRANSFER PARTNERSHIPS

    11/07/0510/06/08

    Project: Research

  244. Cancer GRID.

    Philip Johnson & Marta Kwiatkowska

    Medical Research Council

    1/06/0531/05/08

    Project: Research Councils

  245. Designer Algorithms for Astronomical Data Mining

    Trevor Ponman, Xin Yao, Bill Chaplin, Ela Claridge, Ata Kaban, Somak Raychaudhury, Alan Sexton, Ian Stevens & Peter Tino

    SCIENCE & TECHNOLOGY FACILITIES COUNCIL

    9/05/058/05/08

    Project: Research Councils

  246. Security Tutorial Day at MFPS 21

    Achim Jung & Martin Escardo

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    4/05/053/08/05

    Project: Research Councils

  247. Computational Complexity Analysis of Evoloutionary Algarithms.

    Xin Yao & Jon Rowe

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/05/0531/10/08

    Project: Research Councils

  248. Nature Inspired Creative Design - A designing for the 21st Century Research Cluster

    Thorsten Schnier, Russell Beale, Robert Hendley & Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/0530/09/06

    Project: Research Councils

  249. Wellcome VIP Kwiatkowska

    Marta Kwiatkowska

    THE WELLCOME TRUST

    1/04/0530/09/05

    Project: Research

  250. Evolutionary Computation Benchmarking

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/03/0530/09/12

    Project: EU

  251. Wellcome Trust VIP Award - Ata Kaban

    Ata Kaban & Peter Tino

    THE WELLCOME TRUST

    1/01/0530/06/05

    Project: Research

  252. Articulatory Modelling for Speech Recognition and Speaker Identification

    Martin Russell

    Government Communications Headquarters

    1/10/0430/09/07

    Project: Other Government Departments

  253. Case Studentship with Thales

    Xin Yao

    THALES RESEARCH & TECHNOLOGY UK LTD

    1/10/0430/09/07

    Project: Industry

  254. Market Based Control of Complex Computational Systems

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/0431/03/10

    Project: Research Councils

  255. BAA-RM-04-23 NECTAR

    Brendan Delaney, Theodoros Arvanitis, Richard Hobbs & Marta Kwiatkowska

    NATIONAL INSTITUTE OF HEALTH, USA

    30/09/0429/09/08

    Project: Research

  256. FP6 IP - CoSy : Cognitive Systems for Cognitive Assistants

    Jeremy Wyatt & Aaron Sloman

    EUROPEAN COMMISSION

    1/09/0431/08/08

    Project: Research

  257. Human Error Data Collection

    Chris Baber

    EUROCONTROL EXPERIMENTAL CENTRE

    1/09/0431/12/04

    Project: EU

  258. MLS FrameworkFor Continuous Domain Theory in Logical Form

    Achim Jung

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    28/08/0427/12/04

    Project: Research Councils

  259. Denotational Semantics of Nondetermination

    Paul Levy

    THE NUFFIELD FOUNDATION

    1/07/0430/06/06

    Project: Research

  260. Large-Scale Distributed Simulation of the Grid

    Georgios Theodoropoulos

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    29/06/0428/09/06

    Project: Research Councils

  261. MsSAM (Methods to Support Shared Analysis for Mobile Investigators)

    Chris Baber, Sandra Woolley & John Hunter

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/06/0430/09/07

    Project: Research Councils

  262. China - UK Science Networks

    Xin Yao

    THE ROYAL SOCIETY

    1/05/0430/09/05

    Project: Research

  263. FP6 - NoE: KALEIDOSCOPE

    Russell Beale & Mike Sharples

    EUROPEAN COMMISSION

    1/01/0431/12/07

    Project: EU

  264. VIP Development Award - Dr Ela Claridge

    Ela Claridge

    THE WELLCOME TRUST

    1/01/0430/09/04

    Project: Research

  265. Wellcome Trust VIP Award: Dr X Li

    Xiaoli Li

    THE WELLCOME TRUST

    1/01/0430/09/04

    Project: Research

  266. FP6 IP - DBE: Digital Business Ecosystem

    Jon Rowe

    EUROPEAN COMMISSION

    1/11/0331/10/06

    Project: EU

  267. Modelling and Analysis of Mobile AD Hoc Network Protocols

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/0331/10/06

    Project: Research Councils

  268. Multi-lingual Sequent Theory Calculus and Domain Theory

    Achim Jung

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/0330/04/04

    Project: Research Councils

  269. Prisoners Dilema Competition: Celebrating the 20th Anniversary

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/0330/09/05

    Project: Research Councils

  270. EDrama: Enhancement of People, Technology and their Interaction.

    John Barnden & Robert Hendley

    ECONOMIC & SOCIAL RESEARCH COUNCIL

    31/10/038/03/07

    Project: Research Councils

  271. Speaker Verification Using a Dynamic 'Calculatory' Segmental HMM

    Martin Russell

    EUROPEAN OFFICE OF AEROSPACE RESEARCH & DEVELOPMENT

    1/10/0330/09/04

    Project: Research

  272. An Intergrated Framework for Formal Vertification and Distributed Simulation of Asynchronous

    Georgios Theodoropoulos & Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/0331/08/06

    Project: Research Councils

  273. A Generic Computational Model of Visual Attention and Object Recognition

    Glyn Humphreys, Ela Claridge & Dietmar Heinke

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    4/08/033/08/06

    Project: Research Councils

  274. Eurowearable 03

    Chris Baber & Sandra Woolley

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/08/0331/01/04

    Project: Research Councils

  275. Adaptive Divide-and-Conquer---Natures way to Cope with Complexity

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/0331/12/03

    Project: Research Councils

  276. SEEDS: Scalable, Evolvable, Emergent, Development Systems

    Julian Miller

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/0330/06/04

    Project: Research Councils

  277. Undergraduate Research Bursaries 2003

    Volker Sorge

    THE NUFFIELD FOUNDATION

    16/06/0315/08/03

    Project: Research

  278. Undergraduate Research Bursaries 2003

    Peter Tino

    THE NUFFIELD FOUNDATION

    16/06/0315/08/03

    Project: Research

  279. Algorithms and Software Tools for WoS Analysis

    Marta Kwiatkowska

    BRITISH COUNCIL

    1/04/0331/03/04

    Project: Other Government Departments

  280. Automated Verification of Probabilistics Protocols with PRISM

    Marta Kwiatkowska & Georgios Theodoropoulos

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/0331/03/06

    Project: Research Councils

  281. DTC - Human Factors Integration Project

    Chris Baber

    AEROSYSTEMS INTERNATIONAL LIMITED

    1/04/0331/03/06

    Project: Industry

  282. DTC - Human Factors Integration Project

    Chris Baber, Bob Stone & Theodoros Arvanitis

    AEROSYSTEMS INTERNATIONAL LIMITED

    1/04/0331/03/06

    Project: Industry

  283. Midlands Graduate School 2003

    Achim Jung

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/0331/05/03

    Project: Research Councils

  284. Workshop Domains VI

    Achim Jung

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/0330/04/03

    Project: Research Councils

  285. Equipment to Support Hyper-Spectral Imaging and Analysis

    Ela Claridge

    Advantage West Midlands

    1/03/0331/03/03

    Project: Other Government Departments

  286. High Performance Facilities for SMEs and Incubation of Spin-offs

    Robert Hendley

    Advantage West Midlands

    1/03/0328/02/07

    Project: Other Government Departments

  287. Wearable Monitoring Equipment

    Chris Baber

    3D EDUCATION & ADVENTURE

    1/03/0331/10/03

    Project: Industry

  288. Physics-based Image Interpretation to Aid the Detection of Early Signs of Retinopathies

    Ela Claridge &

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/02/0330/06/05

    Project: Research Councils

  289. (E-HL): E-Health and Learning

    Theodoros Arvanitis, Chris Baber, David Davies & Khalid Khan

    EUROPEAN COMMISSION

    23/01/0322/06/04

    Project: EU

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

    Marta Kwiatkowska

    TECHNOLOGY STRATEGY BOARD, QINETIQ LTD

    1/01/0330/06/05

    Project: Research

  291. APPSEM II: - Applied Semantics II

    Achim Jung

    EUROPEAN COMMISSION

    1/01/0330/06/06

    Project: EU

  292. Alliance: Franco - British Partnership Programme 2003

    Marta Kwiatkowska

    BRITISH COUNCIL

    1/01/0331/12/04

    Project: Other Government Departments

  293. Centre of Excellance for Research in Computational Intelligence and Applications

    Xin Yao

    Advantage West Midlands

    1/01/0331/03/07

    Project: Other Government Departments

  294. Competition Modelling

    Xin Yao

    SEVERN TRENT WATER

    6/12/025/05/03

    Project: Industry

  295. Accent Corpus

    Martin Russell

    20/20 SPEECH LIMITED

    1/12/0230/06/03

    Project: Industry

  296. Studentship: Automatic Problem Decomposition Using Co-evolution and Ensembles

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    21/11/0231/03/06

    Project: EU

  297. Framework 5 Programme: MKMnet

    Manfred Kerber

    EUROPEAN COMMISSION

    1/09/0230/11/03

    Project: EU

  298. FP5: Mobilearn

    Mike Sharples, Theodoros Arvanitis, Chris Baber & Russell Beale

    EUROPEAN COMMISSION

    1/07/0231/03/05

    Project: EU

  299. Image interpretation via Spectral Models

    Ela Claridge

    LEVERHULME TRUST

    1/04/0231/03/04

    Project: Research

  300. Teaching Company Scheme Programme No 3831

    Robert Hendley

    KNOWLEDGE TRANSFER PARTNERSHIPS, JET ENVIRONMENTAL TECHNIQUES LTD

    1/02/0231/01/04

    Project: Research

  301. Theory of Evolutionary Computation - Application for Visiting Fellowship

    Jon Rowe, Riccardo Poli & Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    28/01/0227/01/03

    Project: Research Councils

  302. Knowledge Support for Business

    Robert Hendley

    Birmingham City Council

    1/01/0231/12/03

    Project: Research

  303. Distributed simulation of Agent-Based systems (Acronym: PDES-MAS).

    Georgios Theodoropoulos

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    5/11/014/07/05

    Project: Research Councils

  304. Automatic problem Decomposition using Co-evolution and Ensembles

    Xin Yao

    HONDA R&D EUROPE (DEUTSCHLON) GMBH

    1/10/0131/03/02

    Project: EU

  305. Average computation time of Evolutionary Algorithms for Combinational Optimisation problems.

    Xin Yao

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/0128/02/03

    Project: Research Councils

  306. Mobile Communications for Distributed Collaborative Problem Solving

    Chris Baber

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/08/0131/08/02

    Project: Research Councils

  307. The Feature Construct in Programming and Specification Languages

    Mark Ryan

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    31/07/0130/07/04

    Project: Research Councils

  308. ASIA IT & C: Natural Computation Techniques for Intelligent.

    Xin Yao

    EUROPEAN COMMISSION

    1/07/0130/06/02

    Project: EU

  309. Intergration of Planning and Learning in Real Robot Tasks

    Jeremy Wyatt

    BRITISH COUNCIL

    26/04/0130/06/03

    Project: Other Government Departments

  310. FP5 - Lab of Tomorrow

    Chris Baber, Theodoros Arvanitis & Mike Sharples

    EUROPEAN COMMISSION

    1/04/0130/09/04

    Project: EU

  311. European Science Exchange Programme Joint Project

    Achim Jung & Martin Escardo

    THE ROYAL SOCIETY

    1/03/0128/02/03

    Project: Research

  312. Sponsorship of N.Wilkinson "Modelling asynchrony in formants"

    Martin Russell

    20/20 SPEECH LIMITED

    18/01/0117/01/02

    Project: Industry

  313. The application of Artifical Intellengence in Computer Security.

    Aaron Sloman

    DERA

    12/12/0028/02/01

    Project: Other Government Departments

  314. Teaching Company Scheme Programme No 3104.

    Robert Hendley

    PRO ENVIRO LTD, KNOWLEDGE TRANSFER PARTNERSHIPS

    1/12/0021/04/04

    Project: Research

  315. Biometrics for Keyless Automotive Access

    Martin Russell

    MERITOR LIGHT VEHICLE SYSTEMS UK LTD

    1/10/0030/09/01

    Project: Industry

  316. Visualisation of Combat Campaign Assessment

    Robert Hendley

    DERA

    1/10/0030/09/01

    Project: Other Government Departments

  317. Calculemus systems for Intergrated Computation and deduction.

    Manfred Kerber

    EUROPEAN COMMISSION

    1/09/0031/08/04

    Project: Research

  318. SEI: Bioinformatic, Functional and Image Analysis in Biological Systems.

    Ian Trayer, Ela Claridge & Aaron Sloman

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/0031/03/02

    Project: Research Councils

  319. SEI: Equipment for Development & Evaluation of Mobile Contextual Technologies

    Mike Sharples & Russell Beale

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/0031/03/02

    Project: Research Councils

  320. Link: PUMA - Personalised User Interfaces for Information Management and Authorisation

    Martin Russell & Steven Quigley

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL, BRITISH TELECOMMUNICATIONS PLC

    1/06/0031/05/03

    Project: Research

  321. Modelling and Verification of Soft Deadlines

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/06/0031/05/03

    Project: Research Councils

  322. AISB-00 Convention -"Time for AI and Society"

    John Barnden & Mark Lee

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    18/05/0017/08/00

    Project: Research Councils

  323. Verification of Quality of Service Properties in Timed Systems

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/05/0031/07/03

    Project: Research Councils

  324. Royal Society Exchange Programme with Palestine Dr N M Hewahii

    Xin Yao

    THE ROYAL SOCIETY

    8/04/007/06/00

    Project: Research

  325. Evolvable Hardware and Automatic Discovery of Uncoventional Designs

    Xin Yao

    MARCONI COMMUNICATIONS LIMITED

    1/04/0031/03/03

    Project: Industry

  326. Complexity of Social Sciences

    Jon Rowe

    EUROPEAN COMMISSION

    15/03/0014/03/04

    Project: EU

  327. An Integrated Multiple-Level Statistical Model for Speech Pattern Processing

    Martin Russell

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    7/02/006/02/03

    Project: Research Councils

  328. Agent-Oriented Theorem Proving

    Manfred Kerber

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    14/01/0013/01/01

    Project: Research Councils

  329. Studentship: E Longmate - Cognitive Engineering of Digital Communities

    Chris Baber

    NCR FINANCIAL SOLUTIONS GROUP LTD

    1/01/0031/12/02

    Project: Industry

  330. Architectures for Human-Like Minds

    Aaron Sloman

    LEVERHULME TRUST

    1/10/9930/06/03

    Project: Research

  331. Automated Understanding of Metaphorical Utterances in Mundane Discourse

    John Barnden

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    14/09/9913/06/03

    Project: Research Councils

  332. Contract : 'Finishing School'

    Robert Hendley

    Coventry University

    1/09/9931/10/01

    Project: Research

  333. Image Analysis based on an Optical Model of the Skin for Detection of Early Signs of Melanoma

    Ela Claridge

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/08/9931/03/03

    Project: Research Councils

  334. ERDF : Centre of Excellence in Advanced Telematics

    Robert Hendley

    GOVERNMENT OFFICE WEST MIDLANDS

    16/06/9931/12/01

    Project: Other Government Departments

  335. Pilot Study - OTS Protocols for Pedestrian or Cyclist Accidents and All Accident Witnesses

    Clive Neal-Sturgess, Julian Hill, Chris Baber, Joanne Crawford & Richard Cuerden

    DEPARTMENT FOR ENVIRONMENT, FOOD AND RURAL AFFAIRS

    1/02/9931/07/99

    Project: Other Government Departments

  336. A Multiple Level Statistical Model for Speech Pattern Processing

    Martin Russell

    DERA

    18/01/9917/01/01

    Project: Other Government Departments

  337. Formation of Methods for Proof Planning in Mathematics

    Manfred Kerber

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    7/12/986/02/02

    Project: Research Councils

  338. Literature Review and Summary on Issues Arising From The Allocation of Function Between Operators and UAVs, RPVs and SAVs

    Chris Baber

    Defence Science And Technology Laboratory

    30/11/9830/10/99

    Project: Other Government Departments

  339. Visiting Fellowship: Dr R Segala Formal Analysis of Randomized Distributed Algorithms

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    30/10/9829/04/02

    Project: Research Councils

  340. Automatic Verification of Randomized Distributed Algorithms

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/09/9831/08/01

    Project: Research Councils

  341. Early Recognition of Melanoma Using Computerised Image Analysis

    Ela Claridge

    Cambridge University Hospitals NHS Foundation Trust

    1/09/9828/02/00

    Project: Research

  342. British-German Academic Research Collaboration Programme

    Marta Kwiatkowska

    BRITISH COUNCIL

    1/07/9831/03/02

    Project: Other Government Departments

  343. Applied Semantics-Esprit Project 26142-APPSEM

    Achim Jung

    EUROPEAN COMMISSION

    1/04/9831/03/01

    Project: EU

  344. Franco-British Joint Research Programme 1998

    Valeria De Paiva & Eike Ritter

    BRITISH COUNCIL

    1/02/9831/01/01

    Project: Other Government Departments

  345. Learning Support for Small Business

    Robert Hendley

    Birmingham City Council

    1/01/9831/12/00

    Project: Research

  346. Advanced Visualisation and Rule Extraction for Marketing-Contract 654516

    Russell Beale & Robert Hendley

    BRITISH TELECOMMUNICATIONS PLC

    1/10/9730/09/98

    Project: Industry

  347. CASE Lindsay:Human Factors in Perfusion and Training Simulator Development

    Chris Baber & Chris Baber

    Great Ormond Street Hospital NHS Foundation Trust

    1/10/9730/09/99

    Project: Research

  348. Human Factors of Wearable Computers

    Chris Baber

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/10/9730/09/00

    Project: Research Councils

  349. Wearable Computers for Personal Financial Management(PhD)

    Chris Baber

    NCR FINANCIAL SOLUTIONS GROUP LTD

    1/10/9730/09/00

    Project: Industry

  350. Force Production in Electromagnetic Systems

    Martin Russell & Peter Evans

    ROCKWELL UK CHARITABLE TRUST

    1/09/9730/09/00

    Project: Research

  351. ESPRIT - FIREworks Programme

    Mark Ryan

    EUROPEAN COMMISSION

    1/05/9730/11/00

    Project: EU

  352. Studentship : Features Specification Language

    Mark Ryan

    BRITISH TELECOMMUNICATIONS PLC

    3/02/972/02/00

    Project: Industry

  353. XSLAM - The Explicit Substitution Linear Abstract Machine

    Eike Ritter & Valeria De Paiva

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/9731/03/00

    Project: Research Councils

  354. STREAM (Support Technologies for Risk Evaluation, Assessment& Management)

    Peter Jarratt

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/08/9631/07/99

    Project: Research Councils

  355. Research on New Techniques in Evolutionary Computation inConnection with Work on Autonomous Agents for Complex ...

    Riccardo Poli & Aaron Sloman

    Defence Science And Technology Laboratory

    1/06/9631/05/98

    Project: Other Government Departments

  356. British - Polish Joint Research Collaboration Programme

    Marta Kwiatkowska

    BRITISH COUNCIL

    1/04/9631/03/97

    Project: Other Government Departments

  357. British Council - Murst/Crui Agreement

    Riccardo Poli

    BRITISH COUNCIL

    1/02/9628/02/98

    Project: Other Government Departments

  358. Standards and Legislation for Banking Services

    Chris Baber

    NCR FINANCIAL SOLUTIONS GROUP LTD

    15/01/9614/03/96

    Project: Industry

  359. Default Reasoning Applied to the Specification and Designof Computer Software

    Mark Ryan

    THE NUFFIELD FOUNDATION

    1/01/9630/11/98

    Project: Research

  360. CASE : Computer Assisted Data Mining

    Aaron Sloman

    INTEGRAL SOLUTIONS LIMITED

    1/10/9530/09/96

    Project: Industry

  361. Dialogue Design for Voice-based ATM

    Chris Baber

    NCR FINANCIAL SOLUTIONS GROUP LTD

    1/10/9531/05/96

    Project: Industry

  362. CASE Award - ICI (Student Unknown)

    Peter Dodd

    IMPERIAL CHEMICAL INDUSTRIES

    31/07/9530/08/95

    Project: Industry

  363. Teaching Company

    Peter Dodd

    ANONYMOUS UK INDUSTRY

    31/07/9530/08/95

    Project: Industry

  364. Autonomous Agents

    Aaron Sloman

    Defence Science And Technology Laboratory

    1/06/9531/05/98

    Project: Other Government Departments

  365. MODELAGE (8319)

    Mark Ryan

    EUROPEAN COMMISSION

    1/04/9531/03/97

    Project: EU

  366. Reasoning With Fairness

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    2/10/947/09/96

    Project: Research Councils

  367. Workload in Aided / Unaided Tasks

    Chris Baber

    Defence Science And Technology Laboratory

    1/09/9431/08/95

    Project: Other Government Departments

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

    Russell Beale

    Defence Science And Technology Laboratory

    1/06/9430/11/94

    Project: Other Government Departments

  369. Investigation of Voice-Based Aims and User Issues

    Chris Baber

    NCR FINANCIAL SOLUTIONS GROUP LTD

    1/06/9430/09/94

    Project: Industry

  370. Computer Based Technical Support

    Chris Baber

    BRITISH NUCLEAR FUELS

    9/05/948/07/94

    Project: Industry

  371. Development of a Steady Flow River Network Model

    Robert Hendley, Russell Beale & Don Knight

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/02/9431/12/96

    Project: Research Councils

  372. Development of a Steady Flow River Network Model

    Robert Hendley & Russell Beale

    H R WALLINGFORD LIMITED

    1/02/9431/12/96

    Project: Industry

  373. CASE Award: Andrew Pryke

    Peter Hancox

    BRITISH MARITIME TECHNOLOGY LIMITED

    1/11/9331/10/95

    Project: Industry

  374. Assessing and Designing Dialogues for Interactive SpeechSystems:An Ergonomics Approach

    Chris Baber

    MINISTRY OF DEFENCE

    1/10/9330/09/95

    Project: Other Government Departments

  375. Postdoctoral Fellowship (Dr Murphy)

    David Murphy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/04/9331/03/95

    Project: Research Councils

  376. Temporal Image Segmentation

    Glyn Humphreys & Russell Beale

    Medical Research Council

    1/04/9331/03/96

    Project: Research Councils

  377. Risk Analysis Techniques in Finance and Insurance

    Peter Jarratt & Sophia Langley

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/02/9331/07/96

    Project: Research Councils

  378. NIPS Conference

    Russell Beale

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/9231/12/92

    Project: Research Councils

  379. Case Studentship: Melanoma Screening

    Ela Claridge

    BRITISH TELECOMMUNICATIONS PLC

    1/10/9230/09/95

    Project: Industry

  380. Case Award 1990: Mrs R F Docherty

    Peter Hancox

    BRITISH PETROLEUM

    1/08/9230/09/93

    Project: Industry

  381. Case Studentship: ICL And MR I D Maclaren

    Peter Hancox

    IMPERIAL CHEMICAL INDUSTRIES

    1/08/9230/09/94

    Project: Industry

  382. Lexical Functional Grammar Interface for Database Access

    Peter Hancox

    Defence Science And Technology Laboratory

    1/08/9231/03/93

    Project: Other Government Departments

  383. Modelling Of Motivational Processes - Studentship

    Aaron Sloman

    THE RENAISSANCE TRUST

    1/08/9230/09/94

    Project: Research

  384. Mr Xiaolin Li / Apricot Research Studentship.

    Peter Hancox

    APRICOT COMPUTERS LTD

    1/08/9231/12/93

    Project: Industry

  385. Network Security - Case Award

    Peter Jarratt

    BICC INFORMATION SYSTEMS & SERVICES LTD

    1/08/9230/09/93

    Project: Industry

  386. The Attention and Affect Project

    Aaron Sloman

    Medical Research Council

    1/08/9231/07/95

    Project: Research Councils