Cantitate/Preț
Produs
Total produse
Vezi coșul
From Data to Models and Back de Juliana Bowles

From Data to Models and Back: 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ț: 34470 lei

Preț vechi: 43087 lei
-20%

Puncte Express: 517

Carte tipărită la comandă

Livrare economică 15-29 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031160103
ISBN-10: 303116010X
Pagini: 204
Ilustrații: X, 193 p. 50 illus., 44 illus. in color.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.32 kg
Ediția:1st edition 2022
Editura: Springer
Colecția Lecture Notes in Computer Science
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.