From Data to Models and Back
10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.
The 9 full papers and 1 short paper...
The 9 full papers and 1 short paper...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
58.84 €
29 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „From Data to Models and Back “
Klappentext zu „From Data to Models and Back “
This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model verification; data mining and processing related approaches; and other approaches.
Inhaltsverzeichnis zu „From Data to Models and Back “
Invited Talks.- MultiVeStA: Statistical Analysis of Economic Agent-Based Models byStatistical Model Checking.- 10 Years of DataMod: the Synergy of Data-driven and Model-basedApproaches.- Model Verification.- Analysis and verification of robustness properties in Becker-Döring model.- A Secure User-Centred Healthcare System: Design and Verification.- Model-based Security Assessment on the Design of a Patient-centric Data Sharing Platform.- Model Checking Video Streams using VoxLogicA on GPU.- Data Mining and Processing Related Approaches.- Privacy Risk and Data Utility Assessment on Network Data.- Detecting Anxiety Trends Using Wearable Sensor Data in Real-world Situations.- Other Approaches.- Combining quantitative data with logic-based specifications for parameter inference.- Learning Program Input Grammars with Help from Abstract Syntax Trees.- Spatio-temporal model checking for 3D individual-based biofilm simulations.- A Web-based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science.
Bibliographische Angaben
- 2022, 1st ed. 2022, X, 193 Seiten, 44 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
- Verlag: Springer, Berlin
- ISBN-10: 303116010X
- ISBN-13: 9783031160103
Sprache:
Englisch
Kommentar zu "From Data to Models and Back"
0 Gebrauchte Artikel zu „From Data to Models and Back“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "From Data to Models and Back".
Kommentar verfassen