From Data to Models and Back
portes grátis
From Data to Models and Back
10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers
Pellungrini, Roberto; Bowles, Juliana; Broccia, Giovanna
Springer International Publishing AG
10/2022
193
Mole
Inglês
9783031160103
15 a 20 dias
320
Descrição não disponível.
?Invited Talks.- MultiVeStA: Statistical Analysis of Economic Agent-Based Models byStatistical Model Checking.- 10 Years of DataMod: the Synergy of Data-driven and Model-basedApproaches.- Model Veri?cation.- Analysis and veri?cation of robustness properties in Becker-D?ring model.- A Secure User-Centred Healthcare System: Design and Veri?cation.- 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 speci?cations 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer networks;correlation analysis;data mining;databases;embedded systems;formal logic;formal methods;machine learning;model checking;network protocols;signal processing;software architecture;software design;software engineering;theoretical computer science
?Invited Talks.- MultiVeStA: Statistical Analysis of Economic Agent-Based Models byStatistical Model Checking.- 10 Years of DataMod: the Synergy of Data-driven and Model-basedApproaches.- Model Veri?cation.- Analysis and veri?cation of robustness properties in Becker-D?ring model.- A Secure User-Centred Healthcare System: Design and Veri?cation.- 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 speci?cations 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer networks;correlation analysis;data mining;databases;embedded systems;formal logic;formal methods;machine learning;model checking;network protocols;signal processing;software architecture;software design;software engineering;theoretical computer science
