From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / / edited by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Bowles Juliana
|
| Titolo: |
From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / / edited by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Edizione: | 1st ed. 2022. |
| Descrizione fisica: | 1 online resource (199 pages) |
| Disciplina: | 006.312 |
| Soggetto topico: | Software engineering |
| Computer engineering | |
| Computer networks | |
| Artificial intelligence | |
| Computer science | |
| Software Engineering | |
| Computer Engineering and Networks | |
| Artificial Intelligence | |
| Theory of Computation | |
| Persona (resp. second.): | BrocciaGiovanna |
| PellungriniRoberto | |
| Nota di contenuto: | 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. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | From data to models and back |
| ISBN: | 9783031160110 |
| 3031160118 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910616208803321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 13268