Outputs (2249)

Exploring the Potential of Conversational AI Support for Agent-Based Social Simulation Model Design (2025)
Journal Article
Siebers, P.-O. (in press). Exploring the Potential of Conversational AI Support for Agent-Based Social Simulation Model Design. Journal of Artificial Societies and Social Simulation,

ChatGPT, the AI-powered chatbot with a massive user base of hundreds of millions, has become a global phenomenon. However, the use of Conversational AI Systems (CAISs) like ChatGPT for research in the field of Social Simulation is still limited. Spec... Read More about Exploring the Potential of Conversational AI Support for Agent-Based Social Simulation Model Design.

The graphical theory of monads (2025)
Journal Article
Hinze, R., & Marsden, D. (2025). The graphical theory of monads. Journal of Functional Programming, 35, Article e11. https://doi.org/10.1017/S095679682500005X

The formal theory of monads shows that much of the theory of monads can be developed in the abstract at the level of 2-categories. This means that results about monads can established once and for all, and simply instantiated in settings such as enri... Read More about The graphical theory of monads.

A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction (2025)
Journal Article
Abioye, A. O., Hunt, W., Gu, Y., Schneiders, E., Naiseh, M., Archibald, B., Sevegnani, M., Ramchurn, S. D., Fischer, J. E., & Soorati, M. D. (in press). A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction. ACM Transactions on Human-Robot Interaction, https://doi.org/10.1145/3727989

Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circumstances. We conducted a user study evaluation of predictive formal mode... Read More about A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction.

A labeled Clinical-MRI dataset of Nigerian brains (2025)
Journal Article
Wogu, E., Filima, P., Caron, B., Deabler, D., Herholz, P., Leal, C., Mehboob, M. F., Kim, S., Gosain, A., Flexwala, A., Hayashi, S., Akintoye, S., Ogoh, G., Godwin, T., Eke, D., & Pestilli, F. (in press). A labeled Clinical-MRI dataset of Nigerian brains. Scientific Data, 12(3), Article 518. https://doi.org/10.1038/s41597-025-04743-0

There is currently a paucity of neuroimaging data from the African continent, limiting the diversity of data from a significant proportion of the global population. This in turn diminishes global health research and innovation. To address this issue,... Read More about A labeled Clinical-MRI dataset of Nigerian brains.

How Artists Improvise and Provoke Robotics (2025)
Presentation / Conference Contribution
Benford, S., Garrett, R., Schneiders, E., Tennent, P., Chamberlain, A., Avila, J., Brundell, P., & Castle-Green, S. (2024, October). How Artists Improvise and Provoke Robotics. Poster presented at 16th International Conference on Social Robotics + AI (ICSR + AI) 2024, Odense, Denmark

We explore transdisciplinary collaborations between artists and roboticists across a portfolio of artworks. Brendan Walker's Bronco-matic was a breath controlled mechanical rodeo bull ride. Blast Theory's Cat Royale deployed a robot arm to play with... Read More about How Artists Improvise and Provoke Robotics.

Dancing with a Robot: An Experimental Study of Child-Robot Interaction in a Performative Art Setting (2025)
Presentation / Conference Contribution
Ngo, V. Z. H., Patel, R., Ramchurn, R., Chamberlain, A., & Kucukyilmaz, A. (2024, October). Dancing with a Robot: An Experimental Study of Child-Robot Interaction in a Performative Art Setting. Presented at International Conference on Social Robotics (ICSR), Odense, Denmark

This paper presents an evaluation of 18 children's in-the-wild experiences with the autonomous robot arm performer NED (Never-Ending Dancer) within the Thingamabobas installation, showcased across the UK. We detail NED's design, including costume, be... Read More about Dancing with a Robot: An Experimental Study of Child-Robot Interaction in a Performative Art Setting.

Practical Aberration Correction using Deep Transfer Learning with Limited Experimental Data (2025)
Journal Article
Kok, Y. E. N., Bentley, A., Parkes, A. J., Somekh, M. G., Wright, A. J., & Pound, M. P. (2025). Practical Aberration Correction using Deep Transfer Learning with Limited Experimental Data. Optics Express, 33(6), 14431-14444. https://doi.org/10.1364/oe.557993

Adaptive optics is a technique for correcting aberrations and improving image quality. When adaptive optics was first used in microscopy, it was common to rely on iterative approaches to determine the aberrations present. It is advantageous to avoid... Read More about Practical Aberration Correction using Deep Transfer Learning with Limited Experimental Data.

Cloud Detection Challenge -Methods and Results (2025)
Journal Article
Chisari, A. B., Guarnera, L., Ortis, A., Patatu, W. C., Casella, B., Naso, L., Puglisi, G., Del Zoppo, V., Giuffrida, M. V., & Battiato, S. (2025). Cloud Detection Challenge -Methods and Results. IEEE Access, https://doi.org/10.1109/ACCESS.2025.3553422

Accurate cloud detection is critical for advancing atmospheric monitoring and meteorological forecasting. This paper presents the Cloud Detection Challenge, an initiative aimed at enhancing cloud detection through innovative solutions using lidar-bas... Read More about Cloud Detection Challenge -Methods and Results.

Tangles: Unpacking Extended Collision Experiences with Soma Trajectories (2025)
Journal Article
Benford, S., Garrett, R., Li, C., Tennent, P., NÚÑEZ-PACHECO, C., Núñez-Pacheco, C., Kucukyilmaz, A., Tsaknaki, V., HÖÖK, K., Höök, K., Caleb-Solly, P., Marshall, J., Schneiders, E., Popova, K., & Afana, J. (in press). Tangles: Unpacking Extended Collision Experiences with Soma Trajectories. ACM Transactions on Computer-Human Interaction, https://doi.org/10.1145/3723875

We reappraise the idea of colliding with robots, moving from a position that tries to avoid or mitigate collisions to one that considers them an important facet of human interaction. We report on a soma design workshop that explored how our bodies co... Read More about Tangles: Unpacking Extended Collision Experiences with Soma Trajectories.

H is for Human and How (Not) To Evaluate Qualitative Research in HCI (2025)
Journal Article
Crabtree, A. (2025). H is for Human and How (Not) To Evaluate Qualitative Research in HCI. Human-Computer Interaction, 1-24. https://doi.org/10.1080/07370024.2025.2475743

Concern has recently been expressed by HCI researchers as to the inappropriate treatment of qualitative studies through a positivistic mode of evaluation that places emphasis on measurement and metrics. This contrasts with the nature of qualitative r... Read More about H is for Human and How (Not) To Evaluate Qualitative Research in HCI.