Outputs (42)

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.

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.