Livia Lestingi,
Gwen Salaun,
Gwen Salaün,
Jose Ignacio Requeno Jarabo,
José Ignacio Requeno Jarabo
e.a.
From Data to Models and Back
13th International Symposium, DataMod 2025, Toledo, Spain, November 10–11, 2025, Revised Selected Papers
Paperback Engels 2026 9783032255518Levertijd ± 9 werkdagen
Gratis verzonden
Samenvatting
This book constitutes revised selected papers of the 13th International Symposium on From Data Models and Back, DataMod 2025, held in Toledo, Spain, during November 10–11, 2025.
The 7 full papers and 1 sort paper included in this book were carefully reviewed and selected from 12 submissions. These papers present research results in the floowing areas:
Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems.
Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data.
Specificaties
ISBN13:9783032255518
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:163
Uitgever:Springer Nature Switzerland
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
.- Explainable Root Cause Analysis for Microservices’ Incomplete Logs.
.- Efficient Construction of Reachability Graphs for Petri Net Product Lines.
.- Probabilistic Algorithm with Dynamic Load Balancing for GPU-Accelerated Tumor Growth Simulations.
.- Reachability Specification Adaptation for Continuous Dynamical Systems.
.- Ruleless Digital Twins.
.- Physics-Informed Neural Networks for SIR Models: Evaluating Data Integration Strategies.
.- Low-Cost Embedded PSO for Decentralized, Scalable and Sustainable Hydroelectric Dispatch.
.- On the Relationship Between Neural Gradients and Model Reasoning.
.- Taylor’s DAgger: Verified Integration for Efficient Imitation Learning of an MPC*.
.- From Transformers to Weighted Automata: Towards the Verification of Large Language Models.
.- Efficient Construction of Reachability Graphs for Petri Net Product Lines.
.- Probabilistic Algorithm with Dynamic Load Balancing for GPU-Accelerated Tumor Growth Simulations.
.- Reachability Specification Adaptation for Continuous Dynamical Systems.
.- Ruleless Digital Twins.
.- Physics-Informed Neural Networks for SIR Models: Evaluating Data Integration Strategies.
.- Low-Cost Embedded PSO for Decentralized, Scalable and Sustainable Hydroelectric Dispatch.
.- On the Relationship Between Neural Gradients and Model Reasoning.
.- Taylor’s DAgger: Verified Integration for Efficient Imitation Learning of an MPC*.
.- From Transformers to Weighted Automata: Towards the Verification of Large Language Models.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan