1. 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

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

    Solovyev, V.

    Royal Society: £3,000

    1/02/107/03/10

    Project: Research

  3. Epigram I: Innovative programming via inductive families

    Luo, Z.

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

    1/12/0130/09/04

    Project: Research

  4. Epigram II: Innovative programming via inductive families

    Luo, Z.

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

    1/10/0431/08/05

    Project: Research

  5. 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

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

    Luo, Z.

    European Union: £107,000

    1/09/0430/04/08

    Project: Research

  7. Exascale Compound Activity Prediction Engine

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

    European Union: £278,383

    1/09/1531/08/18

    Project: Research

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

    Luo, Z.

    Royal Society: £10,000

    1/04/0931/03/11

    Project: Research

  9. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research

  10. HoTT-based Computer-Assisted Reasoning

    Luo, Z.

    Royal Academy of Engineering: £10,000

    1/07/1430/06/15

    Project: Research

  11. 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

  12. Integers and Sorting Algorithms in Coq

    Bradley, F.

    9/11/2118/01/22

    Project: Research

  13. Intelligence in Context

    Watkins, C.

    1/01/2015/08/21

    Project: Research

  14. Intelligent Agent Technology for Service Grids - I

    Stathis, K. & Dean, J.

    Unknown: £36,000

    1/07/0928/02/10

    Project: Research

  15. Intelligent Agent Technology for Service Grids - II

    Stathis, K. & Dean, J.

    Unknown: £15,000

    1/05/1031/12/10

    Project: Research

  16. International conference on discrete mathematics 2008

    Gutin, G.

    Royal Society: £1,260

    6/05/0812/05/08

    Project: Research

  17. Leverhulme Trust Visiting Professorship

    Fiadeiro, J. L.

    Leverhulme Trust: £5,525

    1/05/1831/07/18

    Project: Research