All Outputs (1974)

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)
Conference Proceeding
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.

In-the-Wild Failures in a Long-Term HRI Deployment (2023)
Presentation / Conference
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.

Assessing the Value Orientations of Contributors to Virtual Citizen Science Projects (2023)
Conference Proceeding
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.

A Study into Understanding User Requirements to Inform the Design of Customizable Robotic Pain Management Devices (2023)
Conference Proceeding
Higgins, A., Llewellyn, A., Dures, E., & Caleb-Solly, P. (2023). A Study into Understanding User Requirements to Inform the Design of Customizable Robotic Pain Management Devices. In 2023 IEEE International Conference on Robotics and Automation (ICRA) (12022-12030). https://doi.org/10.1109/icra48891.2023.10161495

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.

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. (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.

The association between prescription drugs and vaccines commonly prescribed to older people and bullous pemphigoid: a UK population-based study (2023)
Working Paper
Swiderski, M., Vinogradova, Y., Knaggs, R., Harman, K., Harwood, R., Prasad, V., …Gran, S. (0000). 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.

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.

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.

CHI2023 Course on How to Peer Review for CHI (and Beyond) (2023)
Conference Proceeding
Wilson, M. L. (2023). CHI2023 Course on How to Peer Review for CHI (and Beyond). In CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. https://doi.org/10.1145/3544549.3574183

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).

Your mileage may vary: Case study of a robotic telepresence pilot roll-out for a hybrid knowledge work organisation (2023)
Conference Proceeding
Boudouraki, A., Fischer, J. E., Reeves, S., & Rintel, S. (2023). Your mileage may vary: Case study of a robotic telepresence pilot roll-out for a hybrid knowledge work organisation. In CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. https://doi.org/10.1145/3544549.3573871

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.

Tasks of a Different Color: How Crowdsourcing Practices Differ per Complex Task Type and Why This Matters (2023)
Conference Proceeding
Wang, Y., Papangelis, K., Lykourentzou, I., Saker, M., Chamberlain, A., Khan, V., …Yue, Y. (2023). Tasks of a Different Color: How Crowdsourcing Practices Differ per Complex Task Type and Why This Matters. In CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. https://doi.org/10.1145/3544548.3581418

Crowdsourcing in China is a thriving industry. Among its most interesting structures, we find crowdfarms, in which crowdworkers self-organize as small organizations to tackle macrotasks. Little, however, is known as to which practices these crowdfarm... Read More about Tasks of a Different Color: How Crowdsourcing Practices Differ per Complex Task Type and Why This Matters.

Infrastructures for Virtual Volunteering at Online Music Festivals (2023)
Journal Article
Benford, S., Manninen, K., Martindale, S., Hazzard, A., Avila, J. P. M., Tennent, P., …Darzentas, D. P. (2023). Infrastructures for Virtual Volunteering at Online Music Festivals. Proceedings of the ACM on Human-Computer Interaction, 7(CSCW1), 1-26. https://doi.org/10.1145/3579498

Volunteering benefits recipients, volunteers, communities, and society, while digital technologies establish new opportunities for virtual volunteering. We describe how volunteers transitioned the UK's long-established Oxjam grassroots music festival... Read More about Infrastructures for Virtual Volunteering at Online Music Festivals.

The Work to Make Facial Recognition Work (2023)
Journal Article
Greiffenhagen, C., Xu, X., & Reeves, S. (2023). The Work to Make Facial Recognition Work. Proceedings of the ACM on Human-Computer Interaction, 7(CSCW1), 1-30. https://doi.org/10.1145/3579531

Facial recognition technology (FRT) has become a significant topic in CSCW owing to widespread adoption and related criticisms: the use of FRT is often considered an assault on privacy or a kind of neo-phrenology. This discussion has revolved around... Read More about The Work to Make Facial Recognition Work.

Layup time for an Automated Fibre Placement process in the framework of a detailed sizing optimisation (2023)
Journal Article
Ntourmas, G., Glock, F., Daoud, F., Schuhmacher, G., Chronopoulos, D., Özcan, E., & Ninić, J. (2023). Layup time for an Automated Fibre Placement process in the framework of a detailed sizing optimisation. Composites Part B: Engineering, 258, Article 110714. https://doi.org/10.1016/j.compositesb.2023.110714

Automatic Fibre Placement manufacturing processes have become the aerospace industry standard for the production of large-scale composite components. Besides the challenges linked with the manufacturing of such components, their design process is als... Read More about Layup time for an Automated Fibre Placement process in the framework of a detailed sizing optimisation.

Instant deep sea debris detection for maneuverable underwater machines to build sustainable ocean using deep neural network (2023)
Journal Article
Huang, B., Chen, G., Zhang, H., Hou, G., & Radenkovic, M. (2023). Instant deep sea debris detection for maneuverable underwater machines to build sustainable ocean using deep neural network. Science of the Total Environment, 878, Article 162826. https://doi.org/10.1016/j.scitotenv.2023.162826

Deep sea debris is any persistent man-made material that ends up in the deep sea. The scale and rapidly increasing amount of sea debris are endangering the health of the ocean. So, many marine communities are struggling for the objective of a clean,... Read More about Instant deep sea debris detection for maneuverable underwater machines to build sustainable ocean using deep neural network.

Type-theoretic approaches to ordinals (2023)
Journal Article
Kraus, N., Nordvall Forsberg, F., & Xu, C. (2023). Type-theoretic approaches to ordinals. Theoretical Computer Science, 957, Article 113843. https://doi.org/10.1016/j.tcs.2023.113843

In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with deciding extensi... Read More about Type-theoretic approaches to ordinals.

A systematic review of artificial intelligence impact assessments (2023)
Journal Article
Stahl, B. C., Antoniou, J., Bhalla, N., Brooks, L., Jansen, P., Lindqvist, B., …Wright, D. (2023). A systematic review of artificial intelligence impact assessments. Artificial Intelligence Review, 56(11), 12799 -12831. https://doi.org/10.1007/s10462-023-10420-8

Artificial intelligence (AI) is producing highly beneficial impacts in many domains, from transport to healthcare, from energy distribution to marketing, but it also raises concerns about undesirable ethical and social consequences. AI impact assessm... Read More about A systematic review of artificial intelligence impact assessments.