Image de couverture de livre

Fault Tree Synthesis from Knowledge Graphs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ntagengerwa, Manzi Aimé, Caltais, Georgiana, Stoelinga, Mariëlle
Format:	Preprint
Publié:	2025
Sujets:	Other Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
par: Caltais, Georgiana, et autres
Publié: (2024)

PFL: a Probabilistic Logic for Fault Trees
par: Nicoletti, Stefano M., et autres
Publié: (2023)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
par: Soltani, Reza, et autres
Publié: (2025)

Querying Fault and Attack Trees: Property Specification on a Water Network
par: Nicoletti, Stefano M., et autres
Publié: (2024)

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
par: Soltani, Reza, et autres
Publié: (2025)

Synthesis of mass-spring networks from high-level code descriptions
par: Omidvar, Parisa, et autres
Publié: (2025)

A Hierarchical Decomposition of Kullback-Leibler Divergence: Disentangling Marginal Mismatches from Statistical Dependencies
par: Cook, William
Publié: (2025)

S-BLE: A Participatory BLE Sensory Data Set Recorded from Real-World Bus Travel Events
par: Lam, Jonathan, et autres
Publié: (2025)

Lessons Learned from the Real-World Deployment of Multi-Sensor Fusion for Proactive Work Zone Safety Application
par: Ahmad, Minhaj Uddin, et autres
Publié: (2025)

Is 3-(F)WL Enough to Distinguish All 3D Graphs?
par: Xu, Wanghan
Publié: (2024)

Circular Induction
par: Lucanu, Dorel, et autres
Publié: (2026)

SprayCraft: Graph-Based Route Optimization for Variable Rate Precision Spraying
par: Kethineni, Kiran K., et autres
Publié: (2024)

Simulation Everywhere: An Evolutionary Expansion of Discrete-Event Modeling and Simulation research and practice
par: Akpan, Ikpe Justice, et autres
Publié: (2025)

Digital Twins in Industrial Applications: Concepts, Mathematical Modeling, and Use Cases
par: Mohammad-Djafari, Ali
Publié: (2025)

Vehicle-to-Grid Integration: Ensuring Grid Stability, Strengthening Cybersecurity, and Advancing Energy Market Dynamics
par: Ahmad, Bilal, et autres
Publié: (2025)

Virtual Laboratories: Domain-agnostic workflows for research
par: Sevilla-Salcedo, Carlos, et autres
Publié: (2025)

Translation of Enterprise Architecture Concept to Facilitate Digital Transformation Initiatives in Vietnam: Processes, Mechanisms and Impacts
par: Dang, Duong, et autres
Publié: (2025)

MRSeqStudio: MRI Sequence Design and Simulation as a Service in a Free and Open-Source Web Platform
par: Villacorta-Aylagas, Pablo, et autres
Publié: (2025)

Partial Symmetry Enforced Attention Decomposition (PSEAD): A Group-Theoretic Framework for Equivariant Transformers in Biological Systems
par: Olanrewaju, Daniel Ayomide
Publié: (2025)

Towards a Periodic Table of Computer System Design Principles
par: Arulraj, Joy
Publié: (2025)

Fast Thermal-Aware Chiplet Placement Assisted by Surrogate
par: Zhang, Qinqin, et autres
Publié: (2025)

A double-layer placement algorithm for integrated circuit-based modules on printed circuit board
par: Li, Hangyuan, et autres
Publié: (2025)

Optimization research for rescue hot standby EMU location and coverage area in a large-scale high-speed railway network
par: Lin, Boliang, et autres
Publié: (2025)

Beyond Motion Artifacts: Optimizing PPG Preprocessing for Accurate Pulse Rate Variability Estimation
par: Watanabe, Yuna, et autres
Publié: (2025)

Implementing Video Monitoring Capabilities by using hardware-based Encoders of the Raspberry Pi Zero 2 W
par: Ederer, Thomas, et autres
Publié: (2025)

A Novel Multilevel Taxonomical Approach for Describing High-Dimensional Unlabeled Movement Data
par: Tavakoli, Yashat, et autres
Publié: (2025)

Digital Twin-Empowered Cooperative Autonomous Car-sharing Services: Proof-of-Concept
par: Nonomura, Kazuma, et autres
Publié: (2025)

Disruption Management in Airline Operations: A Solver-based Approach using Time-Space Network Optimization
par: Rodrigues, J., et autres
Publié: (2025)

Coherent Optical Quantum Computing-Aided Resource Optimization for Transportation Digital Twin Construction
par: Zhang, Huixiang, et autres
Publié: (2025)

Drafting and Multi-Input Switching in Digital Dynamic Timing Simulation for Multi-Input Gates
par: Ferdowsi, Arman, et autres
Publié: (2025)

Modelling Scenarios for Carbon-aware Geographic Load Shifting of Compute Workloads
par: Vanderbauwhede, Wim
Publié: (2025)

Hacia una moderna "republica de las ideas" via un nuevo ecosistema de comunicacion cientifica (Toward a modern "Republic of Ideas" via a new Ecosystem of Scientific Communication)
par: Lopez-Gonzalez, Enrique
Publié: (2025)

MastitisApp: a software for preventive diagnosis of mastitis in dairy cows
par: Mafra, Italo Henrique Souza, et autres
Publié: (2025)

STM32-Based IoT Framework for Real-Time Environmental Monitoring and Wireless Node Synchronization
par: Dhrubo, Ahmed Faizul Haque, et autres
Publié: (2025)

Pancomputationalism: Theory or metaphor?
par: Müller, Vincent C.
Publié: (2025)

Expected by Whom? A Skill-Adjusted Expected Goals Model for NHL Shooters and Goaltenders
par: Noel, J. T. P.
Publié: (2025)

Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
par: Anumula, Sathish Krishna
Publié: (2025)

PrediHealth: Telemedicine and Predictive Algorithms for the Care and Prevention of Patients with Chronic Heart Failure
par: De Filippo, Giuseppe, et autres
Publié: (2025)

ArtistIC: An Open-Source Toolchain for Top-Metal IC Art and Ultra-High-Fidelity GDSII Renders
par: Benz, Thomas, et autres
Publié: (2025)

Reconfigurable Analog Computers
par: Ulmann, Bernd
Publié: (2025)