Edinburgh Research Explorer

School of Informatics

Organisation: School

School of Informatics
The University of Edinburgh

Informatics Forum

10 Crichton Street

Edinburgh

EH8 9AB

United Kingdom

Research outputs

  1. Continuous approximation of collective system behaviour: A tutorial

    Research output: Contribution to journal › Article

  2. Evaluating the intelligibility benefit of speech modifications in known noise conditions

    Research output: Contribution to journal › Article

  3. Pax6 Exerts Regional Control of Cortical Progenitor Proliferation via Direct Repression of Cdk6 and Hypophosphorylation of pRb

    Research output: Contribution to journal › Article

View all (2062) »

Research activities & awards

  1. IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning

    Activity: Conference participation › Participation in conference

  2. The 9th International Workshop on Automated Deduction in Geometry

    Activity: Conference participation › Participation in workshop, seminar, course

  3. Royal Society of Edinburgh/Scottish Executive Support Research Fellowship

    Activity: Awards › Fellowship awarded competitively

View all (4) »

ID: 3510