From Data to Models and Back

10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers

AvJuliana Bowles,Giovanna Broccia

Häftad, Engelska, 2022

Del 13268 i serien Lecture Notes in Computer Science

621 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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 veriﬁcation; data mining and processing related approaches; and other approaches.

Produktinformation

Utgivningsdatum:2022-10-15
Mått:155 x 235 x 12 mm
Vikt:318 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:193
Förlag:Springer International Publishing AG
ISBN:9783031160103

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

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 Veriﬁcation.- Analysis and veriﬁcation of robustness properties in Becker-Dӧring model.- A Secure User-Centred Healthcare System: Design and Veriﬁcation.- 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 speciﬁcations 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.