Skip to main content

Research Repository

See what's under the surface


Sensory Alignment in Immersive Entertainment (2019)
Conference Proceeding
Marshall, J., Benford, S., Byrne, R., & Tennent, P. (2019). Sensory Alignment in Immersive Entertainment. In CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systemshttps://doi.org/10.1145/3290605.3300930

When we use digital systems to stimulate the senses, we typically stimulate only a subset of users' senses, leaving other senses stimulated by the physical world. This creates potential for misalignment between senses, where digital and physical stim... Read More

MeMa: Designing the Memory Machine (2019)
Conference Proceeding
Price, D., Jacobs, R., Darzentas, D., Perez Vallejos, E., Chadborn, N., Martindale, S., & Urquhart, L. (2019). MeMa: Designing the Memory Machine. In Companion Publication of the 2019 on Designing Interactive Systems Conference 2019 Companion, 271--276. doi:10.1145/3301019.3323882

The Memory Machine is an ambitious project that aims to develop a device to capture people's memories to create a blend of personal and factual data that builds identities, and contextualizes personal recollections. The Memory Machine has been guided... Read More

Dynamic Facial Models for Video-based Dimensional Affect Estimation (2019)
Conference Proceeding
Song, S., Sánchez-Lozano, E., Kumar Tellamekala, M., Shen, L., Johnston, A., & Valstar, M. (2019). Dynamic Facial Models for Video-based Dimensional Affect Estimation

Dimensional affect estimation from a face video is a challenging task, mainly due to the large number of possible facial displays made up of a set of behaviour primitives including facial muscle actions. The displays vary not only in composition but... Read More

The Audible Artefact: Promoting Cultural Exploration and Engagement with Audio Augmented Reality (2019)
Conference Proceeding
Cliffe, L., Mansell, J., Cormac, J., Greenhalgh, C., & Hazzard, A. (2019). The Audible Artefact: Promoting Cultural Exploration and Engagement with Audio Augmented Reality. In Proceedings of AM '19, Nottingham, United Kingdom, September 18-20, 2019https://doi.org/10.1145/3356590.3356617

This paper introduces two ongoing projects where audio augmented reality is implemented as a means of engaging museum and gallery visitors with audio archive material and associated objects, artworks and artefacts. It outlines some of the issues surr... Read More

Exploring Machine Learning Approaches for Classifying Mental Workload using fNIRS Data from HCI Tasks (2019)
Conference Proceeding
Benerradi, J., Maior, H. A., Marinescu, A., Clos, J., Wilson, M. L., Benerradi, J., …Clos, J. (in press). Exploring Machine Learning Approaches for Classifying Mental Workload using fNIRS Data from HCI Tasks. In Proceedings of the Halfway to the Future Symposium 2019

Functional Near-Infrared Spectroscopy (fNIRS) has shown promise for being potentially more suitable (than e.g. EEG) for brain-based Human Computer Interaction (HCI). While some machine learning approaches have been used in prior HCI work, this paper... Read More

Progressivity for voice interface design (2019)
Conference Proceeding
Fischer, J. E., Reeves, S., Porcheron, M., & Sikveland, R. O. (2019). Progressivity for voice interface design. In CUI '19: Proceedings of the 1st International Conference on Conversational User Interfaceshttps://doi.org/10.1145/3342775.3342788

Drawing from Conversation Analysis (CA), we examine how the orientation towards progressivity in talk--keeping things moving--might help us better understand and design for voice interactions. We introduce progressivity by surveying its explication i... Read More

Call-by-need is clairvoyant call-by-value (2019)
Conference Proceeding
Hackett, J., & Hutton, G. (2019). Call-by-need is clairvoyant call-by-value. doi:10.1145/3341718

Call-by-need evaluation, also known as lazy evaluation, provides two key benefits: compositional programming and infinite data. The standard semantics for laziness is Launchbury’s natural semantics, which uses a heap to memoise the results of delayed... Read More

An Unforeseen Equivalence between Uncertainty and Entropy (2019)
Conference Proceeding
Muller, T. (2019). An Unforeseen Equivalence between Uncertainty and Entropy

Uncertainty and entropy are related concepts, so we would expect there to be some overlap, but the equality that is shown in this paper is unexpected. In Beta models, interactions between agents are evidence used to construct Beta distributions. In m... Read More

The Reputation Lag Attack (2019)
Conference Proceeding
Sirur, S., & Muller, T. (2019). The Reputation Lag Attack

Reputation systems and distributed networks are increasingly common. Examples are electronic marketplaces, IoT and ad-hoc networks. The propagation of information through such networks may suffer delays due to, e.g., network connectivity, slow report... Read More

Fuzzy Hot Spot Identification for Big Data: An Initial Approach (2019)
Conference Proceeding
Triguero, I., Tickle, R., Figueredo, G. P., Mesgarpour, M., ozcan, E., & John, R. I. (2019). Fuzzy Hot Spot Identification for Big Data: An Initial Approach. In 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)https://doi.org/10.1109/fuzz-ieee.2019.8858979

Hot spot identification problems are present across a wide range of areas, such as transportation, health care and energy. Hot spots are locations where a certain type of event occurs with high frequency. A recent big data approach is capable of iden... Read More

