All Outputs (833)

Failure Mode Reasoning in Model Based Safety Analysis (2020)
Presentation / Conference Contribution
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. Failure Mode Reasoning in Model Based Safety Analysis. Presented at International Symposium on Model-Based Safety and Assessment, Lisbon, Portugal

© 2020, Springer Nature Switzerland AG. Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of... Read More about Failure Mode Reasoning in Model Based Safety Analysis.

The Promise of Causal Reasoning in Reliable Decision Support for Wind Turbines (2020)
Presentation / Conference Contribution
Chatterjee, J., & Dethlefs, N. (2020, August). The Promise of Causal Reasoning in Reliable Decision Support for Wind Turbines. Paper presented at Fragile Earth: Data Science for a Sustainable Planet. KDD 2020, Virtual Conference

The global pursuit towards sustainable development is leading to increased adaptation of renewable energy sources. Wind turbines are promising sources of clean energy, but regularly suffer from failures and down-times, primarily due to the complex en... Read More about The Promise of Causal Reasoning in Reliable Decision Support for Wind Turbines.

Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease (2020)
Presentation / Conference Contribution
Alabed, A., Kambhampati, C., & Gordon, N. Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease. Presented at Computing 2020, London

A great wealth of information is hidden in clinical datasets, which could be analyzed to support decision-making processes or to better diagnose patients. Feature selection is one of the data pre-processing that selects a set of input features by rem... Read More about Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease.

Multiclass non-randomized spectral-spatial active learning for hyperspectral image classification (2020)
Journal Article
Ahmad, M., Mazzara, M., Raza, R. A., Distefano, S., Asif, M., Sarfraz, M. S., Khan, A. M., & Sohaib, A. (2020). Multiclass non-randomized spectral-spatial active learning for hyperspectral image classification. Applied Sciences, 10(14), Article 4739. https://doi.org/10.3390/app10144739

Active Learning (AL) for Hyperspectral Image Classification (HSIC) has been extensively studied. However, the traditional AL methods do not consider randomness among the existing and new samples. Secondly, very limited AL research has been carried ou... Read More about Multiclass non-randomized spectral-spatial active learning for hyperspectral image classification.

High-quality vascular modeling and modification with implicit extrusion surfaces for blood flow computations (2020)
Journal Article
Hong, Q., Li, Q., Wang, B., Tian, J., Xu, F., Liu, K., & Cheng, X. (2020). High-quality vascular modeling and modification with implicit extrusion surfaces for blood flow computations. Computer Methods and Programs in Biomedicine, 196, Article 105598. https://doi.org/10.1016/j.cmpb.2020.105598

High-quality vascular modeling is crucial for blood flow simulations, i.e., computational fluid dynamics (CFD). As without an accurate geometric representation of the smooth vascular surface, it is impossible to make meaningful blood flow simulations... Read More about High-quality vascular modeling and modification with implicit extrusion surfaces for blood flow computations.

A Hybrid Modular Approach for Dynamic Fault Tree Analysis (2020)
Journal Article
Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y., & Konur, S. (2020). A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE Access, 8, 97175-97188. https://doi.org/10.1109/ACCESS.2020.2996643

Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion a... Read More about A Hybrid Modular Approach for Dynamic Fault Tree Analysis.

Operational Efficiency Improvement of PEM Fuel Cell - A Sliding Mode Based Modern Control Approach (2020)
Journal Article
Javaid, U., Mehmood, A., Arshad, A., Imtiaz, F., & Iqbal, J. (2020). Operational Efficiency Improvement of PEM Fuel Cell - A Sliding Mode Based Modern Control Approach. IEEE Access, 8, 95823-95831. https://doi.org/10.1109/ACCESS.2020.2995895

The efficiency and durability of a Proton Exchange Membrane Fuel Cell (PEMFC) can be improved with proper controller design to regulate the flow of reactants, cell stack temperature and humidity of the membrane. In this paper, sliding mode controller... Read More about Operational Efficiency Improvement of PEM Fuel Cell - A Sliding Mode Based Modern Control Approach.

