Skip to main content

Research Repository

Advanced Search

All Outputs (1955)

Precision computerised cognitive behavioural therapy (cCBT) for adolescents with depression: a pilot and feasibility randomised controlled trial protocol for SPARX-UK (2024)
Journal Article
Khan, K., Hall, C. L., Babbage, C., Dodzo, S., Greenhalgh, C., Lucassen, M., …Hollis, C. (2024). Precision computerised cognitive behavioural therapy (cCBT) for adolescents with depression: a pilot and feasibility randomised controlled trial protocol for SPARX-UK. Pilot and Feasibility Studies, 10, Article 53. https://doi.org/10.1186/s40814-024-01475-7

Background A serious game called SPARX (Smart, Positive, Active, Realistic, X-factor thoughts), originally developed in New Zealand and incorporating cognitive behavioural therapy (CBT) principles, has been shown to help reduce symptoms of depressio... Read More about Precision computerised cognitive behavioural therapy (cCBT) for adolescents with depression: a pilot and feasibility randomised controlled trial protocol for SPARX-UK.

Communication, Collaboration, and Coordination in a Co-located Shared Augmented Reality Game: Perspectives From Deaf and Hard of Hearing People (2024)
Conference Proceeding
Luna, S. M., Xu, J., Papangelis, K., Tigwell, G. W., LaLone, N., Saker, M., …Wang, Y. (in press). Communication, Collaboration, and Coordination in a Co-located Shared Augmented Reality Game: Perspectives From Deaf and Hard of Hearing People. In Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI ’24), May 11–16, 2024, Honolulu, HI, USA. https://doi.org/10.1145/3613904.3642953

Co-located collaborative shared augmented reality (CS-AR) environments have gained considerable research attention, mainly focusing on design, implementation, accuracy, and usability. Yet, a gap persists in our understanding regarding the accessibili... Read More about Communication, Collaboration, and Coordination in a Co-located Shared Augmented Reality Game: Perspectives From Deaf and Hard of Hearing People.

Encountering Autonomous Robots on Public Streets (2024)
Conference Proceeding
Pelikan, H. R. M., Reeves, S., & Cantarutti, M. N. (2024). Encountering Autonomous Robots on Public Streets. In HRI '24: Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. https://doi.org/10.1145/3610977.3634936

Robots deployed in public settings enter spaces that humans live and work in. Studies of HRI in public tend to prioritise direct and deliberate interactions. Yet this misses the most common form of response to robots, which ranges from subtle fleetin... Read More about Encountering Autonomous Robots on Public Streets.

The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction (2024)
Conference Proceeding
Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Fischer, J. E., …Sevegnani, M. (2024). The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. In HRI ’24 Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. https://doi.org/10.1145/3610978.3640725

Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circumstances. In this paper, we use predictive formal modelling (PFM) at run... Read More about The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction.

The Purr-suit of Happiness: A Tale of Three Kittens. Robots, Humans, Cats, and AI (2024)
Conference Proceeding
Schneiders, E., Benford, S., Row Farr, J., Tandavanitj, N., & Adams, M. (2024). The Purr-suit of Happiness: A Tale of Three Kittens. Robots, Humans, Cats, and AI. In HRI ’24 Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. https://doi.org/10.1145/3610978.3640791

This paper showcases Cat Royale, an exploration of the impact of artificial intelligence (AI) on animal happiness situated at the intersection of Art, Computer Science, and Animal Welfare. We argue for the inclusion of non-human actors when designing... Read More about The Purr-suit of Happiness: A Tale of Three Kittens. Robots, Humans, Cats, and AI.

Exploring the Impact of Verbal-Imagery Cognitive Style on Web Search Behaviour and Mental Workload (2024)
Conference Proceeding
Tang, H., Benerradi, J., Maior, H. A., Pike, M., Landowska, A., & Wilson, M. L. (2024). Exploring the Impact of Verbal-Imagery Cognitive Style on Web Search Behaviour and Mental Workload. . https://doi.org/10.1145/3627508.3638313

Cognitive style has been shown to influence users’ interaction with search interfaces. However, as a fundamental dimension of cognitive styles, the relationship between the Verbal-Imagery (VI) cognitive style dimension and search behaviour has not be... Read More about Exploring the Impact of Verbal-Imagery Cognitive Style on Web Search Behaviour and Mental Workload.

Ethics in the Governance of Data and Digital Technology: An Analysis of European Data Regulations and Policies (2024)
Journal Article
Eke, D., & Stahl, B. (2024). Ethics in the Governance of Data and Digital Technology: An Analysis of European Data Regulations and Policies. Digital Society, 3(1), Article 11. https://doi.org/10.1007/s44206-024-00101-6

