Cantitate/Preț
Produs
Total produse
Vezi coșul
From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers de Juliana Bowles

From Data to Models and Back: 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers: Lecture Notes in Computer Science, cartea 13268

Editat de Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
en Limba Engleză Paperback – 15 oct 2022
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 35622 lei

Preț vechi: 44528 lei
-20% Nou

Puncte Express: 534
Preț estimativ în valută:
6817€ • 7108$ • 5666£

Carte tipărită la comandă

Livrare economică 20 martie-03 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031160103
ISBN-10: 303116010X
Pagini: 193
Ilustrații: X, 193 p. 50 illus., 44 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.29 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

​Invited Talks.- MultiVeStA: Statistical Analysis of Economic Agent-Based Models by
Statistical Model Checking.- 10 Years of DataMod: the Synergy of Data-driven and Model-based
Approaches.- 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.