Computer Science Theses: Recent submissions
Now showing items 11-15 of 193
-
Towards fully automated analysis of sputum smear microscopy images
(2024-12-03) - ThesisSputum smear microscopy is used for diagnosis and treatment monitoring of pulmonary tuberculosis (TB). Automation of image analysis can make this technique less laborious and more consistent. This research employs artificial ... -
Unsupervised domain adaptation in sensor-based human activity recognition
(University of St Andrews, 2022-06-15) - ThesisSensor-based human activity recognition (HAR) is to recognise human daily activities through a collection of ambient and wearable sensors. Sensor-based human activity recognition is having a significant impact in a wide ... -
The Virtual Time Travel Platform : engineering a generic framework for immersive cultural heritage scenes
(University of St Andrews, 2015-06-24) - ThesisThis thesis presents the Virtual Time Travel Platform (VTTP), a flexible platform for creating, sharing and deploying interactive cultural heritage content across a diverse range of contexts. The interactive scenes created ... -
Proof-relevant resolution - the foundations of constructive proof automation
(University of St Andrews, 2021-06-30) - ThesisDependent type theory is an expressive programming language. This language allows to write programs that carry proofs of their properties. This in turn gives high confidence in such programs, making the software trustworthy. ... -
Facilitating the analysis and management of data for cancer care
(University of St Andrews, 2021-11-30) - ThesisThe Edinburgh Cancer Centre (ECC) is an institution containing the National Health Service (NHS) Lothian cancer patient data from multiple resources. These resources are scattered across different systems and platforms, ...