Dependently-typed programming languages, such as Idris and Agda, permit the use of logical properties to constrain the values an expression could take. This allows us to incorporate the proof that a program satisfies…
Our phones are growing in compute power every year. But what about the times when we are more concerned with battery life than speed? We ask how mobile phone operating systems like IOS and android can improve your…
Emerging technologies-such as the voice enabled internet-present many opportunities and challenges for research and society as a whole. Advocating for better, healthier implementations of these technologies will…
This dissertation project, titled ‘Challenging the ‘Male Default’ Paradigm: Utilising Advanced Data Visualisation to Raise Awareness of Gender Bias in Healthcare,’ aims to use innovative data visualisation techniques…
Computers have long been used to quickly solve problems which can be modelled using constraints, like Sudoku, but what if the problem has no solution? An extension to the common functionality of existing constraint…
Exploring the different techniques that can be used to solve sudoku puzzles. Keywords Dissertation,Puzzle Techniques,Constraint Programming, Artificial Intelligence Staff [Ruth Hoffmann]{rh347}
Baroque music frequently uses something called Figured Bass Notation, which lets an accompanist improvise music harmony. Software exists that allow you to use this notation to realise a harmony in a rules-based way,…
This dissertation aims to offer practical and collaborative strategies for nurturing pro-social and inclusive behaviour online. By changing the nature of interactions online, social media platforms can be transformed…
Imagine playing Minesweeper and getting stuck. This system uses smart techniques to assist your gameplay. It combined two solving methods: constraint programming, which helps narrow down where mines might be based on…
Decentralising Digital was a 2 year project involving design researchers from universities across the UK, Quicksand – a design research studio from India, and a range of community partners working with rural farmers…