1. Mining the Network Behaviour of Bots

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

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


    Project: Research

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

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

    European Commission: £177,130


    Project: Research

  3. Verification of Concurrent and Higher-Order Recursive Programs

    Hague, M.

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


    Project: Research

  4. Inference of RBR network and dynamic RBR complexes during leaf development

    Paccanaro, A., Bogre, L. & Horvath, B.

    European Commission: £255,440


    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


    Project: Research

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

    Nouretdinov, I.

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


    Project: Research

  7. Verification and correctness of service-oriented systems

    Fiadeiro, J. L.

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


    Project: Research

  8. Classical Dependant Type Theories

    Adams, R.

    Eng & Phys Sci Res Council EPSRC: £98,545


    Project: Research

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

    Stathis, K.

    Centre for Defense Enterprise: £69,565


    Project: Research

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

    Luo, Z. & Gammerman, A.

    Zhejiang University: £30,000


    Project: Research

  11. Development of New Venn Prediction Methods for Osteoporosis Risk Assessment

    Gammerman, A. & Vovk, V.

    Research Promotion Foundation of Cyprus: £28,215


    Project: Research

  12. Lexical Semantics in Type Theory with Coercive Subtyping

    Luo, Z.

    Leverhulme Trust: £147,661


    Project: Research

  13. PLanCompS: PLanCompS: Programming Language Components and Specifications

    Johnstone, A., Scott, E., Reddington, J. & Walsh, R.

    Eng & Phys Sci Res Council EPSRC: £491,077


    Project: Research

  14. VENUS C Project

    Shanahan, H.

    European Union: £21,999


    Project: Research

  15. 2iC Run Time technical prototype including Service Registery

    Stathis, K.

    South East England Development Agency: £12,000


    Project: Research

  16. Composing Learning for Artificial Cognitive Systems

    Watkins, C.

    European Union: £266,427


    Project: Research

  17. The Decision Theory of Hiring and Firing Advisors

    Vovk, V.

    Netherlands Organisation for Scientific Research: £123,539


    Project: Research

  18. Preprocessing for Optimisation Problems Parameterized Above/Below Tight Bounds

    Gutin, G. & Yeo, A.

    Royal Society: £11,900


    Project: Research

  19. Intelligent Agent Technology for Service Grids - II

    Stathis, K. & Dean, J.

    Unknown: £15,000


    Project: Research

  20. Living with uninvited guests-comparing palnt and animal responses to endocytic invasions

    Jansen , V. A. A., Gammerman, A. & Soloviev, M.

    Biotechnology&BioSci Research BBSRC: £704,348


    Project: Research

  21. Development of novel method for prediction of plant Pol 11 promoters

    Solovyev, V.

    Royal Society: £3,000


    Project: Research