A large-scale study of information needs by Karen Church

In recent years, mobile phones have evolved from simple communication devices to sophisticated personal computers enabling anytime, anywhereaccess to a wealth of information. Understanding the types of information needs that occur while mobile and how these needs are addressed is crucial in order to design and develop novel services that are tailored to mobile users.

To date, studies exploring information needs, in particular mobile needs, have been relatively small in terms of scope, scale and duration. The goal of this work is to investigate information needs on a much larger-scale and to explore, through quantitative analysis, how those needs are addressed.To this end, we conducted one of the most comprehensive studies of information needs to date, spanning a 3-month period and involving over 100 users. The study employed an intelligent experience sampling algorithm, an online diary and SMS technology to gather insights into the types of needs that occur from day to day.

Our results not only complement earlier studies but also shed new light on the differences between mobile and non-mobile information needs as well as the impact of demographics like gender have on the types of needs that arise and on the means chosen to satisfy those needs. Finally, we point to a number of design implications for enriching the future experiences of mobile users based on our findings..

Continue reading

Event details

  • When: 5th March 2012 14:00 - 15:00
  • Where: Phys Theatre C
  • Series: CS Colloquia Series
  • Format: Colloquium, Seminar

Alan Frisch Seminar Video

From October to December 2011, the School of Computer Science hosted Dr Alan Frisch from the University of York as a SICSA Distinguished Visiting Fellow. While here, Dr Frisch kindly agreed to give a seminar entitled “Decade of Progress in Constraint Modelling & Reformulation: The Quest for Abstraction and Automation”, the video of which can now be found here.

During his Fellowship Dr Frisch also visited, and spoke at, the universities of Dundee, Edinburgh and Glasgow.

Event details

  • When: 3rd October 2011 - 22nd December 2011
  • Format: 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’ interests from implicit feedback signals, such as clickstreams or eye tracking. We have studied how to infer relevance of texts and images to the user from the eye movement patterns. The interests, formulated as an implicit query, can then be used in further searches. I will discuss our new machine learning-based results in this field, including data glasses-based augmented reality interface to contextual information, and timeline browsers for life logs.

Continue reading

Event details

  • When: 23rd January 2012 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: CS Colloquia Series
  • Format: Seminar

Distinguished Lecture Series:Artificial Life as an approach to Artificial Intelligence, by Professor Larry Yaeger

Programme dls_sem2 12 Yaeger

An overview of ALife in general, some of the research–including neuroscience, genetic algorithms, information theory, and animal cognition–leading to my incremental, evolved approach to AI, and the work I (and others) have done in this area.

Slides:

Venue: UCH (Upper College Hall)

Event details

  • When: 12th March 2012
  • Series: Distinguished Lectures Series
  • Format: Seminar

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 of Finite Simple Groups.

 These new “machine” proofs entail fundamental changes in the practice of mathematics: a shift from craftsmanship, where each argument is a tribute to the ingenuity of the mathematician that perfected it, to a form of engineering where proofs are created more systematically. In addition to formal definitions and theorems, mathematical theories also contain clever, context-sensitive notations, usage conventions, and proof methods. To mechanize advanced mathematical results it is essential to capture these more informal elements, replacing informal and flexible usage conventions with rigorous interfaces, and exercise apprenticeship with precise algorithms. This can be difficult, requiring an array of techniques closer to software engineering than formal logic, but it is essential to obtaining formal proofs of graduate-level mathematics, and can give new insight as well.

 In this talk we will give several examples of such empirical formal mathematics that we have encountered in the process of mechanizing a large corpus of Combinatorics and Algebra required by the proofs of the Four Colour and Odd Order Theorem.

 Bio:Georges Gonthier is a Principal Researcher at Microsoft Research Cambridge. Dr. Gonthier has worked on the Esterel reactive programming language, techniques for the optimal computation of functional programs, the design and formal verification of a concurrent garbage collector, the join calculus model of concurrency, concurrency analysis of the Ariane 5 flight software, using full abstraction in the analysis of security properties, and a fully computer-checked proof of the famous Four Colour Theorem. He now heads the Mathematical Components project at the MSR Inria Joint Center, following up on the latter work with the development of a comprehensive library of formalized abstract algebra.

Georges Gonthier – Head of the Mathematical Components team Microsoft Research-INRIA joint centre http://www.msr-inria.inria.fr/

There will be bisquits from 3:45 downstairs

Event details

  • When: 10th November 2011 16:00 - 17:00
  • Where: Maths Theatre C
  • Format: Seminar

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 to be spoken by activating a single switch. At the most sophisticated level, literate users can generate novel text. Although some individuals with CCN become effective communicators, most do not – they tend to be passive communicators, responding mainly to questions or prompts at a one or two word level. Conversational skills such as initiation, elaboration and story telling are seldom observed.
One reason for the reduced levels of communicative ability is that AAC technology provides the user with a purely physical link to speech output. The user is required to have sufficient language abilities and physical stamina to translate what they want to say into the code sequence of operations needed to produce the desired output. Instead of placing all the cognitive load on the user, AAC devices can be designed to support the cognitive and language needs of individuals with CCN, taking into account the need to scaffold communication as children develop into adulthood. A range of research projects, including systems to support personal narrative and language play, will be used to illustrate the application of Human Computer Interaction (HCI) and Natural Language Generation (NLG) in the design and implementation of electronic AAC devices.

