All Outputs (2144)

Towards an understanding of global brain data governance: ethical positions that underpin global brain data governance discourse (2023)
Journal Article
Ochang, P., Eke, D., & Stahl, B. C. (2023). Towards an understanding of global brain data governance: ethical positions that underpin global brain data governance discourse. Frontiers in Big Data, 6, Article 1240660. https://doi.org/10.3389/fdata.2023.1240660

Introduction: The study of the brain continues to generate substantial volumes of data, commonly referred to as “big brain data,” which serves various purposes such as the treatment of brain-related diseases, the development of neurotechnological dev... Read More about Towards an understanding of global brain data governance: ethical positions that underpin global brain data governance discourse.

General Purpose Artificial Intelligence Systems (GPAIS): Properties, definition, taxonomy, societal implications and responsible governance (2023)
Journal Article
Triguero, I., Molina, D., Poyatos, J., Del Ser, J., & Herrera, F. (2024). General Purpose Artificial Intelligence Systems (GPAIS): Properties, definition, taxonomy, societal implications and responsible governance. Information Fusion, 103, Article 102135. https://doi.org/10.1016/j.inffus.2023.102135

Most applications of Artificial Intelligence (AI) are designed for a confined and specific task. However, there are many scenarios that call for a more general AI, capable of solving a wide array of tasks without being specifically designed for them.... Read More about General Purpose Artificial Intelligence Systems (GPAIS): Properties, definition, taxonomy, societal implications and responsible governance.

Programming language semantics: It’s easy as 1,2,3 (2023)
Journal Article
HUTTON, G. (2023). Programming language semantics: It’s easy as 1,2,3. Journal of Functional Programming, 33, Article e9. https://doi.org/10.1017/S0956796823000072

Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging. This article provides a tutorial introduction to the subject, in which the language of integers and addition is used... Read More about Programming language semantics: It’s easy as 1,2,3.

Understanding public perceptions of virtual reality psychological therapy: development of the attitudes towards virtual reality therapy (AVRT) Scale (Preprint) (2023)
Preprint / Working Paper
Gomez Bergin, A. D., Allison, A. M., & Hazell, C. M. Understanding public perceptions of virtual reality psychological therapy: development of the attitudes towards virtual reality therapy (AVRT) Scale (Preprint)

A Difficulty in Trust Modelling (2023)
Presentation / Conference Contribution
Muller, T. (2023, October). A Difficulty in Trust Modelling. Presented at 14th IFIP International Conference on Trust Management (IFIPTM 2023), Amsterdam, Netherlands

There are various trust models, and no pair are the same. Why is there no consensus on what the best trust model is yet? In this paper, we prove some impossibility results, that suggests that no perfect trust model exists. We provide a general meta-m... Read More about A Difficulty in Trust Modelling.

Pre-Signature Scheme for Trustworthy Offline V2V Communication (2023)
Presentation / Conference Contribution
Muller, T., Carpent, X., Furnell, S., Almani, D., & Yoshizawa, T. (2023, October). Pre-Signature Scheme for Trustworthy Offline V2V Communication. Presented at 14th IFIP International Conference on Trust Management (IFIPTM 2023), Amsterdam, Netherlands

Vehicle-to-Vehicle (V2V) communication systems hold great potential for enhancing road safety and traffic efficiency. The authenti-cation of such communication is crucial, particularly in scenarios where infrastructure is absent, while also ensuring... Read More about Pre-Signature Scheme for Trustworthy Offline V2V Communication.

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.

Unlocking Comparative Plant Scoring with Siamese Neural Networks and Pairwise Pseudo Labelling (2023)
Presentation / Conference Contribution
Hartley, Z. K. J., Lind, R. J., Smith, N., Collison, B., & French, A. P. (2023, October). Unlocking Comparative Plant Scoring with Siamese Neural Networks and Pairwise Pseudo Labelling. Presented at 2023 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW), Paris, France

Phenotypic assessment of plants for herbicide discovery is a complex visual task and involves the comparison of a non-treated plant to those treated with herbicides to assign a phytotoxicity score. It is often subjective and difficult to quantify by... Read More about Unlocking Comparative Plant Scoring with Siamese Neural Networks and Pairwise Pseudo Labelling.

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.

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.

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.

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.