Skip to main content

Research Repository

Advanced Search

All Outputs (2144)

The Münchhausen Method in Type Theory (2023)
Journal Article
Altenkirch, T., Kaposi, A., Šinkarovs, A., & Végh, T. (2023). The Münchhausen Method in Type Theory. LIPIcs, 269, https://doi.org/10.4230/LIPIcs.TYPES.2022.10

In one of his long tales, after falling into a swamp, Baron Münchhausen salvaged himself and the horse by lifting them both up by his hair. Inspired by this, the paper presents a technique to justify very dependent types. Such types reference the ter... Read More about The Münchhausen Method in Type Theory.

The #longcovid revolution: A reflexive thematic analysis (2023)
Journal Article
Turner, M., Beckwith, H., Spratt, T., Vallejos, E. P., & Coughlan, B. (2023). The #longcovid revolution: A reflexive thematic analysis. Social Science and Medicine, 333, Article 116130. https://doi.org/10.1016/j.socscimed.2023.116130

Research has identified long COVID as the first virtual patient-made condition (Callard and Perego, 2021). It originated from Twitter users sharing their experiences using the hashtag #longcovid. Over the first two years of the pandemic, long COVID a... Read More about The #longcovid revolution: A reflexive thematic analysis.

Generative AI Considered Harmful (2023)
Presentation / Conference Contribution
Fischer, J. E. (2023, July). Generative AI Considered Harmful. Presented at CUI '23: ACM conference on Conversational User Interfaces, Eindhoven Netherlands

The recent months have seen an explosion of interest, hype, and concern about generative AI, driven by the release of ChatGPT. In this article I seek to explicate some potential and actual harms of the engineering and use of generative AI such as Cha... Read More about Generative AI Considered Harmful.

RoboClean: Contextual Language Grounding for Human-Robot Interactions in Specialised Low-Resource Environments (2023)
Presentation / Conference Contribution
Fuentes, C., Porcheron, M., & Fischer, J. E. (2023, July). RoboClean: Contextual Language Grounding for Human-Robot Interactions in Specialised Low-Resource Environments. Presented at CUI '23: Proceedings of the 5th International Conference on Conversational User Interfaces, Eindhoven Netherlands

Building effective voice interfaces for the instruction of service robots in specialised environments is difficult due to the local knowledge of workers, such as specific terminology for objects and space, leading to limited data to train language mo... Read More about RoboClean: Contextual Language Grounding for Human-Robot Interactions in Specialised Low-Resource Environments.

ML meets MLn: machine learning in ligand promoted homogeneous catalysis (2023)
Journal Article
Hirst, J. D., Boobier, S., Coughlan, J., Streets, J., Jacob, P. L., Pugh, O., Özcan, E., & Woodward, S. (2023). ML meets MLn: machine learning in ligand promoted homogeneous catalysis. Artificial Intelligence Chemistry, 1(2), Article 100006. https://doi.org/10.1016/j.aichem.2023.100006

The benefits of using machine learning approaches in the design, optimisation and understanding of homogeneous catalytic processes are being increasingly realised. We focus on the understanding and implementation of key concepts, which serve as condu... Read More about ML meets MLn: machine learning in ligand promoted homogeneous catalysis.

Sequential Rule Mining for Automated Design of Meta-heuristics (2023)
Presentation / Conference Contribution
Meng, W., & Qu, R. (2023, July). Sequential Rule Mining for Automated Design of Meta-heuristics. Presented at GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion, New York, USA

With a recently defined AutoGCOP framework, the design of local search algorithms can be defined as the composition of the basic elementary algorithmic components. These compositions into the best algorithms thus retain useful knowledge of effective... Read More about Sequential Rule Mining for Automated Design of Meta-heuristics.

An Exploration of how Trust Online Relates to Psychological and Subjective Wellbeing (2023)
Presentation / Conference Contribution
Dowthwaite, L., Perez Vallejos, E., Portillo, V., Patel, M., Zhao, J., & Creswick, H. (2023, July). An Exploration of how Trust Online Relates to Psychological and Subjective Wellbeing. Presented at ACM International Conference Proceeding Series, Edinburgh, UK

Internet users often report feelings of stress, anxiety, and a lack of control, often related to uncertainty about the use of algorithms and autonomous systems (AS) behind what they encounter. This may lead to a loss of trust in the services, content... Read More about An Exploration of how Trust Online Relates to Psychological and Subjective Wellbeing.

