Skip to main content

Research Repository

Advanced Search

All Outputs (1974)

Responsible Research and Innovation (RRI) Prompts and Practice Cards: a Tool to Support Responsible Practice (2023)
Conference Proceeding
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.

Gifting the Past in the Present: An Exploration of Evoking Nostalgia through Hybrid Gifts (2023)
Conference Proceeding
Gibson, R., Koleva, B., Flintham, M., & Winklhofer, H. (2023). Gifting the Past in the Present: An Exploration of Evoking Nostalgia through Hybrid Gifts. In DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference (1047-1059). https://doi.org/10.1145/3563657.3596103

This study focuses on the hybrid gifting model, where both physical and digital objects combine to create a single gift. For this in-the-world study, we turn to nostalgic emotions. We aimed to uncover if hybrid gifting can facilitate nostalgic experi... Read More about Gifting the Past in the Present: An Exploration of Evoking Nostalgia through Hybrid Gifts.

Somabotics Toolkit for Rapid Prototyping Human-Robot Interaction Experiences using Wearable Haptics (2023)
Presentation / Conference
Zhou, F., Price, D., Pacchierotti, C., & Kucukyilmaz, A. (2023, July). Somabotics Toolkit for Rapid Prototyping Human-Robot Interaction Experiences using Wearable Haptics. Poster presented at IEEE World Haptics Conference, Delft, Netherlands

This work-in-progress paper presents a prototyping toolkit developed to design haptic interaction experiences. With developments in wearable and sensor technologies, new opportunities arise everyday to create rich haptic interaction experiences actin... Read More about Somabotics Toolkit for Rapid Prototyping Human-Robot Interaction Experiences using Wearable Haptics.

“It’s not just for the Past but it’s for the Here and Now”: Gift-Giver Perspectives on the Memory Machine to Gift Digital Memories (2023)
Conference Proceeding
Gibson, R., Babbage, C. M., Wagner, H. G., Price, D. J., Martindale, S., Chadborn, N. H., …Perez Vallejos, E. (2023). “It’s not just for the Past but it’s for the Here and Now”: Gift-Giver Perspectives on the Memory Machine to Gift Digital Memories. In DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference (987-1001). https://doi.org/10.1145/3563657.3595962

We present the design of the Memory Machine (MeMa), a technology probe that can store, contextualise, and document media to represent memories. We accumulate vast physical and digital possessions throughout our lives, making it difficult to distingui... Read More about “It’s not just for the Past but it’s for the Here and Now”: Gift-Giver Perspectives on the Memory Machine to Gift Digital Memories.

Examining the Use of Autonomous Systems for Home Health Support using a Smart Mirror (2023)
Working Paper
Dowthwaite, L., Reyez Cruz, G., Pena, A. R., Pepper, C., Jäger, N., Barnard, P., …Benford, S. Examining the Use of Autonomous Systems for Home Health Support using a Smart Mirror

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.

TrustScapes: A Visualisation Tool to Capture Stakeholders’ Concerns and Recommendations About Data Protection, Algorithmic Bias, and Online Safety (2023)
Journal Article
Ito-Jaeger, S., Lane, G., Dowthwaite, L., Webb, H., Patel, M., Rawsthorne, M., …Perez Vallejos, E. (2023). TrustScapes: A Visualisation Tool to Capture Stakeholders’ Concerns and Recommendations About Data Protection, Algorithmic Bias, and Online Safety. International Journal of Qualitative Methods, 22, https://doi.org/10.1177/16094069231186965

This paper presents a new methodological approach, TrustScapes, an open access tool designed to identify and visualise stakeholders’ concerns and policy recommendations on data protection, algorithmic bias, and online safety for a fairer and more tru... Read More about TrustScapes: A Visualisation Tool to Capture Stakeholders’ Concerns and Recommendations About Data Protection, Algorithmic Bias, and Online Safety.

TrustScapes: A visualisation tool to capture stakeholders' concerns and recommendations about data protection, algorithmic bias, and online safety (2023)
Journal Article
Ito-Jaeger, S., Lane, G., Dowthwaite, L., Webb, H., Patel, M., Rawsthorne, M., …Perez Vallejos, E. (2023). TrustScapes: A visualisation tool to capture stakeholders' concerns and recommendations about data protection, algorithmic bias, and online safety. International Journal of Qualitative Methods, 22, 1-10. https://doi.org/10.1177/1609406923118696