Addressing ethical concerns is among the fundamental motivations for the development of policies and regulations for data and digital technologies. In the last few years, the European Commission has issued a number of policies, regulations and legisl... Read More about Ethics in the Governance of Data and Digital Technology: An Analysis of European Data Regulations and Policies.

Perception and appropriation of a web-based recovery narratives intervention: qualitative interview study (2024)
Journal Article
Ali, Y., Rennick-Egglestone, S., Llewellyn-Beardsley, J., Ng, F., Yeo, C., Franklin, D., …Slade, M. (2024). Perception and appropriation of a web-based recovery narratives intervention: qualitative interview study. Frontiers in Digital Health, 6, Article 1297935. https://doi.org/10.3389/fdgth.2024.1297935

Introduction Mental health recovery narratives are widely available to the public, and can benefit people affected by mental health problems. The NEON Intervention is a novel web-based digital health intervention providing access to the NEON Colle... Read More about Perception and appropriation of a web-based recovery narratives intervention: qualitative interview study.

Jess+: AI and Robotics with Inclusive Music-Making (2024)
Conference Proceeding
Vear, C., Hazzard, A., Moroz, S., & Benerradi, J. (in press). Jess+: AI and Robotics with Inclusive Music-Making. . https://doi.org/10.1145/3613904.3642548

This paper discusses the findings from a cross-sector research project investigating how a digital score created using AI and robotics might stimulate new creative opportunities and relationships within the practices of an inclusive music ensemble. T... Read More about Jess+: AI and Robotics with Inclusive Music-Making.

Local-global methods for generalised solar irradiance forecasting (2024)
Journal Article
Cargan, T. R., Landa-Silva, D., & Triguero, I. (2024). Local-global methods for generalised solar irradiance forecasting. Applied Intelligence, 54(2), 2225-2247. https://doi.org/10.1007/s10489-024-05273-9

For efficient operation, solar power operators often require generation forecasts for multiple sites with varying data availability. Many proposed methods for forecasting solar irradiance / solar power production formulate the problem as a time-serie... Read More about Local-global methods for generalised solar irradiance forecasting.

Sodium-glucose cotransporter-2 inhibitors (SGLT2) in frail or older people with type 2 diabetes and heart failure: a systematic review and meta-analysis (2024)
Journal Article
Aldafas, R., Crabtree, T., Alkharaiji, M., Vinogradova, Y., & Idris, I. (2024). Sodium-glucose cotransporter-2 inhibitors (SGLT2) in frail or older people with type 2 diabetes and heart failure: a systematic review and meta-analysis. Age and Ageing, 53(1), Article afad254. https://doi.org/10.1093/ageing/afad254

Objective: Sodium-glucose cotransporter-2 inhibitors (SGLT2Is) reduce cardio-metabolic and renal outcomes in patients with type 2 diabetes (T2D) but their efficacy and safety in older or frail individuals remains unclear. Methods: We searched PubMed,... Read More about Sodium-glucose cotransporter-2 inhibitors (SGLT2) in frail or older people with type 2 diabetes and heart failure: a systematic review and meta-analysis.

Dementia with Lewy Bodies: Genomics, Transcriptomics, and Its Future with Data Science (2024)
Journal Article
Goddard, T. R., Brookes, K. J., Sharma, R., Moemeni, A., & Rajkumar, A. P. (2024). Dementia with Lewy Bodies: Genomics, Transcriptomics, and Its Future with Data Science. Cells, 13(3), Article 223. https://doi.org/10.3390/cells13030223

Dementia with Lewy bodies (DLB) is a significant public health issue. It is the second most common neurodegenerative dementia and presents with severe neuropsychiatric symptoms. Genomic and transcriptomic analyses have provided some insight into dise... Read More about Dementia with Lewy Bodies: Genomics, Transcriptomics, and Its Future with Data Science.

Building an Embodied Musicking Dataset for co-creative music-making (2024)
Conference Proceeding
Vear, C., Poltronieri, F., Didonato, B., Zhang, Y., Benerradi, J., Hutchinson, S., …Malekmohamadi, H. (in press). Building an Embodied Musicking Dataset for co-creative music-making.

In this paper, we present our findings of the design, development and deployment of a proof-of-concept dataset that captures some of the physiological, musicological, and psychological aspects of embodied musicking. After outlining the conceptual ele... Read More about Building an Embodied Musicking Dataset for co-creative music-making.

