All Outputs (2325)

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.

Parallel late acceptance hill-climbing for binary-encoded optimization problems (2025)
Journal Article
Sonuç, E., & Özcan, E. (2025). Parallel late acceptance hill-climbing for binary-encoded optimization problems. International Journal of Optimization and Control: Theories & Applications, 15(2), 110-128. https://doi.org/10.36922/ijocta.1696

This paper presents a Parallel Late Acceptance Hill-Climbing (PLAHC) algorithm for solving binary-encoded optimization problems, with a focus on the Uncapacitated Facility Location Problem (UFLP) and the Maximum Cut Problem (MCP). The experimental re... Read More about Parallel late acceptance hill-climbing for binary-encoded optimization problems.

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.

On the Potential of Fuzzy Integral-based Decision-level Fusion when the Fuzzy Measure is Informed by Densities Alone (2025)
Presentation / Conference Contribution
Huang, Y., & Wagner, C. (2025, July). On the Potential of Fuzzy Integral-based Decision-level Fusion when the Fuzzy Measure is Informed by Densities Alone. Presented at 2025 IEEE International Conference on Fuzzy Systems, Reims, France

Aggregation is key technique in decision-level fusion of classifiers. Beyond affording performance in an ensemble-sense, such aggregation operator based fusion also has the potential to add a substantial layer of interpretability to the overall syste... Read More about On the Potential of Fuzzy Integral-based Decision-level Fusion when the Fuzzy Measure is Informed by Densities Alone.

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. (2025). A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction. ACM Transactions on Human-Robot Interaction, 14(4), Article 58. 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.

Towards More Flexible Fuzzy Membership Functions: Learning from Data (2025)
Presentation / Conference Contribution
Abbasov, F., Chen, C., & Garibaldi, J. M. (2025, July). Towards More Flexible Fuzzy Membership Functions: Learning from Data. Presented at 2025 IEEE International Conference on Fuzzy Systems, Reims, France

Fuzzy systems are widely recognised for their ability to model uncertainty and linguistic knowledge, but their effectiveness often depends on the choice of membership functions. Traditional approaches have relied on membership functions with predefin... Read More about Towards More Flexible Fuzzy Membership Functions: Learning from Data.

A python library for data-driven causal fuzzy classification rule generation --mablars (2025)
Presentation / Conference Contribution
Zhang, T., & Wagner, C. (2025, July). A python library for data-driven causal fuzzy classification rule generation --mablars. Presented at 2025 IEEE International Conference on Fuzzy Systems, Reims, France

A principal focus in fuzzy systems research is on maintaining good performance while providing strong explain-ability, principally by leveraging meaningful sets of human-accessible rules. In practice, while a variety of software tools have been devel... Read More about A python library for data-driven causal fuzzy classification rule generation --mablars.

Counterfactual linguistic rule-based explanations based on locally relevant causal mechanisms (2025)
Presentation / Conference Contribution
Zhang, T., & Wagner, C. (2025, July). Counterfactual linguistic rule-based explanations based on locally relevant causal mechanisms. Presented at 2025 IEEE International Conference on Fuzzy Systems, Reims, France

Counterfactual (CF) explanations provide a potentially powerful mechanism to deliver meaningful explanations of AI decisions. CF explanations are convincing when they reflect causal relationships between variables, because humans are cause-effect thi... Read More about Counterfactual linguistic rule-based explanations based on locally relevant causal mechanisms.

Sharper Specs for Smarter Drones: Formalising Requirements with FRET (2025)
Presentation / Conference Contribution
Sheridan, O., Becker, L. B., Farrell, M., Luckcuck, M., & Monahan, R. (2025, April). Sharper Specs for Smarter Drones: Formalising Requirements with FRET. Presented at 31st International Working Conference, REFSQ 2025, Barcelona, Catalunya, Spain

[Context and motivation] Software requirements are commonly expressed in natural-language, which must be formalised if they are to be used by formal methods such as Runtime Verification (RV), where we verify that an implementation obeys its requireme... Read More about Sharper Specs for Smarter Drones: Formalising Requirements with FRET.

Fuzzy-Based Ensemble Method for Robust Concept Drift Detection in Multivariate Time Series (2025)
Presentation / Conference Contribution
Tavares, L. G., Lima, J., Melo, M., Chen, C., Garibaldi, J. M., Scatena, G. D. S., Costa, A. H. R., Gomi, E. S., Salles, R., Pacitti, E., Santos, I., Siqueira, I. G., Carvalho, D., Coutinho, R., Porto, F., & Ogasawara, E. (2025, June). Fuzzy-Based Ensemble Method for Robust Concept Drift Detection in Multivariate Time Series. Presented at International Joint Conference on Neural Networks (IJCNN 2025), Rome, Italy

Concept drift detection (CDD) is the general problem of identifying significant changes in streaming data distribution over time. Effective drift detection is important in industrial processes such as oil and gas exploration to mitigate financial los... Read More about Fuzzy-Based Ensemble Method for Robust Concept Drift Detection in Multivariate Time Series.

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

High-fidelity wheat plant reconstruction using 3D Gaussian splatting and neural radiance fields (2025)
Journal Article
Pound, M. P., Stuart, L. A., Wells, D. M., Atkinson, J. A., Castle-Green, S., & Walker, J. (2025). High-fidelity wheat plant reconstruction using 3D Gaussian splatting and neural radiance fields. GigaScience, 14, Article giaf022. https://doi.org/10.1093/gigascience/giaf022

Background: The reconstruction of 3-dimensional (3D) plant models can offer advantages over traditional 2-dimensional approaches by more accurately capturing the complex structure and characteristics of different crops. Conventional 3D reconstruction... Read More about High-fidelity wheat plant reconstruction using 3D Gaussian splatting and neural radiance fields.

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.

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.

Meeting of minds: Imagining the future of child and youth mental health research from an early career perspective (2025)
Journal Article
Knight, R., Demkowicz, O., Sprecher, E. A., Gomez Bergin, A. D., Marzetti, H., Petersen, K. J., Kara, B., Sawrikar, V., White, H. J., Parsonage-Harrison, J., Wolstencroft, J., Reardon, T., March, A., McIver, L., Jones, H. J., Clarke, T., Breedvelt, J., & Chatburn, E. (in press). Meeting of minds: Imagining the future of child and youth mental health research from an early career perspective. British Journal of Psychiatry,

Child and youth mental health is an international public health and research priority. We are an interdisciplinary and cross-sectoral network of UK-based early career researchers (ECRs) with an interest in child and youth mental health research. In t... Read More about Meeting of minds: Imagining the future of child and youth mental health research from an early career perspective.

Practical aberration correction using deep transfer learning with limited experimental data (2025)
Journal Article
Kok, Y. E., 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.

Investigating the experiences of providing cyber security support to small- and medium-sized enterprises (2025)
Journal Article
Khan, N., Furnell, S., Bada, M., Rand, M., & Nurse, J. R. (2025). Investigating the experiences of providing cyber security support to small- and medium-sized enterprises. Computers and Security, 154, Article 104448. https://doi.org/10.1016/j.cose.2025.104448

Small- and Medium-Sized Enterprises or SMEs comprise of 99.9 % of all businesses in the UK and make a significant contribution the overall economy. In UK's path to digitalisation, ensuring the cyber security and resilience of SMEs becomes an integral... Read More about Investigating the experiences of providing cyber security support to small- and medium-sized enterprises.