All Outputs (231)

Exploring large-scale interactive public illustrations (2016)
Conference Proceeding

We present a research-through-design exploration of transforming large-scale public illustrations into interactive media. We collaborated with creative practitioners to extend an existing visual marker technology to support spatial and layered inter... Read More about Exploring large-scale interactive public illustrations.

An automatic tool for quantification of nerve fibers in corneal confocal microscopy images (2016)
Journal Article

Objective: We describe and evaluate an automated software tool for nerve-fiber detection and quantification in corneal confocal microscopy (CCM) images, combining sensitive nerve- fiber detection with morphological descriptors. Method: We have evalua... Read More about An automatic tool for quantification of nerve fibers in corneal confocal microscopy images.

Interaction in Motion: Designing Truly Mobile Interaction (2016)
Conference Proceeding

The use of technology while being mobile now takes place in many areas of people's lives in a wide range of scenarios, for example users cycle, climb, run and even swim while interacting with devices. Conflict between locomotion and system use can re... Read More about Interaction in Motion: Designing Truly Mobile Interaction.

Designing for exploratory play with a hackable digital musical instrument (2016)
Conference Proceeding

This paper explores the design of digital musical instruments (DMIs) for exploratory play. Based on Gaver's principles of ludic design, we examine the ways in which people come to terms with an unfamiliar musical interface. We describe two workshops... Read More about Designing for exploratory play with a hackable digital musical instrument.

Unsupervised labelling of sequential data for location identification in indoor environments (2016)
Journal Article

In this paper we present indoor positioning within unknown environments as an unsupervised labelling task on sequential data. We explore a probabilistic framework relying on wireless network radio signals and contextual information, which is increasi... Read More about Unsupervised labelling of sequential data for location identification in indoor environments.

Written evidence submitted by Dr Ansgar Koene, Senior Research Fellow, Horizon Digital Economy Research Institute, University of Nottingham (DIG0029) (2016)
Other

Hybridising local search with Branch-and-Bound for constrained portfolio selection problems (2016)
Conference Proceeding

In this paper, we investigate a constrained portfolio selection problem with cardinality constraint, minimum size and position constraints, and non-convex transaction cost. A hybrid method named Local Search Branch-and-Bound (LS-B&B) which integrates... Read More about Hybridising local search with Branch-and-Bound for constrained portfolio selection problems.

Type-2 fuzzy alpha-cuts (2016)
Journal Article

Type-2 fuzzy logic systems make use of type-2 fuzzy sets. To be able to deliver useful type-2 fuzzy logic applications we need to be able to perform meaningful operations on these sets. These operations should also be practically tractable. However,... Read More about Type-2 fuzzy alpha-cuts.

The importance of considering pushback time and arrivals when routing departures on the ground at airports (2016)
Conference Proceeding

With the constant increase in air traffic, airports are facing capacity problems. Many airports are increasingly interested in utilising optimisation methods for specific airport processes. However, many such processes do happen in parallel, and maxi... Read More about The importance of considering pushback time and arrivals when routing departures on the ground at airports.

On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces (2016)
Journal Article

© 2016 ACM. While HCI has a long tradition of formally modelling task-based interactions with graphical user interfaces, there has been less progress in modelling emerging ubiquitous computing systems due in large part to their highly contextual natu... Read More about On Lions, Impala, and Bigraphs: Modelling Interactions in Physical/Virtual Spaces.

Cognitive privacy for personal clouds (2016)
Journal Article

This paper proposes a novel Cognitive Privacy (CogPriv) framework that improves privacy of data sharing between Personal Clouds for different application types and across heterogeneous networks. Depending on the behaviour of neighbouring network node... Read More about Cognitive privacy for personal clouds.

A robust similarity measure for volumetric image registration with outliers (2016)
Journal Article

Image registration under challenging realistic conditions is a very important area of research. In this paper, we focus on algorithms that seek to densely align two volumetric images according to a global similarity measure. Despite intensive researc... Read More about A robust similarity measure for volumetric image registration with outliers.

Optimising rule-based classification in temporal data (2016)
Journal Article

This study optimises manually derived rule-based expert system classification of objects according to changes in their properties over time. One of the key challenges that this study tries to address is how to classify objects that exhibit changes in... Read More about Optimising rule-based classification in temporal data.

Tracking tracer motion in a 4-D electrical resistivity tomography experiment (2016)
Journal Article

A new framework for automatically tracking subsurface tracers in electrical resistivity tomography (ERT) monitoring images is presented. Using computer vision and Bayesian inference techniques, in the form of a Kalman filter, the trajectory of a subs... Read More about Tracking tracer motion in a 4-D electrical resistivity tomography experiment.

From privacy impact assessment to Social Impact Assessment (2016)
Conference Proceeding

In order to address the continued decline in consumer trust in all things digital, and specifically the Internet of Things (IoT), we propose a radical overhaul of IoT design processes. Privacy by Design has been proposed as a suitable framework, but... Read More about From privacy impact assessment to Social Impact Assessment.

Maintaining regularity and generalizationin data using the minimum description length principle and genetic algorithm: case of grammatical inference (2016)
Journal Article

In this paper, a genetic algorithm with minimum description length (GAWMDL) is proposed for grammatical inference. The primary challenge of identifying a language of infinite cardinality from a finite set of examples should know when to generalize an... Read More about Maintaining regularity and generalizationin data using the minimum description length principle and genetic algorithm: case of grammatical inference.

“Just whack it on until it gets hot”: working with IoT data in the home (2016)
Conference Proceeding

This paper presents findings from a co-design project that aims to augment the practices of professional energy advisors with environmental data from sensors deployed in clients’ homes. Premised on prior ethnographic observations we prototyped a sens... Read More about “Just whack it on until it gets hot”: working with IoT data in the home.

Jogging at CHI (2016)
Conference Proceeding

HCI is increasingly paying attention to sports, and more and more CHI attendees are aiming to maintain being physically active while attending CHI. In response, we offer a SIG on the topic of sports-HCI and conduct it in a sportive way: we will go ou... Read More about Jogging at CHI.

Deep Machine Learning provides state-of-the-art performance in image-based plant phenotyping (2016)
Working Paper

Deep learning is an emerging field that promises unparalleled results on many data analysis problems. We show the success offered by such techniques when applied to the challenging problem of image-based plant phenotyping, and demonstrate state-of-th... Read More about Deep Machine Learning provides state-of-the-art performance in image-based plant phenotyping.

Towards a theory of reach (2016)
Journal Article

When testing a program, there are usually some parts that are rarely executed and hence more difficult to test. Finding inputs that guarantee that such parts are executed is an example of a reach problem, which in general seeks to ensure that targete... Read More about Towards a theory of reach.