Skip to main content

Research Repository

Advanced Search

Outputs (1068)

Integrating physics-based simulations, machine learning, and Bayesian inference for accurate detection and metrology of elongated nanoscale analytes using high-frequency capacitance spectroscopy (2025)
Journal Article
Khodadadian, E., Goldoni, D., Nicolini, J., Khodadadian, A., Heitzinger, C., & Selmi, L. (2025). Integrating physics-based simulations, machine learning, and Bayesian inference for accurate detection and metrology of elongated nanoscale analytes using high-frequency capacitance spectroscopy. Engineering Applications of Artificial Intelligence, 159(Part C, 2025), 1-17. https://doi.org/10.1016/j.engappai.2025.111679

Elongated analytes are simple general-purpose model systems for nucleic acid strands, bacteriophages, nanoplastic fibers, nanotubes, nanorods, etc., and are characterized by numerous unknowns (e.g., material composition, length, orientation, etc.) th... Read More about Integrating physics-based simulations, machine learning, and Bayesian inference for accurate detection and metrology of elongated nanoscale analytes using high-frequency capacitance spectroscopy.

An empirical study on the performance overhead of code instrumentation in containerised microservices (2025)
Journal Article
Hammad, Y., Al-Said Ahmad, A., & Andras, P. (2025). An empirical study on the performance overhead of code instrumentation in containerised microservices. Journal of Systems and Software, 230, Article 112573. https://doi.org/10.1016/j.jss.2025.112573

Code instrumentation is vital for analysing software behaviour and facilitating cloud computing observability and monitoring, especially in microservices and containers. Despite its benefits, instrumentation introduces complexity and performance over... Read More about An empirical study on the performance overhead of code instrumentation in containerised microservices.

MicroMaps: Ontology-driven Semantic Geospatial Data Fusion Approach for IoT Integration and Decision Making in Smart Cities (2025)
Presentation / Conference Contribution
Rayis, A., Ortolani, M., David, R.-M., Hirschi, R., & Misirli, G. (2025, August). MicroMaps: Ontology-driven Semantic Geospatial Data Fusion Approach for IoT Integration and Decision Making in Smart Cities. Presented at 2025 the 9th International Conference on Cloud, Big Data and Communication Systems (ICCBDCS 2025), Manchester

Smart cities generate large amounts of Internet of
Things data from diverse sources, often presented in varying
formats and with inconsistent quality, complicating effective data
management and interoperability. Despite recent advancements
relate... Read More about MicroMaps: Ontology-driven Semantic Geospatial Data Fusion Approach for IoT Integration and Decision Making in Smart Cities.

Deep Learning Based Smart Bin for Efficient Sorting of Recyclable, Non-Recyclable, and Compostable Materials (2025)
Presentation / Conference Contribution
Ahmed, M., Ahamed, M. F., Islam, S. M., Dipa, P. R., Debnath, R., & Shariar Sarker, M. N. (2024, December). Deep Learning Based Smart Bin for Efficient Sorting of Recyclable, Non-Recyclable, and Compostable Materials. Presented at 2024 27th International Conference on Computer and Information Technology (ICCIT), Cox's Bazar, Bangladesh

A significant amount of waste is produced every day from urban settings such as homes, offices, residential areas, and basically from our daily activities. Much of such waste remains unutilized due to inefficient sorting practices, which eventually r... Read More about Deep Learning Based Smart Bin for Efficient Sorting of Recyclable, Non-Recyclable, and Compostable Materials.

Generative AI cybersecurity and resilience (2025)
Journal Article
Radanliev, P., Santos, O., & Ani, U. D. (2025). Generative AI cybersecurity and resilience. Frontiers in Artificial Intelligence and Applications, 8, Article 1568360. https://doi.org/10.3389/frai.2025.1568360

Generative Artificial Intelligence marks a critical inflection point in the evolution of machine learning systems, enabling the autonomous synthesis of content across text, image, audio, and biomedical domains. While these capabilities are advancing... Read More about Generative AI cybersecurity and resilience.

Socio‐Technical Security Modelling and Simulations in Cyber‐Physical Systems: Outlook on Knowledge, Perceptions, Practices, Enablers, and Barriers (2025)
Journal Article
Ani, U. D., Al‐Mhiqani, M., Tuptuk, N., Hailes, S., & McKendrick Watson, J. D. (2025). Socio‐Technical Security Modelling and Simulations in Cyber‐Physical Systems: Outlook on Knowledge, Perceptions, Practices, Enablers, and Barriers. IET Cyber-Physical Systems: Theory & Applications, 10(1), 1-26. https://doi.org/10.1049/cps2.70017

Socio‐Technical Security Modelling and Simulation (STSec‐M&S) is a technique used for reasoning and representing security viewpoints that include both the social and technical aspects of a system. It has shown great potential for improving the cybers... Read More about Socio‐Technical Security Modelling and Simulations in Cyber‐Physical Systems: Outlook on Knowledge, Perceptions, Practices, Enablers, and Barriers.

Skew bracoids containing a skew brace (2025)
Journal Article
Colazzo, I., Koch, A., Martin-Lyons, I., & Truman, P. J. (2025). Skew bracoids containing a skew brace. Journal of Algebra and Its Applications, https://doi.org/10.1142/S021949882650235X

Skew bracoids have been shown to have applications in Hopf-Galois theory. We show that a certain family of skew bracoids correspond bijectively with left cancellative semibraces. A consequence of this correspondence is that skew bracoids in this fami... Read More about Skew bracoids containing a skew brace.

Harnessing Large Language Models for Automated Software Testing: A Leap Towards Scalable Test Case Generation (2025)
Journal Article
Rehan, S., Al-Bander, B., & Al-Said Ahmad, A. (2025). Harnessing Large Language Models for Automated Software Testing: A Leap Towards Scalable Test Case Generation. Electronics, 14(7), 1-25. https://doi.org/10.3390/electronics14071463

Software testing is critical for ensuring software reliability, with test case generation often being resource-intensive and time-consuming. This study leverages the Llama-2 large language model (LLM) to automate unit test generation for Java focal m... Read More about Harnessing Large Language Models for Automated Software Testing: A Leap Towards Scalable Test Case Generation.

Towards Designs for Virtual Interconnected Curation Spaces of Heritage Artefacts, Experiences and Histories (2025)
Presentation / Conference Contribution
Rhodes, R., Woolley, S. I., & White, D. (2024, July). Towards Designs for Virtual Interconnected Curation Spaces of Heritage Artefacts, Experiences and Histories. Presented at BCS HCI '24: Proceedings of the 37th International BCS Human-Computer Interaction Conference, University of Central Lancashire (UCLan), UK

Where immersive museum and digital heritage experiences exist, they are often only available for limited project timespans and they do not generally connect to other similar experiences and artefacts, nor connect to physical museums or heritage locat... Read More about Towards Designs for Virtual Interconnected Curation Spaces of Heritage Artefacts, Experiences and Histories.