1. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research

  2. HoTT-based Computer-Assisted Reasoning

    Luo, Z.

    Royal Academy of Engineering: £10,000

    1/07/1430/06/15

    Project: Research

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

  4. Intelligence in Context

    Watkins, C.

    1/01/2015/08/21

    Project: Research

  5. Intelligent Agent Technology for Service Grids - I

    Stathis, K. & Dean, J.

    Unknown: £36,000

    1/07/0928/02/10

    Project: Research

  6. Intelligent Agent Technology for Service Grids - II

    Stathis, K. & Dean, J.

    Unknown: £15,000

    1/05/1031/12/10

    Project: Research

  7. International conference on discrete mathematics 2008

    Gutin, G.

    Royal Society: £1,260

    6/05/0812/05/08

    Project: Research

  8. Leverhulme Trust Visiting Professorship

    Fiadeiro, J. L.

    Leverhulme Trust: £5,525

    1/05/1831/07/18

    Project: Research

Previous 1 2 3 4 5 6 7 8 ...12 Next