About Annalu:
Dr Annalu Waller is a Senior Lecturer in the School of Computing at the University of Dundee. She has worked in the field of Augmentative and Alternate Communication (AAC) since 1985, designing communication systems for and with nonspeaking individuals. She established the first AAC assessment and training centre in South Africa in 1987 before coming to Dundee in 1989. Her PhD developed narrative technology support for adults with acquired dysphasia following stroke. Her primary research areas are human computer interaction, natural language generation, personal narrative and assistive technology. In particular, she focuses on empowering end users, including disabled adults and children, by involving them in the design and use of technology. She manages a number of interdisciplinary research projects with industry and practitioners from rehabilitation engineering, special education, speech and language therapy, nursing and dentistry. She is on the editorial boards of several academic journals and sits on the boards of a number of national and international organisations representing disabled people.

Event details

  • When: 11th October 2011 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

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 Human Models and Standard Observer Models are widely used and have proven to be very useful for modeling users and simulating humans. In this paper, we create personalized digital human models of perception (Individual Observer Models), particularly focused on how humans see. Individual Observer Models capture how our bodies shape our perceptions. Individual Observer Models are useful for adapting and personalizing user interfaces and artifacts to suit individual users’ bodies and perceptions. We introduce and demonstrate an Individual Observer Model of human eyesight, which we use to simulate 3600 biologically valid human eyes. An evaluation of the simulated eyes finds that they see eye charts the same as humans. Also demonstrated is the Individual Observer Model successfully making predictions about how easy or hard it is to see visual information and visual designs. The ability to predict and adapt visual information to maximize how effective it is is an important problem in visual design and analytics.

About Aaron:

In this talk Professor Aaron Quigley will present a talk for a paper he is presenting at the User Modeling, Adaptation and Personalization (UMAP) conference 2011 on July 12th in Barcelona Spain. This work on Creating Personalized Digital Human Models of Perception for Visual Analytics is the work with and of his former PhD student Dr. Mike Bennett and now postdoctoral fellow in the Department of Psychology in Stanford University.

Professor Aaron Quigley is the Chair of Human Computer Interaction in the School of Computer Science at the University of St Andrews. He is the director of SACHI and his appointment is part of SICSA, the Scottish Informatics and Computer Science Alliance. Aaron’s research interests include surface and multi-display computing, human computer interaction, pervasive and ubiquitous computing and information visualisation.

Event details

  • When: 15th November 2011 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

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 two projects that focus on multi-touch music composition and performance, and the visual analysis of the history and visual features of fine paintings.

About Sean:

Sean Lynch is a Master’s Student in Computer Science at the Interactions Lab at the University of Calgary. Sean’s research interests span interactive technologies (e.g., multi-touch), interactive art, and information visualization.

Event details

  • When: 28th September 2011 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

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 from mathematical or philosophical logic could be used as a way of inspiring, justifying or comparing different approaches to provenance in databases. This talk will give a short tutorial on provenance in databases and present several topics in logic that may bear upon provenance techniques. These areas include nonclassical logics (e.g. relevance logic), algebraic logic (cylindric algebras), substructural logic (e.g. linear logic) and logics of knowledge, belief or causality.

Event details

  • When: 21st September 2011 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

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 and complexity of data that require analysis, standard tools and techniques are no longer adequate for the task. The ubiquity of computing power enables novel visualisations that are rich, multimodal and interactive; but what is the most effective way to exploit this power to support analysis of large, complex data sets? Often, the lack of fundamental theory is pointed out as a central ‘missing link’ in the development and assessment of efficient novel visualisation tools and techniques.

In this talk, I will present some first steps towards the theory of visualisation comprehension, drawing heavily on existing research in natural scene perception and reading comprehension. The central inspiration is the Reverse Hierarchy Theory of perceptual organisation, which is a recent (2002) development of the near-centennial Laws of Gestalt. The proposed theory comes complete with a testing methodology (the ‘pop-out’ effect testing) that is based on our understanding of the cognitive processes involved in visualisation comprehension.

About Mark:
Mark Shovman is a SICSA Lecturer in Information Visualisation in the Institute of Arts, Media and Computer Games Technology in the University of Abertay Dundee. He is an interdisciplinary researcher, studying the perception and cognition aspects of information visualisations, computer games, and immersive virtual reality. His recent research projects include the application of dynamic 3D link-charts in Systems Biology; alleviating cyber-sickness in VR helmets; and immersive VR as an art medium. Mark was born in Tbilisi, Georgia, and lived in Jerusalem, Israel since 1990. He can be found on http://www.linkedin.com/pub/mark-shovman/3/a4b/849

Event details

  • When: 13th September 2011 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar