Skip to main content

Variability management in safety-critical systems design & dependability analysis (2019)
Journal Article
De Oliveira, A., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design & dependability analysis. Journal of software : evolution and process, 31(8), https://doi.org/10.1002/smr.2202

Safety-critical systems are of paramount importance for many application domains where safety properties are a key driver to engineer critical aspects and avoid system failures. However, the integration of safety analyses in the development process i... Read More about Variability management in safety-critical systems design & dependability analysis.

The classification of minor gait alterations using wearable sensors and deep learning (2019)
Journal Article
Turner, A., & Hayes, S. (2019). The classification of minor gait alterations using wearable sensors and deep learning. IEEE transactions on bio-medical engineering / Bio-medical Engineering Group, https://doi.org/10.1109/TBME.2019.2900863

Objective: This paper describes how non-invasive wearable sensors can be used in combination with deep learn- ing to classify artificially induced gait alterations without the requirement for a medical professional or gait analyst to be present. This... Read More about The classification of minor gait alterations using wearable sensors and deep learning.

Approaches to Measuring Attendance and Engagement (2018)
Journal Article
Grey, S., & Gordon, N. A. (2018). Approaches to Measuring Attendance and Engagement. New Directions in the Teaching of Physical Sciences, 13(13), https://doi.org/10.29311/ndtps.v0i13.2767

In this paper, we argue that, where we measure student attendance, this creates an extrinsic motivator in the form of a reward for (apparent) engagement and can thus lead to undesirable behaviour and outcomes. We go on to consider a number of other m... Read More about Approaches to Measuring Attendance and Engagement.

A box particle filter method for tracking multiple extended objects (2018)
Journal Article
De Freitas, A., Mihaylova, L., Gning, A., Schikora, M., Ulmke, M., Angelova, D., & Koch, W. (2019). A box particle filter method for tracking multiple extended objects. IEEE Transactions on Aerospace and Electronic Systems, 55(4), 1640 - 1655. https://doi.org/10.1109/TAES.2018.2874147

Extended objects generate a variable number of multiple measurements. In contrast with point targets, extended objects are characterized with their size or volume, and orientation. Multiple object tracking is a notoriously challenging problem due to... Read More about A box particle filter method for tracking multiple extended objects.

A novel WebVR-Based lightweight framework for virtual visualization of blood vasculum (2018)
Journal Article
Huang, C., Zhou, W., Lan, Y., Chen, F., Hao, Y., Cheng, Y., & Peng, Y. (2018). A novel WebVR-Based lightweight framework for virtual visualization of blood vasculum. IEEE access : practical innovations, open solutions, 6, 27726-27735. https://doi.org/10.1109/ACCESS.2018.2840494

With the arrival of the Web 2.0 era and the rapid development of virtual reality (VR) technology in recent years, WebVR technology has emerged as the combination of Web 2.0 and VR. Moreover, the concept of “WebVR + medical science”is also proposed to... Read More about A novel WebVR-Based lightweight framework for virtual visualization of blood vasculum.

A new framework for the integrative analytics of intravascular ultrasound and optical coherence tomography images (2018)
Journal Article
Huang, C., Xie, Y., Lan, Y., Hao, Y., Chen, F., Cheng, Y., & Peng, Y. (2018). A new framework for the integrative analytics of intravascular ultrasound and optical coherence tomography images. IEEE access : practical innovations, open solutions, 6, 36408-36419. https://doi.org/10.1109/ACCESS.2018.2839694

Abstract: The integrative analysis of multimodal medical images plays an important role in the diagnosis of coronary artery disease by providing additional comprehensive information that cannot be found in an individual source image. Intravascular ul... Read More about A new framework for the integrative analytics of intravascular ultrasound and optical coherence tomography images.

Timaeus: A digital art studio inspired by antiquity (2018)
Journal Article
Torrao, L., Papadopoulos, Y., & Mckie, D. (2018). Timaeus: A digital art studio inspired by antiquity. Generative art science and technology hard journal,

This project was motivated as an exploration of the capabilities provided by new digital media for creativity, art creation and art therapy. In the ancient Greek world, téchnē, the word for art, used to refer to both art and technology. The expressio... Read More about Timaeus: A digital art studio inspired by antiquity.