Fingerprint enhancement using multi-scale classification dictionaries with reduced dimensionality (2020)
Journal Article
Bian, W., Xu, D., Cheng, Y., Li, Q., Luo, Y., & Yu, Q. (2020). Fingerprint enhancement using multi-scale classification dictionaries with reduced dimensionality. IET Biometrics, 9(5), 194-204. https://doi.org/10.1049/iet-bmt.2019.0121

In order to improve the quality of fingerprint with large noise, this paper proposes a fingerprint enhancement method by using a sparse representation of learned multi-scale classification dictionaries with reduced dimensionality. Mul... Read More about Fingerprint enhancement using multi-scale classification dictionaries with reduced dimensionality.

Locality Regularized Robust-PCRC: A Novel Simultaneous Feature Extraction and Classification Framework for Hyperspectral Images (2020)
Journal Article
Yang, Z., Cao, F., Cheng, Y., Ling, W.-K., & Hu, R. (in press). Locality Regularized Robust-PCRC: A Novel Simultaneous Feature Extraction and Classification Framework for Hyperspectral Images. IEEE transactions on geoscience and remote sensing : a publication of the IEEE Geoscience and Remote Sensing Society, 1-16. https://doi.org/10.1109/tgrs.2020.2988900

Despite the successful applications of probabilistic collaborative representation classification (PCRC) in pattern classification, it still suffers from two challenges when being applied on hyperspectral images (HSIs) classification: 1) ineffective f... Read More about Locality Regularized Robust-PCRC: A Novel Simultaneous Feature Extraction and Classification Framework for Hyperspectral Images.

Local keypoint-based Faster R-CNN (2020)
Journal Article
Ding, X., Li, Q., Cheng, Y., Wang, J., Bian, W., & Jie, B. (in press). Local keypoint-based Faster R-CNN. Applied Intelligence, https://doi.org/10.1007/s10489-020-01665-9

Region-based Convolutional Neural Network (R-CNN) detectors have achieved state-of-the-art results on various challenging benchmarks. Although R-CNN has achieved high detection performance, the research of local information in producing candidates is... Read More about Local keypoint-based Faster R-CNN.

Deep learning with knowledge transfer for explainable anomaly prediction in wind turbines (2020)
Journal Article
Chatterjee, J., & Dethlefs, N. (2020). Deep learning with knowledge transfer for explainable anomaly prediction in wind turbines. Wind energy, 23(8), 1693-1710. https://doi.org/10.1002/we.2510

The last decade has witnessed an increased interest in applying machine learning techniques to predict faults and anomalies in the operation of wind turbines. These efforts have lately been dominated by deep learning techniques which, as in other fie... Read More about Deep learning with knowledge transfer for explainable anomaly prediction in wind turbines.

An Internet of Things-enabled decision support system for circular economy business model (2020)
Journal Article
Mboli, J. S., Thakker, D., & Mishra, J. L. (2022). An Internet of Things-enabled decision support system for circular economy business model. Software: Practice and Experience, 52(3), 772--787. https://doi.org/10.1002/spe.2825

The traditional linear economy using a take-make-dispose model is resource intensive and has adverse environmental impacts. Circular economy (CE) which is regenerative and restorative by design is recommended as the business model for resource effici... Read More about An Internet of Things-enabled decision support system for circular economy business model.

A constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins (2020)
Journal Article
Golizadeh Akhlaghi, Y., Badiei, A., Zhao, X., Aslansefat, K., Xiao, X., Shittu, S., & Ma, X. (2020). A constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins. Energy Conversion and Management, 211, Article 112772. https://doi.org/10.1016/j.enconman.2020.112772

This study is pioneered in developing digital twins using Feed-forward Neural Network (FFNN) and multi objective evolutionary optimization (MOEO) using Genetic Algorithm (GA) for a counter-flow Dew Point Cooler with a novel Guideless Irregular Heat a... Read More about A constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins.

Hypnosis regulation in propofol anaesthesia employing super-twisting sliding mode control to compensate variability dynamics (2020)
Journal Article
Ilyas, M., Iqbal, J., Ahmad, S., Uppal, A. A., Imtiaz, W. A., & Riaz, R. A. (2020). Hypnosis regulation in propofol anaesthesia employing super-twisting sliding mode control to compensate variability dynamics. IET Systems Biology, 14(2), 59-67. https://doi.org/10.1049/iet-syb.2018.5080

Regulation of hypnosis level on bi-spectral index monitor (BIS) during a surgical procedure in propofol anaesthesia administration is a challenging task for an anaesthesiologist in multi-tasking environment of the operation theater. Automation in ana... Read More about Hypnosis regulation in propofol anaesthesia employing super-twisting sliding mode control to compensate variability dynamics.

Bio-AKA: An efficient fingerprint based two factor user authentication and key agreement scheme (2020)
Journal Article
Bian, W., Gope, P., Cheng, Y., & Li, Q. (2020). Bio-AKA: An efficient fingerprint based two factor user authentication and key agreement scheme. Future generations computer systems : FGCS, 109, 45-55. https://doi.org/10.1016/j.future.2020.03.034

The fingerprint has long been used as one of the most important biological features in the field of biometrics. It is person-specific and remain identical though out one’s lifetime. Physically uncloneable functions (PUFs) have been used in authentica... Read More about Bio-AKA: An efficient fingerprint based two factor user authentication and key agreement scheme.

Emerging challenges for HCI : enabling effective use of VR in education and training (2020)
Book Chapter
Gordon, N., & Brayshaw, M. (2020). Emerging challenges for HCI : enabling effective use of VR in education and training. In L. Bozgeyikli, & R. Bozgeyikli (Eds.), Virtual reality : recent advancements, applications and challenges. River Publishers

This chapter considers some of the challenges in providing effective virtual reality (VR) environments for teaching and training, where users are encouraged and enabled to be truly engaged in their learning. One approach is to use inquiry-based learn... Read More about Emerging challenges for HCI : enabling effective use of VR in education and training.

Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS (2020)
Presentation / Conference Contribution
Mian, Z., Gao, Y., Shi, X., & Tang, C. (2019, November). Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS. Presented at 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy

Currently, AADL has gradually become as one of the standards for the architecture design of complex embedded system. It is widely used in aerospace, automotive electronics and other fields for the design and analysis of high dependability-critical sy... Read More about Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS.

A Cost Modeling Method Based on AADL2 (2020)
Presentation / Conference Contribution
Mian, Z., Tang, C., Gao, Y., Jia, S., Shi, X., & Chen, J. (2019, November). A Cost Modeling Method Based on AADL2. Presented at 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy

The Architecture Analysis and Design Language (AADL) is widely used in the modeling, analysis and verification of the dependability-critical system. Previously, we have implemented the multi-objective (based on dependability and cost) architecture op... Read More about A Cost Modeling Method Based on AADL2.

A systematic review of adaptive wildlife management for the control of invasive, non-native mammals, and other human–wildlife conflicts (2020)
Journal Article
Richardson, S., Mill, A., Davis, D., Jam, D., & Ward, A. (2020). A systematic review of adaptive wildlife management for the control of invasive, non-native mammals, and other human–wildlife conflicts. Mammal Review, 50(2), 147-156. https://doi.org/10.1111/mam.12182

1. We are entering an era where species declines are occurring at their fastest ever rate, and the increased spread of non-native species is among the top causes. High uncertainty in biological processes makes the accurate prediction of the outcomes... Read More about A systematic review of adaptive wildlife management for the control of invasive, non-native mammals, and other human–wildlife conflicts.

Robust Integral Sliding Mode Control Design for Stability Enhancement of Under-actuated Quadcopter (2020)
Journal Article
Ullah, S., Mehmood, A., Khan, Q., Rehman, S., & Iqbal, J. (2020). Robust Integral Sliding Mode Control Design for Stability Enhancement of Under-actuated Quadcopter. International journal of control, automation and systems, 18(7), 1671-1678. https://doi.org/10.1007/s12555-019-0302-3

In this paper, a robust backstepping integral sliding mode control (RBISMC) technique is designed for the flight control of a quadcopter, which is an under-actuated nonlinear system. First, the mathematical model of this highly coupled and under-actu... Read More about Robust Integral Sliding Mode Control Design for Stability Enhancement of Under-actuated Quadcopter.