E-Books durchsuchen

From Data to Models and Back [2022]

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
Analysis and Verification of Robustness Properties in Becker-Döring Model
4
A Secure User-Centred Healthcare System: Design and Verification
5
Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform
6
Towards Model Checking Video Streams Using VoxLogicA on GPUs
7
Privacy Risk and Data Utility Assessment on Network Data
8
Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations
9
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference
10
A Refinement Based Algorithm for Learning Program Input Grammars
11
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations
12
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science
Feedback