From Data to Models and Back

11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
Herausgegeben:Broccia, Giovanna; Cerone, Antonio

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 14618
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-87216-7
• Seitenzahl: 176
• Erscheinungstermin: 15. April 2025
• Englisch
• Abmessung: 235mm x 155mm x 10mm
• Gewicht: 277g
• ISBN-13: 9783031872167
• ISBN-10: 3031872169
• Artikelnr.: 73285674

Inhaltsangabe

.- 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.