1. Machine Learning Methods for Coal Quality Analysis based on NIR Technology

    Luo, Z. & Gammerman, A.

    Zhejiang University: £30,000

    1/11/1130/10/13

    Project: Research

  2. Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture

    Stathis, K.

    Centre for Defense Enterprise: £69,565

    28/11/1127/05/12

    Project: Research

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

  4. Verification and correctness of service-oriented systems

    Fiadeiro, J. L.

    Eng & Phys Sci Res Council EPSRC: £6,700

    1/10/1231/12/12

    Project: Research

  5. Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems

    Gutin, G., Cohen, D. & Crampton, J.

    Eng & Phys Sci Res Council EPSRC: £602,797

    1/02/131/05/16

    Project: Research

  6. Mining the Network Behaviour of Bots

    Cavallaro, L., Gammerman, A., Vovk, V., Shanahan, H. & Luo, Z.

    Eng & Phys Sci Res Council EPSRC: £680,623

    16/06/1317/04/17

    Project: Research

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

  8. Verification of Concurrent and Higher-Order Recursive Programs

    Hague, M.

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

    1/05/1330/04/18

    Project: Research

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

  10. On-line Self-Tuning Learning Algorithms for Handling Historical Information

    Kalnishkan, Y.

    Leverhulme Trust: £133,964

    1/07/1330/06/16

    Project: Research

  11. Support of collaborative research with Professor A.E. Guterman

    Nouretdinov, I.

    Royal Holloway, University of London, Department of Computer Science: £700

    6/01/1324/01/13

    Project: Research

  12. MAPK signalling network to adapt leaf growth to drought conditions

    Bogre, L., Paccanaro, A. & Papdi, C.

    European Commission: £177,130

    1/05/1330/04/15

    Project: Research

  13. Groebner Basis Techniques for Constraint Satisfaction Problems

    Cohen, D. & Jeavons, P.

    30/03/0630/03/09

    Project: Research

  14. Scalable Software for Multicores

    Chockler, G.

    Royal Society: £12,000

    1/01/141/01/14

    Project: Research

  15. Modelling and Analysis of Dynamic Networks of Interaction

    Fiadeiro, J. L.

    Royal Society: £12,000

    15/11/1314/11/15

    Project: Research

  16. Notions and notation: Babbage’s language of thought

    Johnstone, A.

    Leverhulme Trust: £222,540

    1/03/1428/02/17

    Project: Research

  17. Parameterised Combinatorial Optimisation Problems

    Gutin, G.

    Royal Society: £75,000

    1/01/1431/12/18

    Project: Research

  18. Constraint Network Tractability: Beyond Structure and Language

    Cohen, D.

    Eng & Phys Sci Res Council EPSRC: £78,598

    31/05/1430/05/17

    Project: Research

  19. MobSec: Malware and Security in the Mobile Age

    Cavallaro, L. & Kinder, J.

    Eng & Phys Sci Res Council EPSRC: £747,777

    10/11/144/05/19

    Project: Research

  20. HoTT-based Computer-Assisted Reasoning

    Luo, Z.

    Royal Academy of Engineering: £10,000

    1/07/1430/06/15

    Project: Research