From Data to Models and Back
Springer International Publishing (Verlag)
978-3-030-70649-4 (ISBN)
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020.
The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches.
Synthesis and Pruning as a Dynamic Compression Strategy for Efficient Deep Neural Networks.- Exploring Graph-Based Neural Networks for Automatic Brain Tumor Segmentation.- STDI-Net: Spatial-Temporal Network with Dynamic Interval Mapping for Bike Sharing Demand Prediction.- A Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways.- Discovering the Impact of Notifications on Social Network Addiction.- A Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision.- A Formal Model for Emulating the Generation of Human Knowledge in Semantic Memory.- Analysis of COVID-19 data with PRISM: Parameter Estimation and SIR Modelling.- A Formal Model for the Simulation and Analysis of Early Biofilm Formation.- Query Rewriting On Path Views Without Integrity Constraints.- Evaluating Trace Encoding Methods in Process Mining.- Semantic Annotations in Clinical Guidelines.- Deriving Performance Measures of Workflow in Radiation Therapy from Real-Time Data.-Handshape Classification in a Reverse Dictionary of Sign Languages for the Deaf.
Erscheinungsdatum | 08.04.2021 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XII, 227 p. 49 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 372 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Schlagworte | Data Analysis • Data Mining • formal languages and automata theory • formal methods • Formal Verification • machine learning • Modeling and Simulation • Models of Computation • Natural Language Processing |
ISBN-10 | 3-030-70649-4 / 3030706494 |
ISBN-13 | 978-3-030-70649-4 / 9783030706494 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich