The School of Informatics brings together research in Computer Science, Cognitive Science, Computational Linguistics and Artificial Intelligence. It provides a fertile environment for a wide range of interdisciplinary studies, leading to this new science of Informatics.

Collections in this community

Recent Submissions

  • Representation learning for unsupervised speech processing 

    Renshaw, Daniel Ian (The University of Edinburgh, 2016-06-27)
    Automatic speech recognition for our most widely used languages has recently seen substantial improvements, driven by improved training procedures for deep artificial neural networks, cost-effective availability of ...
  • Learning to hash for large scale image retrieval 

    Moran, Sean James (The University of Edinburgh, 2016-06-27)
    This thesis is concerned with improving the effectiveness of nearest neighbour search. Nearest neighbour search is the problem of finding the most similar data-points to a query in a database, and is a fundamental operation ...
  • Term selection in information retrieval 

    Maxwell, Kylie Tamsin (The University of Edinburgh, 2016-06-27)
    Systems trained on linguistically annotated data achieve strong performance for many language processing tasks. This encourages the idea that annotations can improve any language processing task if applied in the right ...
  • Automated reasoning with uncertainties 

    Corrêa da Silva, Flávio S. (The University of Edinburgh, 1993)
  • Interactive control of multi-agent motion in virtual environments 

    Henry, Joseph William Roger (The University of Edinburgh, 2016-06-27)
    With the increased use of crowd simulation in animation, specification of crowd motion can be very time consuming, requiring a lot of user input. To alleviate this cost, we wish to allow a user to interactively manipulate ...
  • Optimizing cache utilization in modern cache hierarchies 

    Huang, Cheng-Chieh (The University of Edinburgh, 2016-06-27)
    Memory wall is one of the major performance bottlenecks in modern computer systems. SRAM caches have been used to successfully bridge the performance gap between the processor and the memory. However, SRAM cache’s latency ...
  • Optimisation and Bayesian optimality 

    Joyce, Thomas (The University of Edinburgh, 2016-06-27)
    This doctoral thesis will present the results of work into optimisation algorithms. We first give a detailed exploration of the problems involved in comparing optimisation algorithms. In particular we provide extensions ...
  • Numerical solution of differential equations 

    Verner, James Hamilton (The University of Edinburgh, 1969)
    Recent investigations by Butcher have co-ordinated several aspects of the theory of, and techniques for the derivation of, numerical methods for ordinary differential equations, and further have yielded several significant ...
  • Constraint satisfaction for resource management using ATMs: a timetable design support system 

    Montero, Luis (The University of Edinburgh, 1989)
    Truth Maintenance Systems (TMS) have turned out to be very useful for many kinds of constraint satisfaction problems, for example qualitative reason¬ ing or scheduling. A particularly difficult constraint satisfaction ...
  • Robot dynamics algorithms 

    Featherstone, Roy (The University of Edinburgh, 1984)
    In this dissertation I introduce a new notation for representing rigid-body dynamics, and use it to describe a number of methods for calculating robot dynamics efficiently. The notation (called spatial notation) is based ...
  • Program conversing in Portugese providing a library service 

    Coelho, Helder (The University of Edinburgh, 1979)
    TUGA is a program which converses in Portuguese to provide a library service covering the field of Artificial Intelligence. The objective of designing the program TUGA was the development of a feasible method for ...
  • Formal verification approach to process modelling and composition 

    Papapanagiotou, Petros (The University of Edinburgh, 2014-11-27)
    Process modelling is a design approach where a system or procedure is decomposed in a number of abstract, independent, but connected processes, and then recomposed into a well-defined workflow specification. Research in ...
  • Studies in the design and implementation of programming languages for symbol manipulation 

    Rees, D.J. (The University of Edinburgh, 1970)
    Compared with the development of computing hardware, the development of programming languages has followed a different course. Hardware innovations such as the use of transistors and integrated circuitry have resulted ...
  • Machine annotation of genome and transcriptome data 

    Liu, Zhe (The University of Edinburgh, 2015-11-26)
    One of the key research topics of post-genome study is annotation of the gene with regards to specific function and biological processes. This can help us to understand the precise role that a gene or a group of genes ...
  • Modelling short and long-term synaptic plasticity in neocortical microcircuits 

    Costa, Rui Ponte (The University of Edinburgh, 2015-06-29)
    Learning and memory storage is believed to occur at the synaptic connections between neurons. During the last decades it has become clear that synapses are plastic at short and long time scales. Furthermore, experiments ...
  • Size bounds and parallel algorithms for networks 

    Lev, G. (The University of Edinburgh, 1980)
  • Testing equivalences and fully abstract models for communication processes 

    De Nicola, Rocco (The University of Edinburgh, 1986)
  • Development of a parallel database environment 

    Tranter, Mette (The University of Edinburgh, 2000)
  • Models of distributed associative memory 

    Willshaw, David (The University of Edinburgh, 1971)
  • Complex internal representations in sensorimotor decision making: a Bayesian investigation 

    Acerbi, Luigi (The University of Edinburgh, 2015-06-29)
    The past twenty years have seen a successful formalization of the idea that perception is a form of probabilistic inference. Bayesian Decision Theory (BDT) provides a neat mathematical framework for describing how an ...

View more