English
Related papers

Related papers: Dynamic Fault Trees Analysis using an Integration …

200 papers

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional…

Logic in Computer Science · Computer Science 2010-06-29 Matthias Güdemann , Frank Ortmeier

Safety critical software assessment requires robust assessment against complex regulatory frameworks, a process traditionally limited by manual evaluation. This paper presents Document Retrieval-Augmented Fine-Tuning (DRAFT), a novel…

A growing demand is witnessed in both industry and academia for employing Deep Learning (DL) in various domains to solve real-world problems. Deep Reinforcement Learning (DRL) is the application of DL in the domain of Reinforcement Learning…

Software Engineering · Computer Science 2021-11-30 Amin Nikanjam , Mohammad Mehdi Morovati , Foutse Khomh , Houssem Ben Braiek

A variety of established approaches exist for the detection of dynamic bottlenecks. Furthermore, the prediction of bottlenecks is experiencing a growing scientific interest, quantifiable by the increasing number of publications in recent…

Systems and Control · Electrical Eng. & Systems 2023-06-29 Nikolai West , Joern Schwenken , Jochen Deuse

Density functional theory (DFT) has become a standard tool for the study of point defects in materials. However, finding the most stable defective structures remains a very challenging task as it involves the solution of a multimodal…

Materials Science · Physics 2020-11-16 Marco Arrigoni , Georg K. H. Madsen

Fine-tuning flow matching models is a central challenge in settings with limited data, evolving distributions, or strict efficiency demands, where unconstrained fine-tuning can erode the accuracy and efficiency gains learned during…

Machine Learning · Computer Science 2026-02-02 Gudrun Thorkelsdottir , Arindam Banerjee

Machine fault diagnosis (FD) is a critical task for predictive maintenance, enabling early fault detection and preventing unexpected failures. Despite its importance, existing FD models are operation-specific with limited generalization…

Machine Learning · Computer Science 2025-11-06 Emadeldeen Eldele , Mohamed Ragab , Xu Qing , Edward , Zhenghua Chen , Min Wu , Xiaoli Li , Jay Lee

Dependability modeling and evaluation is aimed at investigating that a system performs its function correctly in time. A usual way to achieve a high reliability, is to design redundant systems that contain several replicas of the same…

Artificial Intelligence · Computer Science 2012-12-12 Andrea Bobbio , Stefania Montani , Luigi Portinale

To enhance the intelligence degree in operation and maintenance, a novel method for fault detection in power grids is proposed. The proposed GNN-based approach first identifies fault nodes through a specialized feature extraction method…

Machine Learning · Computer Science 2024-01-30 Hao Pei , Si Lin , Chuanfu Li , Che Wang , Haoming Chen , Sizhe Li

The combination of density functional theory with dynamical mean-field theory (DFT+DMFT) has become a powerful first-principles approach to tackle strongly correlated materials in condensed matter physics. The wide use of this approach…

Strongly Correlated Electrons · Physics 2022-05-10 Xin Qu , Peng Xu , Rusong Li , Gang Li , Lixin He , Xinguo Ren

The robustness and correctness of SAT solvers are receiving more and more attention. In recent SAT competitions, a proof of unsatisfiability emitted by SAT solvers must be checked. So far, no proof checker has been efficient for every case.…

Software Engineering · Computer Science 2018-06-26 Jingchao Chen

Attack trees are a popular way to represent and evaluate potential security threats on systems or infrastructures. The goal of this work is to provide a framework allowing to express and check whether an attack tree is consistent with the…

Cryptography and Security · Computer Science 2018-02-12 Maxime Audinot , Sophie Pinchinat , Barbara Kordy

The detection and identification of induction motor faults using machine learning and signal processing is a valuable approach to avoiding plant disturbances and shutdowns in the context of Industry 4.0. In this work, we present a study on…

Machine Learning · Computer Science 2024-01-30 Muhammad Samiullah , Hasan Ali , Shehryar Zahoor , Anas Ali

Decision trees and random forest remain highly competitive for classification on medium-sized, standard datasets due to their robustness, minimal preprocessing requirements, and interpretability. However, a single tree suffers from high…

Machine Learning · Statistics 2025-12-02 Cencheng Shen , Yuexiao Dong , Carey E. Priebe

Tree-based models are widely recognized for their interpretability and have proven effective in various application domains, particularly in high-stakes domains. However, learning decision trees (DTs) poses a significant challenge due to…

Machine Learning · Computer Science 2026-03-13 Sascha Marton

In supervised learning, decision trees are valued for their interpretability and performance. While greedy decision tree algorithms like CART remain widely used due to their computational efficiency, they often produce sub-optimal solutions…

Machine Learning · Computer Science 2025-06-03 Hector Kohler , Riad Akrour , Philippe Preux

The simulation-based testing of Autonomous Driving Systems (ADSs) has gained significant attention. However, current approaches often fall short of accurately assessing ADSs for two reasons: over-reliance on expert knowledge and the…

Robotics · Computer Science 2023-05-12 Ping Zhang , Lingfeng Ming , Tingyi Yuan , Cong Qiu , Yang Li , Xinhua Hui , Zhiquan Zhang , Chao Huang

Density Functional Theory (DFT) is widely used for first-principles simulations in chemistry and materials science, but its computational cost remains a key limitation for large systems. Motivated by recent advances in ML-based…

Materials Science · Physics 2026-02-19 Rakshit Kumar Singh , Aryan Amit Barsainyan , Bharath Ramsundar

Nowadays, we are witnessing an increasing demand in both corporates and academia for exploiting Deep Learning (DL) to solve complex real-world problems. A DL program encodes the network structure of a desirable DL model and the process by…

Software Engineering · Computer Science 2021-07-08 Amin Nikanjam , Houssem Ben Braiek , Mohammad Mehdi Morovati , Foutse Khomh

Deep-learning density functional theory (DFT) shows great promise to significantly accelerate material discovery and potentially revolutionize materials research. However, current research in this field primarily relies on data-driven…

Computational Physics · Physics 2024-08-14 Yang Li , Zechen Tang , Zezhou Chen , Minghui Sun , Boheng Zhao , He Li , Honggeng Tao , Zilong Yuan , Wenhui Duan , Yong Xu