| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
From data to models and back/ edited by Giovanna Broccia, Antonio Cerone. |
| Reminder of title: |
11th International Symposium, DataMod 2023, Eindhoven, the Netherlands, November 6-7, 2023 : revised selected papers / |
| remainder title: |
DataMod 2023 |
| other author: |
Broccia, Giovanna. |
| corporate name: |
DataMod (International Symposium) |
| Published: |
Cham :Springer Nature Switzerland : : 2025., |
| Description: |
x, 165 p. :ill. (some col.), digital ;24 cm. |
| [NT 15003449]: |
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. |
| Contained By: |
Springer Nature eBook |
| Subject: |
Electronic data processing - Congresses. - |
| Online resource: |
https://doi.org/10.1007/978-3-031-87217-4 |
| ISBN: |
9783031872174 |