Bayesian generative models for time series analysis
Keywords Bayesian inference, Nonparametrics, Bayesian nonparametrics, Variational inference, MCMC Staff [Lei Fang]{lf28}
Search by category: 2023
EyeTracking: A Gaze-based User Interface for Reading Applications
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…
Game Physics
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…
Constraint solver implementation
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…
Machine Learning Case Studies
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…
Improved Tracing and Profiling for the GAP Language
One of the main building blocks of any program is a function, structures which take in input and returns some output. However, tracing which functions are called and when for a particular program, even a simple one, is…
Women in the booktrade: patrons and dedicatees
We created a program that first sanitises scanned text of an historical Index which only contains the name of the dedicatee and an outdated reference to books. We then automatically search an online catalogue for the…
Programming as a conversation
Keywords Programming languages, Types Staff [Edwin Brady]{ecb10}
Estimating Carbon Emissions from Conference Travel
Traditional in-person academic conferences have for centuries facilitated collaboration, networking and the presentation and sharing of ideas. However, increasingly consideration is being given to the sustainability of…
Refactoring Dependent Types
Keywords Refactoring, Types, Trustworthy Software, Verification Staff [Christopher Brown]{cmb21}