Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Machine Learning"
Treffer 39 von 41937
|
|
| Link zu diesem Datensatz | https://d-nb.info/1377034984 |
| Titel | Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24–26, 2025, Proceedings / edited by Panagiotis Katsaros |
| Person(en) | Katsaros, Panagiotis (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2026 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2026 |
| Umfang/Format | Online-Ressource, XIII, 430 p. 173 illus. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-032-05072-4 Printed edition:: ISBN: 978-3-032-05074-8 |
| Inhalt | System Safety Assessment -- Failure and defect detection of safety critical 3D printed goods -- Model-Based Safety Assessment for Flight Control Systems: Methodology and Case Study -- Multi-approach based Safety Analysis of a Wastewater Treatment System -- Application of a MBSA approach on a representative subsystem of EGNOS (European Geostationary Navigation Overlay Service) -- Safety Analysis Methods in Aerospace: A Case-Based Comparison of FTA and MBSA -- Cybersecurity Analysis -- MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems -- Cybersecurity Threat Detection through Business Process Log Analysis -- Interpretable and Trustworthy Attack Diagnosis for UAVs Using SafeML -- Safe Machine Learning -- Incorporating failure of Machine Learning in probabilistic safety assessment and runtime safety assurance -- Safer Skin Lesion Classification with Global Class Activation Probability Map Evaluation and SafeML -- CODIF: Counterfactual data-augmentations for estimating perception influencing factors -- The Information Meta Model for Machine Learning IM3L: A Structured Approach to ML Integration in Engineering Systems -- RAGuard: A Novel Approach for in-context Safe Retrieval Augmented Generation for LLMs -- Probabilistic Analysis -- Variance-based Sensitivity Analysis for Probabilistic Risk Assessment -- Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems -- Model-based Design and Safety Assessment -- From Natural Language Requirement Specifications to Logic Properties -- Model-Based Dependent Failure Analysis -- Comparative Analysis of Non-Colored and Colored Petri Net Models for Availability Assessment of Safety-Critical Cloud Software in Railways -- MBSA model exchange and its challenges -- ACEditor: a Modeling Tool for Synthesizing Exceutable Assurance Cases from Fault Trees -- Machine Learning and Automata Learning for System Safety -- AI4Green, A Framework for AI-based Resource Optimizations for Reliable Applications -- Analyzing Truck Platoons with Automata Learning and Model Checking -- Q-SafeML, A Quantum-Statistical Approach to Safety Monitoring in Quantum Machine Learning -- Failure Detection Isolation and Recovery Analysis -- Towards a Unifying View of Fault Propagation Analyses and Notations -- An Altarica-based modelling and analysis approach enabling UAV regulation compliance -- Timed Models in AltaRica 3.0 -- Experience in developing an algorithm at the MBSA level to minimize the complexity of fault trees during automatic generation from design data -- From Abstract to Action: Tailored Environment Taxonomies for More Complete ADS Safety Analyses |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2509210405560.128495665537 DOI: 10.1007/978-3-032-05073-1 |
| URL | https://doi.org/10.1007/978-3-032-05073-1 |
| ISBN/Einband/Preis | 978-3-032-05073-1 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 15755 |
| DDC-Notation | 004.2 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 39 von 41937
Administration
