Computer Science Theses: Recent submissions

Now showing items 16-20 of 193

    • Rethinking historical university records : provenance in visualization and digital humanities research 

      Vancisin, Tomas (2024-06-12) - Thesis
      The world’s oldest universities, including St Andrews (my case study), have started digitizing their historical student and staff records for their (in)valuable information about the ‘education-worthy’, and the institutions ...

    • Effective player guidance in logic puzzles 

      Lynch, Alice May (2024-06-12) - Thesis
      Pen & paper puzzle games are an extremely popular pastime, often enjoyed by demographics normally not considered to be ‘gamers’. They are increasingly used as ‘serious games’ and there has been extensive research into ...

    • A clinical decision support system for detecting and mitigating potentially inappropriate medications 

      Redeker, Guilherme Alfredo (2024-06-12) - Thesis
      Background: Medication errors are a leading cause of preventable harm to patients. In older adults, the impact of ageing on the therapeutic effectiveness and safety of drugs is a significant concern, especially for those ...

    • Erasure in dependently typed programming 

      Tejiščák, Matúš (University of St Andrews, 2020-07-07) - Thesis
      It is important to reduce the cost of correctness in programming. Dependent types and related techniques, such as type-driven programming, offer ways to do so. Some parts of dependently typed programs constitute evidence ...

    • Adaptive guidance in extended reality environments 

      Weerasinghe, Maheshya (2023-11-28) - Thesis
      Learning depends on the dynamics of one’s personal circumstances and immediate environment that provides hands- experience. As a result, educators are constantly striving to create personalised learning experiences for ...