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

  • Enabling high performance dynamic language programming for micro-core architectures 

    Jamieson, Maurice (The University of Edinburgh, 2022-11-24)
    Micro-core architectures are intended to deliver high performance at a low overall power consumption by combining many simple central processing unit (CPU) cores, with an associated small amount of memory, onto a single ...
  • Bayesian experimental design for implicit models using mutual information 

    Kleinegesse, Steven (The University of Edinburgh, 2022-11-21)
    Scientists regularly face the challenging task of designing experiments in such a way that the collected data is informative and useful. The field of Bayesian experimental design formalises this task by phrasing it as ...
  • Continuous-time temporal logic specification and verification for nonlinear biological systems in uncertain contexts 

    Wright, Thomas (The University of Edinburgh, 2022-11-24)
    In this thesis we introduce a complete framework for modelling and verification of biological systems in uncertain contexts based on the bond-calculus process algebra and the LBUC spatio-temporal logic. The bond-calculus ...
  • Shader optimization and specialization 

    Crawford, Lewis (The University of Edinburgh, 2022-10-11)
    In the field of real-time graphics for computer games, performance has a significant effect on the player’s enjoyment and immersion. Graphics processing units (GPUs) are hardware accelerators that run small parallelized ...
  • Neural motion synthesis of locomotion, interaction, and manipulation 

    Zhang, He (The University of Edinburgh, 2022-10-04)
    Motion synthesis is a task to automatically generate realistic movements of characters according to the user instructions. To produce high-quality character animations, data-driven approaches that learn from motion capture ...
  • Unsupervised German predicate entailment using the distributional inclusion hypothesis 

    Weber, Sabine (The University of Edinburgh, 2022-10-04)
    Recognizing textual entailment is an important prerequisite to many tasks in NLP, e.g. question answering and semantic parsing. Knowing that for example buying a thing entails subsequently owning it is a relation that ...
  • Synthesising prosody with insufficient context 

    Hodari, Zack (The University of Edinburgh, 2022-10-04)
    Prosody is a key component in human spoken communication, signalling emotion, attitude, information structure, intention, and other communicative functions through perceived variation in intonation, loudness, timing, and ...
  • Robustness to external disturbances for legged robots using dynamic trajectory optimisation 

    Ferrolho, Henrique Manuel Martins (The University of Edinburgh, 2022-09-30)
    In robotics, robustness is an important and desirable attribute of any system, from perception to planning and control. Robotic systems need to handle numerous factors of uncertainty when they are deployed, and the more ...
  • Automated planning for cloud service configurations 

    Herry (The University of Edinburgh, 2015-06-29)
    The declarative approach has been widely accepted as an appropriate way to manage configurations of large scale systems – the administrators describe the specification of the “desired” configuration state of the system, ...
  • Local-to-global functional inequalities in simplicial complexes 

    Mousa, Giorgos (The University of Edinburgh, 2022-09-06)
    A study of random walks over simplicial complexes with a particular emphasis on matroids. A framework is developed that yields results on the entropy contraction and modified log-Sobolev constant of the exchange walks ...
  • Efficient neural networks 

    Turner, Jack (The University of Edinburgh, 2022-08-23)
    Improving the e ciency of neural networks has great potential impact due to their wide range of possible use cases and their high levels of arithmetic intensity. As neural network designs evolve and hardware grows more ...
  • Learning from alternative sources of supervision 

    Edwards, Harrison (The University of Edinburgh, 2022-08-16)
    With the rise of the internet, data of many varieties including: images, audio, text and video are abundant. Unfortunately for a very specific task one might have, the data for that problem is not typically abundant ...
  • Towards efficient universal neural machine translation 

    Zhang, Biao (The University of Edinburgh, 2022-08-03)
    Humans benefit from communication but suffer from language barriers. Machine translation (MT) aims to overcome such barriers by automatically transforming information from one language to another. With the rapid development ...
  • Generalization challenges in semantic parsing 

    Wang, Bailin (The University of Edinburgh, 2022-07-29)
    Semantic parsing is the task of translating natural language utterances onto machine-interpretable programs, which can be executed against a real-world environment to obtain desired responses (e.g., a SQL query against a ...
  • Dependable virtualised systems 

    Thalheim, Jörg (The University of Edinburgh, 2022-06-28)
    Virtual machines and containers are widely used in data centres and in the cloud for software deployment and management. Their popularity is based on higher capacity utilisation, lower maintenance costs, and better ...
  • Opinion summarization of multiple reviews: data synthesis and modeling 

    Amplayo, Reinald Kim (The University of Edinburgh, 2022-06-28)
    The proliferation of online reviews has accelerated research on opinion mining, where the ultimate goal is to glean information from reviews which help users make decisions more efficiently. While opinion mining has ...
  • Expression and perception of identity through skin-toned emoji 

    Robertson, Alexander (The University of Edinburgh, 2022-06-28)
    The introduction of emoji skin tone modifiers to the Unicode Standard in 2015 was met with considerable debate on the extent to which these emoji would be used, who would actually use them, and what they would actually be ...
  • Analysing privacy in online social media 

    Kekulluoglu, Dilara (The University of Edinburgh, 2022-06-28)
    People share a wide variety of information on social media, including personal and sensitive information, without understanding the size of their audience which may cause privacy complications. The networked nature of the ...
  • Accurate and reliable probabilistic modeling with high-dimensional data 

    Bekasov, Artur (The University of Edinburgh, 2022-06-23)
    Machine learning studies algorithms for learning from data. Probabilistic modeling and reasoning define a principled framework for machine learning, where probability theory is used to represent and manipulate knowledge. ...
  • On the volume and veracity of big and shared data 

    Wang, Yanghao (The University of Edinburgh, 2022-06-22)
    Big data is not new to us. Many efforts are devoted to efficient and parallel query processing of big data. Nevertheless there are still some missing pieces in the technical stack. Existing systems typically assume that ...

View more