All Outputs (27)

Pulling Back the Curtain on the Wizards of Oz (2020)
Journal Article
Porcheron, M., Fischer, J. E., & Reeves, S. (2020). Pulling Back the Curtain on the Wizards of Oz. Proceedings of the ACM on Human-Computer Interaction, 4(CSCW3), Article 243. https://doi.org/10.1145/3432942

The Wizard of Oz method is an increasingly common practice in HCI and CSCW studies as part of iterative design processes for interactive systems. Instead of designing a fully-fledged system, the 'technical work' of key system components is completed... Read More about Pulling Back the Curtain on the Wizards of Oz.

A framework for differentiation in composed digital-physical products (2020)
Journal Article
Baumers, M., Ashcroft, I., Benford, S., Flintham, M., Koleva, B., Tóth, Z., & Winklhofer, H. (2020). A framework for differentiation in composed digital-physical products. International Journal of Mechatronics and Manufacturing Systems, 13(4), 286-298. https://doi.org/10.1504/IJMMS.2020.112351

Product-service systems (PSS) composed of physical products and digital services are emerging as an important new product category. In this paper we suggest that the established metaphor of 'layering' is insufficient to capture the diverse ways in wh... Read More about A framework for differentiation in composed digital-physical products.

Posture, movement, and aircraft passengers: An investigation into factors influencing in-flight discomfort (2020)
Journal Article
Sharafkhani, M., Argyle, E., Cobb, S., & Tennent, P. (2021). Posture, movement, and aircraft passengers: An investigation into factors influencing in-flight discomfort. WORK, 68(s1), S183-S195. https://doi.org/10.3233/wor-208016

BACKGROUND: Aircraft passengers’ physical activity levels are often limited during flight for extended periods of time, which can have serious impact on health, comfort, and passenger experience. However, several factors, such as limited personal spa... Read More about Posture, movement, and aircraft passengers: An investigation into factors influencing in-flight discomfort.

Machine learning can predict disease manifestations and outcomes in lymphangioleiomyomatosis (2020)
Journal Article
Chernbumroong, S., Johnson, J., Gupta, N., Miller, S., Mccormack, F. X., Garibaldi, J. M., & Johnson, S. R. (2021). Machine learning can predict disease manifestations and outcomes in lymphangioleiomyomatosis. European Respiratory Journal, 57(6), Article 2003036. https://doi.org/10.1183/13993003.03036-2020

Background: Lymphangioleiomyomatosis (LAM) is a rare multisystem disease with variable clinical manifestations and differing rates of progression that make management decisions and giving prognostic advice difficult. We used machine learning to ident... Read More about Machine learning can predict disease manifestations and outcomes in lymphangioleiomyomatosis.

Contesting control: journeys through surrender, self-awareness and looseness of control in embodied interaction (2020)
Journal Article
Benford, S., Ramchurn, R., Marshall, J., Wilson, M. L., Pike, M., Martindale, S., …Walker, B. (2021). Contesting control: journeys through surrender, self-awareness and looseness of control in embodied interaction. Human-Computer Interaction, 36(5-6), 361-389. https://doi.org/10.1080/07370024.2020.1754214

As Human-Computer Interaction (HCI) engages with technologies that sense and actuate the body, there is a need to reconsider the human bodily experience. We present three case studies that each involve different forms of bodily experience: a breath-c... Read More about Contesting control: journeys through surrender, self-awareness and looseness of control in embodied interaction.

Big Step Normalisation for Type Theory (2020)
Journal Article
Altenkirch, T., & Geniet, C. (2020). Big Step Normalisation for Type Theory. LIPIcs, 2020, Article 4. https://doi.org/10.4230/LIPIcs.TYPES.2019.4

Big step normalisation is a normalisation method for typed lambda-calculi which relies on a purely syntactic recursive evaluator. Termination of that evaluator is proven using a predicate called strong computability, similar to the techniques used to... Read More about Big Step Normalisation for Type Theory.

An Adaptive Optimization Spiking Neural P System for Binary Problems (2020)
Journal Article
Zhu, M., Yang, Q., Dong, J., Zhang, G., Gou, X., Rong, H., …Neri, F. (2021). An Adaptive Optimization Spiking Neural P System for Binary Problems. International Journal of Neural Systems, 31(1), Article 2050054. https://doi.org/10.1142/S0129065720500549

