{"id":544,"date":"2019-10-01T08:56:09","date_gmt":"2019-10-01T08:56:09","guid":{"rendered":"http:\/\/pages.di.unipi.it\/datamod\/?page_id=544"},"modified":"2019-10-01T09:05:33","modified_gmt":"2019-10-01T09:05:33","slug":"program-and-pre-proceedings","status":"publish","type":"page","link":"https:\/\/pages.di.unipi.it\/datamod\/program-and-pre-proceedings\/","title":{"rendered":"Program and Pre-proceedings"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">The program of DataMod 2019 is available here: <\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/easychair.org\/smart-program\/DataMod2019\/\">https:\/\/easychair.org\/smart-program\/DataMod2019\/<\/a><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Pre-proceeding version of papers and presentation reports:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_5.pdf\">Validation of a Simulation Algorithm for Safety-Critical Human Multitasking<\/a><br> by G. Broccia, P. Milazzo, C. Berrocal Montiel and C. Belviso<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_4.pdf\">An Ontology-based Approach to Support Formal Verification of Concurrent Systems<\/a><br> by N. Garanina, I. Anureev, E. Sidorova, V. Zyubin and S. Gorlatch<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_1.pdf\">How to look next? A data-driven approach for scanpath prediction<\/a><br> by V. Cuculo, G. Boccignone and A. D&#8217;Amelio<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_11.pdf\">&#8220;Know Thyself&#8221; How Personal Music Tastes Shape the Last.Fm Online Social Network<\/a><br> by R. Guidotti and G. Rossetti<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_7.pdf\">Gender Recognition in the Wild with Small Sample Size &#8211; A Dictionary Learning Approach<\/a><br> by A. D&#8217;Amelio, V. Cuculo and S. Bursic<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_10.pdf\">An instrumented mobile language learning application for the analysis of usability and learning<\/a><br> by A. Aibassova, A. Cerone and M. Tashkenbayev<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_6.pdf\">Analysis and Visualization of Performance Indicators in University Admission Tests<\/a><br> by S. Rinzivillo, M. Natilli, D. Pedreschi, D. Fadda and F. Licari<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_8.pdf\">Anomaly Detection From Log Files Using Unsupervised Deep Learning<\/a><br> by S. Bursic, A. D&#8217;Amelio and V. Cuculo<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_12.pdf\">Economics-driven behaviour intervention support in organizations<\/a><br> by A. Demjaha, S. Parkin and D. Pym<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_14.pdf\">Preliminary Results on Predicting Robustness of Biochemical Pathways through Machine Learning on Graphs<\/a><br> by P. Bove, A. Micheli, P. Milazzo and M. Podda<\/li><li><a href=\"https:\/\/pages.di.unipi.it\/datamod\/wp-content\/uploads\/sites\/8\/2019\/10\/DataMod_2019_paper_13.pdf\">Interpreting Probabilistic Models of Social Group Interactions in Meetings<\/a><br> by O. Andrei<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>The program of DataMod 2019 is available here: https:\/\/easychair.org\/smart-program\/DataMod2019\/ Pre-proceeding version of papers and presentation reports: Validation of a Simulation Algorithm for Safety-Critical Human Multitasking by G. Broccia, P. Milazzo, C. Berrocal Montiel and C. Belviso An Ontology-based Approach to Support Formal Verification of Concurrent Systems by N. Garanina, I. Anureev, E. Sidorova, V. Zyubin <a href='https:\/\/pages.di.unipi.it\/datamod\/program-and-pre-proceedings\/' class='excerpt-more'>[&#8230;]<\/a><\/p>\n","protected":false},"author":12,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-544","page","type-page","status-publish","hentry","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/544","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/comments?post=544"}],"version-history":[{"count":3,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/544\/revisions"}],"predecessor-version":[{"id":558,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/544\/revisions\/558"}],"wp:attachment":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/media?parent=544"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}