Outputs (1038)

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.

On the approximate schemes for the evaluation of the acoustic radiation by a thin elastic layer (2025)
Journal Article
Kaplunov, J., Prikazchikova, L., & Shamsi, S. (in press). On the approximate schemes for the evaluation of the acoustic radiation by a thin elastic layer. Continuum Mechanics and Thermodynamics, 37, 1-14. https://doi.org/10.1007/s00161-025-01365-0

A plane strain problem for forced time-harmonic vibrations of an elastic layer lying on an acoustic half-space is considered. The validity of the approximate formulation involving the classical Kirchhoff theory for plate bending as well as its shorte... Read More about On the approximate schemes for the evaluation of the acoustic radiation by a thin elastic layer.

Impact of detection accuracy rates on phishing email spikes: Towards more effective mitigation (2025)
Journal Article
Adewumi, S. E., & Ani, U. D. (in press). Impact of detection accuracy rates on phishing email spikes: Towards more effective mitigation. Information Security Journal: A Global Perspective, 1-38. https://doi.org/10.1080/19393555.2025.2469519

Phishing is a common cyber-attack technique where a criminal pretending to be a trusted entity sends a message either soliciting assistance, or requesting bank or credit card details with promises that usually turn out to be a hoax. This may include... Read More about Impact of detection accuracy rates on phishing email spikes: Towards more effective mitigation.

Graphene-based FETs for advanced biocatalytic profiling: investigating heme peroxidase activity with machine learning insights (2025)
Journal Article
Mirsian, S., Hilber, W., Khodadadian, E., Parvizi, M., Khodadadian, A., Khoshfetrat, S. M., Heitzinger, C., & Jakoby, B. (in press). Graphene-based FETs for advanced biocatalytic profiling: investigating heme peroxidase activity with machine learning insights. Microchimica Acta, 192(3), 1-15. https://doi.org/10.1007/s00604-025-06955-y

Graphene-based field-effect transistors (GFETs) are rapidly gaining recognition as powerful tools for biochemical analysis due to their exceptional sensitivity and specificity. In this study, we utilize a GFET system to explore the peroxidase-based b... Read More about Graphene-based FETs for advanced biocatalytic profiling: investigating heme peroxidase activity with machine learning insights.

Analysis of axisymmetric necking of a circular dielectric membrane based on a one-dimensional model (2025)
Journal Article
Yu, X., & Fu, Y. (2025). Analysis of axisymmetric necking of a circular dielectric membrane based on a one-dimensional model. Journal of the Mechanics and Physics of Solids, 198, Article 106071. https://doi.org/10.1016/j.jmps.2025.106071

To facilitate the understanding of the mechanisms underlying the electric breakdown of dielectric elastomers, we derive a one-dimensional (1d) model for axisymmetric necking in a dielectric membrane subjected to equibiaxial stretching and an electric... Read More about Analysis of axisymmetric necking of a circular dielectric membrane based on a one-dimensional model.

Emotion‐aware psychological first aid: Integrating BERT‐based emotional distress detection with Psychological First Aid‐Generative Pre‐Trained Transformer chatbot for mental health support (2025)
Journal Article
Taiwo, O., & Al‐Bander, B. (in press). Emotion‐aware psychological first aid: Integrating BERT‐based emotional distress detection with Psychological First Aid‐Generative Pre‐Trained Transformer chatbot for mental health support. Cognitive Computation and Systems, 7(1), 1-15. https://doi.org/10.1049/ccs2.12116

Mental health disorders have a global prevalence of 25%, according to the WHO, and this is exacerbated by factors such as stigma, geographical location, and a worldwide shortage of practitioners. Mental health chatbots have been developed to address... Read More about Emotion‐aware psychological first aid: Integrating BERT‐based emotional distress detection with Psychological First Aid‐Generative Pre‐Trained Transformer chatbot for mental health support.

Low-Frequency Longitudinal Vibrations of a Fluid-Loaded Elastic Layer (2025)
Journal Article
Shamsi, S., & Prikazchikova, L. (in press). Low-Frequency Longitudinal Vibrations of a Fluid-Loaded Elastic Layer. Symmetry, 17(1), 1-13. https://doi.org/10.3390/sym17010119

This paper concerns the low-frequency symmetric (extensional) motions of a thin elastic layer submerged in a fluid. This problem is less investigated than that for antisymmetric motion corresponding to bending vibrations, partly because the classical... Read More about Low-Frequency Longitudinal Vibrations of a Fluid-Loaded Elastic Layer.