© 2020 World Scientific Publishing Company. Optimization Spiking Neural P System (OSNPS) is the first membrane computing model to directly derive an approximate solution of combinatorial problems with a specific reference to the 0/1 knapsack problem.... Read More about An Adaptive Optimization Spiking Neural P System for Binary Problems.

Decomposition-Fusion for Label Distribution Learning (2020)
Journal Article
González, M., González-Almagro, G., Triguero, I., Cano, J., & García, S. (2021). Decomposition-Fusion for Label Distribution Learning. Information Fusion, 66, 64-75. https://doi.org/10.1016/j.inffus.2020.08.024

Label Distribution Learning (LDL) is a general learning framework that assigns an instance to a distribution over a set of labels rather than to a single label or multiple labels. Current LDL methods have proven their effectiveness in many real-life... Read More about Decomposition-Fusion for Label Distribution Learning.

Designing Hybrid Gifts (2020)
Journal Article
Koleva, B., Spence, J., Benford, S., Kwon, H., Schnädelbach, H., Thorn, E., …Lane, G. (2020). Designing Hybrid Gifts. ACM Transactions on Computer-Human Interaction, 27(5), 1–33. https://doi.org/10.1145/3398193

Hybrid gifting combines physical artefacts and experiences with digital interactivity to generate new kinds of gifts. Our review details how gifting is a complex social phenomenon and how digital gifting is less engaging than physical gifting for bot... Read More about Designing Hybrid Gifts.

Exact and hyper?heuristic solutions for the distribution?installation problem from the VeRoLog 2019 challenge (2020)
Journal Article
Kheiri, A., Ahmed, L., Boyacı, B., Gromicho, J., Mumford, C., Özcan, E., & Dirikoç, A. S. (2020). Exact and hyper‐heuristic solutions for the distribution‐installation problem from the VeRoLog 2019 challenge. Networks, 76(2), 294-319. https://doi.org/10.1002/net.21962

This work tackles a rich vehicle routing problem (VRP) problem integrating a capacitated vehicle routing problem with time windows (CVRPTW), and a service technician routing and scheduling problem (STRSP) for delivering various equipment based on cus... Read More about Exact and hyper?heuristic solutions for the distribution?installation problem from the VeRoLog 2019 challenge.

Positioning the Root Elongation Zone Is Saltatory and Receives Input from the Shoot (2020)
Journal Article
Baskin, T. I., Preston, S., Zelinsky, E., Yang, X., Elmali, M., Bellos, D., …Bennett, M. J. (2020). Positioning the Root Elongation Zone Is Saltatory and Receives Input from the Shoot. iScience, 23(7), Article 101309. https://doi.org/10.1016/j.isci.2020.101309

In the root, meristem and elongation zone lengths remain stable, despite growth and division of cells. To gain insight into zone stability, we imaged individual Arabidopsis thaliana roots through a horizontal microscope, and used image analysis to ob... Read More about Positioning the Root Elongation Zone Is Saltatory and Receives Input from the Shoot.

Specification testing of agent-based simulation using property-based testing (2020)
Journal Article
Thaler, J., & Siebers, P. (2020). Specification testing of agent-based simulation using property-based testing. Autonomous Agents and Multi-Agent Systems, 34(2), https://doi.org/10.1007/s10458-020-09473-8

The importance of Agent-Based Simulation (ABS) as scientific method to generate data for scientific models in general and for informed policy decisions in particular has been widely recognised. However, the important technique of code testing of impl... Read More about Specification testing of agent-based simulation using property-based testing.

Discovery of (meth)acrylate polymers that resist colonization by fungi associated with pathogenesis and biodeterioration (2020)
Journal Article
Vallieres, C., Hook, A. L., He, Y., Crucitti, V. C., Figueredo, G., Davies, C. R., …Avery, S. V. (2020). Discovery of (meth)acrylate polymers that resist colonization by fungi associated with pathogenesis and biodeterioration. Science Advances, 6(23), Article eaba6574. https://doi.org/10.1126/sciadv.aba6574

© 2020 The Authors. Fungi have major, negative socioeconomic impacts, but control with bioactive agents is increasingly restricted, while resistance is growing. Here, we describe an alternative fungal control strategy via materials operating passivel... Read More about Discovery of (meth)acrylate polymers that resist colonization by fungi associated with pathogenesis and biodeterioration.

Low-cost automated vectors and modular environmental sensors for plant phenotyping (2020)
Journal Article
Bagley, S. A., Atkinson, J. A., Hunt, H., Wilson, M. H., Pridmore, T. P., & Wells, D. M. (2020). Low-cost automated vectors and modular environmental sensors for plant phenotyping. Sensors, 20(11), https://doi.org/10.3390/s20113319

