1. 2iC Run Time technical prototype including Service Registery

    Stathis, K.

    South East England Development Agency: £12,000

    12/04/1111/07/11

    Project: Research

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

  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. Argumentation as a foundation for the semantic grid

    Stathis, K.

    European Union: £200,310

    1/06/0631/05/09

    Project: Research

  5. Epigram I: Innovative programming via inductive families

    Luo, Z.

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

    1/12/0130/09/04

    Project: Research

  6. Epigram II: Innovative programming via inductive families

    Luo, Z.

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

    1/10/0431/08/05

    Project: Research

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

    Luo, Z.

    European Union: £107,000

    1/09/0430/04/08

    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

Previous 1 2 3 4 Next