TAME Pain: Trustworthy AssessMEnt of Pain from Speech and Audio for the Empowerment of Patients (2023)
Presentation / Conference Contribution
Schneiders, E., Williams, J., Farahi, A., Seabrooke, T., Vigneswaran, G., Bautista, J. R., Dowthwaite, L., & Piskopani, A. M. (2023, July). TAME Pain: Trustworthy AssessMEnt of Pain from Speech and Audio for the Empowerment of Patients. Presented at TAS'23: First International Symposium on Trustworthy Autonomous Systems, Edinburgh, UK

Precise pain assessment is crucial for medical professionals to provide appropriate treatment. However, not every patient can verbalise the experienced pain for various reasons (e.g., speech disorders or language barriers). In these cases, medical pr... Read More about TAME Pain: Trustworthy AssessMEnt of Pain from Speech and Audio for the Empowerment of Patients.

A Privacy-Preserving Observatory of Misinformation using Linguistic Markers - A Work in Progress (2023)
Presentation / Conference Contribution
Clos, J., McClaughlin, E., Barnard, P., Tom, T., & Yajaman, S. (2023, July). A Privacy-Preserving Observatory of Misinformation using Linguistic Markers - A Work in Progress. Presented at TAS '23: First International Symposium on Trustworthy Autonomous Systems, Edinburgh, UK

Online misinformation is a serious problem that can have a negative impact on individuals, societies, and democracies. It can lead to the spread of false information, the erosion of trust in institutions, and the polarisation of political discourse.... Read More about A Privacy-Preserving Observatory of Misinformation using Linguistic Markers - A Work in Progress.

Augmented Robotic Telepresence (ART): A Prototype for Enhancing Remote Interaction and Participation (2023)
Presentation / Conference Contribution
Reyes-Cruz, G., Phypers, I., Boudouraki, A., Price, D., Fischer, J., Reeves, S., Galvez Trigo, M., & Maior, H. (2023, July). Augmented Robotic Telepresence (ART): A Prototype for Enhancing Remote Interaction and Participation. Presented at First International Symposium on Trustworthy Autonomous Systems, Edinburgh, United Kingdom

Mobile robotic telepresence (MRP) allows remote users' access and mobility in a range of local environments. MRP devices have been adopted in societally significant domains such as workplaces, museums, commerce, education, and healthcare, especially... Read More about Augmented Robotic Telepresence (ART): A Prototype for Enhancing Remote Interaction and Participation.

Digital twins for human-assistive robot teams in ambient assisted living (2023)
Presentation / Conference Contribution
Chen, J., Clos, J., Price, D., & Caleb-Solly, P. (2023, July). Digital twins for human-assistive robot teams in ambient assisted living. Presented at TAS '23: First International Symposium on Trustworthy Autonomous Systems, Edinburgh, UK

Digital twins are virtual replicas of physical systems that simulate real-world scenarios to optimize system performance, reduce physical losses, and ensure user safety. Although digital twins have been widely adopted in industrial settings, there is... Read More about Digital twins for human-assistive robot teams in ambient assisted living.

A Practical Taxonomy of TAS-related Usecase Scenarios (2023)
Presentation / Conference Contribution
Masters, P., Young, V., Chamberlain, A., Weerawardhana, S., McKenna, P. E., Lu, Y., Dowthwaite, L., Luff, P., & Moreau, L. (2023, July). A Practical Taxonomy of TAS-related Usecase Scenarios. Presented at Proceedings of the First International Symposium on Trustworthy Autonomous Systems, Edinburgh, UK

This paper proposes a taxonomy of experimental usecase scenarios to facilitate research into trustworthy autonomous systems (TAS). Unable to identify an open-access repository of usecases to support our research, the project team embarked on developm... Read More about A Practical Taxonomy of TAS-related Usecase Scenarios.

Co-creating Museum Robots With People That Are Autistic and/or Have Learning Disabilities (2023)
Presentation / Conference Contribution
Cameron, H., Story, M., Reyes-Cruz, G., & Galvez Trigo, M. J. (2023, July). Co-creating Museum Robots With People That Are Autistic and/or Have Learning Disabilities. Presented at First International Symposium on Trustworthy Autonomous Systems, Edinburgh, UK

The integration of robots into everyday life is an increasingly common and mundane phenomena. Understanding how people regard and interact with these robots is a rapidly growing area of study, however, there is limited consideration of the attitudes... Read More about Co-creating Museum Robots With People That Are Autistic and/or Have Learning Disabilities.

Responsible Research and Innovation (RRI) Prompts and Practice Cards: a Tool to Support Responsible Practice (2023)
Presentation / Conference Contribution
Portillo, V., Greenhalgh, C., Craigon, P. J., & Ten Holter, C. (2023, July). Responsible Research and Innovation (RRI) Prompts and Practice Cards: a Tool to Support Responsible Practice. Presented at First International Symposium on Trustworthy Autonomous Systems, Edinburgh, UK

Researchers often find it hard to know where, when and how to start when applying Responsible Innovation approaches to their own research projects and proposals. Based on experience supporting a range of researchers and projects, we have developed a... Read More about Responsible Research and Innovation (RRI) Prompts and Practice Cards: a Tool to Support Responsible Practice.

Responsible AI and the Arts: The Ethical and Legal Implications of AI in the Arts and Creative Industries (2023)
Presentation / Conference Contribution
Piskopani, A.-M., Chamberlain, A., & Ten Holter, C. (2023, July). Responsible AI and the Arts: The Ethical and Legal Implications of AI in the Arts and Creative Industries. Poster presented at First International Symposium on Trustworthy Autonomous Systems (TAS '23), Heriot-Watt University, Edinburgh

This position piece starts to examine the ways in which AI-based autonomous technologies have begun to influence a range of human activities in the arts and creative industries.The rise of AI-generated art could potentially transform the act of creat... Read More about Responsible AI and the Arts: The Ethical and Legal Implications of AI in the Arts and Creative Industries.

Using a Knowledge Café approach as a public engagement activity for raising awareness of data protection issues in robotics for health and social care (2023)
Presentation / Conference Contribution
Piskopani, A. M., Webb, H., & Caleb-Solly, P. (2023, July). Using a Knowledge Café approach as a public engagement activity for raising awareness of data protection issues in robotics for health and social care. Presented at Proceedings of the First International Symposium on Trustworthy Autonomous Systems, Edinburgh, UK

Robotics and Artificial Intelligence (RAI) offers the opportunity to ameliorate the quality of life for people with health issues. However, there are still considerable barriers linked to the lack of acceptance of these technologies, particularly as... Read More about Using a Knowledge Café approach as a public engagement activity for raising awareness of data protection issues in robotics for health and social care.

Empowering future care workforces: scoping human capabilities to leverage assistive robotics (2023)
Presentation / Conference Contribution
O'Donovan, C., Caleb-Solly, P., Kumar, P., Russell, S., Sumpter, L., & Williams, R. (2023, July). Empowering future care workforces: scoping human capabilities to leverage assistive robotics. Presented at First International Symposium on Trustworthy Autonomous Systems, Edinburgh, UK

How and what health and care professionals do will be changed by the use of robotics technologies in their workplaces. This paper reports provisional results of a 12-month scoping project in which we explained to people working in care sectors what e... Read More about Empowering future care workforces: scoping human capabilities to leverage assistive robotics.

Five Provocations for a More Creative TAS (2023)
Presentation / Conference Contribution
Benford, S., Hazzard, A., Vear, C., Webb, H., Chamberlain, A., Greenhalgh, C., Ramchurn, R., & Marshall, J. (2023, July). Five Provocations for a More Creative TAS. Presented at First International Symposium on Trustworthy Autonomous Systems (TAS 23), Edinburgh, UK

Conventional wisdom has it that trustworthy autonomous systems (AS) should be explainable, dependable, controllable and safe tools for humans to use. Reflecting on a portfolio of artistic applications of TAS leads us adopt an alternative stance and t... Read More about Five Provocations for a More Creative TAS.

Responsible AI and the Arts: The Ethical and Legal Implications of AI in the Arts and Creative Industries (2023)
Presentation / Conference Contribution
Piskopani, A. M., Chamberlain, A., & Ten Holter, C. (2023, July). Responsible AI and the Arts: The Ethical and Legal Implications of AI in the Arts and Creative Industries. Presented at First International Symposium on Trustworthy Autonomous Systems (TAS 23), Edinburgh, UK

This position piece starts to examine the ways in which AI-based autonomous technologies have begun to influence a range of human activities in the arts and creative industries.The rise of AI-generated art could potentially transform the act of creat... Read More about Responsible AI and the Arts: The Ethical and Legal Implications of AI in the Arts and Creative Industries.