Leveraging IT2 Input Fuzzy Sets in Non-Singleton Fuzzy Logic Systems to Dynamically Adapt to Varying Uncertainty Levels (2019)
Conference Proceeding
Garibaldi, J. M., Pekaslan, D., & Wagner, C. (2019). Leveraging IT2 Input Fuzzy Sets in Non-Singleton Fuzzy Logic Systems to Dynamically Adapt to Varying Uncertainty Levels. In 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)https://doi.org/10.1109/fuzz-ieee.2019.8858800

Most real-world environments are subject to different sources of uncertainty which may vary in magnitude over time. We propose that while Type-1 (T1) Non-Singleton Fuzzy Logic System (NSFLSs) have the potential to tackle uncertainty within the input... Read More

A Preliminary Approach for the Exploitation of Citizen Science Data for Fast and Robust Fuzzy k-Nearest Neighbour Classification (2019)
Conference Proceeding
Jimenez, M., Torres, M. T., John, R., & Triguero, I. (2019). A Preliminary Approach for the Exploitation of Citizen Science Data for Fast and Robust Fuzzy k-Nearest Neighbour Classification. In 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)https://doi.org/10.1109/fuzz-ieee.2019.8858830

Citizen science is becoming mainstream in a wide variety of real-world applications in astronomy or bioinformatics, in which, for example, classification tasks by experts are very time consuming. These projects engage amateur volunteers that are task... Read More

DECSYS - Discrete and Ellipse-based response Capture SYStem (2019)
Conference Proceeding
Ellerby, Z., McCulloch, J., Young, J., & Wagner, C. (2019). DECSYS - Discrete and Ellipse-based response Capture SYStem

Data-driven techniques that capture uncertainty through intervals or fuzzy sets can substantially improve systematic reasoning about uncertain information. Recent years have seen renewed interest in the capture of intervals from a variety of sources-... Read More

On Comparing and Selecting Approaches to Model Interval-Valued Data as Fuzzy Sets (2019)
Conference Proceeding
McCulloch, J., Ellerby, Z., & Wagner, C. (2019). On Comparing and Selecting Approaches to Model Interval-Valued Data as Fuzzy Sets

The capture of interval-valued data is becoming an increasingly common approach in data collection (from survey based research to the collation of sensor data) as an efficient method of obtaining information about uncertainty associated with the data... Read More

Scalable Learning in Reproducing Kernel Kreĭn Spaces (2019)
Conference Proceeding
Oglic, D., & Gärtner, T. (2019). Scalable Learning in Reproducing Kernel Kreĭn Spaces

We provide the first mathematically complete derivation of the Nyström method for low-rank approximation of indefinite kernels and propose an efficient method for finding an approximate eigen-decomposition of such kernel matrices. Building on this re... Read More

Game Forms for Coalition Effectivity Functions (2019)
Conference Proceeding
Baston, C., & Capretta, V. (2019). Game Forms for Coalition Effectivity Functions. In N. van der Weide, & M. Bezem (Eds.), 25th International Conference onTypes for Proofs and Programs (TYPES 2019), 26-27

Introduction Coalition logic, introduced by Pauly, 1 is a multi-agent modal logic for reasoning about what groups of agents can achieve if they act collectively, as a coalition. The semantics for coalition logic is based on game forms, which are esse... Read More

A hybrid evolutionary strategy to optimise early-stage cancer screening (2019)
Conference Proceeding
Figueredo, G. P., Shi, P., Parkes, A. J., Evans, K., Garibaldi, J. M., Negm, O., …Robertson, J. (2019). A hybrid evolutionary strategy to optimise early-stage cancer screening

Current methods to identify cutoff values for tumour-associated molecules (antigens) discrimination are based on statistics and brute force. These methods applied to cancer screening problems are very inefficient, especially with large data sets with... Read More

Improvising a Live Score to an Interactive Brain-Controlled Film (2019)
Conference Proceeding
Ramchurn, R., Martinez-Avila, J., Martindale, S., Chamberlain, A., Wilson, M. L., & Benford, S. (2019). Improvising a Live Score to an Interactive Brain-Controlled Film

We report on the design and deployment of systems for the performance of live score accompaniment to an interactive movie by a Networked Musical Ensemble. In this case, the audiovisual content of the movie is selected in real time based on user input... Read More

Research in the Wild via Performance: Challenges, Ethics and Opportunities (2019)
Conference Proceeding
Taylor, R., Williamson, J., Spence, J., Wood, M., Hook, J., & Chen, K. (2019). Research in the Wild via Performance: Challenges, Ethics and Opportunities. In TVX '19: Proceedings of the 2019 ACM International Conference on Interactive Experiences for TV and Online Video, 279-285. doi:10.1145/3317697.3323348

Performance can be combined with interactive, online and immersive video as a way of conducting research in the wild. This affords the researcher opportunities to engage with participants in a way that can be surprisingly intimate, reactive to live i... Read More

Strategic Responsibility Under Imperfect Information (2019)
Conference Proceeding
Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., & Logan, B. (2019). Strategic Responsibility Under Imperfect Information. In AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 592-600

A central issue in the specification and verification of autonomous agents and multiagent systems is the ascription of responsibility to individual agents and groups of agents. When designing a (multi)agent system, we must specify which agents or gro... Read More