Seminar

Proactive contextual information retrieval by Samuel Kaski

A talk on “Proactive contextual information retrieval” by Samuel Kaski of Aalto University and University of Helsinki, Finland. Abstract: In proactive information retrieval the ultimate goal is to seamlessly access relevant multimodal information in a context-sensitive way. Usually explicit queries are not available or are insufficient, and the alternative is to try to infer users’ … Proactive contextual information retrieval by Samuel Kaski

Proof engineering, from the Four Color to the Odd Order Theorem by Dr Georges Gonthier

Thirty five years ago computers made a dramatic debut in mathematics with the famous proof of the Four Color Theorem by Appel and Haken. Their role has been expanding recently, from computational devices to tools that can tackle deduction and proofs too complex for (most) human minds, such as the Kepler conjecture or the Classification … Proof engineering, from the Four Color to the Odd Order Theorem by Dr Georges Gonthier

Augmentative and Alternative Communication across the Lifespan of Individuals with Complex Communication Needs

Speaker: Annalu Waller, University of Dundee Abstract: Augmentative and alternative communication (AAC) attempts to augment natural speech, or to provide alternative ways to communicate for people with limited or no speech. Technology has played an increasing role in AAC. At the most simplest level, people with complex communication needs (CCN) can cause a prestored message … Augmentative and Alternative Communication across the Lifespan of Individuals with Complex Communication Needs

Creating personalized digital human models of perception for visual analytics

Speaker: Aaron Quigley, SACHI University of St Andrews Abstract: Our bodies shape our experience of the world, and our bodies influence what we design. How important are the physical differences between people? Can we model the physiological differences and use the models to adapt and personalize designs, user interfaces and artifacts? Within many disciplines Digital … Creating personalized digital human models of perception for visual analytics

Interaction and Visualization Approaches for Artistic Applications

Speaker: Sean Lynch, Innovis group/Interactions lab, University of Calgary, Canada Abstract: Information visualization and new paradigms of interaction are generally applied to productive processes (i.e., at work) or for personal and entertainment purposes. In my work, I have looked instead at how to apply new technologies and visualization techniques to art. I will present mainly … Interaction and Visualization Approaches for Artistic Applications

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)

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

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