This paper presents a new methodological approach, TrustScapes, an open access tool designed to identify and visualise stakeholders’ concerns and policy recommendations on data protection, algorithmic bias, and online safety for a fairer and more tru... Read More about TrustScapes: A visualisation tool to capture stakeholders' concerns and recommendations about data protection, algorithmic bias, and online safety.

Thinking Like a Machine: Alan Turing, Computation and the Praxeological Foundations of AI (2023)
Journal Article
Saha, D., Brooker, P., Mair, M., & Reeves, S. (2023). Thinking Like a Machine: Alan Turing, Computation and the Praxeological Foundations of AI. Science & Technology Studies, https://doi.org/10.23987/sts.122892

As part of ongoing research bridging ethnomethodology and computer science, in this article we offer an alternate reading of Alan Turing’s 1936 paper, “On Computable Numbers”. Following through Turing’s machinic respecification of computation, we hop... Read More about Thinking Like a Machine: Alan Turing, Computation and the Praxeological Foundations of AI.

Combinatory logic and lambda calculus are equal, algebraically (2023)
Journal Article
Altenkirch, T., Kaposi, A., Šinkarovs, A., & Végh, T. (2023). Combinatory logic and lambda calculus are equal, algebraically. LIPIcs, Article 24

It is well-known that extensional lambda calculus is equivalent to extensional combinatory logic. In this paper we describe a formalisation of this fact in Cubical Agda. The distinguishing features of our formalisation are the following: (i) Both lan... Read More about Combinatory logic and lambda calculus are equal, algebraically.

Crafting Interactive Experiences with Non-programmers (2023)
Conference Proceeding
Greenhalgh, C. (2023). Crafting Interactive Experiences with Non-programmers. In EICS '23 Companion: Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (1-4). https://doi.org/10.1145/3596454.3597174

The Mixed Reality Lab has a long history of creating public interactive experiences in collaboration with creative practitioners. Looking across four such experiences, this keynote explores the role of code (i.e., bespoke software) in making them pos... Read More about Crafting Interactive Experiences with Non-programmers.

A categorical account of composition methods in logic (2023)
Conference Proceeding
Marsden, D., Shah, N., & Jakl, T. (2023). A categorical account of composition methods in logic. In Proceedings of the 38th Annual Symposium on Logic in Computer Science (LICS 2023)

We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the composition meth... Read More about A categorical account of composition methods in logic.

Explaining time series classifiers through meaningful perturbation and optimisation (2023)
Journal Article
Meng, H., Wagner, C., & Triguero, I. (2023). Explaining time series classifiers through meaningful perturbation and optimisation. Information Sciences, 645, Article 119334. https://doi.org/10.1016/j.ins.2023.119334

Machine learning approaches have enabled increasingly powerful time series classifiers. While performance has improved drastically, the resulting classifiers generally suffer from poor explainability, limiting their applicability in critical areas. S... Read More about Explaining time series classifiers through meaningful perturbation and optimisation.

Explainable AI for the Arts: XAIxArts (2023)
Conference Proceeding
Bryan-Kinns, N., Ford, C., Chamberlain, A., Benford, S. D., Kennedy, H., Li, Z., …Rezwana, J. (2023). Explainable AI for the Arts: XAIxArts. In C&C '23: Proceedings of the 15th Conference on Creativity and Cognition. https://doi.org/10.1145/3591196.3593517

This first workshop on explainable AI for the Arts (XAIxArts) brings together a community of researchers and creative practitioners in Human-Computer Interaction (HCI), Interaction Design, AI, explainable AI (XAI), and Digital Arts to explore the rol... Read More about Explainable AI for the Arts: XAIxArts.

Robustness of Deep Learning Methods for Occluded Object Detection - A Study Introducing a Novel Occlusion Dataset (2023)
Conference Proceeding
Wu, Z., Moemeni, A., Caleb-Solly, P., & Castle-Green, S. (2023). Robustness of Deep Learning Methods for Occluded Object Detection - A Study Introducing a Novel Occlusion Dataset. In 2023 International Joint Conference on Neural Networks (IJCNN). https://doi.org/10.1109/ijcnn54540.2023.10191368

A large number of deep learning based object detection algorithms have been proposed and applied in a wide range of domains such as security, autonomous driving and robotics. In practical usage, objects being occluded are common, and can result in re... Read More about Robustness of Deep Learning Methods for Occluded Object Detection - A Study Introducing a Novel Occlusion Dataset.