Understanding Entrainment in Human Groups: Optimising Human-Robot Collaboration from Lessons Learned during Human-Human Collaboration (2024)
Conference Proceeding
Schneiders, E., Fourie, C., Celestin, S., Shah, J., & Jung, M. (in press). Understanding Entrainment in Human Groups: Optimising Human-Robot Collaboration from Lessons Learned during Human-Human Collaboration. In Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI ’24), May 11–16, 2024, Honolulu, HI, USA. https://doi.org/10.1145/3613904.3642427

Successful entrainment during collaboration positively affects trust, willingness to collaborate, and likeability towards collaborators. In this paper, we present a mixed-method study to investigate charac- teristics of successful entrainment lead... Read More about Understanding Entrainment in Human Groups: Optimising Human-Robot Collaboration from Lessons Learned during Human-Human Collaboration.

Designing Multispecies Worlds for Robots, Cats, and Humans (2024)
Conference Proceeding
Schneiders, E., Benford, S., Chamberlain, A., Mancini, C., Castle-Green, S., Ngo, V., …Fischer, J. (in press). Designing Multispecies Worlds for Robots, Cats, and Humans. In Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI ’24), May 11–16, 2024, Honolulu, HI, USA. https://doi.org/10.1145/3613904.3642115

We reflect on the design of a multispecies world centred around a be-spoke enclosure in which three cats and a robot arm coexist for six hours a day during a twelve-day installation as part of an artist-led project. In this paper, we present the proj... Read More about Designing Multispecies Worlds for Robots, Cats, and Humans.

Charting Ethical Tensions in Multispecies Technology Research through Beneficiary-Epistemology Space (2024)
Conference Proceeding
Benford, S., Mancini, C., Chamberlain, A., Schneiders, E., Castle-Green, S., Fischer, J., …Ju, R. F. (in press). Charting Ethical Tensions in Multispecies Technology Research through Beneficiary-Epistemology Space.

While ethical challenges are widely discussed in HCI, far less is reported about the ethical processes that researchers routinely navigate. We reflect on a multispecies project that negotiated an especially complex ethical approval process. Cat Royal... Read More about Charting Ethical Tensions in Multispecies Technology Research through Beneficiary-Epistemology Space.

Adaptative computerized cognitive training decreases mental workload during working memory precision task - A preliminary fNIRS study (2024)
Journal Article
Landowska, A., Wilson, M. L., Craven, M. P., & Harrington, K. (2024). Adaptative computerized cognitive training decreases mental workload during working memory precision task - A preliminary fNIRS study. International Journal of Human-Computer Studies, 184, Article 103206. https://doi.org/10.1016/j.ijhcs.2023.103206

With the growing concern for the health of ageing populations, much research continues to look at the impact of cognitive training, particularly in relation to cognitive decline. We sought to use novel techniques, including augmented reality and port... Read More about Adaptative computerized cognitive training decreases mental workload during working memory precision task - A preliminary fNIRS study.

Provably Secure Decisions based on Potentially Malicious Information (2024)
Journal Article
Wang, D., Muller, T., & Sun, J. (2024). Provably Secure Decisions based on Potentially Malicious Information. IEEE Transactions on Dependable and Secure Computing, https://doi.org/10.1109/TDSC.2024.3353295

There are various security-critical decisions routinely made, based on information provided by peers: routing messages, user reports, sensor data, navigational information, blockchain updates, etc. Jury theorems were proposed in sociology to make dec... Read More about Provably Secure Decisions based on Potentially Malicious Information.

Cat Royale (2024)
Other
Schneiders, E., Benford, S., Tandavanitj, N., Adams, M., & Farr, J. R. (2024). Cat Royale

Would you let a robot care for your pet? Blast Theory’s Cat Royale explores the impact of AI on humans and animals. For 12 days, Ghostbuster, Pumpkin, and Clover played with a robot arm that offered them games, toys, and treats every few minutes. The... Read More about Cat Royale.

Quotient Haskell: Lightweight Quotient Types for All (2024)
Journal Article
Hewer, B., & Hutton, G. (2024). Quotient Haskell: Lightweight Quotient Types for All. Proceedings of the ACM on Programming Languages, 8(POPL), 785-815. https://doi.org/10.1145/3632869

Subtypes and quotient types are dual type abstractions. However, while subtypes are widely used both explicitly and implicitly, quotient types have not seen much practical use outside of proof assistants. A key difficulty to wider adoption of quotie... Read More about Quotient Haskell: Lightweight Quotient Types for All.