Computer Science (School of)
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.
Sub-communities within this community
Recent Submissions
-
Processing clinical guideline text for formal verification
(University of St Andrews, 2022-06-15) - ThesisClinical guidelines are evidence-based recommendations developed to assist practitioners in their decisions on appropriate care for patients with specific clinical circumstances. They provide succinct instructions such as ... -
Automatic evaluation of geopolitical risk
(2024-12-03) - ThesisThis thesis aims to construct programs for automatically evaluating geopolitical risks. This project will use machine learning, specifically sentiment analysis, topic modeling and NER, to build new computer programs to ... -
Automating inventory composition management for bulk purchasing cloud brokerage strategy
(2024-06-12) - ThesisCloud providers offer end-users various pricing schemes to allow them to tailor VMs to their needs, e.g., a pay-as-you-go billing scheme, called on-demand, and a discounted contract scheme, called reserved instances. This ... -
Biologically-informed interpretable deep learning techniques for BMI prediction and gene interaction detection
(2024-06-12) - ThesisThe analysis of genetic point mutations at the population level can offer insights into the genetic basis of human traits, which in turn could potentially lead to new diagnostic and treatment options for heritable diseases. ... -
Equivalence-preserving preprocessing of propositional logic formulae using existential graphs and implication hypergraphs
(2024-06-12) - ThesisCurrent approaches to propositional logic (PL) solving and simplification are search-based, require flattening transformations, backtracking, and use many non-equivalence-preserving techniques. This thesis presents an ...