Edinburgh Research Explorer

School of Informatics

Organisational unit: School

  1. Probabilistic Property-Based Testing

    Cheney, J. & Belle, V.

    Non-EU industry, commerce and public corporations

    1/09/1931/08/22

    Project: Research

  2. Supporting compilation, optimisation and portability of SQL queries via formal specifications

    Libkin, L. & Guagliardo, P.

    Non-EU industry, commerce and public corporations

    1/09/1931/08/21

    Project: Research

  3. Combining Viewpoints in Quantum Theory (Ext.)

    Heunen, C.

    EPSRC

    1/07/1930/06/22

    Project: Research

  4. Deep Imitation Learning of Autonomous Grasping in Clustered Environments

    Li, Z.

    UK-based charities

    1/05/1930/04/21

    Project: Research

  5. Huawei Data-Centric Parallelisation

    Franke, B. & O'Boyle, M.

    Non-EU industry, commerce and public corporations

    1/04/1931/08/23

    Project: Research

  6. Big Graph Data Management and Analysis

    Libkin, L.

    UK-based charities

    31/03/1930/03/22

    Project: Research

  7. Intelligent recommendation for citizen science

    Gal, K.

    UK-based charities

    28/03/1914/02/20

    Project: Research

Previous 1 2 3 4 5 6 7 8 ...108 Next