Outputs (2066)

Epimorphisms and acyclic types in univalent foundations (2024)
Journal Article
Buchholtz, U., De Jong, T., & Rijke, E. (in press). Epimorphisms and acyclic types in univalent foundations. Journal of Symbolic Logic,

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.

Augmenting Musical Instruments with Digital Identities (2024)
Journal Article
Benford, S., Mcgarry, G., Hazzard, A., Gibson, R., Avila, J., Chamberlain, A., & Mcgarry, G. (in press). Augmenting Musical Instruments with Digital Identities. Journal of New Music Research,

We explore how augmenting musical instruments with digital identities can enhance their provenance, utility during creative practice, and personal meaning. A literature review reveals the importance of object identities in general and instrument iden... Read More about Augmenting Musical Instruments with Digital Identities.

Impact over metrics: Turing and the ultimate contribution of cryptology (2024)
Journal Article
Furnell, S. (2024). Impact over metrics: Turing and the ultimate contribution of cryptology. Computer Journal, Article bxae103. https://doi.org/10.1093/comjnl/bxae103

Amongst his many lasting contributions, Alan Turing’s name is strongly linked to the domain of cryptology, particularly due to his pioneering wartime work in cryptanalysis. However, the fact that his work remained classified until many years later ha... Read More about Impact over metrics: Turing and the ultimate contribution of cryptology.

Machine Learning Pipeline for Energy and Environmental Prediction in Cold Storage Facilities (2024)
Journal Article
Alkhulaifi, N., Bowler, A. L., Pekaslan, D., Serdaroglu, G., Closs, S., Watson, N. J., & Triguero, I. (2024). Machine Learning Pipeline for Energy and Environmental Prediction in Cold Storage Facilities. IEEE Access, 12, 153935-153951. https://doi.org/10.1109/access.2024.3482572

As energy demands and costs rise, enhancing energy efficiency in Food and Drink Cold Storage (FDCS) rooms is important for reducing expenses and achieving environmental sustainability ambitions. Forecasting electricity use in FDCSs can help optimise... Read More about Machine Learning Pipeline for Energy and Environmental Prediction in Cold Storage Facilities.

Towards trustworthy medical AI ecosystems – a proposal for supporting responsible innovation practices in AI-based medical innovation (2024)
Journal Article
Herzog, C., Blank, S., & Stahl, B. C. (2024). Towards trustworthy medical AI ecosystems – a proposal for supporting responsible innovation practices in AI-based medical innovation. AI & Society, https://doi.org/10.1007/s00146-024-02082-z

In this article, we explore questions about the culture of trustworthy artificial intelligence (AI) through the lens of ecosystems. We draw on the European Commission’s Guidelines for Trustworthy AI and its philosophical underpinnings. Based on the l... Read More about Towards trustworthy medical AI ecosystems – a proposal for supporting responsible innovation practices in AI-based medical innovation.

Enhanced Infant Movement Analysis Using Transformer-Based Fusion of Diverse Video Features for Neurodevelopmental Monitoring (2024)
Journal Article
Turner, A., & Sharkey, D. (2024). Enhanced Infant Movement Analysis Using Transformer-Based Fusion of Diverse Video Features for Neurodevelopmental Monitoring. Sensors, 24(20), Article 6619. https://doi.org/10.3390/s24206619

Neurodevelopment is a highly intricate process, and early detection of abnormalities is critical for optimizing outcomes through timely intervention. Accurate and cost-effective diagnostic methods for neurological disorders, particularly in infants,... Read More about Enhanced Infant Movement Analysis Using Transformer-Based Fusion of Diverse Video Features for Neurodevelopmental Monitoring.

Designing Prosocial More-Than-Human Rhetoric within Experiential Futures (2024)
Presentation / Conference Contribution
Coulton, P., Stead, M., Pilling, M., Crabtree, A., Chamberlain, A., & Sailaja, N. (2024, October). Designing Prosocial More-Than-Human Rhetoric within Experiential Futures. Presented at Mindtrek 2024, Tampere, Finland

While prosocial behaviour is often described as behaviour intended to help and benefit others, it is primarily considered through an anthropocentric lens in that the others in question are principally humans. In this research, we consider designed sy... Read More about Designing Prosocial More-Than-Human Rhetoric within Experiential Futures.

Rethinking ethics in interdisciplinary and big data-driven neuroscience projects (2024)
Journal Article
Stahl, B. C., Ogoh, G., Schumann, G., Walter, H., On behalf of the environMENTAL consortium, Walter, H., Heinz, A., Ralser, M., Twardziok, S., Vaidya, N., Bernas, A., Serin, E., Jentsch, M., Hitchen, E., Polemiti, E., Kebir, H., Lett, T. A., Roy, J.-C., Eils, R., Taron, U.-H., …Ogoh, G. (2024). Rethinking ethics in interdisciplinary and big data-driven neuroscience projects. nature mental health, 2, 1128–1130. https://doi.org/10.1038/s44220-024-00320-3

Local cryptic diversity in salinity adaptation mechanisms in the wild outcrossing Brassica fruticulosa (2024)
Journal Article
Busoms, S., da Silva, A. C., Escolà, G., Abdilzadeh, R., Curran, E., Bollmann-Giolai, A., Bray, S., Wilson, M., Poschenrieder, C., & Yant, L. (2024). Local cryptic diversity in salinity adaptation mechanisms in the wild outcrossing Brassica fruticulosa. Proceedings of the National Academy of Sciences, 121(40), Article e2407821121. https://doi.org/10.1073/pnas.2407821121

It is normally supposed that populations of the same species should evolve shared mechanisms of adaptation to common stressors due to evolutionary constraint. Here, we describe a system of within-species local adaptation to coastal habitats, Brassica... Read More about Local cryptic diversity in salinity adaptation mechanisms in the wild outcrossing Brassica fruticulosa.

Deep learning solver unites SDGSAT-1 observations and Navier–Stokes theory for oceanic vortex streets (2024)
Journal Article
Gao, H., Huang, B., Chen, G., Xia, L., & Radenkovic, M. (2024). Deep learning solver unites SDGSAT-1 observations and Navier–Stokes theory for oceanic vortex streets. Remote Sensing of Environment, 315, Article 114425. https://doi.org/10.1016/j.rse.2024.114425

The world’s first scientific satellite for sustainable development goals (SDGSAT-1) provides valuable data about offshore small-scale ocean phenomena, including the Kármán vortex street phenomenon. Although the simulation of the oce... Read More about Deep learning solver unites SDGSAT-1 observations and Navier–Stokes theory for oceanic vortex streets.