Hybrid Bridge-Based Memetic Algorithms for Finding Bottlenecks in Complex Networks (2018)
Journal Article
Chalupa, D., Hawick, K., & Walker, J. (2018). Hybrid Bridge-Based Memetic Algorithms for Finding Bottlenecks in Complex Networks. Big Data Research, 14, 68-80. https://doi.org/10.1016/j.bdr.2018.04.001

We propose a memetic approach to find bottlenecks in complex networks based on searching for a graph partitioning with minimum conductance. Finding the optimum of this problem, also known in statistical mechanics as the Cheeger constant, is one of th... Read More about Hybrid Bridge-Based Memetic Algorithms for Finding Bottlenecks in Complex Networks.

Security feature measurement for frequent dynamic execution paths in software system (2018)
Journal Article
Wang, Q., Ren, J., Yang, X., Cheng, Y., Davis, D. N., & Hu, C. (2018). Security feature measurement for frequent dynamic execution paths in software system. Security and communication networks, 2018, 1-10. https://doi.org/10.1155/2018/5716878

© 2018 Qian Wang et al. The scale and complexity of software systems are constantly increasing, imposing new challenges for software fault location and daily maintenance. In this paper, the Security Feature measurement algorithm of Frequent dynamic e... Read More about Security feature measurement for frequent dynamic execution paths in software system.

A Novel Adaptive Spectrum Noise Cancellation Approach for Enhancing Heartbeat Rate Monitoring in a Wearable Device (2018)
Journal Article
Abt, G., Yang, D., Cheng, Y., Zhu, J., Xue, D., Abt, G. A., …Peng, Y. (2018). A Novel Adaptive Spectrum Noise Cancellation Approach for Enhancing Heartbeat Rate Monitoring in a Wearable Device. IEEE access : practical innovations, open solutions, 6, 8364-8375. https://doi.org/10.1109/access.2018.2805223

This paper presents a novel approach, Adaptive Spectrum Noise Cancellation (ASNC), for motion artifacts removal in Photoplethysmography (PPG) signals measured by an optical biosensor to obtain clean PPG waveforms for heartbeat rate calculation. One c... Read More about A Novel Adaptive Spectrum Noise Cancellation Approach for Enhancing Heartbeat Rate Monitoring in a Wearable Device.

An algorithm for fast mining top-rank-k frequent patterns based on node-list data structure (2017)
Journal Article
Wang, Q., Ren, J., N Davis, D., & Cheng, Y. (2018). An algorithm for fast mining top-rank-k frequent patterns based on node-list data structure. Intelligent Automation and Soft Computing, 24(2), 399-404 . https://doi.org/10.1080/10798587.2017.1340135

Frequent pattern mining usually requires much run time and memory usage. In some applications, only the patterns with top frequency rank are needed. Because of the limited pattern numbers, quality of the results is even more important than time and m... Read More about An algorithm for fast mining top-rank-k frequent patterns based on node-list data structure.

A fuzzy Bayesian network approach for risk analysis in process industries (2017)
Journal Article
Yazdi, M., & Kabir, S. (2017). A fuzzy Bayesian network approach for risk analysis in process industries. Process Safety and Environmental Protection, 111, 507-519. https://doi.org/10.1016/j.psep.2017.08.015

Fault tree analysis is a widely used method of risk assessment in process industries. However, the classical fault tree approach has its own limitations such as the inability to deal with uncertain failure data and to consider statistical dependence... Read More about A fuzzy Bayesian network approach for risk analysis in process industries.

A model-based extension to HiP-HOPS for dynamic fault propagation studies (2017)
Journal Article
Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua, J. I., Lampe, J., & Rüde, E. (2017). A model-based extension to HiP-HOPS for dynamic fault propagation studies. Lecture notes in computer science, 10437 LNCS, 163-178. https://doi.org/10.1007/978-3-319-64119-5_11

HiP-HOPS is a model-based approach for assessing the dependability of safety-critical systems. The method combines models, logic, probabilities and nature-inspired algorithms to provide advanced capabilities for design optimisation, requirement alloc... Read More about A model-based extension to HiP-HOPS for dynamic fault propagation studies.

Using formal game design methods to embed learning outcomes into game mechanics and avoid emergent behaviour (2017)
Journal Article
Grey, S., Grey, D., Gordon, N., & Purdy, J. (2017). Using formal game design methods to embed learning outcomes into game mechanics and avoid emergent behaviour. International Journal of Game-Based Learning, 7(3), 63-73 . https://doi.org/10.4018/ijgbl.2017070106

