All Outputs (2135)

Identifying interaction types and functionality for automated vehicle virtual assistants: An exploratory study using speech acts cluster analysis (2023)
Journal Article
Clark, J. R., Large, D. R., Shaw, E., Nichele, E., Galvez Trigo, M. J., Fischer, J. E., Burnett, G., & Stanton, N. A. (2024). Identifying interaction types and functionality for automated vehicle virtual assistants: An exploratory study using speech acts cluster analysis. Applied Ergonomics, 114, Article 104152. https://doi.org/10.1016/j.apergo.2023.104152

Onboard virtual assistants with the ability to converse with users are gaining favour in supporting effective human-machine interaction to meet safe standards of operation in automated vehicles (AVs). Previous studies have highlighted the need to com... Read More about Identifying interaction types and functionality for automated vehicle virtual assistants: An exploratory study using speech acts cluster analysis.

UbiFix: Tackling Repairability Challenges in Smart Devices (2023)
Presentation / Conference Contribution
Sailaja, N., Castle-Green, T., Coulton, P., Stead, M., Lindley, J., Urquhart, L., & Darzentas, D. P. (2023, October). UbiFix: Tackling Repairability Challenges in Smart Devices. Presented at UbiComp/ISWC 2023 Adjunct - Adjunct Proceedings of the 2023 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the 2023 ACM International Symposium on Wearable Computing, Cancun, Quintana Roo Mexico

IoT products are increasingly becoming the default, with non-IoT versions of common hardware (e.g., TVs and printers) harder to find. Alongside this adoption surge, lack of support, outdated security, and planned obsolescence present concerning susta... Read More about UbiFix: Tackling Repairability Challenges in Smart Devices.

Developing precision computerised cognitive behavioural therapy (cCBT) for adolescent depression: a pilot and feasibility protocol for the SPARX-UK trial (2023)
Preprint / Working Paper
Khan, K., Hall, C. L., Babbage, C., Dodzo, S., Greenhalgh, C., Lucassen, M., Merry, S., Sayal, K., Sprange, K., Stasiak, K., Tench, C. R., Townsend, E., Stallard, P., & Hollis, C. Developing precision computerised cognitive behavioural therapy (cCBT) for adolescent depression: a pilot and feasibility protocol for the SPARX-UK trial

Background:

A serious game (SPARX), developed in New Zealand and incorporating cognitive behavioural therapy (CBT) principles, has been shown to help reduce symptoms of depression and anxiety in adolescents with mild to moderate depression. Howev... Read More about Developing precision computerised cognitive behavioural therapy (cCBT) for adolescent depression: a pilot and feasibility protocol for the SPARX-UK trial.

FUTURE MACHINE: Making Myths & Designing Technology for a Responsible Future: Making Myths and Entanglement: Community engagement at the edge of participatory design and user experience (2023)
Presentation / Conference Contribution
Jacobs, R., Spence, J., Abbott, F., Chamberlain, A., Heim, W., Yemaoua Dayo, A., Kemp, D., Benford, S., Price, D., Shackford, R., Robson, J., Locke, C., & King, J. (2023, October). FUTURE MACHINE: Making Myths & Designing Technology for a Responsible Future: Making Myths and Entanglement: Community engagement at the edge of participatory design and user experience. Presented at Mindtrek '23: 26th International Academic Mindtrek Conference, Tampere, Finland

This paper explores the unique methods and strategies employed by a team of artists, in collaboration with engineers, programmers, a climate scientist, researchers and members of the public, who have come together to create the Future Machine, with t... Read More about FUTURE MACHINE: Making Myths & Designing Technology for a Responsible Future: Making Myths and Entanglement: Community engagement at the edge of participatory design and user experience.

An adaptive greedy heuristic for large scale airline crew pairing problems (2023)
Journal Article
Zeren, B., Özcan, E., & Deveci, M. (2024). An adaptive greedy heuristic for large scale airline crew pairing problems. Journal of Air Transport Management, 114, Article 102492. https://doi.org/10.1016/j.jairtraman.2023.102492

A crew pairing represents a sequence of flight legs that constitute a crew work allocation, starting and ending at the same crew base. A complete set of crew pairings covers all flight legs in the timetable of an airline for a given planning horizon.... Read More about An adaptive greedy heuristic for large scale airline crew pairing problems.

Designing Apps to Track Mental Workload (2023)
Presentation / Conference Contribution
Wilson, M., Shaban, J., Ma, X., Shalliker, M., Midha, S., & Sharples, S. (2023, September). Designing Apps to Track Mental Workload. Paper presented at The Future of Cognitive Personal Informatics, Athens, Greece and online

