Abstract: Many students are looking to appropriate social networking sites, amongst them, Facebook, to enhance their learning experience. A growing body of literature reports on the motivation of students and staff to engage with Facebook as a learning platform as well as mapping such activities to pedagogy and curricula. This talk will look through some […]
Abstract: Many real-world systems are most naturally modelled by “multi-layer” networks, which allow for different types of connections between entities; it is therefore important to develop efficient algorithms to extract information from such networks. However, most existing results concerning the structural properties of graphs/networks which allow us to solve NP-hard problems efficiently consider only the […]
Abstract: Usable security is about exploring the relationship between the tools which are supposed to keep people safe and the ways that people interact with them. In this talk, I will be discussing two of my recent projects: URL readability and reasons for avoiding software updates. URLs are a nearly ubiquitous method of telling another […]
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 […]
Abstract This talk is in two parts, in the first of which Adriana will focus on her experiences in assessment and feedback in large classes, and in the second part on her work in encouraging gender diversity in computer science. The focus of the first part will be on her involvement in redesigning an undergraduate […]
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 […]
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 […]
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 […]
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 […]
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 […]
