ss265

Abstract: This talk concentrates on our efforts over the years to make the harvesting of relevant data from mobile devices accurate and efficient, to allow on device data interpretation and to produce models able to interpret the data so that it can be exploited for a wide range of applications. In this sense I will … Cecilia Mascolo (Cambridge): Systems, Models and Learning: From mobile devices to mobile data (School Seminar)

Abstract: Searching for complex objects (e.g. images, faces, audio or video), is an everyday problem in computer science, motivated by many applications. Efficient algorithms are demanded for reverse searching, also known as query by content, in large repositories. Current industrial solutions are ad hoc, domain-dependant, hardware intensive and have limited scaling. However, those disparate domains … Edgar Chavez (CICESE): The Metric Approach to Reverse Searching (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)

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)

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)

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)

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)