School Seminar Series

SRG Seminar: “Simulating a pulmonary tuberculosis infection using a network-based metapopulation model” by Michael Pitcher and “A Fake City of People: Modeling the Co-evolution of City and Citizens” by Xue Guo

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 diseases, claiming over 1.4 million lives every year. TB infections typically affect the lungs and treatment regimens are long and arduous, requiring at least … SRG Seminar: “Simulating a pulmonary tuberculosis infection using a network-based metapopulation model” by Michael Pitcher and “A Fake City of People: Modeling the Co-evolution of City and Citizens” by Xue Guo

Daniel Sorin (Duke University): Designing Formally Verifiable Cache Coherence Protocol (School Seminar)

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 testing in hopes of uncovering bugs. In this work, we propose a verification-aware approach to protocol design, in which we design scalable protocols such … Daniel Sorin (Duke University): Designing Formally Verifiable Cache Coherence Protocol (School Seminar)

Felipe Meneguzzi (PUCRS): Plan Recognition in the Real World (School Seminar)

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, assistive technologies and surveillance. Although such techniques using planning domain theories have developed a number of very accurate and effective … Felipe Meneguzzi (PUCRS): Plan Recognition in the Real World (School Seminar)

Mark Olleson (Bloomberg): Super-sized mobile apps: getting the foundations right (School Seminar)

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 one secure mobile application. On 4 different mobile operating systems. Does this sound challenging? Mark from Bloomberg’s Mobile team will discuss how … Mark Olleson (Bloomberg): Super-sized mobile apps: getting the foundations right (School Seminar)

Siobhán Clarke (Trinity College Dublin): Exploring Autonomous Behaviour in Open, Complex Systems (School Seminar)

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 consequences for the application. A better understanding of the dynamics in the environment will enable applications to better automate planning for change and remain … Siobhán Clarke (Trinity College Dublin): Exploring Autonomous Behaviour in Open, Complex Systems (School Seminar)

Stephen McKenna (Dundee): Recognising Interactions with Objects and People (School Seminar)

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 people manipulate objects, and (ii) social interactions and their participants. Activities such as those involved in food preparation involve interactions between … Stephen McKenna (Dundee): Recognising Interactions with Objects and People (School Seminar)

Emma Hart (Edinburgh Napier): Lifelong Learning in Optimisation (School Seminar)

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 domains. Despite many successful applications of both these approaches, some common weaknesses exist in that if the nature of the problems to be solved changes over … Emma Hart (Edinburgh Napier): Lifelong Learning in Optimisation (School Seminar)

Jessie Kennedy (Edinburgh Napier): Visualization and Taxonomy (School Seminar)

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 and the visualization challenges this poses. Secondly, the role of taxonomy in understanding and making sense of the growing field of visualization will be discussed and the challenges … Jessie Kennedy (Edinburgh Napier): Visualization and Taxonomy (School Seminar)

Barnaby Martin (Durham): The Complexity of Quantified Constraints (School Seminar)

Abstract: We elaborate the complexity of the Quantified Constraint Satisfaction Problem, QCSP(A), where A is a finite idempotent algebra. Such a problem is either in NP or is co-NP-hard, and the borderline is given precisely according to whether A enjoys the polynomially-generated powers (PGP) property. This reduces the complexity classification problem for QCSPs to that … Barnaby Martin (Durham): The Complexity of Quantified Constraints (School Seminar)