Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
Neuigkeiten Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.
 
 

Ergebnis der Suche nach: tit all "Models in Science"

Zurück zur Trefferliste


Treffer 8 von 669 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1363068237
Art des Inhalts Konferenzschrift
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




Treffer 8 von 669
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration