All Outputs (39)

Embrace Angels: an Artistic Exploration of how Humans and Robots can Embrace (2025)
Presentation / Conference Contribution
Lancel, K., Maat, H., Ramchurn, R., Chamberlain, A., Higgins, A., Benford, S., Tennent, P., Woodward, K., Price, D., Giannachi, G., Garrett, R., & Kitsidis, C. (2025, June). Embrace Angels: an Artistic Exploration of how Humans and Robots can Embrace. Presented at Third UK AI Conference 2025, London, UK

Abstract (Poster - Video Presentation)
This video was presented at UK AI The Third UK AI Conference 2025, June 23 - 24, London, UK and relates to Embrace Angels.

Conference
https://uk-ai.org/ukai2025/

Acknowledgements
The Turing AI World Lea... Read More about Embrace Angels: an Artistic Exploration of how Humans and Robots can Embrace.

AI Lens: A Live Generative AI Camera System for Dynamic Image Transformation (2025)
Presentation / Conference Contribution
Ramchurn, R., Chamberlain, A., Higgins, A., Benford, S., Tennent, P., Woodward, K., Price, D., Giannachi, G., Garrett, R., Kitsidis, C., Lancel, K., & Maat, H. (2025, June). AI Lens: A Live Generative AI Camera System for Dynamic Image Transformation. Presented at Third UK AI Conference 2025, London, UK

Abstract (Poster - Video Presentation)
This paper introduces AI Lens, a novel AI-powered camera system that applies live generative transformations to video in real time. By replacing a traditional camera monitor with AI-generated imagery, the syste... Read More about AI Lens: A Live Generative AI Camera System for Dynamic Image Transformation.

AI and Intelligent Synthetic Skin: Advancing Beyond Human Skin for Sensory Human-Robot Interaction (HRI) (2025)
Presentation / Conference Contribution
Zhou, F., Chamberlain, A., & Benford, S. (2025, June). AI and Intelligent Synthetic Skin: Advancing Beyond Human Skin for Sensory Human-Robot Interaction (HRI). Poster presented at Third UK AI Conference 2025, London, UK

We present a wearable toolkit designed to enhance shared perception between humans and robots, facilitating real-time data collection to support embedded AI based applications. Advancements in wearable sensor-based technologies mean there are opportu... Read More about AI and Intelligent Synthetic Skin: Advancing Beyond Human Skin for Sensory Human-Robot Interaction (HRI).

Exploring Deaf And Hard of Hearing Peoples' Perspectives On Tasks In Augmented Reality: Interacting With 3D Objects And Instructional Comprehension (2025)
Presentation / Conference Contribution
Mojib Luna, S., Xu, J., Tigwell, G. W., LaLone, N., Saker, M., Chamberlain, A., Schwartz, D. I., & Papangelis, K. (2025, April). Exploring Deaf And Hard of Hearing Peoples' Perspectives On Tasks In Augmented Reality: Interacting With 3D Objects And Instructional Comprehension. Presented at 2025 CHI Conference on Human Factors in Computing Systems, Yokohama, Japan

Tasks in augmented reality (AR), such as 3D interaction and instructional comprehension, are often designed for users with uniform sensory abilities. Such an approach, however, can overlook the more nuanced needs of Deaf and Hard of Hearing (DHH) use... Read More about Exploring Deaf And Hard of Hearing Peoples' Perspectives On Tasks In Augmented Reality: Interacting With 3D Objects And Instructional Comprehension.

Adaptive XAI: Advancing Intelligent Interfaces for Tailored AI Explanations (2nd Edition) (2025)
Presentation / Conference Contribution
Turchi, T., Malizia, A., Paternò, F., Borsci, S., Chamberlain, A., & Fish, A. (2025, March). Adaptive XAI: Advancing Intelligent Interfaces for Tailored AI Explanations (2nd Edition). Presented at ACM 30th Conference on Intelligent User Interfaces (ACM IUI) 2025, Cagliari, Italy

As artificial intelligence becomes increasingly embedded in daily decision-making processes, the need for effective communication between humans and AI systems grows more crucial. The Adaptive XAI (AXAI) workshop, now in its second edition, focuses o... Read More about Adaptive XAI: Advancing Intelligent Interfaces for Tailored AI Explanations (2nd Edition).

