Outputs (2135)

Quotient Haskell: Lightweight Quotient Types for All (2024)
Journal Article
Hewer, B., & Hutton, G. (2024). Quotient Haskell: Lightweight Quotient Types for All. Proceedings of the ACM on Programming Languages, 8(POPL), 785-815. https://doi.org/10.1145/3632869

Subtypes and quotient types are dual type abstractions. However, while subtypes are widely used both explicitly and implicitly, quotient types have not seen much practical use outside of proof assistants. A key difficulty to wider adoption of quotie... Read More about Quotient Haskell: Lightweight Quotient Types for All.

Comparing different approaches of agent-based occupancy modelling for predicting realistic electricity consumption in office buildings (2023)
Journal Article
Mashuk, M. S., Pinchin, J., Siebers, P.-O., & Moore, T. (2024). Comparing different approaches of agent-based occupancy modelling for predicting realistic electricity consumption in office buildings. Journal of Building Engineering, 84, Article 108420. https://doi.org/10.1016/j.jobe.2023.108420

Having a good grasp on modelling the dynamics of occupants for estimating electricity consumption in office buildings is a vital asset for realistic predictions. Nowadays, agent-based models are widely used for this purpose. Previous approaches to mo... Read More about Comparing different approaches of agent-based occupancy modelling for predicting realistic electricity consumption in office buildings.

Ethics of Artificial Intelligence: Case Studies and Options for Addressing Ethical Challenges (2023)
Book
Stahl, B. C., Schroeder, D., & Rodrigues, R. (2023). Ethics of Artificial Intelligence: Case Studies and Options for Addressing Ethical Challenges. Springer. https://doi.org/10.1007/978-3-031-17040-9

This open access collection of AI ethics case studies is the first book to present real-life case studies combined with commentaries and strategies for overcoming ethical challenges. Case studies are one of the best ways to learn about ethical dilemm... Read More about Ethics of Artificial Intelligence: Case Studies and Options for Addressing Ethical Challenges.

Responsible AI in Africa: Challenges and Opportunities (2023)
Book
Akintoye, S., Eke, D. O., & Wakunuma, K. (Eds.). (2023). Responsible AI in Africa: Challenges and Opportunities. Palgrave Macmillan. https://doi.org/10.1007/978-3-031-08215-3

This open access book contributes to the discourse of Responsible Artificial Intelligence (AI) from an African perspective. It is a unique collection that brings together prominent AI scholars to discuss AI ethics from theoretical and practical Afric... Read More about Responsible AI in Africa: Challenges and Opportunities.

Exploring Effects of a Nostalgic Storytelling Virtual Reality Experience Beyond Hedonism (2023)
Journal Article
Huang, Y., Benford, S., Spence, J., & Blake, H. (2024). Exploring Effects of a Nostalgic Storytelling Virtual Reality Experience Beyond Hedonism. Cyberpsychology, Behavior, and Social Networking, 27(3), 221-226. https://doi.org/10.1089/cyber.2023.0183

In this study, we tested the effect of a nostalgic storytelling virtual reality (VR) experience (vs. a text-reading neutral VR experience as the comparison condition) on state-level eudaimonic well-being and explored the underlying mediating mechanis... Read More about Exploring Effects of a Nostalgic Storytelling Virtual Reality Experience Beyond Hedonism.

CapMatch: Semi-Supervised Contrastive Transformer Capsule With Feature-Based Knowledge Distillation for Human Activity Recognition (2023)
Journal Article
Xiao, Z., Tong, H., Qu, R., Xing, H., Luo, S., Zhu, Z., Song, F., & Feng, L. (2023). CapMatch: Semi-Supervised Contrastive Transformer Capsule With Feature-Based Knowledge Distillation for Human Activity Recognition. IEEE Transactions on Neural Networks and Learning Systems, 1-15. https://doi.org/10.1109/TNNLS.2023.3344294

This article proposes a semi-supervised contrastive capsule transformer method with feature-based knowledge distillation (KD) that simplifies the existing semisupervised learning (SSL) techniques for wearable human activity recognition (HAR), called... Read More about CapMatch: Semi-Supervised Contrastive Transformer Capsule With Feature-Based Knowledge Distillation for Human Activity Recognition.

Corrigendum: Towards an understanding of global brain data governance: ethical positions that underpin global brain data governance discourse (2023)
Journal Article
Ochang, P., Eke, D., & Stahl, B. C. (in press). Corrigendum: Towards an understanding of global brain data governance: ethical positions that underpin global brain data governance discourse. Frontiers in Big Data, 6, Article 1344345. https://doi.org/10.3389/fdata.2023.1344345

In the published article, there was an error in the author list arrangement, the corrected author list appears below. Paschal Ochang1*, Damian Eke1 and Bernd Carsten Stahl1,2 The authors apologize for this error and state that this does not change th... Read More about Corrigendum: Towards an understanding of global brain data governance: ethical positions that underpin global brain data governance discourse.

Assessing relative contribution of Environmental, Behavioural and Social factors on Life Satisfaction via mobile app data (2023)
Presentation / Conference Contribution
Milligan, G., Harvey, J., Dowthwaite, L., Vallejos, E. P., Nica-Avram, G., & Goulding, J. (2023, December). Assessing relative contribution of Environmental, Behavioural and Social factors on Life Satisfaction via mobile app data. Presented at 2023 IEEE International Conference on Big Data, Sorrento, Italy

Life satisfaction significantly contributes to wellbe-ing and is linked to positive outcomes for individual people and society more broadly. However, previous research demonstrates that many factors contribute to the life satisfaction of an individua... Read More about Assessing relative contribution of Environmental, Behavioural and Social factors on Life Satisfaction via mobile app data.

Virtual, augmented, mixed, and extended reality interventions in healthcare: a systematic review of health economic evaluations and cost-effectiveness (2023)
Journal Article
Gómez Bergin, A. D., & Craven, M. P. (2023). Virtual, augmented, mixed, and extended reality interventions in healthcare: a systematic review of health economic evaluations and cost-effectiveness. BMC Digital Health, 1(53), https://doi.org/10.1186/s44247-023-00054-9

Introduction

Health economic evaluations are required to best understand the value of interventions to the health economy. As extended reality technologies (an umbrella term including virtual, augmented, and mixed reality) become cheaper and more... Read More about Virtual, augmented, mixed, and extended reality interventions in healthcare: a systematic review of health economic evaluations and cost-effectiveness.

Ensemble strategy using particle swarm optimisation variant and enhanced local search capability (2023)
Journal Article
Hong, L., Wang, G., Özcan, E., & Woodward, J. (2023). Ensemble strategy using particle swarm optimisation variant and enhanced local search capability. Swarm and Evolutionary Computation, 84, Article 101452. https://doi.org/10.1016/j.swevo.2023.101452

Particle swarm optimisation is a population-based algorithm for evolutionary computation. A notable recent research direction has been to combine different effective mechanisms to enhance both exploration and exploitation capabilities while employing... Read More about Ensemble strategy using particle swarm optimisation variant and enhanced local search capability.