From Data to Models and Back
Springer International Publishing (Verlag)
978-3-031-16010-3 (ISBN)
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.
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 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.
Erscheinungsdatum | 16.10.2022 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | X, 193 p. 50 illus., 44 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 320 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Schlagworte | Architecting • architecture verification and validation • Artificial Intelligence • Computer Networks • Correlation Analysis • Data Analysis • Databases • Data Mining • Embedded Systems • formal languages and automata theory • Formal Logic • formal methods • machine learning • Model Checking • Network Protocols • Signal Processing • software architecture • Software Design • Software engineering • theoretical computer science |
ISBN-10 | 3-031-16010-X / 303116010X |
ISBN-13 | 978-3-031-16010-3 / 9783031160103 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich