Buchumschlag

Fault Tree Synthesis from Knowledge Graphs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ntagengerwa, Manzi Aimé, Caltais, Georgiana, Stoelinga, Mariëlle
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Other Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)

PFL: a Probabilistic Logic for Fault Trees
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2023)

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
von: Soltani, Reza, et al.
Veröffentlicht: (2025)

Querying Fault and Attack Trees: Property Specification on a Water Network
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2024)

Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees
von: Soltani, Reza, et al.
Veröffentlicht: (2025)

Synthesis of mass-spring networks from high-level code descriptions
von: Omidvar, Parisa, et al.
Veröffentlicht: (2025)

A Hierarchical Decomposition of Kullback-Leibler Divergence: Disentangling Marginal Mismatches from Statistical Dependencies
von: Cook, William
Veröffentlicht: (2025)

S-BLE: A Participatory BLE Sensory Data Set Recorded from Real-World Bus Travel Events
von: Lam, Jonathan, et al.
Veröffentlicht: (2025)

Lessons Learned from the Real-World Deployment of Multi-Sensor Fusion for Proactive Work Zone Safety Application
von: Ahmad, Minhaj Uddin, et al.
Veröffentlicht: (2025)

Is 3-(F)WL Enough to Distinguish All 3D Graphs?
von: Xu, Wanghan
Veröffentlicht: (2024)

Circular Induction
von: Lucanu, Dorel, et al.
Veröffentlicht: (2026)

SprayCraft: Graph-Based Route Optimization for Variable Rate Precision Spraying
von: Kethineni, Kiran K., et al.
Veröffentlicht: (2024)

Simulation Everywhere: An Evolutionary Expansion of Discrete-Event Modeling and Simulation research and practice
von: Akpan, Ikpe Justice, et al.
Veröffentlicht: (2025)

Digital Twins in Industrial Applications: Concepts, Mathematical Modeling, and Use Cases
von: Mohammad-Djafari, Ali
Veröffentlicht: (2025)

Vehicle-to-Grid Integration: Ensuring Grid Stability, Strengthening Cybersecurity, and Advancing Energy Market Dynamics
von: Ahmad, Bilal, et al.
Veröffentlicht: (2025)

Virtual Laboratories: Domain-agnostic workflows for research
von: Sevilla-Salcedo, Carlos, et al.
Veröffentlicht: (2025)

Translation of Enterprise Architecture Concept to Facilitate Digital Transformation Initiatives in Vietnam: Processes, Mechanisms and Impacts
von: Dang, Duong, et al.
Veröffentlicht: (2025)

MRSeqStudio: MRI Sequence Design and Simulation as a Service in a Free and Open-Source Web Platform
von: Villacorta-Aylagas, Pablo, et al.
Veröffentlicht: (2025)

Partial Symmetry Enforced Attention Decomposition (PSEAD): A Group-Theoretic Framework for Equivariant Transformers in Biological Systems
von: Olanrewaju, Daniel Ayomide
Veröffentlicht: (2025)

Towards a Periodic Table of Computer System Design Principles
von: Arulraj, Joy
Veröffentlicht: (2025)

Fast Thermal-Aware Chiplet Placement Assisted by Surrogate
von: Zhang, Qinqin, et al.
Veröffentlicht: (2025)

A double-layer placement algorithm for integrated circuit-based modules on printed circuit board
von: Li, Hangyuan, et al.
Veröffentlicht: (2025)

Optimization research for rescue hot standby EMU location and coverage area in a large-scale high-speed railway network
von: Lin, Boliang, et al.
Veröffentlicht: (2025)

Beyond Motion Artifacts: Optimizing PPG Preprocessing for Accurate Pulse Rate Variability Estimation
von: Watanabe, Yuna, et al.
Veröffentlicht: (2025)

Implementing Video Monitoring Capabilities by using hardware-based Encoders of the Raspberry Pi Zero 2 W
von: Ederer, Thomas, et al.
Veröffentlicht: (2025)

A Novel Multilevel Taxonomical Approach for Describing High-Dimensional Unlabeled Movement Data
von: Tavakoli, Yashat, et al.
Veröffentlicht: (2025)

Digital Twin-Empowered Cooperative Autonomous Car-sharing Services: Proof-of-Concept
von: Nonomura, Kazuma, et al.
Veröffentlicht: (2025)

Disruption Management in Airline Operations: A Solver-based Approach using Time-Space Network Optimization
von: Rodrigues, J., et al.
Veröffentlicht: (2025)

Coherent Optical Quantum Computing-Aided Resource Optimization for Transportation Digital Twin Construction
von: Zhang, Huixiang, et al.
Veröffentlicht: (2025)

Drafting and Multi-Input Switching in Digital Dynamic Timing Simulation for Multi-Input Gates
von: Ferdowsi, Arman, et al.
Veröffentlicht: (2025)

Modelling Scenarios for Carbon-aware Geographic Load Shifting of Compute Workloads
von: Vanderbauwhede, Wim
Veröffentlicht: (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)
von: Lopez-Gonzalez, Enrique
Veröffentlicht: (2025)

MastitisApp: a software for preventive diagnosis of mastitis in dairy cows
von: Mafra, Italo Henrique Souza, et al.
Veröffentlicht: (2025)

STM32-Based IoT Framework for Real-Time Environmental Monitoring and Wireless Node Synchronization
von: Dhrubo, Ahmed Faizul Haque, et al.
Veröffentlicht: (2025)

Pancomputationalism: Theory or metaphor?
von: Müller, Vincent C.
Veröffentlicht: (2025)

Expected by Whom? A Skill-Adjusted Expected Goals Model for NHL Shooters and Goaltenders
von: Noel, J. T. P.
Veröffentlicht: (2025)

Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
von: Anumula, Sathish Krishna
Veröffentlicht: (2025)

PrediHealth: Telemedicine and Predictive Algorithms for the Care and Prevention of Patients with Chronic Heart Failure
von: De Filippo, Giuseppe, et al.
Veröffentlicht: (2025)

ArtistIC: An Open-Source Toolchain for Top-Metal IC Art and Ultra-High-Fidelity GDSII Renders
von: Benz, Thomas, et al.
Veröffentlicht: (2025)

Reconfigurable Analog Computers
von: Ulmann, Bernd
Veröffentlicht: (2025)