Machine Learning Methods for Coal Quality Analysis based on NIR Technology
Zhejiang University: £30,000
1/11/11 → 30/10/13
Project: Research
Trustworthy Digital Systems - A Proposed Novel Distributed Services Architecture
Centre for Defense Enterprise: £69,565
28/11/11 → 27/05/12
Project: Research
Development of New Venn Prediction Methods for Osteoporosis Risk Assessment
Research Promotion Foundation of Cyprus: £28,215
1/09/11 → 31/08/13
Project: Research
A GPU-based high performance system for discovering consensus domain architecture and functional annotation of protein families
Biotechnology&BioSci Research BBSRC: £114,257
1/07/12 → 30/09/13
Project: Research
Verification and correctness of service-oriented systems
Eng & Phys Sci Res Council EPSRC: £6,700
1/10/12 → 31/12/12
Project: Research
Development of automated methods for helping detection of anomalous behaviour
Thales: £45,000
1/10/12 → 30/09/15
Project: Research
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/13 → 1/05/16
Project: Research
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/13 → 17/04/17
Project: Research
Tractability of Constraint Problems: Unification, Extension and Applicability
Eng & Phys Sci Res Council EPSRC: £184,409
1/10/05 → 30/09/08
Project: Research
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC: £469,677
1/05/13 → 30/04/18
Project: Research
Inference of RBR network and dynamic RBR complexes during leaf development
Paccanaro, A., Bogre, L. & Horvath, B.
European Commission: £255,440
1/03/13 → 28/02/15
Project: Research
On-line Self-Tuning Learning Algorithms for Handling Historical Information
Leverhulme Trust: £133,964
1/07/13 → 30/06/16
Project: Research
Support of collaborative research with Professor A.E. Guterman
Royal Holloway, University of London, Department of Computer Science: £700
6/01/13 → 24/01/13
Project: Research
MAPK signalling network to adapt leaf growth to drought conditions
Bogre, L., Paccanaro, A. & Papdi, C.
European Commission: £177,130
1/05/13 → 30/04/15
Project: Research
Groebner Basis Techniques for Constraint Satisfaction Problems
Cohen, D. & Jeavons, P.
30/03/06 → 30/03/09
Project: Research
Modelling and Analysis of Dynamic Networks of Interaction
Royal Society: £12,000
15/11/13 → 14/11/15
Project: Research
Notions and notation: Babbage’s language of thought
Leverhulme Trust: £222,540
1/03/14 → 28/02/17
Project: Research
Parameterised Combinatorial Optimisation Problems
Royal Society: £75,000
1/01/14 → 31/12/18
Project: Research
Constraint Network Tractability: Beyond Structure and Language
Eng & Phys Sci Res Council EPSRC: £78,598
31/05/14 → 30/05/17
Project: Research
MobSec: Malware and Security in the Mobile Age
Eng & Phys Sci Res Council EPSRC: £747,777
10/11/14 → 4/05/19
Project: Research
Multi-level analysis of the evolution of cooperative behaviour in social insects Marie Curie Fellow – Dr Fabio Manfredini
Brown, M. J. F. & Paccanaro, A.
European Union: £175,003
1/04/14 → 31/03/16
Project: Research
HoTT-based Computer-Assisted Reasoning
Royal Academy of Engineering: £10,000
1/07/14 → 30/06/15
Project: Research
Semantic Completions: Unifying the wave and the Particle Views of Information
Pavlovic, D., Fiadeiro, J. L. & Vovk, V.
1/04/14 → 31/03/17
Project: Research