Artificial Intelligence and its Applications Institute

Phone+44 (0)131 650 5132
Email[email protected]
Websitehttps://web.inf.ed.ac.uk/aiai

Postal addressShow on map
10 Crichton Street, Informatics Forum
EH8 9AB Edinburgh
United Kingdom

2 Active
137 Finished

50 - 100 out of 139 results

Finished

BIOSIM: A new tool in drug development
Goryanin, I.
EU government bodies
1/12/07 → 31/03/10
Project: Research
Automated Theorem Discovery
McCasland, R. & Bundy, A.
EPSRC
1/11/07 → 31/12/11
Project: Research
Development of a network infrastructure to enable XCalibre to offer scalable application service provisioning on demand
Anderson, P. & Anderson, S.
UK central government bodies/local authorities, health and hospital authorities, UK industry, commerce and public corporations
1/05/07 → 30/06/09
Project: Research
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
EPSRC
1/04/07 → 31/03/11
Project: Research
Scalable Modeling and Analysis Techniques to Study Emergent Cell Behaviour - understanding the E.coli stress response
Goryanin, I.
EU government bodies
1/02/07 → 31/01/10
Project: Research
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.
BBSRC
8/01/07 → 31/12/12
Project: Research
EU Open Knowledge Project
Bundy, A.
1/10/06 → 30/09/08
Project: Other (Non-Funded/Miscellaneous)
BIONET AGENTS-Bioinformatics Network for Agents Researchers
Rovatsos, M.
EU government bodies
1/09/06 → 31/07/12
Project: Research
The e-Science institute 2006-11
Klein, E., Atkinson, M., Clarke, P., Kenway, A. & Trew, A.
EPSRC
1/08/06 → 31/07/11
Project: Research
Firegrid - An integrated Emergency Response System for the built environment
Usmani, A., Berry, D., Bull, M. & Tate, A.
UK industry, commerce and public corporations
14/04/06 → 13/04/09
Project: Research
Postgraduate Studentship - Ana Costa e Silva
Robertson, D.
UK industry, commerce and public corporations
1/04/06 → 28/02/09
Project: Research
EGEE 11 Enabling Grids for E-science E-11
Atkinson, M.
EU government bodies
1/04/06 → 30/09/10
Project: Research
E-science Core Programme Senior Research Fellow
Atkinson, M.
EPSRC
1/04/06 → 31/03/11
Project: Research
e-Storm e-Science Technical Operations Meetings 3
Atkinson, M. & Kenway, A.
EPSRC
1/04/06 → 31/03/08
Project: Research
ICEAGE International Collaboration to extend and advance Grid Education
Atkinson, M.
EU government bodies
1/03/06 → 30/09/10
Project: Research
OpenKnowledge
Robertson, D.
EU government bodies
1/01/06 → 30/07/12
Project: Research
OpenKnowledge
Robertson, D.
EU government bodies
1/01/06 → 31/01/11
Project: Research
Intelligent, Planning & Collaborative Systems (IM-PACS) POC+
Tate, A.
UK central government bodies/local authorities, health and hospital authorities
1/12/05 → 31/03/06
Project: Research
OGSA-DAI: an OMII-UK node - Services and Middleware for e-Science
Trew, A., Atkinson, M. & Chue Hong, N.
EPSRC
1/11/05 → 31/03/10
Project: Research
JISC e-Infrastructure Advisor Post
Atkinson, M.
Other
1/10/05 → 30/09/08
Project: Research
GridNet2
Atkinson, M. & Kenway, A.
EPSRC
1/08/05 → 28/02/09
Project: Research
GridNet 2 Funding Award
Atkinson, M.
Other
1/07/05 → 30/03/08
Project: Research
DIALOGUE Data intergration applications: Linking organisations to gain understanding & Experience
Atkinson, M.
EPSRC
12/04/05 → 11/04/07
Project: Research
GeneExpress: Design study for the creation of a gene expression analysis centre for early human development.
Atkinson, M.
EU government bodies
1/04/05 → 31/07/09
Project: Research
Scottish Bioinformatics research network.
Goryanin, I.
UK central government bodies/local authorities, health and hospital authorities
1/04/05 → 30/04/10
Project: Research
AUTOMATED ANALYSIS OF SECURITY CRITICAL SYSTEMS
Bundy, A. & Fleuriot, J.
EPSRC
1/10/04 → 30/09/07
Project: Research
EPSRC UK e-Science Grid Operations Support Centre. Provision of training on the use of the National Grid Service.
Atkinson, M.
STFC
1/10/04 → 31/12/06
Project: Research
The use of data-mining techniquesfor the automatic foramtion of tactics.
Bundy, A. & Levine, J.
EPSRC
15/03/04 → 14/03/06
Project: Research
e-Science training team at the National
Atkinson, M.
STFC
11/03/04 → 30/09/07
Project: Research
EGEE: Enabling grids for E-Science in Europe
Atkinson, M.
EU government bodies
1/01/04 → 31/03/06
Project: Research
e-Storm; e-science technical operations
Atkinson, M. & Kenway, A.
EPSRC
1/11/03 → 31/10/05
Project: Research
INFERRING QUALITY OF SERVICE PROPERTIES FOR GRID APPLICATIONS
Bundy, A. & Anderson, S.
EPSRC
1/10/03 → 30/09/06
Project: Research
AUTOMATED DISCOVERY OF MATHEMATICS
Bundy, A., Colton, S. & Smith, P.
EPSRC
1/08/03 → 31/08/06
Project: Research
Training & Co-ordination Support for research.
Atkinson, M.
Other
1/08/03 → 28/02/07
Project: Research
Biomedical research informatics delivered by Grid enabled services (BRIDGES)
Atkinson, M.
UK central government bodies/local authorities, health and hospital authorities
1/07/03 → 1/12/05
Project: Research
CoSAR-TS
Tate, A.
Non-EU other
1/01/03 → 31/07/07
Project: Research
Application of deductive synthesis techniques to the rapid assembly of grid applications
Bundy, A.
EPSRC
1/01/03 → 28/02/06
Project: Research
e-Storm e-Science Technical operations meetings
Atkinson, M. & Kenway, A.
EPSRC
1/10/02 → 30/09/04
Project: Research
The integration and interaction of multiple mathematical reasoning processes
Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.
EPSRC
1/10/02 → 30/09/06
Project: Research
CoAKTinG : Collaborative Advanced Technologies in the Grid
Tate, A.
EPSRC
1/06/02 → 30/11/04
Project: Research
Applying HR to the Study of Zariski Spaces
Bundy, A.
EPSRC
8/04/02 → 7/04/03
Project: Research
GridNet-A proposal to establish a UK Network of Excellence in Grid
Atkinson, M.
EPSRC
1/02/02 → 31/01/05
Project: Research
National E-Science Centre
Kenway, R., Anderson, S., Atkinson, M. & Trew, A.
UK central government bodies/local authorities, health and hospital authorities
1/08/01 → 31/07/04
Project: Research
Datagrid fabric management: configuration management
Anderson, P. & Anderson, S.
STFC
1/08/01 → 31/07/04
Project: Research
A generic approach to proof planning
Fleuriot, J.
EPSRC
1/07/01 → 30/06/04
Project: Research
Flexible incorporation of decision procedures into the LamdaClam proof-planning system
Bundy, A.
EPSRC
1/06/01 → 30/09/02
Project: Research
A proof system for correct program development
Fourman, M. & Fleuriot, J.
EPSRC
1/01/01 → 30/06/04
Project: Research
Communication of knowledge from synthesised web sites
Robertson, D.
EPSRC
1/10/00 → 30/09/03
Project: Research
Interdisciplinary Research Collaboration in Advanced Knowledge Technologies
Tate, A. & Robertson, D.
EPSRC
1/10/00 → 30/09/06
Project: Research
CALCULEMUS - Systems for Integrated Computation and Deduction
Bundy, A.
EU government bodies
1/09/00 → 31/08/04
Project: Research