Skip to main content

Research Repository

Advanced Search

Outputs (2195)

Coloured Petri Nets-based Approach for Modelling Effects of Variation on the Reliability of the Newborn Life Support Procedure (2025)
Journal Article
Tan, A., Remenyte-Prescott, R., Egede, J., Sharkey, D., & Valstar, M. (2025). Coloured Petri Nets-based Approach for Modelling Effects of Variation on the Reliability of the Newborn Life Support Procedure. Reliability Engineering & System Safety, 260, Article 111001. https://doi.org/10.1016/j.ress.2025.111001

About 10% of newborns need a life support procedure following birth. However, this procedure has a considerable error rate of more than 25%, which may compromise its safety and reliability. Continuous studies to improve its performance are carried ou... Read More about Coloured Petri Nets-based Approach for Modelling Effects of Variation on the Reliability of the Newborn Life Support Procedure.

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.

Work Hard, Play Harder: Intense Games Enable Recovery from High Mental Workload Tasks (2025)
Presentation / Conference Contribution
Zhao, L., Knierim, M. T., Wilson, M. L., Dickinson, P., & Maior, H. A. (2025, April). Work Hard, Play Harder: Intense Games Enable Recovery from High Mental Workload Tasks. Presented at CHI '25: CHI Conference on Human Factors in Computing Systems, Yokohama, Japan

Playing games has been shown to be an effective method of post- work recovery. Previous research has shown that gameplay with high cognitive involvement is effective for recovery. This finding conflicts with models of mental workload (MWL), which sug... Read More about Work Hard, Play Harder: Intense Games Enable Recovery from High Mental Workload Tasks.

FAIR African brain data: challenges and opportunities (2025)
Journal Article
Wogu, E., Ogoh, G., Filima, P., Nsaanee, B., Caron, B., Pestilli, F., & Eke, D. (2025). FAIR African brain data: challenges and opportunities. Frontiers in Neuroinformatics, 19, Article 1530445. https://doi.org/10.3389/fninf.2025.1530445

Introduction: The effectiveness of research and innovation often relies on the diversity or heterogeneity of datasets that are Findable, Accessible, Interoperable and Reusable (FAIR). However, the global landscape of brain data is yet to achieve desi... Read More about FAIR African brain data: challenges and opportunities.

Responsible Generative AI for SMEs in UK and Africa Case Study Cocreation Workshop Report (2025)
Report
Ochang, P., Eke, D., Stahl, B., Cameron, H., Buckley, M., Poder, I., & Rodrigues, R. (2025). Responsible Generative AI for SMEs in UK and Africa Case Study Cocreation Workshop Report. ESPRC and RAI UK

The University of Nottingham hosted a co-creational workshop from 29th to 31st January at the Jubilee Hotel & Conference facilities, bringing together participants from the RAISE project’s case studies across the UK and Africa. The workshop focused o... Read More about Responsible Generative AI for SMEs in UK and Africa Case Study Cocreation Workshop Report.

H is for Human and How (Not) To Evaluate Qualitative Research in HCI (2025)
Journal Article
Crabtree, A. (in press). H is for Human and How (Not) To Evaluate Qualitative Research in HCI. Human-Computer Interaction,

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.

Generating new cellular structures for additive manufacturing through an unconditional 3D latent diffusion model (2025)
Journal Article
Yu, L., Kok, Y. E., Parry, L., Özcan, E., & Maskery, I. (2025). Generating new cellular structures for additive manufacturing through an unconditional 3D latent diffusion model. Additive Manufacturing, Article 104712. https://doi.org/10.1016/j.addma.2025.104712

Advances in additive manufacturing (AM) have facilitated the fabrication of cellular structures inspired by those in the natural world. But the design of complex, tessellating cellular structures remains a challenge for human designers, and only a sm... Read More about Generating new cellular structures for additive manufacturing through an unconditional 3D latent diffusion model.

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