Del 13268 i serien Lecture Notes in Computer Science

From Data to Models and Back

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

Häftad, Engelska, 2022

AvJuliana Bowles,Giovanna Broccia,Roberto Pellungrini

799 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2022-10-15
Mått155 x 235 x 12 mm
Vikt318 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor193
FörlagSpringer International Publishing AG
ISBN9783031160103

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Hårdvara inom Data och IT
Artificiell intelligens inom Data och IT

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.