All Outputs (2146)

Assessing responsible innovation training (2023)
Journal Article
Stahl, B. C., Aicardi, C., Brooks, L., Craigon, P. J., Cunden, M., Burton, S. D., Heaver, M. D., Saille, S. D., Dolby, S., Dowthwaite, L., Eke, D., Hughes, S., Keene, P., Kuh, V., Portillo, V., Shanley, D., Smallman, M., Smith, M., Stilgoe, J., Ulnicane, I., …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, June). Socio-Technical Trust For Multi-Modal Hearing Assistive Technology. Presented at ICASSPW 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing Workshops, Proceedings, Rhodes Island, Greece

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.

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, May). Assessing the Value Orientations of Contributors to Virtual Citizen Science Projects. Presented at C&T '23: The 11th International Conference on Communities and Technologies, Lahti, Finland

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.

Stability of Weighted Majority Voting under Estimated Weights (2023)
Presentation / Conference Contribution
Bai, S., Wang, D., Muller, T., Cheng, P., & Chen, J. (2023, May). Stability of Weighted Majority Voting under Estimated Weights. Presented at International Conference on Autonomous Agents and Multiagent Systems (AAMAS 23), London, UK

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.

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.

Synthetic fibered (∞,1)-category theory (2023)
Journal Article
Buchholtz, U., & Weiberger, J. (2023). Synthetic fibered (∞,1)-category theory. Higher Structures, 7(1), 74-165. https://doi.org/10.21136/HS.2023.04

We study cocartesian fibrations in the setting of the synthetic (∞,1)-category theory developed in simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.

The association between prescription drugs and vaccines commonly prescribed to older people and bullous pemphigoid: a UK population-based study (2023)
Preprint / Working Paper
Swiderski, M., Vinogradova, Y., Knaggs, R., Harman, K., Harwood, R., Prasad, V., Persson, M. S., Figueredo, G., Layfield, C., & Gran, S. The association between prescription drugs and vaccines commonly prescribed to older people and bullous pemphigoid: a UK population-based study

Introduction
Bullous pemphigoid (BP) is a serious skin disease that results in large painful blisters developing over the body and occurs most commonly in older people (over 70 years). Despite several comorbidities such as stroke and a threefold inc... Read More about The association between prescription drugs and vaccines commonly prescribed to older people and bullous pemphigoid: a UK population-based study.

Multi-objective topology optimisation for acoustic porous materials using gradient-based, gradient-free, and hybrid strategies (2023)
Journal Article
Ramamoorthy, V. T., Özcan, E., Parkes, A. J., Jaouen, L., & Bécot, F.-X. (2023). Multi-objective topology optimisation for acoustic porous materials using gradient-based, gradient-free, and hybrid strategies. Journal of the Acoustical Society of America, 153(5), Article 2945. https://doi.org/10.1121/10.0019455

When designing passive sound-attenuation structures, one of the challenging problems that arise is optimally distributing acoustic porous materials within a design region so as to maximise sound absorption while minimising material usage. To identify... Read More about Multi-objective topology optimisation for acoustic porous materials using gradient-based, gradient-free, and hybrid strategies.

Embedding responsibility in intelligent systems: from AI ethics to responsible AI ecosystems (2023)
Journal Article
Stahl, B. C. (2023). Embedding responsibility in intelligent systems: from AI ethics to responsible AI ecosystems. Scientific Reports, 13, Article 7586. https://doi.org/10.1038/s41598-023-34622-w

Intelligent systems that are capable of making autonomous decisions based on input from their environment have great potential to do good, but they also raise significant social and ethical concerns. The discourse on ethics and artificial intelligenc... Read More about Embedding responsibility in intelligent systems: from AI ethics to responsible AI ecosystems.

The Classification of Movement in Infants for the Autonomous Monitoring of Neurological Development (2023)
Journal Article
Turner, A., Hayes, S., & Sharkey, D. (2023). The Classification of Movement in Infants for the Autonomous Monitoring of Neurological Development. Sensors, 23(10), Article 4800. https://doi.org/10.3390/s23104800

Neurodevelopmental delay following extremely preterm birth or birth asphyxia is common but diagnosis is often delayed as early milder signs are not recognised by parents or clinicians. Early interventions have been shown to improve outcomes. Automati... Read More about The Classification of Movement in Infants for the Autonomous Monitoring of Neurological Development.

A modelling approach to studying variations in newborn life support procedure (2023)
Journal Article
Tan, A., Remenyte-Prescott, R., Valstar, M., & Sharkey, D. (2024). A modelling approach to studying variations in newborn life support procedure. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, 238(4), 777-796. https://doi.org/10.1177/1748006X231173595

Variations in clinical practice are common. However, some variations may cause undesired consequences. Careful consideration of their causes and effects is necessary to assure the quality of healthcare delivery. A modelling approach that could captur... Read More about A modelling approach to studying variations in newborn life support procedure.

On Small Types in Univalent Foundations (2023)
Journal Article
de Jong, T., & Escardó, M. H. (2023). On Small Types in Univalent Foundations. Logical Methods in Computer Science, 19(2), 8:1-8:33. https://doi.org/10.46298/LMCS-19%282%3A8%292023

We investigate predicative aspects of constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky’s propositional resizing axioms or excluded middle. Our work complements existing work on... Read More about On Small Types in Univalent Foundations.

Artificial Intelligence–Based Ethical Hacking for Health Information Systems: Simulation Study (2023)
Journal Article
He, Y., Zamani, E., Yevseyeva, I., & Luo, C. (2023). Artificial Intelligence–Based Ethical Hacking for Health Information Systems: Simulation Study. Journal of Medical Internet Research, 25, Article e41748. https://doi.org/10.2196/41748

Background: Health information systems (HISs) are continuously targeted by hackers, who aim to bring down critical health infrastructure. This study was motivated by recent attacks on health care organizations that have resulted in the compromise of... Read More about Artificial Intelligence–Based Ethical Hacking for Health Information Systems: Simulation Study.

Your mileage may vary: Case study of a robotic telepresence pilot roll-out for a hybrid knowledge work organisation (2023)
Presentation / Conference Contribution
Boudouraki, A., Fischer, J. E., Reeves, S., & Rintel, S. (2023, April). Your mileage may vary: Case study of a robotic telepresence pilot roll-out for a hybrid knowledge work organisation. Presented at CHI '23: CHI Conference on Human Factors in Computing Systems, Hamburg, Germany

Organisations wishing to maintain employee satisfaction for hybrid collaboration need to explore flexible solutions that provide value for both remote and on-site employees. In this case study, we report on the roll-out of a telepresence robot pilot... Read More about Your mileage may vary: Case study of a robotic telepresence pilot roll-out for a hybrid knowledge work organisation.

CHI2023 Course on How to Peer Review for CHI (and Beyond) (2023)
Presentation / Conference Contribution
Wilson, M. L. (2023, April). CHI2023 Course on How to Peer Review for CHI (and Beyond). Presented at Conference on Human Factors in Computing Systems - Proceedings, Hamburg, Germany

A key challenge for people that are new to reviewing is pitching the review at the right level, and getting the tone and structure of a review right. This course aims to help participants understand a) the different expectations of different venues a... Read More about CHI2023 Course on How to Peer Review for CHI (and Beyond).