1. Research
  2. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research

  3. Intelligent Agent Technology for Service Grids - I

    Stathis, K. & Dean, J.

    Unknown: £36,000

    1/07/0928/02/10

    Project: Research

  4. Intelligent Agent Technology for Service Grids - II

    Stathis, K. & Dean, J.

    Unknown: £15,000

    1/05/1031/12/10

    Project: Research

  5. International conference on discrete mathematics 2008

    Gutin, G.

    Royal Society: £1,260

    6/05/0812/05/08

    Project: Research

  6. Lexical Semantics in Type Theory with Coercive Subtyping

    Luo, Z.

    Leverhulme Trust: £147,661

    1/06/1131/05/14

    Project: Research

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

  8. Mathematical Vernacular

    Luo, Z.

    Leverhulme Trust: £45,000

    1/01/9730/04/99

    Project: Research

  9. Parameterized problems on directed graphs

    Gutin, G.

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

    1/09/0731/08/10

    Project: Research

  10. Path finding in Virtual Worlds

    Stathis, K.

    London Development Agency: £8,000

    1/12/0730/04/08

    Project: Research