Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Models in Science"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1363068237 |
Titel | From Data to Models and Back : 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers / edited by Giovanna Broccia, Antonio Cerone |
Person(en) |
Broccia, Giovanna (Herausgeber) Cerone, Antonio (Herausgeber) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Ausgabe | 1st ed. 2025 |
Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
Zeitliche Einordnung | Erscheinungsdatum: 2025 |
Umfang/Format | Online-Ressource, X, 165 p. 40 illus., 14 illus. in color. : online resource. |
Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-031-87216-7 Printed edition:: ISBN: 978-3-031-87218-1 |
Inhalt | -- 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 |
Persistent Identifier |
URN: urn:nbn:de:101:1-2504150405551.962491214888 DOI: 10.1007/978-3-031-87217-4 |
URL | https://doi.org/10.1007/978-3-031-87217-4 |
ISBN/Einband/Preis | 978-3-031-87217-4 |
Sprache(n) | Englisch (eng) |
Beziehungen | Lecture Notes in Computer Science ; 14618 |
DDC-Notation | 006.33 (maschinell ermittelte DDC-Kurznotation) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
