Full Description
This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023.
The 8 full papers presented were carefully reviewed and selected from 10 submissions. They were organized in topical sections as follows: domain-specific modeling and analysis; system biology; formal methods in healthcare; and natural language processing.
Contents
.- Domain specific Modeling and Analysis.
.- Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology.
.- Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.
.- Extracting cyber threat intelligence from social media with case studies in Twitter/X and Reddit.
.- System Biology.
.- Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems.
.- Preliminary Results on Shapley Value Notions and Propagation Methods for Boolean Networks.
.- Formal Methods in Healthcare.
.- Towards a Flexible Approach for Understanding and Comparing Traces.
.- Modelling and Verification of an Application for Managing Sensitive Health Data.
.- Natural Language Processing.
.- Evaluating Large Language Models and Prompt Variants on the Task of Detecting Cease and Desist Violations in German Online Product Descriptions.
