All Outputs (2001)

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.

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). RoboClean: Contextual Language Grounding for Human-Robot Interactions in Specialised Low-Resource Environments. In Proceedings of the 5th International Conference on Conversational User Interfaces (CUI '23). https://doi.org/10.1145/3571884.3597137

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.

Generative AI Considered Harmful (2023)
Presentation / Conference Contribution
Fischer, J. E. (2023). Generative AI Considered Harmful. In Proceedings of the 5th International Conference on Conversational User Interfaces (CUI '23). https://doi.org/10.1145/3571884.3603756

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.

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., …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). Sequential Rule Mining for Automated Design of Meta-heuristics. In GECCO’23 Companion: Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion (1727-1735). https://doi.org/10.1145/3583133.3596303

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). An Exploration of how Trust Online Relates to Psychological and Subjective Wellbeing. In TAS ‘23: Proceedings of The First International Symposium on Trustworthy Autonomous Systems 11-12 July 2023 Edinburgh, UK. https://doi.org/10.1145/3597512.3599708

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.

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.

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., …Piskopani, A. M. (2023). TAME Pain: Trustworthy AssessMEnt of Pain from Speech and Audio for the Empowerment of Patients. In TAS'23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems. https://doi.org/10.1145/3597512.3597513

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). A Privacy-Preserving Observatory of Misinformation using Linguistic Markers - A Work in Progress. In TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems (1-4). https://doi.org/10.1145/3597512.3597530

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., …Maior, H. (2023). Augmented Robotic Telepresence (ART): A Prototype for Enhancing Remote Interaction and Participation. In TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems (1-6). https://doi.org/10.1145/3597512.3597532

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.

TAS for Cats: An Artist-led Exploration of Trustworthy Autonomous Systems for Companion Animals (2023)
Presentation / Conference Contribution
Schneiders, E., Chamberlain, A., Fischer, J. E., Benford, S., Castle-Green, S., Ngo, V., …Mills, D. (2023). TAS for Cats: An Artist-led Exploration of Trustworthy Autonomous Systems for Companion Animals. In TAS ‘23: Proceedings of The First International Symposium on Trustworthy Autonomous Systems 11-12 July 2023 Edinburgh, UK. https://doi.org/10.1145/3597512.3597517

Cat Royale is an artist-led exploration of trustworthy autonomous systems (TAS) created by the TAS Hub's creative ambassadors Blast Theory. A small community of cats inhabits a purpose built 'cat utopia' at the centre of which a robot arm tries to en... Read More about TAS for Cats: An Artist-led Exploration of Trustworthy Autonomous Systems for Companion Animals.

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). Co-creating Museum Robots With People That Are Autistic and/or Have Learning Disabilities. In TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems (1-5). https://doi.org/10.1145/3597512.3597525

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 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). Responsible AI and the Arts: The Ethical and Legal Implications of AI in the Arts and Creative Industries. In TAS ‘23: Proceedings of The First International Symposium on Trustworthy Autonomous Systems 11-12 July 2023 Edinburgh, UK. https://doi.org/10.1145/3597512.3597528

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.

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). Digital twins for human-assistive robot teams in ambient assisted living. In TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems. https://doi.org/10.1145/3597512.3597520

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.

Five Provocations for a More Creative TAS (2023)
Presentation / Conference Contribution
Benford, S., Hazzard, A., Vear, C., Webb, H., Chamberlain, A., Greenhalgh, C., …Marshall, J. (2023). Five Provocations for a More Creative TAS. In TAS ‘23: Proceedings of The First International Symposium on Trustworthy Autonomous Systems 11-12 July 2023 Edinburgh, UK. https://doi.org/10.1145/3597512.3599709

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.

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., …Moreau, L. (2023). A Practical Taxonomy of TAS-related Usecase Scenarios. In TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems (1-6). https://doi.org/10.1145/3597512.3597523

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.

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). Responsible Research and Innovation (RRI) Prompts and Practice Cards: a Tool to Support Responsible Practice. In TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems. https://doi.org/10.1145/3597512.3599721

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.

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). Using a Knowledge Café approach as a public engagement activity for raising awareness of data protection issues in robotics for health and social care. In TAS '23: Proceedings of the First International Symposium on Trustworthy Autonomous Systems (1-5). https://doi.org/10.1145/3597512.3599700

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.