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

  • Use of rippling to automate Event-B invariant preservation proofs 

    Lin, Yu Hui (The University of Edinburgh, 2015-06-29)
    The use of formal method techniques can contribute to the production of more reliable and dependable systems. However, a common bottleneck for the industrial adoption of formal methods techniques is proof automation. To ...
  • Towards a programmable and virtualized mobile radio access network architecture 

    Foukas, Xenofon (The University of Edinburgh, 2018-07-02)
    Emerging 5G mobile networks are envisioned to become multi-service environments, enabling the dynamic deployment of services with a diverse set of performance requirements, accommodating the needs of mobile network ...
  • Language of music: a computational model of music interpretation 

    McLeod, Andrew Philip (The University of Edinburgh, 2018-07-02)
    Automatic music transcription (AMT) is commonly defined as the process of converting an acoustic musical signal into some form of musical notation, and can be split into two separate phases: (1) multi-pitch detection, ...
  • Restoring the balance between stuff and things in scene understanding 

    Caesar, Holger (The University of Edinburgh, 2018-11-29)
    Scene understanding is a central field in computer vision that attempts to detect objects in a scene and reason about their spatial, functional and semantic relations. While many works focus on things (objects with a ...
  • Syntactic and semantic features for statistical and neural machine translation 

    Nădejde, Maria (The University of Edinburgh, 2018-07-02)
    Machine Translation (MT) for language pairs with long distance dependencies and word reordering, such as German–English, is prone to producing output that is lexically or syntactically incoherent. Statistical MT (SMT) ...
  • Capturing mobile security policies precisely 

    Hallett, Joseph (The University of Edinburgh, 2018-11-29)
    The security policies of mobile devices that describe how we should use these devices are often informally specified. Users have preferences for some apps over others. Some users may avoid apps which can access large ...
  • Suprasegmental representations for the modeling of fundamental frequency in statistical parametric speech synthesis 

    Fonseca De Sam Bento Ribeiro, Manuel (The University of Edinburgh, 2018-07-02)
    Statistical parametric speech synthesis (SPSS) has seen improvements over recent years, especially in terms of intelligibility. Synthetic speech is often clear and understandable, but it can also be bland and monotonous. ...
  • Spatiotemporal properties of evoked neural response in the primary visual cortex 

    Stevens, Jean-Luc Richard (The University of Edinburgh, 2018-07-02)
    Understanding how neurons in the primary visual cortex (V1) of primates respond to visual patterns has been a major focus of research in neuroscience for many decades. Numerous different experimental techniques have been ...
  • Structured Bayesian methods for splicing analysis in RNA-seq data 

    Huang, Yuanhua (The University of Edinburgh, 2018-07-02)
    In most eukaryotes, alternative splicing is an important regulatory mechanism of gene expression that results in a single gene coding for multiple protein isoforms, thus largely increases the diversity of the proteome. ...
  • Software-defined datacenter network debugging 

    Tammana, Praveen Aravind Babu (The University of Edinburgh, 2018-07-02)
    Software-defined Networking (SDN) enables flexible network management, but as networks evolve to a large number of end-points with diverse network policies, higher speed, and higher utilization, abstraction of networks ...
  • Research on efficiency and privacy issues in wireless communication 

    Rathinakumar, Saravana Manickam (The University of Edinburgh, 2018-07-02)
    Wireless spectrum is a limited resource that must be used efficiently. It is also a broadcast medium, hence, additional procedures are required to maintain communication over the wireless spectrum private. In this thesis, ...
  • Recognizing emotions in spoken dialogue with acoustic and lexical cues 

    Tian, Leimin (The University of Edinburgh, 2018-07-02)
    Automatic emotion recognition has long been a focus of Affective Computing. It has become increasingly apparent that awareness of human emotions in Human-Computer Interaction (HCI) is crucial for advancing related ...
  • Reducing the cost of heuristic generation with machine learning 

    Ogilvie, William Fraser (The University of Edinburgh, 2018-07-02)
    The space of compile-time transformations and or run-time options which can improve the performance of a given code is usually so large as to be virtually impossible to search in any practical time-frame. Thus, heuristics ...
  • Motion synthesis for high degree-of-freedom robots in complex and changing environments 

    Yang, Yiming (The University of Edinburgh, 2018-07-02)
    The use of robotics has recently seen significant growth in various domains such as unmanned ground/underwater/aerial vehicles, smart manufacturing, and humanoid robots. However, one of the most important and essential ...
  • Multi-dialect Arabic broadcast speech recognition 

    Ali, Ahmed Mohamed Abdel Maksoud (The University of Edinburgh, 2018-07-02)
    Dialectal Arabic speech research suffers from the lack of labelled resources and standardised orthography. There are three main challenges in dialectal Arabic speech recognition: (i) finding labelled dialectal Arabic ...
  • Machine learning-based dexterous control of hand prostheses 

    Krasoulis, Agamemnon (The University of Edinburgh, 2018-07-02)
    Upper-limb myoelectric prostheses are controlled by muscle activity information recorded on the skin surface using electromyography (EMG). Intuitive prosthetic control can be achieved by deploying statistical and machine ...
  • Managing the memory hierarchy in GPUs 

    Dublish, Saumay Kumar (The University of Edinburgh, 2018-07-02)
    Pervasive use of GPUs across multiple disciplines is a result of continuous adaptation of the GPU architectures to address the needs of upcoming application domains. One such vital improvement is the introduction of the ...
  • Functional inferences over heterogeneous data 

    Nuamah, Kwabena Amoako (The University of Edinburgh, 2018-07-02)
    Inference enables an agent to create new knowledge from old or discover implicit relationships between concepts in a knowledge base (KB), provided that appropriate techniques are employed to deal with ambiguous, incomplete ...
  • Functional relevance of inhibitory and disinhibitory circuits in signal propagation in recurrent neuronal networks 

    Bihun, Marzena Maria (The University of Edinburgh, 2018-07-02)
    Cell assemblies are considered to be physiological as well as functional units in the brain. A repetitive and stereotypical sequential activation of many neurons was observed, but the mechanisms underlying it are not ...
  • Architectural support for persistent memory systems 

    Joshi, Arpit Jayendrakumar (The University of Edinburgh, 2018-07-02)
    The long stated vision of persistent memory is set to be realized with the release of 3D XPoint memory by Intel and Micron. Persistent memory, as the name suggests, amalgamates the persistence (non-volatility) property ...

View more