Now showing items 1-4 of 129

    • Automating representation change across domains for reasoning 

      Stockdill, Aaron
      Representing a problem well can make it trivial to solve; represent it poorly, and it becomes impossible. But what makes a representation suitable for a problem, and how can we automatically choose the most suitable from ...
    • Resilient routing for MANETs 

      Caballero Gutierrez, Marco
      Mobile ad hoc networks (MANETs) are the core technology that provides the US military with adaptable and reliable battlefield communications. These self-organising networks are ideal for rapidly changing scenarios that ...
    • Verified security properties for the capability-enhanced CHERI-MIPS architecture 

      Nienhuis, Kyndylan
      Despite decades of research, the computer industry still struggles to build secure systems. The majority of security vulnerabilities are caused by a combination of two fundamental problems. First, mainstream engineering ...
    • Machine learning to model health with multimodal mobile sensor data 

      Spathis, Dimitrios
      The widespread adoption of smartphones and wearables has led to the accumulation of rich datasets, which could aid the understanding of behavior and health in unprecedented detail. At the same time, machine learning and ...