Robots in Pain, Humans in Play: Soma as a Qualitative Method for Investigating Intelligent Human-Robot Configurations (2025)
Presentation / Conference Contribution
Chamberlain, A., Ngo, V., McGarry, G., Kucukyilmaz, A., Benford, S., & Higgins, A. (2025, February). Robots in Pain, Humans in Play: Soma as a Qualitative Method for Investigating Intelligent Human-Robot Configurations. Presented at Designing for Bodies: Practices, Imaginaries and Discourses, University of Southern Denmark, Kolding

In this piece we start to explore the ways in which we somatise our interaction with robots as a symbiotic system - both as human and robot, and as human-robot. We also consider the ways that we might want to take our physical nature (existence), for... Read More about Robots in Pain, Humans in Play: Soma as a Qualitative Method for Investigating Intelligent Human-Robot Configurations.

Neural Network Assisted Genetic Programming in Dynamic Container Port Truck Dispatching (2023)
Presentation / Conference Contribution
Chen, X., Bao, F., Qu, R., Dong, J., & Bai, R. (2023, September). Neural Network Assisted Genetic Programming in Dynamic Container Port Truck Dispatching. Presented at 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), Bilbao, Spain

Efficient truck dispatching is crucial for container port operations. Dynamic container port truck dispatching, a complex online optimization problem, poses significant challenges due to its uncertain and non-linear nature. This paper presents a nove... Read More about Neural Network Assisted Genetic Programming in Dynamic Container Port Truck Dispatching.

Ethical Concerns and Perceptions of Consumer Neurotechnology from Lived Experiences of Mental Workload Tracking (2022)
Presentation / Conference Contribution
Midha, S., Wilson, M. L., & Sharples, S. (2022, June). Ethical Concerns and Perceptions of Consumer Neurotechnology from Lived Experiences of Mental Workload Tracking. Presented at FAccT '22: 2022 ACM Conference on Fairness, Accountability, and Transparency, Seoul Republic of Korea

With rapid growth in the development of consumer neurotechnology, it is imperative to consider the ethical implications that this might have in order to minimise consumer harm. Whilst ethical and legal guidelines for commercialisation have previously... Read More about Ethical Concerns and Perceptions of Consumer Neurotechnology from Lived Experiences of Mental Workload Tracking.

Lived Experiences of Mental Workload in Everyday Life (2022)
Presentation / Conference Contribution
Midha, S., Wilson, M. L., & Sharples, S. (2022, April). Lived Experiences of Mental Workload in Everyday Life. Presented at CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans LA USA

We can now buy consumer brain-computer interface devices to help us meditate and focus, but what are we aiming to achieve? Mental workload (MWL) is an established concept, and as a form of personal data could be useful for making positive life change... Read More about Lived Experiences of Mental Workload in Everyday Life.

Mediated Visits: Longitudinal Domestic Dwelling with Mobile Robotic Telepresence (2022)
Presentation / Conference Contribution
Boudouraki, A., Reeves, S., Fischer, J. E., & Rintel, S. (2022, April). Mediated Visits: Longitudinal Domestic Dwelling with Mobile Robotic Telepresence. Presented at CHI '22: CHI Conference on Human Factors in Computing Systems, New Orleans LA USA

Mobile Robotic Telepresence (MRP) systems are remotely controlled, mobile videoconferencing devices that allow the remote user to move independently and have a physical presence in the environment. This paper presents a longitudinal study of MRP use... Read More about Mediated Visits: Longitudinal Domestic Dwelling with Mobile Robotic Telepresence.

The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production (2021)
Presentation / Conference Contribution
McGarry, G., Chamberlain, A., Crabtree, A., & Greenhalgh, C. (2021, September). The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production. Presented at Audio Mostly 2021, Trento University, Italy

In this paper we report on two ethnographic studies of professional music producers at work in their respective studio settings, to underpin the design of intelligent tools and platforms in this domain. The studies are part of a body of work that exp... Read More about The Meaning in "the Mix": Using Ethnography to Inform the Design of Intelligent Tools in the Context of Music Production.

Connecting Constructive Notions of Ordinals in Homotopy Type Theory (2021)
Presentation / Conference Contribution
Kraus, N., Nordvall Forsberg, F., & Xu, C. (2021, August). Connecting Constructive Notions of Ordinals in Homotopy Type Theory. Presented at 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Tallinn, Estonia