Assessing responsible innovation training (2023)
Journal Article
Stahl, B. C., Aicardi, C., Brooks, L., Craigon, P. J., Cunden, M., Burton, S. D., …Webb, H. (2023). Assessing responsible innovation training. Journal of Responsible Technology, 16, Article 100063. https://doi.org/10.1016/j.jrt.2023.100063

There is broad agreement that one important aspect of responsible innovation (RI) is to provide training on its principles and practices to current and future researchers and innovators, notably including doctoral students. Much less agreement can be... Read More about Assessing responsible innovation training.

Reflections on Responsible Research and Innovation (RRI) for Trustworthy Autonomous Systems (TAS): A message from Journal of Responsible Technology Special Issue's editors (2023)
Journal Article
Vallejos, E. P., Dowthwaite, L., Barnard, P., & Coomber, B. (2023). Reflections on Responsible Research and Innovation (RRI) for Trustworthy Autonomous Systems (TAS): A message from Journal of Responsible Technology Special Issue's editors. Journal of Responsible Technology, 14, Article 100059. https://doi.org/10.1016/j.jrt.2023.100059

Socio-Technical Trust For Multi-Modal Hearing Assistive Technology (2023)
Conference Proceeding
Williams, J., Azim, T., Piskopani, A. M., Chamberlain, A., & Zhang, S. (2023). Socio-Technical Trust For Multi-Modal Hearing Assistive Technology. In IEEE ICASSPW 2023 Workshop Proceedings. https://doi.org/10.1109/ICASSPW59220.2023.10193586

The landscape of opportunity is rapidly changing for audio-visual (AV) hearing assistive technology. While hearing assistive devices, such as hearing aids, have traditionally been developed for populations of deaf and hard of hearing (DHH) communitie... Read More about Socio-Technical Trust For Multi-Modal Hearing Assistive Technology.

Ciao AI: the Italian adaptation and validation of the Chatbot Usability Scale (2023)
Journal Article
Borsci, S., Prati, E., Malizia, A., Schmettow, M., Chamberlain, A., & Federici, S. (2023). Ciao AI: the Italian adaptation and validation of the Chatbot Usability Scale. Personal and Ubiquitous Computing, https://doi.org/10.1007/s00779-023-01731-2

Chatbot-based tools are becoming pervasive in multiple domains from commercial websites to rehabilitation applications. Only recently, an eleven-item satisfaction inventory was developed (the ChatBot Usability Scale, BUS-11) to help designers in the... Read More about Ciao AI: the Italian adaptation and validation of the Chatbot Usability Scale.

Influence of setting-dependent contacts and protective behaviours on asymptomatic SARS-CoV-2 infection amongst members of a UK university (2023)
Journal Article
Fairbanks, E. L., Bolton, K. J., Jia, R., Figueredo, G. P., Knight, H., & Vedhara, K. (2023). Influence of setting-dependent contacts and protective behaviours on asymptomatic SARS-CoV-2 infection amongst members of a UK university. Epidemics, 43, Article 100688. https://doi.org/10.1016/j.epidem.2023.100688

We survey 62 users of a university asymptomatic SARS-CoV-2 testing service on details of their activities, protective behaviours and contacts in the 7 days prior to receiving a positive or negative SARS-CoV-2 PCR test result in the period October 202... Read More about Influence of setting-dependent contacts and protective behaviours on asymptomatic SARS-CoV-2 infection amongst members of a UK university.

The Lanthipeptide Synthetase-like Protein CA_C0082 Is an Effector of Agr Quorum Sensing in Clostridium acetobutylicum (2023)
Journal Article
Humphreys, J. R., Bean, Z., Twycross, J., & Winzer, K. (2023). The Lanthipeptide Synthetase-like Protein CA_C0082 Is an Effector of Agr Quorum Sensing in Clostridium acetobutylicum. Microorganisms, 11(6), Article 1460. https://doi.org/10.3390/microorganisms11061460

Lanthipeptide synthetases are present in all domains of life. They catalyze a crucial step during lanthipeptide biosynthesis by introducing thioether linkages during posttranslational peptide modification. Lanthipeptides have a wide range of function... Read More about The Lanthipeptide Synthetase-like Protein CA_C0082 Is an Effector of Agr Quorum Sensing in Clostridium acetobutylicum.