Theses - Computer Science and Technology: Recent submissions
Now showing items 1-4 of 129
-
Automating representation change across domains for reasoning
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
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
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
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 ...