Abstract: Moore’s Law has been the main driver behind the extraordinary success of computer systems. However, with the technology roadmap showing a decline in transistor scaling and hence the demise of Moore’s law,…
Abstract: Lurch is an open-source word processor that can check the steps in students’ mathematical proofs. Users write in a natural language, but mark portions of a document as meaningful, so the software can…
Abstract: “Why is my kid getting HD on their phone, while I’m stuck with SD on my 50″ TV?” This type of complaint is among the most common directed to streaming services such as Netflix and BBC. Recent studies observe…
Title and Abstract TBD
Abstract: Matthew Rice, Scotland Director for the Open Rights Group, the digital rights campaigning organisation, will lead a seminar discussing the role of civil society organisations in the discourse of technology,…
Abstract: It is widely recognised that the threat to enterprises from insider activities is increasing, and that significant costs are being incurred. Since insider threat and compromising actions can take a multitude…
Abstract TBD
Abstract: The HUT Group have a variety of engineering, UX and data science teams solving real-world customer and logistics problems. This presentation looks at a variety of solutions applied across the business, from…
Abstract: I will describe how the PRISM model checker was used to generate strategies for an Unmanned Aerial Vehicle (UAV), specifically to determine search strategies for a UAV trying to find objects within a grid,…
Abstract: The “Internet of Bodies” is turning into a popular catchphrase to describe the next generation of the Internet of Things – the move from a collection of everyday objects connected to the Internet and each…