All Outputs (1993)

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, 37(2), 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.

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.

Combinatory logic and lambda calculus are equal, algebraically (2023)
Presentation / Conference Contribution
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)
Presentation / Conference Contribution
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.

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.

A categorical account of composition methods in logic (2023)
Presentation / Conference Contribution
Marsden, D., Shah, N., & Jakl, T. (2023). A categorical account of composition methods in logic. In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). https://doi.org/10.1109/LICS56636.2023.10175751

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 method... Read More about A categorical account of composition methods in logic.

Explainable AI for the Arts: XAIxArts (2023)
Presentation / Conference Contribution
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)
Presentation / Conference Contribution
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.

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

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.

Socio-Technical Trust For Multi-Modal Hearing Assistive Technology (2023)
Presentation / Conference Contribution
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, 27(6), 2161-2170. 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.

Two-level type theory and applications (2023)
Journal Article
Annenkov, D., Capriotti, P., Kraus, N., & Sattler, C. (2023). Two-level type theory and applications. Mathematical Structures in Computer Science, 33(8), 688-743. https://doi.org/10.1017/s0960129523000130

We define and develop two-level type theory (2LTT), a version of Martin-Löf type theory which combines two different type theories. We refer to them as the ‘inner’ and the ‘outer’ type theory. In our case of interest, the inner theory is homotopy typ... Read More about Two-level type theory and applications.

Stability of Weighted Majority Voting under Estimated Weights (2023)
Presentation / Conference Contribution
Bai, S., Wang, D., Muller, T., Cheng, P., & Chen, J. (2023). Stability of Weighted Majority Voting under Estimated Weights. In AAMAS ’23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. https://doi.org/10.5555/3545946.3599045

Weighted Majority Voting (WMV) is a well-known optimal decision rule for collective decision making, given the probability of sources to provide accurate information (trustworthiness). However, in reality, the trustworthiness is not a known quantity... Read More about Stability of Weighted Majority Voting under Estimated Weights.

A Study into Understanding User Requirements to Inform the Design of Customizable Robotic Pain Management Devices (2023)
Presentation / Conference Contribution
Higgins, A., Llewellyn, A., Dures, E., & Caleb-Solly, P. (2023, May). A Study into Understanding User Requirements to Inform the Design of Customizable Robotic Pain Management Devices. Presented at 2023 IEEE International Conference on Robotics and Automation (ICRA), London

Previous research into using robots for pain man-agement has shown promise. However to date, there seems to have been little research investigating user requirements for robotic pain management devices which could be used by adults living with chroni... Read More about A Study into Understanding User Requirements to Inform the Design of Customizable Robotic Pain Management Devices.

Assessing the Value Orientations of Contributors to Virtual Citizen Science Projects (2023)
Presentation / Conference Contribution
Jeong, E. (., Jackson, C., Dowthwaite, L., Ahmad, T., & Trouille, L. (2023). Assessing the Value Orientations of Contributors to Virtual Citizen Science Projects. In C&T '23: Proceedings of the 11th International Conference on Communities and Technologies (191-202). https://doi.org/10.1145/3593743.3593782

Like other crowdsourcing communities, e.g., Wikipedia, citizen science projects struggle to attract and retain long-term contributors. Long-term contributors are critical to the success of many projects; research about motivational drivers has attrac... Read More about Assessing the Value Orientations of Contributors to Virtual Citizen Science Projects.

In-the-Wild Failures in a Long-Term HRI Deployment (2023)
Presentation / Conference Contribution
Del Duchetto, F., Kucukyilmaz, A., & Hanheide, M. (2023, May). In-the-Wild Failures in a Long-Term HRI Deployment. Poster presented at International Conference on Robotics and Automation (ICRA), London, UK

Failures are typical in robotics deployments "in-the-wild", especially when robots perform their functions within social human spaces. This paper reports on the failures of an autonomous social robot called Lindsey, which has been used in a public mu... Read More about In-the-Wild Failures in a Long-Term HRI Deployment.