1. Research
  2. 2iC Run Time technical prototype including Service Registery

    Stathis, K.

    South East England Development Agency: £12,000

    12/04/1111/07/11

    Project: Research

  3. 3D Modelling of Agent-Based Web-Services for E-Retailing Project

    Stathis, K.

    London Development Agency: £8,000

    26/03/0726/09/07

    Project: Research

  4. ABI innovation: A Graph based Approach for the Genome Wide Prediction of Conditionally Essential Genes

    Paccanaro, A.

    National Science Foundation (NSF): £13,078, National Science Foundation: £13,169, National Science Foundation (NSF): £13,664

    15/09/1714/09/20

    Project: Research

  5. An open proof checker based on type theory

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £268,000

    1/08/9931/12/02

    Project: Research

  6. Application of conformal predictors to functional magnetic resonance imaging research

    Gammerman, A.

    Medical Research Council MRC: £85,581

    15/04/0914/04/10

    Project: Research

  7. Argumentation as a foundation for the semantic grid

    Stathis, K.

    European Union: £200,310

    1/06/0631/05/09

    Project: Research

  8. Attention guidance for multi-task displays using human-like cognitive assistants

    Durant, S. & Stathis, K.

    Imperial College London: £17,150

    17/03/2030/09/20

    Project: Research

  9. Automated Security Testing of Webview Interfaces

    Kinder, J.

    Google: £42,357

    1/02/1631/01/18

    Project: Research

  10. Autonomous Intelligent Systems

    Bernardini, S.

    Eng & Phys Sci Res Council EPSRC: £8,534

    1/09/1528/02/16

    Project: Research

  11. Classical Dependant Type Theories

    Adams, R.

    Eng & Phys Sci Res Council EPSRC: £98,545

    1/03/1230/09/13

    Project: Research

  12. Cognitive Learning: language, movement and vision

    Clark, A.

    European Union: £1,592

    1/01/0630/09/06

    Project: Research

  13. Cognitive Science and Machine Learning Approaches to Computational Linguistics

    Clark, A.

    European Union: £5,640

    1/01/0630/09/06

    Project: Research

  14. Composing Learning for Artificial Cognitive Systems

    Watkins, C.

    European Union: £266,427

    1/03/1128/02/15

    Project: Research

  15. Conformal Martingales for Change-Point Detection

    Gammerman, A. & Vovk, V.

    Amazon: £51,095

    1/06/2031/05/21

    Project: Research

  16. Connect-R: Providing Structure in Unstructured Extreme Environments

    Bernardini, S.

    Innovate UK: £477,000

    1/01/1931/12/20

    Project: Research

  17. Constraint Network Tractability: Beyond Structure and Language

    Cohen, D.

    Eng & Phys Sci Res Council EPSRC: £78,598

    31/05/1430/05/17

    Project: Research

  18. Demeter

    Bernardini, S.

    Innovate UK: £219,189

    1/10/2130/09/23

    Project: Research

  19. Development of New Venn Prediction Methods for Osteoporosis Risk Assessment

    Gammerman, A. & Vovk, V.

    Research Promotion Foundation of Cyprus: £28,215

    1/09/1131/08/13

    Project: Research

  20. Development of novel method for prediction of plant Pol 11 promoters

    Solovyev, V.

    Royal Society: £3,000

    1/02/107/03/10

    Project: Research

  21. Epigram I: Innovative programming via inductive families

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £199,000

    1/12/0130/09/04

    Project: Research

  22. Epigram II: Innovative programming via inductive families

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £50,483

    1/10/0431/08/05

    Project: Research

  23. EPSRC CDT2

    Cid, C., Paterson, K., Mayes, K., Martin, K. M., Kinder, J. & Adey, P.

    Eng & Phys Sci Res Council EPSRC: £3,454,896

    1/10/1631/03/23

    Project: Research

  24. EU Thematic Network TYPES: Computer-assisted reasoning based on type theory

    Luo, Z.

    European Union: £107,000

    1/09/0430/04/08

    Project: Research

  25. Exascale Compound Activity Prediction Engine

    Gammerman, A., Vovk, V. & Luo, Z.

    European Union: £278,383

    1/09/1531/08/18

    Project: Research

  26. Explosive trace detection with an odour capture hybrid sensor system

    Luo, Z.

    Royal Society: £10,000

    1/04/0931/03/11

    Project: Research

  27. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research

  28. HoTT-based Computer-Assisted Reasoning

    Luo, Z.

    Royal Academy of Engineering: £10,000

    1/07/1430/06/15

    Project: Research

  29. Inference of RBR network and dynamic RBR complexes during leaf development

    Paccanaro, A., Bogre, L. & Horvath, B.

    European Commission: £255,440

    1/03/1328/02/15

    Project: Research

  30. Intelligence in Context

    Watkins, C.

    1/01/2015/08/21

    Project: Research

  31. Intelligent Agent Technology for Service Grids - I

    Stathis, K. & Dean, J.

    Unknown: £36,000

    1/07/0928/02/10

    Project: Research

  32. Intelligent Agent Technology for Service Grids - II

    Stathis, K. & Dean, J.

    Unknown: £15,000

    1/05/1031/12/10

    Project: Research

  33. International conference on discrete mathematics 2008

    Gutin, G.

    Royal Society: £1,260

    6/05/0812/05/08

    Project: Research

  34. Leverhulme Trust Visiting Professorship

    Fiadeiro, J. L.

    Leverhulme Trust: £5,525

    1/05/1831/07/18

    Project: Research

  35. Lexical Semantics in Type Theory with Coercive Subtyping

    Luo, Z.

    Leverhulme Trust: £147,661

    1/06/1131/05/14

    Project: Research

  36. Living with uninvited guests-comparing palnt and animal responses to endocytic invasions

    Jansen , V. A. A., Gammerman, A. & Soloviev, M.

    Biotechnology&BioSci Research BBSRC: £704,348

    15/04/1014/04/13

    Project: Research

Previous 1 2 3 Next