Congratulations to St Andrews student Gala Malbasic, who has been selected as one of the finalists in the Young Software Engineer of the Year Award 2017. The Young Software Engineer of the Year Awards are given for the…
What Every Computer Scientist Should Know About Computer History Prof Ursula Martin Distinguished Lecture Series, Semester 1, 2017-18 Biography: Professor Ursula Martin CBE FREng FRSE joined the University of Oxford as…
Event details When: 28th September 2017 13:00 – 14:00 Where: Cole 1.33b Series: Systems Seminars Series Format: Seminar Michael Pitcher’s abstract Tuberculosis (TB) is one of the world’s most deadly infectious…
Abstract: The cache coherence protocol is an important but notoriously complicated part of a multicore processor. Typical protocols are far too complicated to verify completely and thus industry relies on extensive…
Abstract: Plan and goal recognition is the task of inferring the plan and goal of an agent through the observation of its actions and its environment and has a number of applications on computer-human interaction,…
Abstract: An email client. An instant messenger. A real-time financial market data viewer and news reader. A portfolio viewer. A note taker, file manager, media viewer, flight planner, restaurant finder… All built into…
Abstract: Modern, complex systems are likely to execute in open environments (e.g., applications running over the Internet of Things), where changes are frequent and have the potential to cause significant negative…
CANCELLED! This talk has been postponed, due to the ongoing strike. Abstract: This talk describes work in our research group using computer vision along with other sensor modalities to recognise (i) actions in which…
Abstract: The previous two decades have seen significant advances in optimisation techniques that are able to quickly find optimal or near-optimal solutions to problem instances in many combinatorial optimisation…
Abstract: This talk will consider the relationship between visualization and taxonomy from two perspectives. Firstly, how visualization can aid understanding the process of taxonomy, specifically biological taxonomy…