Event

The Dependability of Complex Socio-technical Infrastructure & Smart Grids and Smart Meters: Game Changer, or Serious Danger? by Prof. Ross Anderson

DLS Programme Lecture 1: The Dependability of Complex Socio-technical Infrastructure Abstract: We have all become dependent on large complex systems such as Facebook, the bank payment system and even the Internet itself. Keeping these systems dependable in the face of accidents, errors and malice is one of the most important, and interesting, challenges facing engineers … The Dependability of Complex Socio-technical Infrastructure & Smart Grids and Smart Meters: Game Changer, or Serious Danger? by Prof. Ross Anderson

Learning hard chart constraints for efficient context-free parsing by Brian Roark – Oregon Health & Science University

Abstract: In this talk, I’ll present some recent work in learning hard constraints for cells within a context-free parsing chart, to reduce parsing time. Each cell in the chart represents one of the O(n^2) substrings of the input string, and characteristics of each substring can be used to decide how much work to do in … Learning hard chart constraints for efficient context-free parsing by Brian Roark – Oregon Health & Science University

Is provenance logical? (James Cheney, University of Edinburgh)

Research on provenance in databases (or other settings) sometimes has an arbitrary flavor. Once we abandon the classical semantics of queries there is a large design space for alternative semantics that could provide some useful provenance information, but there is little guidance for how to explore this space or justify or compare different proposals. Topics … Is provenance logical? (James Cheney, University of Edinburgh)

Exploring semantics in situation identification using context lattices by Dr.Juan Ye

Pervasive systems must offer an open, extensible, and evolving portfolio of services which integrate sensor data from a diverse range of sources. The core challenge is to provide appropriate and consistent adaptive behaviours for these services in the face of huge volumes of sensor data exhibiting varying degrees of precision, accuracy and dynamism. Situation identification is an enabling technology that resolves … Exploring semantics in situation identification using context lattices by Dr.Juan Ye

Measuring the Effectiveness of Abstract Data Visualisations

Speaker: Mark Shovman, University of Abertay, Dundee Abstract: In natural and social sciences, novel insights are often derived from visual analysis of data. But what principles underpin the extraction of meaningful content from these visualisations? Abstract data visualisation can be traced at least as far back as 1801; but with the increase in the quantity … Measuring the Effectiveness of Abstract Data Visualisations

MSc Poster Presentations 2011

The MSc poster presentations and project demonstrations took place this afternoon. We wish all of our MSc students good luck as they finish their dissertations and move closer to graduation!

Summer school “Advanced techniques in computer algebra systems development”

The summer school “Advanced techniques in computer algebra systems development” is organised by the Centre of Interdisciplinary Research in Computational Algebra and supported by the Scottish Informatics and Computer Science Alliance (SICSA) and the EU FP6 project “SCIEnce – Symbolic Computation Infrastructure for Europe” Further details>>>

Security and Privacy in mHealth systems

Mobile computing and sensing technologies present exciting opportunities for healthcare. Wireless sensors worn by patients can automatically deliver medical sensor data to care providers, family members, or other caregivers, providing new opportunities to diagnose, monitor, and manage a wide range of medical conditions. Using the mobile phones that patients already carry to provide connectivity between … Security and Privacy in mHealth systems

Energy-efficient location-awareness on mobile devices

Speaker: Peterri Nurmi,  Helsinki Institute for Information Technology HIIT Abstract: Contemporary mobile phones readily support different positioning techniques. In addition to integrated GPS receivers, GSM and WiFi can be used for position estimation, and other sensors such as accelerometers and digital compasses can be used to support positioning, e.g., through dead reckoning or the detection of … Energy-efficient location-awareness on mobile devices

Sensing, understanding and modelling people using mobile phones

Speaker: Mirco Musolesi, Computer Science, University of St Andrews Abstract: Mobile phones are increasingly equipped with sensors, such as accelerometers, GPS receivers, proximity sensors and cameras, that can be used to sense and interpret people behaviour in real-time. Novel user-centered sensing applications can be built by exploiting the availability of such technologies in these devices … Sensing, understanding and modelling people using mobile phones