1 option
From Data to Models and Back : 13th International Symposium, DataMod 2025, Toledo, Spain, November 10–11, 2025, Revised Selected Papers / edited by Livia Lestingi, Gwen Salaün, José Ignacio Requeno Jarabo.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Lestingi, Livia.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 16421
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer engineering.
- Computer networks.
- Artificial intelligence.
- Computer science.
- Software Engineering.
- Computer Engineering and Networks.
- Artificial Intelligence.
- Theory of Computation.
- Local Subjects:
- Software Engineering.
- Computer Engineering and Networks.
- Artificial Intelligence.
- Theory of Computation.
- Physical Description:
- 1 online resource (264 pages)
- Edition:
- 1st ed. 2026.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2026.
- Summary:
- 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. .
- Contents:
- 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.
- Notes:
- Print version record.
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783032255525
- OCLC:
- 1610751744
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.