1. Subtyping, inheritance, and reuse

    Luo, Z.

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

    1/10/9631/03/00

    Project: Research

  2. Mathematical Vernacular

    Luo, Z.

    Leverhulme Trust: £45,000

    1/01/9730/04/99

    Project: Research

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

  4. Epigram I: Innovative programming via inductive families

    Luo, Z.

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

    1/12/0130/09/04

    Project: Research

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

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

  8. Epigram II: Innovative programming via inductive families

    Luo, Z.

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

    1/10/0431/08/05

    Project: Research

  9. Pascal: Grammatical inference with string kernels and latent structure techniques

    Clark, A.

    European Union: £42,566

    1/10/0530/09/06

    Project: Research

  10. Protemic analysis of the human serum proteome

    Gammerman, A.

    Medical Research Council MRC: £170,091

    1/10/0530/09/08

    Project: Research

  11. Tractability of Constraint Problems: Unification, Extension and Applicability

    Cohen, D.

    Eng & Phys Sci Res Council EPSRC: £184,409

    1/10/0530/09/08

    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. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research

  15. Argumentation as a foundation for the semantic grid

    Stathis, K.

    European Union: £200,310

    1/06/0631/05/09

    Project: Research

  16. Machine learning for resource management in next-generation optical networks

    Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £116,637

    1/10/0630/09/09

    Project: Research

  17. Multiple scale and multimodal data and information fusion in human sensory discrimation

    Murtagh, F. & Zervas, D.

    Biotechnology&BioSci Research BBSRC: £51,369

    1/10/0631/03/08

    Project: Research

  18. Type-theoretic foundation of mathematical pluralism

    Luo, Z.

    Leverhulme Trust: £56,235

    1/10/0630/09/09

    Project: Research

  19. Reverse Mathematics in Dependent Type Theory

    Adams, R.

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

    16/10/0615/09/09

    Project: Research

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

  21. Parameterized problems on directed graphs

    Gutin, G.

    Eng & Phys Sci Res Council EPSRC: £344,495

    1/09/0731/08/10

    Project: Research

Previous 1 2 3 4 5 Next