All Outputs (32)

Why the Educational Metaverse Is Not All About Virtual Reality Apps (2023)
Journal Article
Gordon, N., Brayshaw, M., Kambili-Mzembe, F., & Al Jaber, T. (2023). Why the Educational Metaverse Is Not All About Virtual Reality Apps. Lecture notes in computer science, 14041 LNCS, 22-32. https://doi.org/10.1007/978-3-031-34550-0_2

This paper explores how the Metaverse can be used in the context of learning and collaboration. In it we seek to dispel the story that the Metaverse is just another synonym for Virtual Reality and future technology. Instead we will argue that the Met... Read More about Why the Educational Metaverse Is Not All About Virtual Reality Apps.

Temporal Causal Inference in Wind Turbine SCADA Data Using Deep Learning for Explainable AI (2020)
Journal Article
Chatterjee, J., & Dethlefs, N. (2020). Temporal Causal Inference in Wind Turbine SCADA Data Using Deep Learning for Explainable AI. Journal of Physics: Conference Series, 1618(2), Article 022022. https://doi.org/10.1088/1742-6596/1618/2/022022

© 2020 Published under licence by IOP Publishing Ltd. Machine learning techniques have been widely used for condition-based monitoring of wind turbines using Supervisory Control & Acquisition (SCADA) data. However, many machine learning models, inclu... Read More about Temporal Causal Inference in Wind Turbine SCADA Data Using Deep Learning for Explainable AI.

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures (2020)
Journal Article
Aslansefat, K., Sorokos, I., Whiting, D., Tavakoli Kolagari, R., & Papadopoulos, Y. (2020). SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. Lecture notes in computer science, 12297, 197-211. https://doi.org/10.1007/978-3-030-58920-2_13

Ensuring safety and explainability of machine learning (ML) is a topic of increasing relevance as data-driven applications venture into safety-critical application domains, traditionally committed to high safety standards that are not satisfied with... Read More about SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures.

Failure Mode Reasoning in Model Based Safety Analysis (2020)
Journal Article
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. (2020). Failure Mode Reasoning in Model Based Safety Analysis. Lecture notes in computer science, 12297 LNCS, 130-145. https://doi.org/10.1007/978-3-030-58920-2_9

© 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.

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems (2020)
Journal Article
Bressan, L., de Oliveira, A. L., Campos, F., Papadopoulos, Y., & Parker, D. (2020). An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Lecture notes in computer science, 12297 LNCS, 179-193. https://doi.org/10.1007/978-3-030-58920-2_12

© 2020, Springer Nature Switzerland AG. Component-based approaches and software product lines have been adopted by industry to manage the diversity of configurations on safety-critical software. Safety certification demands compliance with standards.... Read More about An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems.

Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease (2020)
Journal Article
Alabed, A., Kambhampati, C., & Gordon, N. (in press). Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease. Advances in Intelligent Systems and Computing, 1229 AISC, 531-543. https://doi.org/10.1007/978-3-030-52246-9_38

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.

A runtime safety analysis concept for open adaptive systems (2019)
Journal Article
Kabir, S., Sorokos, I., Aslansefat, K., Papadopoulos, Y., Gheraibia, Y., Reich, J., …Wei, R. (2019). A runtime safety analysis concept for open adaptive systems. Lecture notes in computer science, 11842, 332-346. https://doi.org/10.1007/978-3-030-32872-6_22

© Springer Nature Switzerland AG 2019. In the automotive industry, modern cyber-physical systems feature cooperation and autonomy. Such systems share information to enable collaborative functions, allowing dynamic component integration and architectu... Read More about A runtime safety analysis concept for open adaptive systems.

Smart, social, flexible and fun: Escaping the flatlands of virtual learning environments (2019)
Journal Article
Brayshaw, M., Gordon, N. A., & Grey, S. (2019). Smart, social, flexible and fun: Escaping the flatlands of virtual learning environments. Advances in Intelligent Systems and Computing, 998, 1047-1060. https://doi.org/10.1007/978-3-030-22868-2_70

© 2019, Springer Nature Switzerland AG. This paper describes the development of intelligent, social, flexible and game-based pedagogic approaches and their applications in Virtual Learning Environment based Education. Applications of computer science... Read More about Smart, social, flexible and fun: Escaping the flatlands of virtual learning environments.

A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes (2018)
Journal Article
Parker, D., Godof, A., Papadopoulos, Y., & Saintis, L. (2018). A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes. SAE Technical Papers, 2018-April, https://doi.org/10.4271/2018-01-1076

ISO 26262 describes a safety engineering approach in which the safety of a system is considered from the early stages of design through a process of elicitation and allocation of system safety requirements. These are expressed as automotive safety in... Read More about A Study of Automatic Allocation of Automotive Safety Requirements in Two Modes: Components and Failure Modes.

Model-connected safety cases (2017)
Journal Article
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. (2017). Model-connected safety cases. Lecture notes in computer science, 10437 LNCS, 50-63. https://doi.org/10.1007/978-3-319-64119-5_4

© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the ev... Read More about Model-connected safety cases.

Digital three-dimensional automation of the modified Huddart and Bodenham scoring system for patients with cleft lip and palate (2017)
Journal Article
Ma, X., Martin, C., McIntyre, G., Lin, P., & Mossey, P. (2017). Digital three-dimensional automation of the modified Huddart and Bodenham scoring system for patients with cleft lip and palate. Cleft Palate-Craniofacial Journal, 54(4), 481-486. https://doi.org/10.1597/15-340