Brain-related wearables are now freely available on the market, and with even wrist-worn devices making estimates about cognitive activity, understanding Cognitive Personal Informatics (CogPI) has become a pressing issue. In this paper, we present a... Read More about Designing Apps to Track Mental Workload.

Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots (2023)
Presentation / Conference Contribution
Schneiders, E., Boudouraki, A., Reyes-Cruz, G., Martinez Avila, J. P., Elmimouni, H., Grønbæk, J. E. S., Rintel, S., & Joshi, S. (2023, September). Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots. Presented at 25th International Conference on Mobile Human-Computer Interaction, Athens, Greece

In recent years virtual meetings have become the predominant alternative to face-To-face meetings. Ongoing efforts in the design of telepresence robots promise remote access to physical settings and a greater sense of presence, leading to improved re... Read More about Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots.

When High Mental Workload is Good and Low Mental Workload is Bad (2023)
Presentation / Conference Contribution
Shaban, J., Roy, M., Stephens-Marsh, M., Wilson, M. L., & Sharples, S. (2023, September). When High Mental Workload is Good and Low Mental Workload is Bad. Paper presented at The Future of Cognitive Personal Informatics, Athens, Greece and online

Brain-related wearables are now freely available on the market, and with even wrist-worn devices making estimates about cognitive activity, understanding cognitive personal informatics has become a pressing issue. Mental Workload is an emotionally ag... Read More about When High Mental Workload is Good and Low Mental Workload is Bad.

Examining the Use of Autonomous Systems for Home Health Support Using a Smart Mirror (2023)
Journal Article
Dowthwaite, L., Reyes Cruz, G., Pena, A. R., Pepper, C., Jäger, N., Barnard, P., Hughes, A.-M., das Nair, R., Crepaz-Keay, D., Cobb, S., Lang, A., & Benford, S. (2023). Examining the Use of Autonomous Systems for Home Health Support Using a Smart Mirror. Healthcare, 11(19), Article 2608. https://doi.org/10.3390/healthcare11192608

The home is becoming a key location for healthcare delivery, including the use of technology driven by autonomous systems (AS) to monitor and support healthcare plans. Using the example of a smart mirror, this paper describes the outcomes of focus gr... Read More about Examining the Use of Autonomous Systems for Home Health Support Using a Smart Mirror.

Personal and ubiquitous computing, special issue: “Sonic experiences: interaction, connectivity, and multi-sensory technologies” (2023)
Journal Article
Turchet, L., Chamberlain, A., & Kallionpää, M. (2023). Personal and ubiquitous computing, special issue: “Sonic experiences: interaction, connectivity, and multi-sensory technologies”. Personal and Ubiquitous Computing, 27(5), 1779–1781. https://doi.org/10.1007/s00779-023-01777-2

This special issue is a collection of papers from the Audio Mostly conference held in Trento, Italy, in 2021. The theme of the conference was, “Sonic Experiences in the Era of the Internet of Sounds”. Unfortunately, the conference was held during the... Read More about Personal and ubiquitous computing, special issue: “Sonic experiences: interaction, connectivity, and multi-sensory technologies”.

The ethics of ChatGPT – Exploring the ethical issues of an emerging technology (2023)
Journal Article
Stahl, B. C., & Eke, D. (2024). The ethics of ChatGPT – Exploring the ethical issues of an emerging technology. International Journal of Information Management, 74, Article 102700. https://doi.org/10.1016/j.ijinfomgt.2023.102700

This article explores ethical issues raised by generative conversational AI systems like ChatGPT. It applies established approaches for analysing ethics of emerging technologies to undertake a systematic review of possible benefits and concerns. The... Read More about The ethics of ChatGPT – Exploring the ethical issues of an emerging technology.

The long exact sequence of homotopy n-groups (2023)
Journal Article
Buchholtz, U., & Rijke, E. (2023). The long exact sequence of homotopy n-groups. Mathematical Structures in Computer Science, 33(Special Issue 8: Homotopy Type Theory 2019), 679-687. https://doi.org/10.1017/S0960129523000038

Working in homotopy type theory, we introduce the notion of n-exactness for a short sequence F→E→BF→E→B of pointed types and show that any fiber sequence F↪E↠BF↪E↠B of arbitrary types induces a short sequence

Fn−1 En−1 Bn−1

that is n-exact at... Read More about The long exact sequence of homotopy n-groups.

Identifying Variation in the Newborn Life Support Procedure: An Automated Method (2023)
Presentation / Conference Contribution
Tan, A., Remenyte-Prescott, R., Egede, J., Valstar, M., & Sharkey, D. (2023, September). Identifying Variation in the Newborn Life Support Procedure: An Automated Method. Presented at 33rd European Safety and Reliability Conference (ESREL 2023), Southampton, UK

