All Outputs (145)

Efficient minimal preference change (2015)
Journal Article

In this article, we study a minimal change approach to preference dynamics. We treat a set of preferences as a special kind of theory, and define minimal change preference contraction and revision operations in the spirit of the Alchourrón, Gärdenfor... Read More about Efficient minimal preference change.

Markers of progression in early-stage invasive breast cancer: a predictive immunohistochemical panel algorithm for distant recurrence risk stratification (2015)
Journal Article

Accurate distant metastasis (DM) prediction is critical for risk stratification and effective treatment decisions in breast cancer (BC). Many prognostic markers/models based on tissue marker studies are continually emerging using conventional statist... Read More about Markers of progression in early-stage invasive breast cancer: a predictive immunohistochemical panel algorithm for distant recurrence risk stratification.

Feature-based Lucas-Kanade and Active Appearance Models (2015)
Journal Article

Lucas-Kanade and Active Appearance Models are among the most commonly used methods for image alignment and facial fitting, respectively. They both utilize non-linear gradient descent, which is usually applied on intensity values. In this paper, we pr... Read More about Feature-based Lucas-Kanade and Active Appearance Models.

Identifying candidate risk factors for prescription drug side effects using causal contrast set mining (2015)
Conference Proceeding

Big longitudinal observational databases present the opportunity to extract new knowledge in a cost effective manner. Unfortunately, the ability of these databases to be used for causal inference is limited due to the passive way in which the data ar... Read More about Identifying candidate risk factors for prescription drug side effects using causal contrast set mining.

Practical run-time norm enforcement with bounded lookahead (2015)
Conference Proceeding

Norms have been widely proposed as a means of coordinating and controlling the behaviour of agents in a multi-agent system. A key challenge in normative MAS is norm enforcement: how and when to restrict the agents’ behaviour in order to obtain a des... Read More about Practical run-time norm enforcement with bounded lookahead.

HAC-ER: A Disaster Response System based on Human-Agent Collectives (2015)
Conference Proceeding

This paper proposes a novel disaster management system called HAC-ER that addresses some of the challenges faced by emergency responders by enabling humans and agents, using state-of-the-art algorithms, to collaboratively plan and carry out tasks in... Read More about HAC-ER: A Disaster Response System based on Human-Agent Collectives.

The capacity-C torch problem (2015)
Journal Article

The torch problem (also known as the bridge problem or the flashlight problem) is about getting a number of people across a bridge as quickly as possible under certain constraints. Although a very simply stated problem, the solution is surprisingly n... Read More about The capacity-C torch problem.

Detecting change and dealing with uncertainty in imperfect evolutionary environments (2015)
Journal Article

Imperfection of information is a part of our daily life; however, it is usually ignored in learning based on evolutionary approaches. In this paper we develop an Imperfect Evolutionary System that provides an uncertain and chaotic imperfect environme... Read More about Detecting change and dealing with uncertainty in imperfect evolutionary environments.

The Challenges of Using Biodata in Promotional Filmmaking (2015)
Journal Article

© 2015 ACM. We present a study of how filmmakers collected and visualized physiological data - "biodata" - to construct a series of short promotional films depicting people undergoing "thrilling" experiences. Drawing on ethnographic studies of two ma... Read More about The Challenges of Using Biodata in Promotional Filmmaking.

Higher Homotopies in a Hierarchy of Univalent Universes (2015)
Journal Article

For Martin-Lof type theory with a hierarchy U(0): U(1): U(2): ... of univalent universes, we show that U(n) is not an n-type. Our construction also solves the problem of finding a type that strictly has some high truncation level without using higher... Read More about Higher Homotopies in a Hierarchy of Univalent Universes.

Run spot run: capturing and tagging footage of a race by crowds of spectators (2015)
Conference Proceeding

There has been a massive growth in the number of people who film and upload amateur footage of events to services such as Facebook and Youtube, or even stream live to services such as LiveStream. We present an exploratory study that investigates the... Read More about Run spot run: capturing and tagging footage of a race by crowds of spectators.

Mixed-Initiative Approaches to Global Editing in Slideware (2015)
Conference Proceeding

© Copyright 2015 ACM. Good alignment and repetition of objects across presentation slides can facilitate visual processing and contribute to audience understanding. However, creating and maintaining such consistency during slide design is difficult.... Read More about Mixed-Initiative Approaches to Global Editing in Slideware.

ArtMaps: Interpreting the spatial footprints of artworks (2015)
Conference Proceeding

© Copyright 2015 ACM. Creating and utilizing simple links between items and locations in map-based systems has become a mainstream component of modern computing. In this paper, we explore support for 'art mapping', an activity that requires considera... Read More about ArtMaps: Interpreting the spatial footprints of artworks.

Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process (2015)
Conference Proceeding

© Copyright 2015 ACM. The regulatory climate is in a process of change. Design, having been implicated for some time, is now explicitly linked to law. This paper recognises the heightened role of designers in the regulation of ambient interactive tec... Read More about Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process.

Provenance for the people: an HCI perspective on the W3C PROV standard through an online game (2015)
Conference Proceeding

In the information age, tools for examining the validity of data are invaluable. Provenance is one such tool, and the PROV model proposed by the World Wide Web Consortium in 2013 offers a means of expressing provenance in a machine readable format. I... Read More about Provenance for the people: an HCI perspective on the W3C PROV standard through an online game.

I'd Hide You: Performing Live Broadcasting in Public (2015)
Conference Proceeding

We present a study of a mixed reality game called 'I'd Hide You' that involves live video streaming from the city streets. We chart the significant challenges facing performers on the streets who must simultaneously engage in the game, stream compell... Read More about I'd Hide You: Performing Live Broadcasting in Public.

Objective methods for reliable detection of concealed depression (2015)
Journal Article

Recent research has shown that it is possible to automatically detect clinical depression from audio-visual recordings. Before considering integration in a clinical pathway, a key question that must be asked is whether such systems can be easily fool... Read More about Objective methods for reliable detection of concealed depression.

An iterated local search with multiple perturbation operators and time varying perturbation strength for the aircraft landing problem (2015)
Journal Article

Landing aircraft safely is an important operation that air traffic controllers have to deal with on a daily basis. For each arriving aircraft a runway and a landing time must be allocated. If these allocations can be done in an efficient way, it coul... Read More about An iterated local search with multiple perturbation operators and time varying perturbation strength for the aircraft landing problem.

Juxtaposition of System Dynamics and Agent-Based Simulation for a Case Study in Immunosenescence (2015)
Journal Article

Advances in healthcare and in the quality of life significantly increase human life expectancy. With the aging of populations, new un-faced challenges are brought to science. The human body is naturally selected to be well-functioning until the age o... Read More about Juxtaposition of System Dynamics and Agent-Based Simulation for a Case Study in Immunosenescence.

Monads need not be endofunctors (2015)
Journal Article

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed ?-calculus syntax and indexed containers. We show tha... Read More about Monads need not be endofunctors.