© 2020 by the authors. Licensee MDPI, Basel, Switzerland. High-throughput plant phenotyping in controlled environments (growth chambers and glasshouses) is often delivered via large, expensive installations, leading to limited access and the increase... Read More about Low-cost automated vectors and modular environmental sensors for plant phenotyping.

Thresholds: Embedding Virtual Reality in the Museum (2020)
Journal Article
Tennent, P., Martindale, S., Benford, S., Darzentas, D., Brundell, P., & Collishaw, M. (2020). Thresholds: Embedding Virtual Reality in the Museum. Journal on Computing and Cultural Heritage, 13(2), Article 12. https://doi.org/10.1145/3369394

We examine the experience of Thresholds, a virtual reality (VR) recreation of the world's first photographic exhibition, which has toured to multiple museums. Following the method of performance-led research in the wild, we provide an account of the... Read More about Thresholds: Embedding Virtual Reality in the Museum.

Fuzzy Superpixels based Semi-supervised Similarity-constrained CNN for PolSAR Image Classification (2020)
Journal Article
Guo, Y., Sun, Z., Qu, R., Jiao, L., Liu, F., & Zhang, X. (2020). Fuzzy Superpixels based Semi-supervised Similarity-constrained CNN for PolSAR Image Classification. Remote Sensing, 12(10), Article 1694. https://doi.org/10.3390/rs12101694

Recently, deep learning has been highly successful in image classification. Labeling the PolSAR data, however, is time-consuming and laborious and in response semi-supervised deep learning has been increasingly investigated in PolSAR image classifica... Read More about Fuzzy Superpixels based Semi-supervised Similarity-constrained CNN for PolSAR Image Classification.

A Multiobjective Computation Offloading Algorithm for Mobile Edge Computing (2020)
Journal Article
Song, F., Xing, H., Luo, S., Zhan, D., Dai, P., & Qu, R. (2020). A Multiobjective Computation Offloading Algorithm for Mobile Edge Computing. IEEE Internet of Things Journal, 7(9), 8780 -8799. https://doi.org/10.1109/jiot.2020.2996762

In mobile edge computing (MEC), smart mobile devices (SMDs) with limited computation resources and battery lifetime can offload their computing-intensive tasks to MEC servers, thus to enhance the computing capability and reduce the energy consumption... Read More about A Multiobjective Computation Offloading Algorithm for Mobile Edge Computing.

Agent programming in the cognitive era (2020)
Journal Article
Bordini, R. H., El Fallah Seghrouchni, A., Hindriks, K., Logan, B., & Ricci, A. (2020). Agent programming in the cognitive era. Autonomous Agents and Multi-Agent Systems, 34(2), https://doi.org/10.1007/s10458-020-09453-y

It is claimed that, in the nascent ‘Cognitive Era’, intelligent systems will be trained using machine learning techniques rather than programmed by software developers. A contrary point of view argues that machine learning has limitations, and, taken... Read More about Agent programming in the cognitive era.

Multi-behaviors coordination controller design with enzymatic numerical P systems for robots (2020)
Journal Article
Wang, X., Zhang, G., Gou, X., Paul, P., Neri, F., Rong, H., …Zhang, H. (2021). Multi-behaviors coordination controller design with enzymatic numerical P systems for robots. Integrated Computer-Aided Engineering, 28(2), 119-140. https://doi.org/10.3233/ica-200627

Membrane computing models are parallel and distributed natural computing models. These models are often referred to as P systems. This paper proposes a novel multi-behaviors coordination controller model using enzymatic numerical P systems for autono... Read More about Multi-behaviors coordination controller design with enzymatic numerical P systems for robots.

The General Combinatorial Optimization Problem: Towards Automated Algorithm Design (2020)
Journal Article
Qu, R., Kendall, G., & Pillay, N. (2020). The General Combinatorial Optimization Problem: Towards Automated Algorithm Design. IEEE Computational Intelligence Magazine, 15(2), 14-23. https://doi.org/10.1109/mci.2020.2976182

This paper defines a new combinatorial optimisation problem, namely General Combinatorial Optimisation Problem (GCOP), whose decision variables are a set of parametric algorithmic components, i.e. algorithm design decisions. The solutions of GCOP, i.... Read More about The General Combinatorial Optimization Problem: Towards Automated Algorithm Design.