This research is conducted for developing an automated method to recognize variations in the Newborn Life Support (NLS) procedure. Compliance with the NLS standard guideline is essential to prevent any adverse consequences for the newborn. Video reco... Read More about Identifying Variation in the Newborn Life Support Procedure: An Automated Method.

UAV Path Planning for Area Coverage and Energy Consumption in Oil and Gas Exploration Environment (2023)
Presentation / Conference Contribution
Maaji, S. S., & Landa-Silva, D. (2023, September). UAV Path Planning for Area Coverage and Energy Consumption in Oil and Gas Exploration Environment. Presented at 14th International Conference on Computational Logistics, ICCL 2023, Berlin, Germany

This paper proposes a model for unmanned aerial vehicles (UAV) grid-based coverage path planning, considering coverage completeness and energy consumption in complex environments with multiple obstacles. The work is inspired by the need for more effi... Read More about UAV Path Planning for Area Coverage and Energy Consumption in Oil and Gas Exploration Environment.

Automated design of local search algorithms: Predicting algorithmic components with LSTM (2023)
Journal Article
Meng, W., & Qu, R. (2024). Automated design of local search algorithms: Predicting algorithmic components with LSTM. Expert Systems with Applications, 237(Part A), Article 121431. https://doi.org/10.1016/j.eswa.2023.121431

With a recently defined AutoGCOP framework, the design of local search algorithms has been defined as the composition of elementary algorithmic components. The effective compositions of the best algorithms thus retain useful knowledge of effective al... Read More about Automated design of local search algorithms: Predicting algorithmic components with LSTM.

Automated design of search algorithms based on reinforcement learning (2023)
Journal Article
Yi, W., & Qu, R. (2023). Automated design of search algorithms based on reinforcement learning. Information Sciences, 649, Article 119639. https://doi.org/10.1016/j.ins.2023.119639

Automated algorithm design has attracted increasing research attention recently in the evolutionary computation community. The main design decisions include selection heuristics and evolution operators in the search algorithms. Most existing studies,... Read More about Automated design of search algorithms based on reinforcement learning.

“It becomes more of an abstract idea, this privacy” – Informing the design for communal privacy experiences in smart homes (2023)
Journal Article
Kraemer, M. J., Chalhoub, G., Webb, H., & Flechais, I. (2023). “It becomes more of an abstract idea, this privacy” – Informing the design for communal privacy experiences in smart homes. International Journal of Human-Computer Studies, 180, Article 103138. https://doi.org/10.1016/j.ijhcs.2023.103138

In spite of research recognizing the home as a shared space and privacy as inherently social, privacy in smart homes has mainly been researched from an individual angle. Sometimes contrasting and comparing perspectives of multiple individuals, resear... Read More about “It becomes more of an abstract idea, this privacy” – Informing the design for communal privacy experiences in smart homes.

Calculating Compilers for Concurrency (2023)
Journal Article
Bahr, P., & Hutton, G. (2023). Calculating Compilers for Concurrency. Proceedings of the ACM on Programming Languages, 7(ICFP), 740-767. https://doi.org/10.1145/3607855

Choice trees have recently been introduced as a general structure for defining the semantics of programming languages with a wide variety of features and effects. In this article we focus on concurrent languages, and show how a codensity version of c... Read More about Calculating Compilers for Concurrency.

Human-AI Musicking: A Framework for Designing AI for Music Co-creativity (2023)
Presentation / Conference Contribution
Vear, C., Benford, S., Avila, J. M., & Moroz, S. (2023, August). Human-AI Musicking: A Framework for Designing AI for Music Co-creativity. Presented at Artificial Intelligence and Music Creativity 2023, Sussex University

In this paper, we present a framework for understanding human-AI musicking. This framework prompts a series of questions for reflecting on various aspects of the creative interrelationships between musicians and AI and thus can be used as a tool for... Read More about Human-AI Musicking: A Framework for Designing AI for Music Co-creativity.

Deep Contrastive Representation Learning With Self-Distillation (2023)
Journal Article
Xiao, Z., Xing, H., Zhao, B., Qu, R., Luo, S., Dai, P., Li, K., & Zhu, Z. (2024). Deep Contrastive Representation Learning With Self-Distillation. IEEE Transactions on Emerging Topics in Computational Intelligence, 8(1), 3-15. https://doi.org/10.1109/tetci.2023.3304948

Recently, contrastive learning (CL) is a promising way of learning discriminative representations from time series data. In the representation hierarchy, semantic information extracted from lower levels is the basis of that captured from higher level... Read More about Deep Contrastive Representation Learning With Self-Distillation.