In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions of ordinal... Read More about Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies (2021)
Presentation / Conference Contribution
Galvez Trigo, M. J., Porcheron, M., Egede, J., Fischer, J. E., Hazzard, A., Greenhalgh, C., Bodiaj, E., & Valstar, M. (2021, July). ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies. Presented at CUI 2021 : Third Conference on Conversational User Interfaces, Bilbao (online), Spain

We present ALTCAI, a Wizard of Oz Embodied Conversational Agent that has been developed to explore the use of interactive agents as an effective and engaging tool for delivering health and well-being advice to expectant and nursing mothers in Nigeria... Read More about ALTCAI: Enabling the Use of Embodied Conversational Agents to Deliver Informal Health Advice during Wizard of Oz Studies.

Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic (2021)
Presentation / Conference Contribution
Benford, S., Mansfield, P., & Spence, J. (2021, May). Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic. Presented at CHI '21: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, Yokohama Japan

The global pandemic has driven musicians online. We report an ethnographic account of how two traditional folk clubs with little previous interest in digital platforms transitioned to online experiences. They followed very different approaches: one a... Read More about Producing Liveness: The Trials of Moving Folk Clubs Online During the Global Pandemic.

Creating a Digital Mirror of Creative Practice (2021)
Presentation / Conference Contribution
Johnson, C. (2021, April). Creating a Digital Mirror of Creative Practice. Presented at 10th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMUSART 2021), Online

This paper describes an ongoing project to create a “digital mirror” to my practice as a composer of contemporary classical music; that is, a system that takes descriptions (in code) of aspects of that practice, and reflects them back as computer-gen... Read More about Creating a Digital Mirror of Creative Practice.

Constructing a universe for the setoid model (2021)
Presentation / Conference Contribution
Altenkirch, T., Boulier, S., Kaposi, A., Sattler, C., & Sestini, F. (2021, March). Constructing a universe for the setoid model. Presented at 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), Online

The setoid model is a model of intensional type theory that validates certain extensionality principles, like function extensionality and propositional extensionality, the latter being a limited form of univalence that equates logically equivalent pr... Read More about Constructing a universe for the setoid model.

Software Fault Localisation via Probabilistic Modelling (2020)
Presentation / Conference Contribution
Johnson, C. (2020, December). Software Fault Localisation via Probabilistic Modelling. Presented at 40th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI 2020), Online

Software development is a complex activity requiring intelligent action. This paper explores the use of an AI technique for one step in software development, viz. detecting the location of a fault in a program. A measure of program progress is propos... Read More about Software Fault Localisation via Probabilistic Modelling.

Further Exploration of Necrotic Control of Evolved Art (2020)
Presentation / Conference Contribution
Ashlock, D., & Greensmith, J. (2020, December). Further Exploration of Necrotic Control of Evolved Art. Presented at 2020 IEEE Symposium Series on Computational Intelligence (SSCI), Canberra, ACT, Australia

This study is the second in investigating the use of necrosis based filtration as a method of steering evolutionary algorithms to create evolved art. We use a technique inspired by the danger theory of immune system activation - a method employed in... Read More about Further Exploration of Necrotic Control of Evolved Art.

Big Step Normalisation for Type Theory (2020)
Presentation / Conference Contribution
Altenkirch, T., & Geniet, C. Big Step Normalisation for Type Theory. Presented at 25th International Conference on Types for Proofs and Programs (TYPES 2019), Oslo, Norway

Big step normalisation is a normalisation method for typed lambda-calculi which relies on a purely syntactic recursive evaluator. Termination of that evaluator is proven using a predicate called strong computability, similar to the techniques used to... Read More about Big Step Normalisation for Type Theory.

From sharing to gifting: A web app for deepening engagement (2020)
Presentation / Conference Contribution
Adams, M., Spence, J., Clark, S., Farr, J. R., Benford, S., & Tandavanitj, N. (2020, July). From sharing to gifting: A web app for deepening engagement. Presented at EVA London 2020, London, UK

Visitors currently use social media to share their experiences in museums, but these interactions are often short, quick and superficial. Is it possible to transform the impulse to share into an act of generosity, deepening engagement with museum col... Read More about From sharing to gifting: A web app for deepening engagement.