<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Massimiliano de Leoni</style></author><author><style face="normal" font="default" size="100%">Giacomo Lanciano</style></author><author><style face="normal" font="default" size="100%">Andrea Marrella</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning</style></title><secondary-title><style face="normal" font="default" size="100%">28th International Conference on Automated Planning and Scheduling (ICAPS 2018)</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Automated Planning</style></keyword><keyword><style  face="normal" font="default" size="100%">Conformance Checking</style></keyword><keyword><style  face="normal" font="default" size="100%">PDDL</style></keyword><keyword><style  face="normal" font="default" size="100%">Process Mining</style></keyword><keyword><style  face="normal" font="default" size="100%">Trace Alignment</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17739/16951</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">Conformance checking is the problem of verifying if the actual executions of business processes, which are recorded by information systems in dedicated event logs, are compliant with a process model that encodes the process' constraints. Within conformance checking, alignment-based techniques can exactly pinpoint where deviations are observed. Existing alignment-based techniques rely on the assumption of a perfect knowledge of the order with which process' activities were executed in reality. However, experience shows that, due to logging errors and inaccuracies, it is not always possible to determine the exact order with which certain activities were executed. This paper illustrates an alignment-based technique where the perfect knowledge assumption of the execution's order is removed. The technique transforms the problem of alignment-based conformance checking into a planning problem encoded in PDDL, for which planners can find a correct solution in a finite amount of time. We implemented the technique as a software tool that is integrated with state-of-the-art planners. To showcase its practical relevance and scalability, we report on experiments with a real-life case study and several synthetic ones of increasing complexity.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cecilia Panigutti</style></author><author><style face="normal" font="default" size="100%">Tizzoni, Michele</style></author><author><style face="normal" font="default" size="100%">Bajardi, Paolo</style></author><author><style face="normal" font="default" size="100%">Smoreda, Zbigniew</style></author><author><style face="normal" font="default" size="100%">Colizza, Vittoria</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Assessing the use of mobile phone data to describe recurrent mobility patterns in spatial epidemic models</style></title><secondary-title><style face="normal" font="default" size="100%">Royal Society open science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://royalsocietypublishing.org/doi/full/10.1098/rsos.160950</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">4</style></volume><pages><style face="normal" font="default" size="100%">160950</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The recent availability of large-scale call detail record data has substantially improved our ability of quantifying human travel patterns with broad applications in epidemiology. Notwithstanding a number of successful case studies, previous works have shown that using different mobility data sources, such as mobile phone data or census surveys, to parametrize infectious disease models can generate divergent outcomes. Thus, it remains unclear to what extent epidemic modelling results may vary when using different proxies for human movements. Here, we systematically compare 658 000 simulated outbreaks generated with a spatially structured epidemic model based on two different human mobility networks: a commuting network of France extracted from mobile phone data and another extracted from a census survey. We compare epidemic patterns originating from all the 329 possible outbreak seed locations and identify the structural network properties of the seeding nodes that best predict spatial and temporal epidemic patterns to be alike. We find that similarity of simulated epidemics is significantly correlated to connectivity, traffic and population size of the seeding nodes, suggesting that the adequacy of mobile phone data for infectious disease models becomes higher when epidemics spread between highly connected and heavily populated locations, such as large urban areas.</style></abstract></record></records></xml>