Home > Computer Science > Research > Profile > Projects

Find an expert

Department of Computer Science

Project period
to
Project status
1 - 100 out of 103Page size: 100
RSS feed of this list
Sort by: Created date

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

    Professor Gammerman, A. & Professor Vovk, V.

    1/09/11 → 31/08/13

    £28,215, Research Promotion Foundation of Cyprus

    Project: Funded Project › Research

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

    Dr Stathis, K.

    28/11/11 → 27/05/12

    £69,565, Centre for Defense Enterprise

    Project: Funded Project › Research

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

    Dr Luo, Z. & Professor Gammerman, A.

    1/11/11 → 30/10/13

    £30,000, Zhejiang University

    Project: Funded Project › Research

  4. VENUS C Project

    Dr Shanahan, H.

    1/06/11 → 31/05/12

    £21,999, European Union

    Project: Funded Project › Research

  5. Classical Dependant Type Theories

    Dr Adams, R.

    1/03/12 → 30/09/13

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

    Project: Funded Project › Research

  6. COntinuous Multi-parametric and Multi-layered analysis Of DIabetes TYpe 1 & 2

    Dr Stathis, K.

    1/10/11 → 30/09/14

    £342,831, European Commission

    Project: Funded Project › Research

  7. The Application of Modern Proteomic and Metabolomic Methodologies to the Assessment of Food Safety

    Dr Fraser, P.

    1/09/11 → 31/08/13

    £166,293, European Commission

    Project: Funded Project › Research

  8. Understanding colour intensity and retention in Capsicum Fruit and products as a means of improving product quality

    Dr Fraser, P.

    1/10/11 → 30/09/12

    £104,816, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  9. A cloud based tool for testing the quality of micro-array data in H. sapiens.

    Dr Shanahan, H. & Harrison, A.

    8/06/11 → 9/06/11

    Project: Funded Project › Research

  10. PLanCompS: Programming Language Components and Specifications

    Professor Johnstone, A., Professor Scott, E., Dr Reddington, J. & Mr Walsh, R. M.

    1/06/11 → 31/05/15

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

    Project: Funded Project › Research

  11. 2iC Run Time technical prototype including Service Registery

    Dr Stathis, K.

    12/04/11 → 11/07/11

    £12,000, South East England Development Agency

    Project: Funded Project › Research

  12. Participatory videa as a catalyst for promoting farmer-led innovations among small scale farmers in Eastern Kenya

    Professor Unwin, T.

    1/07/11 → 30/09/11

    £2,000, Royal Geographical Society

    Project: Funded Project › Research

  13. TYPES: Computer-assisted reasoning based on type theory

    Professor Luo, Z.

    1/08/00 → 31/12/03

    Project: Funded Project › Research

  14. Mathematical Vernacular

    Professor Luo, Z.

    1/01/97 → 30/04/99

    £45,000, Leverhulme Trust

    Project: Funded Project › Research

  15. EU Thematic Network TYPES: Computer-assisted reasoning based on type theory

    Professor Luo, Z.

    1/09/04 → 30/04/08

    £107,000, European Union

    Project: Funded Project › Research

  16. Subtyping, inheritance, and reuse

    Professor Luo, Z.

    1/10/96 → 31/03/00

    £128,000, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  17. An open proof checker based on type theory

    Professor Luo, Z.

    1/08/99 → 31/12/02

    £268,000, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  18. Epigram I: Innovative programming via inductive families

    Professor Luo, Z.

    1/12/01 → 30/09/04

    £199,000, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  19. Epigram II: Innovative programming via inductive families

    Professor Luo, Z.

    1/10/04 → 31/08/05

    £51,000, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  20. Pythagoras I: Machine support for semi-formalised proof oriented mathematics

    Professor Luo, Z.

    1/10/02 → 30/09/04

    £187,000, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  21. Pythagoras II: Machine support for semi-formalised proof oriented mathematics

    Professor Luo, Z.

    1/10/04 → 31/12/06

    £83,000, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  22. Explosive trace detection with an odour capture hybrid sensor system

    Dr Luo, Z.

    1/04/09 → 1/04/11

    £10,000, Royal Society

    Project: Funded Project › Research

  23. Machine learning for resource management in next-generation optical networks

    Dr Luo, Z.

    1/10/06 → 30/09/09

    £116,637, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  24. Composing Learning for Artificial Cognitive Systems

    Dr Watkins, C.

    1/03/11 → 28/02/15

    £266,427, European Union

    Project: Funded Project › Research

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

    Professor Gutin, G. & Dr Yeo, A.

    1/12/10 → 30/11/12

    £11,900, Royal Society

    Project: Funded Project › Research

  26. Intelligent Agent Technology for Service Grids - II

    Dr Stathis, K. & Dean, J.

    1/05/10 → 31/12/10

    £15,000

    Project: Funded Project › Research

  27. Intelligent Agent Technology for Service Grids - I

    Dr Stathis, K. & Dean, J.

    1/07/09 → 28/02/10

    £36,000

    Project: Funded Project › Research

  28. Lexical Semantics in Type Theory with Coercive Subtyping

    Professor Luo, Z.

    1/06/11 → 31/05/14

    £147,661, Leverhulme Trust

    Project: Funded Project › Research

  29. The Decision Theory of Hiring and Firing Advisors

    Professor Vovk, V.

    1/02/11 → …

    £123,539, The Netherlands Organisation for Scientific Research

    Project: Funded Project › Research

  30. Bench top refrigerated digital shaker - exploiting cell wall degrading microorganisms to improve saccharification

    Dr Devoto, A.

    4/11/10 → …

    £5,716, University Of London Central Research Fund

    Project: Funded Project › Research

  31. UK/China Fellowships for Excellence Programme 2010/2011 Mobile technologies, education and the poor in China

    Professor Unwin, T.

    1/03/11 → 30/10/11

    £5,600, Department for Business Innovation and Skills

    Project: Funded Project › Research

  32. NERC Innovation Fund (Metabolomics) MyIP801

    Dr Fraser, P.

    1/10/10 → 31/05/11

    £6,250, Natural Envt Research Council (NERC)

    Project: Funded Project › Research

  33. CISCO Systems CASE Studentship

    Professor Unwin, T.

    1/10/05 → 1/10/09

    £20,000

    Project: Funded Project › Research

  34. ICT4D Network for African HEI's

    Professor Unwin, T.

    1/12/06 → 1/12/09

    £5,000, British Council

    Project: Funded Project › Research

  35. The role of ICT in empowering people with low-literacy levels in Africa

    Professor Unwin, T.

    1/10/06 → 1/10/08

    £40,000, Microsoft Research

    Project: Funded Project › Research

  36. ICT4D Network for African HEIs

    Professor Unwin, T.

    1/10/07 → 1/10/08

    £5,000, British Council

    Project: Funded Project › Research

  37. ICT4D Consortium of African and European higher education institutions

    Professor Unwin, T.

    15/08/08 → 15/08/10

    £65,322, European Union

    Project: Funded Project › Research

  38. A replicable and sustainable ICT enabled business model to benefit women run micro enterprises

    Professor Unwin, T.

    1/09/09 → 1/09/11

    £99,000, Royal Society

    Project: Funded Project › Research

  39. ICT4D Systematic Review

    Professor Unwin, T.

    1/06/10 → 1/01/11

    £34,850, DFID

    Project: Funded Project › Research

  40. South Africa-UK Science Networks phase II Visitor Prof M Henning

    Dr Yeo, A.

    15/07/08 → 30/07/08

    £1,892, Royal Society

    Project: Funded Project › Research

  41. One-One Meeting with Prof M Henning (South Africa): Total domination in graphs and transversals in hypergraphs

    Dr Yeo, A.

    1/07/09 → 1/08/09

    £1,780, Royal Society

    Project: Funded Project › Research

  42. Practical Competitive Prediction

    Professor Vovk, V., Professor Gammerman, A., Dr Kalnishkan, Y., Dr Chernov, A. & Mr Zhdanov, F.

    10/10/07 → 22/11/10

    £406,854, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  43. Argumentation as a foundation for the semantic grid

    Dr Stathis, K.

    1/06/06 → 1/06/09

    £200,310, European Union

    Project: Funded Project › Research

  44. 3D Modelling of Agent-Based Web-Services for E-Retailing Project

    Dr Stathis, K.

    26/03/07 → 26/09/07

    £8,000, London Development Agency

    Project: Funded Project › Research

  45. Path finding in Virtual Worlds

    Dr Stathis, K.

    1/12/07 → 1/05/08

    £8,000, London Development Agency

    Project: Funded Project › Research

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

    Professor Solovyev, V.

    1/02/10 → 7/03/10

    £3,000

    Project: Funded Project › Research

  47. Development of a graph-theoretic approach to predict protein function by integrating large scale heterogeneous data

    Dr Paccanaro, A. & Professor Bogre, L.

    1/06/08 → 1/06/11

    £421,635, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  48. Tamas Nepusz: Overlapping community detection methods for biological applications

    Dr Paccanaro, A.

    2/02/09 → 2/02/11

    £99,000, Royal Society

    Project: Funded Project › Research

  49. Multiple scale and multimodal data and information fusion in human sensory discrimation

    Professor Murtagh, F. & Zervas, D.

    1/10/06 → 1/04/08

    £51,369, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  50. New Mathematical approaches for structuring and searching through, very large compressed encrypted textual data stores

    Professor Murtagh, F. & Mr Contreras Albornoz, P.

    1/11/06 → 1/04/10

    £89,864, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  51. Type-theoretic foundation of mathematical pluralism

    Professor Luo, Z.

    1/10/06 → 1/10/09

    £56,235, Leverhulme Trust

    Project: Funded Project › Research

  52. Machine learning for resource management in next-generation optical networks

    Dr Luo, Z.

    1/10/06 → 30/09/09

    £116,637, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  53. Explosive trace detection with an odour capture hybrid sensor system

    Dr Luo, Z.

    1/04/09 → 1/04/11

    £10,000, Royal Society

    Project: Funded Project › Research

  54. Parameterized problems on directed graphs

    Professor Gutin, G.

    1/09/07 → 1/09/10

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

    Project: Funded Project › Research

  55. International conference on discrete mathematics 2008

    Professor Gutin, G.

    6/05/08 → 12/05/08

    £1,260, Royal Society

    Project: Funded Project › Research

  56. Protemic analysis of the human serum proteome

    Professor Gammerman, A.

    1/10/05 → 1/10/08

    £170,091, Medical Research Council

    Project: Funded Project › Research

  57. Development of New Conformal Predition Methods with Applications in Medical Diagnosis

    Professor Gammerman, A.

    28/12/06 → 28/12/09

    £30,770, Cyprus Government

    Project: Funded Project › Research

  58. Development and application of Machine Learning Algorithms for the Analysis of Complex Vetinary Data Sets

    Professor Gammerman, A.

    10/10/07 → 10/10/10

    £84,425, Veterinary Laboratories Agency

    Project: Funded Project › Research

  59. O-PTM Biomarkers: Discovery of novel cancer serum biomarket based on aberrant post translational modifications of O-glycopretins ( O-PTM-Biomarkers and their application to early detection of cancer

    Professor Gammerman, A.

    1/01/08 → 1/01/11

    £153,046, European Union

    Project: Funded Project › Research

  60. Application of conformal predictors to functional magnetic resonance imaging research

    Professor Gammerman, A.

    15/04/09 → 15/04/10

    £85,581, Medical Research Council

    Project: Funded Project › Research

  61. O-PTM Biomarkers: Discovery of novel cancer serum biomarket based on aberrant post translational modifications of O-glycopretins ( O-PTM-Biomarkers and their application to early detection of cancer

    Professor Gammerman, A.

    1/01/08 → 1/01/11

    £30,815, European Union

    Project: Funded Project › Research

  62. That machine learning algorithms will enable the statistical analysis of large veterinary datasets for the detection of complex associations

    Professor Gammerman, A.

    1/10/09 → 30/09/12

    £57,080, Veterinary Laboratories Agency

    Project: Funded Project › Research

  63. The complexity of valued constraints

    Professor Cohen, D.

    1/10/07 → 1/10/10

    £187,510, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  64. Pascal: Grammatical inference with string kernels and latent structure techniques

    Dr Clark, A.

    1/10/05 → 1/10/06

    £42,566, European Union

    Project: Funded Project › Research

  65. Cognitive Learning: language, movement and vision

    Dr Clark, A.

    1/09/10 → …

    £1,593, European Union

    Project: Funded Project › Research

  66. Cognitive Science and Machine Learning Approaches to Computational Linguistics

    Dr Clark, A.

    23/08/10 → …

    £5,640, European Union

    Project: Funded Project › Research

  67. Reverse Mathematics in Dependent Type Theory

    Dr Adams, R.

    16/10/06 → 15/09/09

    £225,677, Eng & Phys Sci Res Council EPSRC

    Project: Funded Project › Research

  68. Inference-based Modelling in Population and Systems Biology

    Professor Jansen, V.

    1/04/09 → 1/04/12

    £278,725, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

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

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

    15/04/10 → 15/04/13

    £704,348, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  70. The Regulatory Network controlling Tomato ripening

    Dr Fraser, P.

    1/01/08 → 1/01/10

    £3,762, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  71. Utilisation of Bacillus spore formers for the production of probiotic natural colorants

    Dr Fraser, P.

    1/06/08 → 1/06/11

    £291,803, European Union

    Project: Funded Project › Research

  72. UK Science Networks

    Dr Fraser, P.

    20/10/08 → 20/03/09

    £3,960, Royal Society

    Project: Funded Project › Research

  73. Intergrating genetics and high throughput genomics to identity genes underlying tomato quantitative trait (QTL) for metabolites that influence fruit quality

    Dr Fraser, P.

    1/04/09 → 1/04/12

    £303,002, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  74. The development of tools and effective strategies for the optimisation of useful secondary METAbolite PROduction in planta

    Dr Fraser, P.

    1/01/10 → 1/07/13

    £425,547, European Union

    Project: Funded Project › Research

  75. Establish the link between Jasmonate Signalling and Cell Cycle

    Dr Devoto, A.

    1/10/06 → 1/10/09

    £344,168, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  76. British-Italian Partnership Programme 2009-10

    Dr Devoto, A.

    1/01/10 → 1/01/11

    £3,000, British Council

    Project: Funded Project › Research

  77. Analysis of chromatin remodelling during drought and hormone treatment

    Dr Devoto, A.

    1/06/10 → 1/06/12

    £11,700, Royal Society

    Project: Funded Project › Research

  78. Inference and modelling of regulatory networks in multicellular systems

    Dr Devoto, A.

    1/06/10 → 1/07/10

    £19,000, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  79. Engineering JA-regulated secondary metabolism in plants with the potential to produce therapeutic drugs

    Dr Devoto, A.

    1/10/09 → 1/10/12

    £63,000, SouthWest London Academic Network

    Project: Funded Project › Research

  80. Genetic Dissection of changes in plant architecture in responses to competing vegetation

    Dr Devlin, P.

    1/10/05 → 1/10/06

    £6,040, Royal Society

    Project: Funded Project › Research

  81. Role of FHY3 and FAR1 in transcriptional regulation of circadian clock resetting by red light

    Dr Devlin, P.

    1/06/08 → 1/06/11

    £340,254, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  82. The application of proteomics to the authentication of animal feeds

    Professor Bramley, P.

    1/10/05 → 1/10/08

    £15,000, PDM Ltd

    Project: Funded Project › Research

  83. Provision of data sets from quadrapole MS analysis of samples

    Professor Bramley, P.

    1/09/10 → …

    £52,000, Veterinary Laboratories Agency

    Project: Funded Project › Research

  84. Health based quality traits in tomato

    Professor Bramley, P.

    15/03/06 → 15/03/08

    £113,250, European Union

    Project: Funded Project › Research

  85. Proteomic approach to the determination of meat species within mixed meat products

    Professor Bramley, P.

    1/11/05 → 1/11/07

    £251,366, Food Standards Agency

    Project: Funded Project › Research

  86. The identification of a robust market for ther detection of MRM/MSM in different meat products

    Professor Bramley, P.

    1/11/05 → 1/11/07

    £283,646, Food Standards Agency

    Project: Funded Project › Research

  87. A metabolomic approach to the identification of the health based consumer traits in tomato

    Professor Bramley, P.

    1/02/06 → 1/02/09

    £289,670, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  88. An investigation of the use of MudPIT as a tool for the separation and Quantification of protein etc

    Professor Bramley, P.

    1/04/06 → 1/04/09

    £544,591, Food Standards Agency

    Project: Funded Project › Research

  89. British-Italian Partnership Programme 2006-2007

    Professor Bramley, P.

    1/09/10 → …

    £2,310, British Council

    Project: Funded Project › Research

  90. Post-genomic analyses of Salmonella Typhimurium and Enteritidis strains for project OZ0324

    Professor Bramley, P.

    1/04/07 → 1/04/10

    £51,591, Veterinary Laboratories Agency

    Project: Funded Project › Research

  91. A protein based method for the detection of gelatine in plant based foods and beverages

    Professor Bramley, P.

    1/02/07 → 1/02/08

    £106,700, Food Standards Agency

    Project: Funded Project › Research

  92. High quality solanaceous crops for consumers etc

    Professor Bramley, P.

    1/05/06 → 1/05/09

    £283,620, European Union

    Project: Funded Project › Research

  93. Development of High Throughput Approaches to Optimise the Nutritional Value of Crops and Crop-Based Foods (DEVELONUTRI)

    Professor Bramley, P.

    1/04/07 → 1/04/10

    £365,341, European Union

    Project: Funded Project › Research

  94. Metabolite profiling of fungi for long chain polyunsaturated fatty acids

    Professor Bramley, P.

    1/10/07 → 1/07/10

    £43,800, CAB International

    Project: Funded Project › Research

  95. Extended Spectrum Neta-Lactamase Plasmid Characterisation PhD programme

    Professor Bramley, P.

    1/10/08 → 1/10/11

    £55,610, Veterinary Laboratories Agency

    Project: Funded Project › Research

  96. Replacement of hamsters with physicochemical analytical methods for Leptospira vaccine batch potency testing

    Professor Bramley, P.

    1/04/08 → 1/04/11

    £55,610, Veterinary Laboratories Agency

    Project: Funded Project › Research

  97. A systems Biology Approach to the Education of Metabolic Networks underlying Health Based Quality Traits in Tomato Fruit

    Professor Bramley, P.

    1/01/08 → 1/01/11

    £296,311, Biotechnology&BioSci Research BBSRC

    Project: Funded Project › Research

  98. EU SOL

    Professor Bramley, P.

    1/05/09 → 1/05/11

    £1,729, European Union

    Project: Funded Project › Research

  99. Student fees

    Professor Bramley, P.

    1/10/08 → 1/10/11

    £13,800, The British Egg Marketing Board Trust

    Project: Funded Project › Research

  100. The control of MDR salmonella typhimurium in the pig by dietary modification

    Professor Bramley, P.

    1/10/08 → 1/10/11

    £19,110

    Project: Funded Project › Research

Previous 1 2 Next