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