This paper offers an approach to designing game based learning experiences inspired by the Mechanics-Dynamics-Aesthetics (MDA) model (Hunicke et al, 2004) and the elemental tetrad (Schell, 2008) model for game design. A case for game based learning a... Read More about Using formal game design methods to embed learning outcomes into game mechanics and avoid emergent behaviour.

Combining depth and intensity images to produce enhanced object detection for use in a robotic colony (2017)
Journal Article
Balding, S., & Davis, D. N. (2017). Combining depth and intensity images to produce enhanced object detection for use in a robotic colony. Lecture notes in computer science, 10454, 115-125 . https://doi.org/10.1007/978-3-319-64107-2_10

Robotic colonies that can communicate with each other and interact with their ambient environments can be utilized for a wide range of research and industrial applications. However amongst the problems that these colonies face is that of the isolatin... Read More about Combining depth and intensity images to produce enhanced object detection for use in a robotic colony.

An evaluation of the scanning electron microscope mirror effect to study viscoelastically prestressed polymeric matrix composites (2017)
Journal Article
Ge, C., Wang, B., & Fancey, K. S. (2017). An evaluation of the scanning electron microscope mirror effect to study viscoelastically prestressed polymeric matrix composites. Materials Today Communications, 12, 79-87. https://doi.org/10.1016/j.mtcomm.2017.07.001

A viscoelastically prestressed polymeric matrix composite (VPPMC) is produced by applying tensile creep to polymeric fibres, the creep load being removed before the fibres are moulded into a resin matrix. Following matrix curing, the viscoelastically... Read More about An evaluation of the scanning electron microscope mirror effect to study viscoelastically prestressed polymeric matrix composites.

A hybrid evaluation approach and guidance for mHealth education applications (2017)
Book Chapter
Aljaber, T., & Gordon, N. (2018). A hybrid evaluation approach and guidance for mHealth education applications. In Advances in Intelligent Systems and Computing; Advances in Usability and User Experience, (282-290 ). Springer Verlag. https://doi.org/10.1007/978-3-319-60492-3_27

© Springer International Publishing AG 2018. Mobile health education applications (MHEAs) are used to support different users. However, although these applications are increasing in number, there is no effective evaluation framework to measure their... Read More about A hybrid evaluation approach and guidance for mHealth education applications.

Connecting Undergraduate Students as Partners in Computer Science Teaching and Research (2017)
Journal Article
Gordon, N. A., & Brayshaw, M. (2017). Connecting Undergraduate Students as Partners in Computer Science Teaching and Research. New Directions in the Teaching of Physical Sciences, 12(12), https://doi.org/10.29311/ndtps.v0i12.598

Connecting undergraduate students as partners can lead to the enhancement of the undergraduate experience and allow students to see the different sides of the university. Such holistic perspectives may better inform academic career choices and postgr... Read More about Connecting Undergraduate Students as Partners in Computer Science Teaching and Research.

Computational methods for finding long simple cycles in complex networks (2017)
Journal Article
Chalupa, D., Balaghan, P., Hawick, K. A., & Gordon, N. A. (2017). Computational methods for finding long simple cycles in complex networks. Knowledge-Based Systems, 125, 96-107 . https://doi.org/10.1016/j.knosys.2017.03.022

© 2017 Elsevier B.V. Detection of long simple cycles in real-world complex networks finds many applications in layout algorithms, information flow modelling, as well as in bioinformatics. In this paper, we propose two computational methods for findin... Read More about Computational methods for finding long simple cycles in complex networks.

Fuzzy temporal fault tree analysis of dynamic systems (2016)
Journal Article
Kabir, S., Papadopoulos, Y., Walker, M., Rüde, E., & Securius, P. (2016). Fuzzy temporal fault tree analysis of dynamic systems. International Journal of Approximate Reasoning, 77, 20-37 . https://doi.org/10.1016/j.ijar.2016.05.006

Fault tree analysis (FTA) is a powerful technique that is widely used for evaluating system safety and reliability. It can be used to assess the effects of combinations of failures on system behaviour but is unable to capture sequence dependent dynam... Read More about Fuzzy temporal fault tree analysis of dynamic systems.


;