Now showing items 1-20 of 47

    • A no-thin-air memory model for programming languages 

      Pichon-Pharabod, Jean Yves Alexis (2018-05-19)
      Many hardware and compiler optimisations introduced to speed up single-threaded programs also introduce additional, sometimes surprising, behaviours for concurrent programs with shared mutable state. How many of these extra ...
    • Abstracting information on body area networks 

      Brandão, Pedro (2012-01-10)
      Healthcare is changing, correction...healthcare is in need of change. The population ageing, the increase in chronic and heart diseases and just the increase in population size will overwhelm the current hospital-centric ...
    • Automatic facial expression analysis 

      Baltrušaitis, Tadas (2014-04-08)
      Humans spend a large amount of their time interacting with computers of one type or another. However, computers are emotionally blind and indifferent to the affective states of their users. Human-computer interaction which ...
    • Automatic induction of verb classes using clustering 

      Sun, Lin (2013-04-30)
      Verb classifications have attracted a great deal of interest in both linguistics and natural language processing (NLP). They have proved useful for important tasks and applications, including e.g. computational lexicography, ...
    • Bayesian matrix factorisation: inference, priors, and data integration 

      Brouwer, Thomas Alexander (2017-12-01)
      In recent years the amount of biological data has increased exponentially. Most of these data can be represented as matrices relating two different entity types, such as drug-target interactions (relating drugs to protein ...
    • Colour videos with depth : acquisition, processing and evaluation 

      Richardt, Christian (2012-03-06)
      The human visual system lets us perceive the world around us in three dimensions by integrating evidence from depth cues into a coherent visual model of the world. The equivalent in computer vision and computer graphics ...
    • Compiler Optimisation of Typeless Languages 

      Fourniotis Pavlatos, Panayis
      We have written an optimising compiler for a typeless, imperative, modular programming language. The optimiser, which works on a 3-address intermediate representation generated from the source program, uses some novel ...
    • Computational methods for multi-omic models of cell metabolism and their importance for theoretical computer science 

      Angione, Claudio (2015-11-10)
      To paraphrase Stan Ulam, a Polish mathematician who became a leading figure in the Manhattan Project, in this dissertation I focus not only on how computer science can help biologists, but also on how biology can inspire ...
    • Content Selection for Timeline Generation from Single History Articles 

      Bauer, Sandro Mario (2017-11-07)
      This thesis investigates the problem of content selection for timeline generation from single history articles. While the task of timeline generation has been addressed before, most previous approaches assume the existence ...
    • Continuous dimensional emotion tracking in music 

      Imbrasaite, Vaiva (2015-04-28)
      The size of easily-accessible libraries of digital music recordings is growing every day, and people need new and more intuitive ways of managing them, searching through them and discovering new music. Musical emotion is ...
    • The contour tree image encoding technique and file format 

      Turner, Martin John (1994-06-14)
      The process of contourization is presented which converts a raster image into a discrete set of plateaux or contours. These contours can be grouped into a hierarchical structure, defining total spatial inclusion, called a ...
    • Descriptive complexity of constraint problems 

      Wang, Pengming (2018-10-13)
      Constraint problems are a powerful framework in which many common combinatorial problems can be expressed. Examples include graph colouring problems, Boolean satisfaction, graph cut problems, systems of equations, and ...
    • Distributed virtual environment scalability and security 

      Miller, John (2011-11-08)
      Distributed virtual environments (DVEs) have been an active area of research and engineering for more than 20 years. The most widely deployed DVEs are network games such as Quake, Halo, and World of Warcraft (WoW), with ...
    • Evaluation of decentralized email architecture and social network analysis based on email attachment sharing 

      Tsipenyuk, Gregory (2018-06-29)
      Present day email is provided by centralized services running in the cloud. The services transparently connect users behind middleboxes and provide backup, redundancy, and high availability at the expense of user privacy. ...
    • Exploitation from Malicious PCI Express Peripherals 

      Rothwell, Colin Lewis (2018-04-28)
      The thesis of this dissertation is that, despite widespread belief in the security community, systems are still vulnerable to attacks from malicious peripherals delivered over the PCI Express (PCIe) protocol. Malicious ...
    • Exploiting tightly-coupled cores 

      Bates, Daniel (2014-02-04)
      As we move steadily through the multicore era, and the number of processing cores on each chip continues to rise, parallel computation becomes increasingly important. However, parallelising an application is often difficult ...
    • Extending old languages for new architectures 

      White, Leo (2014-07-01)
      Architectures evolve quickly. The number of transistors available to chip designers doubles every 18 months, allowing increasingly complex architectures to be developed on a single chip. Power dissipation issues have ...
    • Flexible and efficient computation in large data centres 

      Gog, Ionel Corneliu (2018-02-06)
      Increasingly, online computer applications rely on large-scale data analyses to offer personalised and improved products. These large-scale analyses are performed on distributed data processing execution engines that run ...
    • Formal verification-driven parallelisation synthesis 

      Botinčan, Matko (2018-05-19)
      Concurrency is often an optimisation, rather than intrinsic to the functional behaviour of a program, i.e., a concurrent program is often intended to achieve the same effect of a simpler sequential counterpart, just faster. ...
    • Gaze Estimation with Graphics 

      Wood, Erroll William (2017-10-17)
      Gaze estimation systems determine where someone is looking. Gaze is used for a wide range of applications including market research, usability studies, and gaze-based interfaces. Traditional equipment uses special hardware. ...