Computer Science Theses
All of our academic staff are research active, working with a team of post-graduate and post-doctoral researchers and a lively population of research students. Our research focuses on core themes of theoretical and practical computer science: artificial intelligence and symbolic computation, networked and distributed systems, systems engineering, and human computer interaction.
For more information please visit the School of Computer science home page.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Recent Submissions
-
Detecting cloud virtual network isolation security for data leakage
(University of St Andrews, 2019-06-26) - ThesisThis thesis considers information leakage in cloud virtually isolated networks. Virtual Network (VN) Isolation is a core element of cloud security yet research literature shows that no experimental work, to date, has been ... -
Full coverage displays for non-immersive applications
(University of St Andrews, 2019-06-26) - ThesisFull Coverage Displays (FCDs), which cover the interior surface of a room with display pixels, can create novel user interfaces taking advantage of natural aspects of human perception and memory which we make use of in our ... -
Anomaly-based network intrusion detection enhancement by prediction threshold adaptation of binary classification models
(University of St Andrews, 2018-10-19) - ThesisNetwork traffic exhibits a high level of variability over short periods of time. This variability impacts negatively on the performance (accuracy) of anomaly-based network Intrusion Detection Systems (IDS) that are built ... -
The Sea of Stuff : a model to manage shared sutable data in a distributed environment
(University of St Andrews, 2019-06-26) - ThesisManaging data is one of the main challenges in distributed systems and computer science in general. Data is created, shared, and managed across heterogeneous distributed systems of users, services, applications, and devices ... -
Automatic generation of proof terms in dependently typed programming languages
(University of St Andrews, 2018-09-17) - ThesisDependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as the kernel of many proof assistants and ...
RSS 1.0