Outputs (2147)

Dementia with Lewy Bodies: Genomics, Transcriptomics, and Its Future with Data Science (2024)
Journal Article
Goddard, T. R., Brookes, K. J., Sharma, R., Moemeni, A., & Rajkumar, A. P. (2024). Dementia with Lewy Bodies: Genomics, Transcriptomics, and Its Future with Data Science. Cells, 13(3), Article 223. https://doi.org/10.3390/cells13030223

Dementia with Lewy bodies (DLB) is a significant public health issue. It is the second most common neurodegenerative dementia and presents with severe neuropsychiatric symptoms. Genomic and transcriptomic analyses have provided some insight into dise... Read More about Dementia with Lewy Bodies: Genomics, Transcriptomics, and Its Future with Data Science.

An Automated Performance Evaluation of the Newborn Life Support Procedure (2024)
Presentation / Conference Contribution
Tan, A., Egede, J., Remenyte-Prescott, R., Valstar, M., & Sharkey, D. (2024, January). An Automated Performance Evaluation of the Newborn Life Support Procedure. Presented at 2024 Annual Reliability and Maintainability Symposium (RAMS), Albuquerque, NM, USA

This research is conducted to develop an automated action recognition method to evaluate the performance of the Newborn Life Support (NLS) procedure. It will be useful to find deviations in the procedure, such as missing steps and incorrect actions,... Read More about An Automated Performance Evaluation of the Newborn Life Support Procedure.

Adaptative computerized cognitive training decreases mental workload during working memory precision task - A preliminary fNIRS study (2024)
Journal Article
Landowska, A., Wilson, M. L., Craven, M. P., & Harrington, K. (2024). Adaptative computerized cognitive training decreases mental workload during working memory precision task - A preliminary fNIRS study. International Journal of Human-Computer Studies, 184, Article 103206. https://doi.org/10.1016/j.ijhcs.2023.103206

With the growing concern for the health of ageing populations, much research continues to look at the impact of cognitive training, particularly in relation to cognitive decline. We sought to use novel techniques, including augmented reality and port... Read More about Adaptative computerized cognitive training decreases mental workload during working memory precision task - A preliminary fNIRS study.

Provably Secure Decisions based on Potentially Malicious Information (2024)
Journal Article
Wang, D., Muller, T., & Sun, J. (2024). Provably Secure Decisions based on Potentially Malicious Information. IEEE Transactions on Dependable and Secure Computing, 21(5), 4388-4403. https://doi.org/10.1109/TDSC.2024.3353295

There are various security-critical decisions routinely made, based on information provided by peers: routing messages, user reports, sensor data, navigational information, blockchain updates, etc. Jury theorems were proposed in sociology to make dec... Read More about Provably Secure Decisions based on Potentially Malicious Information.

Cat Royale (2024)
Other
Schneiders, E., Benford, S., Tandavanitj, N., Adams, M., & Farr, J. R. (2024). Cat Royale

Would you let a robot care for your pet? Blast Theory’s Cat Royale explores the impact of AI on humans and animals. For 12 days, Ghostbuster, Pumpkin, and Clover played with a robot arm that offered them games, toys, and treats every few minutes. The... Read More about Cat Royale.

Densely Knowledge-Aware Network for Multivariate Time Series Classification (2024)
Journal Article
Xiao, Z., Xing, H., Qu, R., Feng, L., Luo, S., Dai, P., Zhao, B., & Dai, Y. (2024). Densely Knowledge-Aware Network for Multivariate Time Series Classification. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 54(4), 2192-2204. https://doi.org/10.1109/tsmc.2023.3342640

Multivariate time series classification (MTSC) based on deep learning (DL) has attracted increasingly more research attention. The performance of a DL-based MTSC algorithm is heavily dependent on the quality of the learned representations providing s... Read More about Densely Knowledge-Aware Network for Multivariate Time Series Classification.

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.

Internal Parametricity, without an Interval (2024)
Journal Article
Altenkirch, T., Chamoun, Y., Kaposi, A., & Shulman, M. (2024). Internal Parametricity, without an Interval. Proceedings of the ACM on Programming Languages, 8(POPL), 2340-2369. https://doi.org/10.1145/3632920

Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally. Internalising it... Read More about Internal Parametricity, without an Interval.

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.

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.