From Data to Models and Back: Revised Selected Papers of the 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 1st Edition Juliana Bowles 3031160118 9783031160110

This completed downloadable of From Data to Models and Back: Revised Selected Papers of the 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 1st Edition Juliana Bowles

Instant downloaded From Data to Models and Back: Revised Selected Papers of the 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 1st Edition Juliana Bowles pdf docx epub after payment.

Product details:

• ISBN 10: 3031160118
• ISBN 13: 9783031160110
• Author: Juliana Bowles

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.

Table of contents:

1. MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking
2. Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches
3. Model Verification
4. Analysis and Verification of Robustness Properties in Becker-Döring Model
5. A Secure User-Centred Healthcare System: Design and Verification
6. Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform
7. Towards Model Checking Video Streams Using VoxLogicA on GPUs
8. Data Mining and Processing Related Approaches
9. Privacy Risk and Data Utility Assessment on Network Data
10. Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations
11. Other Approaches
12. Combining Quantitative Data with Logic-Based Specifications for Parameter Inference
13. A Refinement Based Algorithm for Learning Program Input Grammars
14. Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations
15. A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science

People also search:

from datamodel

from data model greyed out

from data analyst to data scientist

from data entry to data analyst

a data model