Current automated security tools and security operations centre (SOC) analysts can handle around 80% of the threats, yet, the remaining 20% are often the most dangerous, making cyber-threat hunting an essential…
The development of scientific software has resulted in large, complex, and swiftly growing codebases consisting of thousands of source code files, making it difficult to understand, adopt, compare, execute, reproduce,…
This work proposes a new, fully automated method for transcribing and annotating degraded ancient papyrus documents which is usually a complex process that requires knowledge of both the language used and the…
The project aims to create a mobile application that can be used to identify inscriptions from Indian temples and caves and show the translation in English. The user can take a picture of the inscription or select one…
Examining how strict typing is not always enough, how model checking can be excessive, and how to bridge the gap between the two for the benefit of both. Keywords Software correctness & verification, Formal methods,…
Keywords Bayesian inference, Nonparametrics, Bayesian nonparametrics, Variational inference, MCMC Staff [Lei Fang]{lf28}
Could there be another way of interacting with our devices? One promising method is eye-tracking. This project aims to explore solutions to issues that this technology faces. This work investigates improving accuracy…
The coursework task was to build a clone of an Artillery Game. Its main aim was to get the students acquainted with the implementation of a simple game engine and familiarise themselves with the implementation of a…
The coursework task was to build a simple constraint satisfaction solver that was able to read a generic language designed to express combinatorial problems.The students can then model combinatorically hard problems…
Students on an interdisciplinary masters level module on applications of machine learning (ML) will demonstrate their solutions to practical ML assignments. These involve applying ML tools to real-world problems…