Skip to main content

Research Repository

Advanced Search

All Outputs (114)

The impact of algorithmic decision-making processes on young people’s well-being (2021)
Journal Article
Perez Vallejos, E., Dowthwaite, L., Creswick, H., Portillo, V., Koene, A., Jirotka, M., …McAuley, D. (2021). The impact of algorithmic decision-making processes on young people’s well-being. Health Informatics Journal, 27(1), 1-21. https://doi.org/10.1177/1460458220972750

This study aims to capture the online experiences of young people when interacting with algorithm mediated systems and their impact on their well-being. We draw on qualitative (focus groups) and quantitative (survey) data from a total of 260 young pe... Read More about The impact of algorithmic decision-making processes on young people’s well-being.

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.

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.

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.

Software Fault Localisation via Probabilistic Modelling (2020)
Conference Proceeding
Johnson, C. (2020). Software Fault Localisation via Probabilistic Modelling. In Artificial Intelligence XXXVII: 40th SGAI International Conference on Artificial Intelligence, AI 2020, Cambridge, UK, December 15–17, 2020: Proceedings (259-272). https://doi.org/10.1007/978-3-030-63799-6_20

Software development is a complex activity requiring intelligent action. This paper explores the use of an AI technique for one step in software development, viz. detecting the location of a fault in a program. A measure of program progress is propos... Read More about Software Fault Localisation via Probabilistic Modelling.

Further Exploration of Necrotic Control of Evolved Art (2020)
Conference Proceeding
Ashlock, D., & Greensmith, J. (2020). Further Exploration of Necrotic Control of Evolved Art. In Proceedings - 2020 IEEE Symposium Series on Computational Intelligence (SSCI) (2957-2964). https://doi.org/10.1109/SSCI47803.2020.9308363

This study is the second in investigating the use of necrosis based filtration as a method of steering evolutionary algorithms to create evolved art. We use a technique inspired by the danger theory of immune system activation - a method employed in... Read More about Further Exploration of Necrotic Control of Evolved Art.

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.

From sharing to gifting: A web app for deepening engagement (2020)
Conference Proceeding
Adams, M., Spence, J., Clark, S., Farr, J. R., Benford, S., & Tandavanitj, N. (2020). From sharing to gifting: A web app for deepening engagement. In EVA London 2020: Electronic Visualisation & the Arts. , (48-49). https://doi.org/10.14236/ewic/EVA2020.7

Visitors currently use social media to share their experiences in museums, but these interactions are often short, quick and superficial. Is it possible to transform the impulse to share into an act of generosity, deepening engagement with museum col... Read More about From sharing to gifting: A web app for deepening engagement.

Response to Call for Evidence – Joint Select Committee on Human Rights: The Government’s response to COVID-19: human rights implications (2020)
Other
McAuley, D., Koene, A., & Chen, J. (2020). Response to Call for Evidence – Joint Select Committee on Human Rights: The Government’s response to COVID-19: human rights implications

This submission addresses the three questions formulated in the Joint Select Committee’s call with a particular focus on both the digital rights implications of the Government’s measures against COVID-19 and the wider human rights implications of the... Read More about Response to Call for Evidence – Joint Select Committee on Human Rights: The Government’s response to COVID-19: human rights implications.

Necrotic Control of the Aesthetics of Evolved Art (2020)
Conference Proceeding
Ashlock, D., & Greensmith, J. (2020). Necrotic Control of the Aesthetics of Evolved Art. In 2020 IEEE Congress on Evolutionary Computation (CEC): conference proceedings (1-8). https://doi.org/10.1109/CEC48606.2020.9185654

This study uses necrosis, a technique from the domain of artificial immune systems, to control the evolution of apoptotic cellular automata. These automata generate complex images that require a very small amount of initial data. The genes that yield... Read More about Necrotic Control of the Aesthetics of Evolved Art.

What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience (2020)
Conference Proceeding
Kirschthaler, P., Porcheron, M., & Fischer, J. E. (2020). What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience. In CUI '20: Proceedings of the 2nd Conference on Conversational User Interfaces (1–9). https://doi.org/10.1145/3405755.3406119

Discoverability, the ability for users to find and execute features through a user interface, is a recurrent problem with Voice User Interface (VUI) design that makes it difficult for users to understand what commands are supported by a newly encount... Read More about What Can I Say?: Effects of Discoverability in VUIs on Task Performance and User Experience.

Exploring User Expectations of Brain-Training and Coaching Technologies for Cognitive Health (2020)
Book Chapter
Harrington, K., Craven, M. P., Wilson, M. L., & Landowska, A. (2020). Exploring User Expectations of Brain-Training and Coaching Technologies for Cognitive Health. . Springer Verlag. https://doi.org/10.1007/978-3-030-49065-2_4

User-centred evaluation of brain-training and coaching applications is discussed, with a focus on dementia. A brief outline of outcomes measures used for cognitive training is presented. The design of a set of four patient and public involvement work... Read More about Exploring User Expectations of Brain-Training and Coaching Technologies for Cognitive Health.

VRtefacts: Performative Substitutional Reality with Museum Objects (2020)
Conference Proceeding
Spence, J., Darzentas, D. P., Huang, Y., Cameron, H. R., Beestin, E., & Benford, S. (2020). VRtefacts: Performative Substitutional Reality with Museum Objects. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference (627-640). https://doi.org/10.1145/3357236.3395459

We explore how a combination of manipulations and transitions can extend Substitutional Reality to create a highly personal Virtual Reality experience. Our design aimed to meet two challenges faced by museums: the limitations of object handling and t... Read More about VRtefacts: Performative Substitutional Reality with Museum Objects.

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.