Research Repository

See what's under the surface


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

On the Choice of Similarity Measures for Type-2 Fuzzy Sets (2019)
Journal Article
McCulloch, J., & Wagner, C. (2019). On the Choice of Similarity Measures for Type-2 Fuzzy Sets. Information Sciences, https://doi.org/10.1016/j.ins.2019.09.027

Similarity measures are among the most common methods of comparing type-2 fuzzy sets and have been used in numerous applications. However, deciding how to measure similarity and choosing which existing measure to use can be difficult. Whilst some mea... Read More

Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints (2019)
Journal Article
Karapetyan, D., J. Parkes, A., Gutin, G., & Gagarin, A. (2019). Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints. Journal of Artificial Intelligence Research, 66, 85-122. https://doi.org/10.1613/jair.1.11339

The fixed parameter tractable (FPT) approach is a powerful tool in tackling computationally hard problems. In this paper, we link FPT results to classic artificial intelligence (AI) techniques to show how they complement each other. Specifically, we... Read More

Progressivity for Voice Interface Design (2019)
Conference Proceeding
Fischer, J. E., Reeves, S., Porcheron, M., & Sikveland, R. O. (in press). Progressivity for Voice Interface Design. doi: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

Accelerated genetic algorithm based on search-space decomposition for change detection in remote sensing images (2019)
Journal Article
Mu, C., Li, C., Liu, Y., Qu, R., & Jiao, L. (2019). Accelerated genetic algorithm based on search-space decomposition for change detection in remote sensing images. Applied Soft Computing, 84, doi:10.1016/j.asoc.2019.105727

Detecting change areas among two or more remote sensing images is a key technique in remote sensing. It usually consists of generating and analyzing a difference image thus to produce a change map. Analyzing the difference image to obtain the change... Read More

Naive Type Theory (2019)
Book Chapter
Altenkirch, T. (in press). Naive Type Theory. In S. Centrone, D. Kant, & D. Sarikaya (Eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General ThoughtsSpringer

We introduce Type Theory, including Homotopy Type Theory, as an alternative to set theory as a foundation of Mathematics emphasising the intuitive and naive understanding of its concepts.

Recovering Wind-induced Plant motion in Dense Field Environments via Deep Learning and Multiple Object Tracking (2019)
Journal Article
Gibbs, J. A., Burgess, A. J., Pound, M. P., Pridmore, T. P., & Murchie, E. H. (2019). Recovering Wind-induced Plant motion in Dense Field Environments via Deep Learning and Multiple Object Tracking. Plant Physiology, doi:10.1104/pp.19.00141

Understanding the relationships between local environmental conditions and plant structure and function is critical for both fundamental science and for improving the performance of crops in field settings. Wind-induced plant motion is important in m... 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

Information Theoretical Analysis of Unfair Rating Attacks under Subjectivity (2019)
Journal Article
Wang, D., Muller, T., Zhang, J., & Liu, Y. (2019). Information Theoretical Analysis of Unfair Rating Attacks under Subjectivity. IEEE Transactions on Information Forensics and Security, doi:10.1109/TIFS.2019.2929678

Ratings provided by advisors can help an advisee to make decisions, e.g., which seller to select in e-commerce. Unfair rating attacks – where dishonest ratings are provided to mislead the advisee – impact the accuracy of decision making. Current lite... Read More

Research `In the Wild' (2019)
Book Chapter
Chamberlain, A., & Crabtree, A. (2020). Research `In the Wild'. In A. Chamberlain, & A. Crabtree (Eds.), Into the Wild: Beyond the Design Research Lab, 1--6. Springer International Publishing. doi:10.1007/978-3-030-18020-1_1

Over recent years the term `in the wild' has increasingly appeared in publications within the field of Human Computer Interaction (HCI). The phrase has become synonymous with a range of approaches that focus upon carrying out research-based studies r... Read More

Controlling understaffing with conditional Value-at-Risk constraint for an integrated nurse scheduling problem under patient demand uncertainty (2019)
Journal Article
He, F., Chaussalet, T., & Qu, R. (2019). Controlling understaffing with conditional Value-at-Risk constraint for an integrated nurse scheduling problem under patient demand uncertainty. Operations Research Perspectives, 6, doi:10.1016/j.orp.2019.100119

Nursing workforce management is a challenging decision-making task in hospitals. The decisions are made across different timescales and levels from strategic long-term staffing budget to mid-term scheduling. These decisions are interconnected and imp... Read More

Probability Matching on a Simple Simulated Foraging Task: The Effects of Reward Persistence and Accumulation on Choice Behavior (2019)
Journal Article
Ellerby, Z., & Tunney, R. J. (in press). Probability Matching on a Simple Simulated Foraging Task: The Effects of Reward Persistence and Accumulation on Choice Behavior. Advances in Cognitive Psychology, doi:10.5709/acp-0261-2

Over a series of decisions between two or more probabilistically rewarded options, humans have a tendency to diversify their choices, even when this will lead to diminished overall reward. In the extreme case of probability matching, this tendency is... 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

The quantification of subjectivity: The R-fuzzy grey analysis framework (2019)
Journal Article
Khuman, A. S., Yang, Y., & John, R. (2019). The quantification of subjectivity: The R-fuzzy grey analysis framework. Expert Systems with Applications, 136, 201-216. doi:10.1016/j.eswa.2019.06.043

This paper puts forward a newly derived framework for capturing and inferring from subjective based uncertainty for any given observation. The framework is referred to as the R-fuzzy grey analysis framework (RfGAf), which itself is comprised of 3 dis... Read More

New Entropy-Based Similarity Measure between Interval-Valued Intuitionstic Fuzzy Sets (2019)
Journal Article
Mohamed, S. S., Abdalla, A., & John, R. I. (2019). New Entropy-Based Similarity Measure between Interval-Valued Intuitionstic Fuzzy Sets. Axioms, 8(2), 1-11. doi:10.3390/axioms8020073

In this paper we propose a new approach to construct similarity measures using the entropy measure for Interval-Valued Intuitionistic Fuzzy Sets. In addition, we provide several illustrative examples to demonstrate the practicality and effectivenes... Read More