DATAMOD 2019: 8TH INTERNATIONAL SYMPOSIUM "FROM DATA TO MODELS AND BACK (DATAMOD)

A
Aibassova, Aigerim	An instrumented mobile language learning application for the analysis of usability and learning
Andrei, Oana	Interpreting Probabilistic Models of Social Group Interactions in Meetings
Anureev, Igor	An Ontology-based Approach to Support Formal Verification of Concurrent Systems
B
Belviso, Cristina	Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
Berrocal Montiel, Carmen	Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
Boccignone, Giuseppe	How to look next? A data-driven approach for scanpath prediction
Bove, Pasquale	Preliminary Results on Predicting Robustness of Biochemical Pathways through Machine Learning on Graphs
Broccia, Giovanna	Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
Bursic, Sathya	Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach Anomaly Detection From Log Files Using Unsupervised Deep Learning
C
Cavalcanti, Ana	Diagrammatic physical robot models in RoboSim
Cerone, Antonio	An instrumented mobile language learning application for the analysis of usability and learning
Cuculo, Vittorio	Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach Anomaly Detection From Log Files Using Unsupervised Deep Learning How to look next? A data-driven approach for scanpath prediction
D
D'Amelio, Alessandro	Gender Recognition in the Wild with Small Sample Size - A Dictionary Learning Approach Anomaly Detection From Log Files Using Unsupervised Deep Learning How to look next? A data-driven approach for scanpath prediction
Demjaha, Albese	Economics-driven behaviour intervention support in organizations
F
Fadda, Daniele	Analysis and Visualization of Performance Indicators in University Admission Tests
G
Garanina, Natalia	An Ontology-based Approach to Support Formal Verification of Concurrent Systems
Gorlatch, Sergei	An Ontology-based Approach to Support Formal Verification of Concurrent Systems
Guidotti, Riccardo	"Know Thyself" How Personal Music Tastes Shape the Last.Fm Online Social Netwrok
L
Licari, Federica	Analysis and Visualization of Performance Indicators in University Admission Tests
M
Massink, Mieke	Verification of Data in Space and Time
Micheli, Alessio	Preliminary Results on Predicting Robustness of Biochemical Pathways through Machine Learning on Graphs
Milazzo, Paolo	Validation of a Simulation Algorithm for Safety-Critical Human Multitasking Preliminary Results on Predicting Robustness of Biochemical Pathways through Machine Learning on Graphs
N
Natilli, Michela	Analysis and Visualization of Performance Indicators in University Admission Tests
P
Parkin, Simon	Economics-driven behaviour intervention support in organizations
Pedreschi, Dino	Analysis and Visualization of Performance Indicators in University Admission Tests
Podda, Marco	Preliminary Results on Predicting Robustness of Biochemical Pathways through Machine Learning on Graphs
Pym, David	Economics-driven behaviour intervention support in organizations
R
Rinzivillo, Salvatore	Analysis and Visualization of Performance Indicators in University Admission Tests
Rossetti, Giulio	"Know Thyself" How Personal Music Tastes Shape the Last.Fm Online Social Netwrok
S
Sidorova, Elena	An Ontology-based Approach to Support Formal Verification of Concurrent Systems
T
Tashkenbayev, Mukhtar	An instrumented mobile language learning application for the analysis of usability and learning
Z
Zyubin, Vladimir	An Ontology-based Approach to Support Formal Verification of Concurrent Systems

Disclaimer | Powered by EasyChair Smart Program