Central Library

Normal view MARC view ISBD view

From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers / edited by Juliana Bowles, Giovanna Broccia, Roberto Pellungrini.

Contributor(s): Bowles, Juliana [editor.] | Broccia, Giovanna [editor.] | Pellungrini, Roberto [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 13268Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Edition: 1st ed. 2022.Description: X, 193 p. 50 illus., 44 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031160110.Subject(s): Software engineering | Computer engineering | Computer networks  | Artificial intelligence | Computer science | Software Engineering | Computer Engineering and Networks | Artificial Intelligence | Theory of Computation | Computer Engineering and NetworksAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.