Outputs (2147)

Making Sense of Public Space for Robot Design (2025)
Presentation / Conference Contribution
Pelikan, H. R. M., Mutlu, B., & Reeves, S. (2025, March). Making Sense of Public Space for Robot Design. Presented at HRI 2025, Melbourne, Australia

If robots are to be deployed in public places, we need to understand what factors their design should consider. Informed by sociological studies of urban settings, particularly the work of William H. Whyte and the Street Life Project, we describe fou... Read More about Making Sense of Public Space for Robot Design.

Into the Here and Now: Explorations within a New Acoustic Virtual Reality (2025)
Journal Article
Cliffe, L. (2025). Into the Here and Now: Explorations within a New Acoustic Virtual Reality. Leonardo, 118-124. https://doi.org/10.1162/leon_a_02651

The author reflects upon listeners’ experiences and the practice of developing a number of audio augmented reality sound installations deployed between 2019 and 2020. The installations realized audio augmented objects: physical real-world objects aug... Read More about Into the Here and Now: Explorations within a New Acoustic Virtual Reality.

Epimorphisms and acyclic types in univalent foundations (2025)
Journal Article
Buchholtz, U., De Jong, T., & Rijke, E. (in press). Epimorphisms and acyclic types in univalent foundations. Journal of Symbolic Logic, 1-36. https://doi.org/10.1017/jsl.2024.76

We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent foundations. We prese... Read More about Epimorphisms and acyclic types in univalent foundations.

Locating the Ethics of ChatGPT — Ethical Issues as Affordances in AI Ecosystems (2025)
Journal Article
Carsten Stahl, B. (2025). Locating the Ethics of ChatGPT — Ethical Issues as Affordances in AI Ecosystems. Information, 16(2), Article 104. https://doi.org/10.3390/info16020104

ChatGPT is a high-profile technology that has inspired broad discussions about its capabilities and likely consequences. There has been much debate concerning ethical issues that it raises which are typically described as potentially harmful (or bene... Read More about Locating the Ethics of ChatGPT — Ethical Issues as Affordances in AI Ecosystems.

HCat-GNet: a Human-Interpretable GNN Tool for Ligand Optimization in Asymmetric Catalysis (2025)
Journal Article
Aguilar-Bejarano, E., Özcan, E., Rit, R. K., Li, H., Lam, H. W., Moore, J. C., Woodward, S., & Figueredo, G. (2025). HCat-GNet: a Human-Interpretable GNN Tool for Ligand Optimization in Asymmetric Catalysis. iScience, Article 111881. https://doi.org/10.1016/j.isci.2025.111881

Optimization of metal-ligand asymmetric catalysts is usually done by empirical trials, where the ligand is arbitrary modified, and the new catalyst is re-evaluated in the lab. This procedure is not efficient and alternative strategies are highly desi... Read More about HCat-GNet: a Human-Interpretable GNN Tool for Ligand Optimization in Asymmetric Catalysis.

Experiencing the Future Mundane: Configuring Design Fiction as Breaching Experiment (2025)
Journal Article
Crabtree, A., Lodge, T., Sailaja, N., Chamberlain, A., Coulton, P., Pilling, M., & Forrester, I. (in press). Experiencing the Future Mundane: Configuring Design Fiction as Breaching Experiment. Human-Computer Interaction, https://doi.org/10.1080/07370024.2025.2454555

This paper introduces a novel methodological approach for surfacing the acceptability and adoption challenges that confront future and emerging technologies from the perspective of mundane action, in which they will ultimately be embedded and used. T... Read More about Experiencing the Future Mundane: Configuring Design Fiction as Breaching Experiment.

Performance metrics outperform physiological indicators in robotic teleoperation workload assessment (2024)
Journal Article
Odoh, G., Landowska, A., Crowe, E. M., Benali, K., Cobb, S., Wilson, M. L., Maior, H. A., & Kucukyilmaz, A. (2024). Performance metrics outperform physiological indicators in robotic teleoperation workload assessment. Scientific Reports, 14(1), Article 30984. https://doi.org/10.1038/s41598-024-82112-4

Robotics holds the potential to streamline the execution of repetitive and dangerous tasks, which are difficult or impossible for a human operator. However, in complex scenarios, such as nuclear waste management or disaster response, full automation... Read More about Performance metrics outperform physiological indicators in robotic teleoperation workload assessment.

Safe Robot Reflexes: A Taxonomy-based Decision and Modulation Framework (2024)
Journal Article
Vorndamme, J., Melone, A., Kirschner, R., Figueredo, L., & Haddadin, S. (2024). Safe Robot Reflexes: A Taxonomy-based Decision and Modulation Framework. IEEE Transactions on Robotics, 1-20. https://doi.org/10.1109/tro.2024.3519421

Recent advances in control and planning allow for seamless physical human-robot interaction (pHRI). At the same time, novel challenges appear in orchestrating intelligent decision-making and ensuring safe control of robots. Particularly in scenarios... Read More about Safe Robot Reflexes: A Taxonomy-based Decision and Modulation Framework.

An example of goal-directed, calculational proof (2024)
Journal Article
Backhouse, R. C., Guttmann, W., & Winter, M. (2024). An example of goal-directed, calculational proof. Journal of Functional Programming, 34, Article e13. https://doi.org/10.1017/s095679682400011x

An equivalence relation can be constructed from a given (homogeneous, binary) relation in two steps: first, construct the smallest reflexive and transitive relation containing the given relation (the “star” of the relation) and, second, construct the... Read More about An example of goal-directed, calculational proof.

Interfacing with history: curating with audio augmented objects (2024)
Journal Article
Cliffe, L. (2024). Interfacing with history: curating with audio augmented objects. Museum Management and Curatorship, 1-19. https://doi.org/10.1080/09647775.2024.2431899

This article presents and discusses the results from visitors’ interactions with two audio augmented reality experiences containing audio augmented objects; physical, real-world objects to which virtual audio sources have been attached. It then proce... Read More about Interfacing with history: curating with audio augmented objects.