1. Research
  2. Polytope methods in parameterized complexity

    Wahlström, M.

    Eng & Phys Sci Res Council EPSRC: £100,848

    1/12/1631/12/17

    Project: Research

  3. PCP: Practical Competitive Prediction

    Vovk, V., Gammerman, A., Kalnishkan, Y., Chernov, A. & Zhdanov, F.

    Eng & Phys Sci Res Council EPSRC: £406,854

    10/10/0722/11/10

    Project: Research

  4. Prediction of drug cocktails with anti-trypanosomal effect

    Paccanaro, A.

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

    1/06/1631/03/17

    Project: Research

  5. Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds

    Gutin, G. & Yeo, A.

    Royal Society: £11,900

    1/12/1030/11/12

    Project: Research

  6. Protemic analysis of the human serum proteome

    Gammerman, A.

    Medical Research Council MRC: £170,091

    1/10/0530/09/08

    Project: Research

  7. Pythagoras I: Pythagoras I: Machine support for semi-formalised proof oriented mathematics

    Luo, Z.

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

    1/10/0230/09/04

    Project: Research

  8. Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £83,200

    1/10/0431/12/06

    Project: Research

  9. Reverse Mathematics in Dependent Type Theory

    Adams, R.

    Eng & Phys Sci Res Council EPSRC: £225,677

    16/10/0615/09/09

    Project: Research

  10. Scalable Software for Multicores

    Chockler, G.

    Royal Society: £12,000

    1/01/141/01/14

    Project: Research

  11. Semantic Completions: Unifying the Wave and the Particle Views of Information

    Fiadeiro, J. L., Vovk, V. & Pavlovic, D.

    Air Force Office of Scientific Research: £73,472, Air Force Office of Scientific Research: £72,822, Air Force Office of Scientific Research: £85,086

    1/01/1631/12/16

    Project: Research

  12. SHARPA: Shared Autonomy via Robust Task Planning and Argumentation

    Bernardini, S.

    Eng & Phys Sci Res Council EPSRC: £15,868

    8/10/187/03/19

    Project: Research

  13. SMaILE: Simple Methods for Artificial Intelligence Learning and Education

    Bernardini, S.

    Compagnia di San Paolo Foundation: £235,668

    26/02/2126/02/23

    Project: Research

  14. South Africa-UK Science Networks phase II Visitor Prof M Henning

    Yeo, A.

    Royal Society: £1,892

    15/07/0830/07/08

    Project: Research

  15. SoAR: Squads of Adaptive Robots

    Bernardini, S.

    Innovate UK: £259,698

    1/10/2130/09/23

    Project: Research

  16. String Constraint Solving with Real-World Regular Expressions

    Hague, M.

    Eng & Phys Sci Res Council EPSRC: £393,618

    1/07/1930/06/22

    Project: Research

  17. Subtyping, inheritance, and reuse

    Luo, Z.

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

    1/10/9631/03/00

    Project: Research

  18. Support of collaborative research with Professor A.E. Guterman

    Nouretdinov, I.

    Royal Holloway, University of London, Department of Computer Science: £700

    6/01/1324/01/13

    Project: Research

  19. The complexity of valued constraints

    Cohen, D.

    Eng & Phys Sci Res Council EPSRC: £187,510

    1/10/071/10/10

    Project: Research

  20. The Decision Theory of Hiring and Firing Advisors

    Vovk, V.

    Netherlands Organisation for Scientific Research: £123,539

    1/02/1131/01/13

    Project: Research