© Copyright 2017 American Cleft Palate-Craniofacial Association. Objective: The modified Huddart and Bodenham scoring system assesses maxillary arch constriction and surgical outcomes in cleft lip and palate. This project automates modified Huddart a... Read More about Digital three-dimensional automation of the modified Huddart and Bodenham scoring system for patients with cleft lip and palate.

CofiFab: Coarse-to-fine fabrication of large 3D objects (2016)
Journal Article
Song, P., Deng, B., Wang, Z., Dong, Z., Li, W., Fu, C., & Liu, L. (2016). CofiFab: Coarse-to-fine fabrication of large 3D objects. ACM Transactions on Graphics, 35(4), 1-11. https://doi.org/10.1145/2897824.2925876

This paper presents CofiFab, a coarse-to-fine 3D fabrication solution, which combines 3D printing and 2D laser cutting for cost-effective fabrication of large objects at lower cost and higher speed. Our key approach is to first build coarse internal... Read More about CofiFab: Coarse-to-fine fabrication of large 3D objects.

Using robots to understand animal social cognition (2016)
Journal Article
Frohnwieser, A., Murray, J., Pike, T., & Wilkinson, A. (2016). Using robots to understand animal social cognition. Journal of the Experimental Analysis of Behavior, 105(1), 14-22. https://doi.org/10.1002/jeab.193

In recent years, robotic animals and humans have been used to answer a variety of questions related to behavior. In the case of animal behavior, these efforts have largely been in the field of behavioral ecology. They have proved to be a useful tool... Read More about Using robots to understand animal social cognition.

Guided mesh normal filtering (2015)
Journal Article
Zhang, W., Deng, B., Zhang, J., Bouaziz, S., & Liu, L. (2015). Guided mesh normal filtering. Computer graphics forum : journal of the European Association for Computer Graphics, 34(7), 23-34. https://doi.org/10.1111/cgf.12742

The joint bilateral filter is a variant of the standard bilateral filter, where the range kernel is evaluated using a guidance signal instead of the original signal. It has been successfully applied to various image processing problems, where it prov... Read More about Guided mesh normal filtering.

Local barycentric coordinates (2014)
Journal Article
Zhang, J., Deng, B., Liu, Z., Patanè, G., Bouaziz, S., Hormann, K., & Liu, L. (2014). Local barycentric coordinates. ACM Transactions on Graphics, 33(6), 1-12. https://doi.org/10.1145/2661229.2661255

Barycentric coordinates yield a powerful and yet simple paradigm to interpolate data values on polyhedral domains. They represent interior points of the domain as an affine combination of a set of control points, defining an interpolation scheme for... Read More about Local barycentric coordinates.

Using simulation to evaluate dynamic systems with weibull or lognormal distributions (2014)
Journal Article
Edifor, E., Gordon, N., Walker, M., & Papadopoulos, Y. (2014). Using simulation to evaluate dynamic systems with weibull or lognormal distributions. Advances in Intelligent Systems and Computing, 286, 117-187. https://doi.org/10.1007/978-3-319-07013-1_17

© Springer International Publishing Switzerland 2014. Most techniques for quantitatively analysing the temporal fault trees of safety-critical systems are used with the assumption that the systems under study have exponentially distributed component... Read More about Using simulation to evaluate dynamic systems with weibull or lognormal distributions.

GPU accelerating technique for rendering implicitly represented vasculatures (2014)
Journal Article
Hong, Q., Wang, B., Li, Q., Li, Y., & Wu, Q. (2014). GPU accelerating technique for rendering implicitly represented vasculatures. Bio-medical materials and engineering, 24(1), 1351-1357. https://doi.org/10.3233/BME-130938

With the flooding datasets of medical Computed Tomography (CT) and Magnetic Resonance Imaging (MRI), implicit modeling techniques are increasingly applied to reconstruct the human organs, especially the vasculature. However, displaying implicitly rep... Read More about GPU accelerating technique for rendering implicitly represented vasculatures.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Journal Article
Mian, Z., & Bottaci, L. (2013). Multi-objective architecture optimisation modelling for dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 4(22), 31-36. https://doi.org/10.3182/20130904-3-UK-4041.00033

The design of dependable systems must address both cost and dependability (i.e. safety, reliability, availability and maintainability) concerns. For large systems, the design space of alternatives with respect to both dependability and cost is very l... Read More about Multi-objective architecture optimisation modelling for dependable systems.

Quantification of Simultaneous-AND Gates in Temporal Fault Trees (2013)
Journal Article
Edifor, E., Walker, M., & Gordon, N. (2013). Quantification of Simultaneous-AND Gates in Temporal Fault Trees. Advances in Intelligent Systems and Computing, 224, 141-151. https://doi.org/10.1007/978-3-319-00945-2_13

Fault Tree Analysis has been a cornerstone of safety-critical systems for many years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited by modern systems with redundant components. However, none of these extended FTA... Read More about Quantification of Simultaneous-AND Gates in Temporal Fault Trees.

Quantification of priority-OR gates in temporal fault trees (2012)
Journal Article
Edifor, E., Walker, M., & Gordon, N. (2012). Quantification of priority-OR gates in temporal fault trees. Lecture notes in computer science, 7612 LNCS, 99-110. https://doi.org/10.1007/978-3-642-33678-2_9

Fault Tree Analysis has been used in reliability engineering for many decades and has seen various modifications to enable it to analyse fault trees with dynamic and temporal gates so it can incorporate sequential failure in its analysis. Pandora is... Read More about Quantification of priority-OR gates in temporal fault trees.