Informatics, School of: Recent submissions

Now showing items 1-20 of 1600

    • Modelling the psychophysics of eye movements in a large corpus of binocular reading behaviours 

      Bao, Jun (The University of Edinburgh, 2020-06-25)
      The position and shape of the pupil entrance of the eye plays a central role in video-based eye-tracking. As a result, any unexpected translation and deformation of the pupil image on camera may introduce systematic ...

    • Novel platform for topic group mining, crowd opinion analysis and opinion leader identification in on-line social network platforms 

      Yang, Cheng-lin (The University of Edinburgh, 2020-06-25)
      In recent years, topic group mining and massive crowd opinion analysis from on-line social network platforms have become some of the most important tasks not only in research area but also in industry. Systems of this sort ...

    • Interpretation of multi-parametric statistical models of large scale neuronal network activity 

      Cronin, Joseph Thomas (The University of Edinburgh, 2020-06-25)
      Multi-parametric statistical models have been shown to be successful in characterising the statistical properties of neuronal network activity for large scale populations, in a variety of in vitro and in vivo experimental ...

    • Addressing variability in reuse prediction for last-level caches 

      Faldu, Priyank Popatlal (The University of Edinburgh, 2020-06-25)
      Last-Level Cache (LLC) represents the bulk of a modern CPU processor's transistor budget and is essential for application performance as LLC enables fast access to data in contrast to much slower main memory. Problematically, ...

    • Compositional Taylor model based validated integration 

      Liiva, Kristjan (The University of Edinburgh, 2020-06-25)
      Validated integration is a family of methods that compute enclosures for sets of initial conditions in the Initial Value Problems. The Taylor model based validated integration methods use truncated Taylor series to approximate ...

    • Visual articulated tracking in cluttered environments 

      Rauch, Christian (The University of Edinburgh, 2020-06-25)
      This thesis is concerned with the state estimation of an articulated robotic manipulator during interaction with its environment. Traditionally, robot state estimation has relied on proprioceptive sensors as the single ...

    • Analysing system behaviour by automatic benchmarking of system-level provenance 

      Chan, Sheung Chi (The University of Edinburgh, 2020-06-25)
      Provenance is a term originating from the work of art. It aims to provide a chain of information of a piece of arts from its creation to the current status. It records all the historic information relating to this piece ...

    • Magnetic field optimization from limited data 

      Chassot, Matthieu (The University of Edinburgh, 2009)
      When a sensor coil is placed in the field of an electromagnetic transmitter, a voltage is induced and may be measured. The amplitude of this voltage depends on the distance from the transmitter and the angle between the ...

    • LitCrit: exploring intentions as a basis for automated feedback on Related Work. 

      Casey, Arlene Jane (The University of Edinburgh, 2020-06-25)
      Learning the skill of academic writing is critical for post-graduate (PG) students to be successful, yet many struggle to master the required standard. Feedback can play a formative role in developing these skills, but ...

    • Discovering and analysing lexical variation in social media text 

      Shoemark, Philippa Jane (The University of Edinburgh, 2020-06-25)
      For many speakers of non-standard or minority language varieties, social media provides an unprecedented opportunity to write in a way which reflects their everyday speech, without censorship or castigation. Social media ...

    • Methods for morphology learning in low(er)-resource scenarios 

      Bergmanis, Toms (The University of Edinburgh, 2020-06-25)
      A core issue that hampers development and use of language technology for underresourced and morphologically rich languages is data sparsity. In this work, we consider unsupervised morphological analysis and lemmatization ...

    • Software testing: test suite compilation and execution optimizations 

      Stratis, Panagiotis (The University of Edinburgh, 2020-06-25)
      The requirements and responsibilities assumed by software have increasingly rendered it to be large and complex. Testing to ensure that software meets all its requirements and is free from failures is a difficult and ...

    • Flexible neural architectures for sequence modeling 

      Krause, Benjamin (The University of Edinburgh, 2020-06-25)
      Auto-regressive sequence models can estimate the distribution of any type of sequential data. To study sequence models, we consider the problem of language modeling, which entails predicting probability distributions over ...

    • Accelerating and simulating detected physical interations 

      Chitalu, Floyd Mulenga (The University of Edinburgh, 2020-06-25)
      The aim of this doctoral thesis is to present a body of work aimed at improving performance and developing new methods for animating physical interactions using simulation in virtual environments. To this end we develop a ...

    • Feather: Lightweight Multi-party Updatable Delegated Private Set Intersection 

      Abadi, Aydin; Terzis, Sotirios; Dong, Changyu (2020)
      With the growth of cloud computing, the need arises for Private Set Intersection (PSI) protocols that can operate on outsourced data and delegate computation to cloud servers. One limitation of existing delegated PSI ...

    • Modelling the neuromechanics of exploration and taxis in larval Drosophiila 

      Loveless, Jane (The University of Edinburgh, 2020-06-25)
      The Drosophila larva is emerging as a useful tool in the study of complex behaviours, due to its relatively small size, its genetic tractability, and its varied behavioural repertoire. The larva executes a stereotypical ...

    • Experience-driven optimal motion synthesis in complex and shared environments 

      Merkt, Wolfgang Xaver (The University of Edinburgh, 2020-06-25)
      Optimal loco-manipulation planning and control for high-dimensional systems based on general, non-linear optimisation allows for the specification of versatile motion subject to complex constraints. However, complex, ...

    • Deep neural mobile networking 

      Zhang, Chaoyun (The University of Edinburgh, 2020-06-25)
      The next generation of mobile networks is set to become increasingly complex, as these struggle to accommodate tremendous data traffic demands generated by ever-more connected devices that have diverse performance requirements ...

    • Neural document modeling and summarization 

      Liu, Yang (The University of Edinburgh, 2020-06-25)
      Document summarization is the task of automatically generating a shorter version of a document or multiple documents while retaining the most important information. The task has received much attention in the natural ...

    • Perceptual Bayesian inference in autism and schizophrenia 

      Karvelis, Povilas (The University of Edinburgh, 2020-06-25)
      Recent theories in the field of computational psychiatry regard schizophrenia (SCZ) and autistic spectrum disorders (ASD) as impairments in Bayesian inference performed by the brain. In Bayesian terms, perception is a ...