<?xml version="1.0" encoding="UTF-8"?><xml><records><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%">V. Macchiati</style></author><author><style face="normal" font="default" size="100%">G. Brandi</style></author><author><style face="normal" font="default" size="100%">T. Di Matteo</style></author><author><style face="normal" font="default" size="100%">D. Paolotti</style></author><author><style face="normal" font="default" size="100%">G. Caldarelli</style></author><author><style face="normal" font="default" size="100%">G. Cimini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Systemic liquidity contagion in the European interbank market</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Economic Interaction and Coordination</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Epidemic model</style></keyword><keyword><style  face="normal" font="default" size="100%">European Interbank market</style></keyword><keyword><style  face="normal" font="default" size="100%">Financial contagion</style></keyword><keyword><style  face="normal" font="default" size="100%">Liquidity shocks</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2021</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></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%">Viviane Dib</style></author><author><style face="normal" font="default" size="100%">Marco Aurélio Nalon</style></author><author><style face="normal" font="default" size="100%">Nino Tavares Amazonas</style></author><author><style face="normal" font="default" size="100%">Cristina Yuri Vidal</style></author><author><style face="normal" font="default" size="100%">Iván A. Ortiz-Rodríguez</style></author><author><style face="normal" font="default" size="100%">Jan Daněk</style></author><author><style face="normal" font="default" size="100%">Maíra Formis de Oliveira</style></author><author><style face="normal" font="default" size="100%">Paola Alberti</style></author><author><style face="normal" font="default" size="100%">Rafaela Aparecida da Silva</style></author><author><style face="normal" font="default" size="100%">Raíza Salomão Precinoto</style></author><author><style face="normal" font="default" size="100%">Taciana Figueiredo Gomes</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Drivers of change in biodiversity and ecosystem services in the Cantareira System Protected Area : A prospective analysis of the implementation of public policies</style></title><secondary-title><style face="normal" font="default" size="100%">Biota Neotropica</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Biodiversity</style></keyword><keyword><style  face="normal" font="default" size="100%">Cantareira System Protected Area</style></keyword><keyword><style  face="normal" font="default" size="100%">Ecosystem services</style></keyword><keyword><style  face="normal" font="default" size="100%">GLOBIO</style></keyword><keyword><style  face="normal" font="default" size="100%">InVEST</style></keyword><keyword><style  face="normal" font="default" size="100%">Modeling</style></keyword><keyword><style  face="normal" font="default" size="100%">Scenarios</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2020</style></year><pub-dates><date><style  face="normal" font="default" size="100%">05/2020</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://www.scielo.br/scielo.php?script=sci_arttext&amp;pid=S1676-06032020000500201</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">20</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The lack of implementation of well-designed public policies aimed at the conservation of natural ecosystems has resulted, at a global level, in the decline of ecosystem functioning and, consequently, of the contributions they make to people. The poor enforcement of important environmental legislation in Brazil - for instance, the “Atlantic Forest Law” (Law n.11.428/2006) and the “Forest Code” (Law n.12.651/2012) - could compromise the overall maintenance of ecosystems and the services they provide. To explore the implications of different levels of federal laws’ enforcement within the Cantareira System Protected Area (PA) - a PA in southeastern Brazil that provides fresh water for 47% of the Sao Paulo Metropolitan Area -, we developed a conceptual framework to identify indirect and direct drives of biodiversity and ecosystem changes. We also projected four land-use scenarios to 2050 to test the effects of deforestation control and forest restoration practices on biodiversity and ecosystem services maintenance: the “business-as-usual” scenario (BAU), which assumes that all trends in land-use cover changes observed in the past will continue in the future, and three alternative exploratory scenarios considering the Atlantic Forest Law implementation, the partial implementation of the Forest Code and the full implementation of the Forest Code. Using the land-use maps generated for each scenario, we assessed the impacts of land-use changes on biodiversity conservation and soil retention. Our results revealed all alternative scenarios could increase biodiversity conservation (by 7%; 12%; and 12%, respectively), reduce soil loss (by 24.70%; 34.70%; and 38.12%, respectively) and sediment exportation to water (by 27.47%; 55.06%; and 59.28%, respectively), when compared to the BAU scenario. Our findings highlight the importance of restoring and conserving native vegetation for the maintenance and improvement of biodiversity conservation and for the provision of ecosystem services.</style></abstract><issue><style face="normal" font="default" size="100%">1</style></issue><work-type><style face="normal" font="default" size="100%">Article</style></work-type></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%">D. Di Gangi</style></author><author><style face="normal" font="default" size="100%">D. R. Lo Sardo</style></author><author><style face="normal" font="default" size="100%">V. Macchiati</style></author><author><style face="normal" font="default" size="100%">T. P. Minh</style></author><author><style face="normal" font="default" size="100%">F. Pinotti</style></author><author><style face="normal" font="default" size="100%">A. Ramadiah</style></author><author><style face="normal" font="default" size="100%">M. Wilinski</style></author><author><style face="normal" font="default" size="100%">P. Barucca</style></author><author><style face="normal" font="default" size="100%">G. Cimini</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Network Sensitivity of Systemic Risk</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Network Theory in Finance</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><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%">Baltakiene, M</style></author><author><style face="normal" font="default" size="100%">Baltakys, K</style></author><author><style face="normal" font="default" size="100%">Cardamone, D</style></author><author><style face="normal" font="default" size="100%">Parisi, F</style></author><author><style face="normal" font="default" size="100%">Tommaso Radicioni</style></author><author><style face="normal" font="default" size="100%">Torricelli, M</style></author><author><style face="normal" font="default" size="100%">de Jeude, JA</style></author><author><style face="normal" font="default" size="100%">Saracco, F</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Maximum entropy approach to link prediction in bipartite networks</style></title><secondary-title><style face="normal" font="default" size="100%">arXiv preprint arXiv:1805.04307</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>45</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Giacomo Lanciano</style></author><author><style face="normal" font="default" size="100%">Massimiliano de Leoni</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Models and Logs used in the paper ‘Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning’ accepted for ICAPS 2018</style></title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Computation Theory and Mathematics</style></keyword><keyword><style  face="normal" font="default" size="100%">Event Logs</style></keyword><keyword><style  face="normal" font="default" size="100%">Petri nets</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://data.4tu.nl/repository/uuid:a02afec8-b7c7-42b7-8dff-36d3de3032be</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">TU Eindhoven</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><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%">Brunato, Dominique</style></author><author><style face="normal" font="default" size="100%">De Mattei, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Dell’Orletta, Felice</style></author><author><style face="normal" font="default" size="100%">Iavarone, Benedetta</style></author><author><style face="normal" font="default" size="100%">Venturi, Giulia</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Is this Sentence Difficult? Do you Agree?</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></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%">N. Atanov</style></author><author><style face="normal" font="default" size="100%">V. Baranov</style></author><author><style face="normal" font="default" size="100%">J. Budagov</style></author><author><style face="normal" font="default" size="100%">F. Cervelli</style></author><author><style face="normal" font="default" size="100%">F. Colao</style></author><author><style face="normal" font="default" size="100%">M. Cordelli</style></author><author><style face="normal" font="default" size="100%">G. Corradi</style></author><author><style face="normal" font="default" size="100%">E. Dané</style></author><author><style face="normal" font="default" size="100%">Y.I. Davydov</style></author><author><style face="normal" font="default" size="100%">S. Di Falco</style></author><author><style face="normal" font="default" size="100%">E. Diociaiuti</style></author><author><style face="normal" font="default" size="100%">S. Donati</style></author><author><style face="normal" font="default" size="100%">R. Donghia</style></author><author><style face="normal" font="default" size="100%">B. Echenard</style></author><author><style face="normal" font="default" size="100%">K. Flood</style></author><author><style face="normal" font="default" size="100%">S. Giovannella</style></author><author><style face="normal" font="default" size="100%">V. Glagolev</style></author><author><style face="normal" font="default" size="100%">F. Grancagnolo</style></author><author><style face="normal" font="default" size="100%">F. Happacher</style></author><author><style face="normal" font="default" size="100%">D.G. Hitlin</style></author><author><style face="normal" font="default" size="100%">M. Martini</style></author><author><style face="normal" font="default" size="100%">S. Miscetti</style></author><author><style face="normal" font="default" size="100%">T. Miyashita</style></author><author><style face="normal" font="default" size="100%">L. Morescalchi</style></author><author><style face="normal" font="default" size="100%">P. Murat</style></author><author><style face="normal" font="default" size="100%">G. Pezzullo</style></author><author><style face="normal" font="default" size="100%">F. Porter</style></author><author><style face="normal" font="default" size="100%">F. Raffaelli</style></author><author><style face="normal" font="default" size="100%">Tommaso Radicioni</style></author><author><style face="normal" font="default" size="100%">M. Ricci</style></author><author><style face="normal" font="default" size="100%">A. Saputi</style></author><author><style face="normal" font="default" size="100%">I. Sarra</style></author><author><style face="normal" font="default" size="100%">F. Spinella</style></author><author><style face="normal" font="default" size="100%">G. Tassielli</style></author><author><style face="normal" font="default" size="100%">V. Tereshchenko</style></author><author><style face="normal" font="default" size="100%">Z. Usubov</style></author><author><style face="normal" font="default" size="100%">R.Y. Zhu</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The calorimeter of the Mu2e experiment at Fermilab</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Instrumentation</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://doi.org/10.1088%2F1748-0221%2F12%2F01%2Fc01061</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">12</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The Mu2e experiment at Fermilab looks for Charged Lepton Flavor Violation (CLFV) improving by 4 orders of magnitude the current experimental sensitivity for the muon to electron conversion in a muonic atom. A positive signal could not be explained in the framework of the current Standard Model of particle interactions and therefore would be a clear indication of new physics. In 3 years of data taking, Mu2e is expected to observe less than one background event mimicking the electron coming from muon conversion. Achieving such a level of background suppression requires a deep knowledge of the experimental apparatus: a straw tube tracker, measuring the electron momentum and time, a cosmic ray veto system rejecting most of cosmic ray background and a pure CsI crystal calorimeter, that will measure time of flight, energy and impact position of the converted electron. The calorimeter has to operate in a harsh radiation environment, in a 10−4 Torr vacuum and inside a 1 T magnetic field. The results of the first qualification tests of the calorimeter components are reported together with the energy and time performances expected from the simulation and measured in beam tests of a small scale prototype.</style></abstract></record><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%">A Tool for Aligning Event Logs and Prescriptive Process Models through Automated Planning</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017)</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%">http://ceur-ws.org/Vol-1920/BPM_2017_paper_187.pdf</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">In Conformance Checking, alignment is the problem of detecting and repairing nonconformity between the actual execution of a business process, as recorded in an event log, and the model of the same process. Literature proposes solutions for the alignment problem that are implementations of planning algorithms built ad-hoc for the specific problem. Unfortunately, in the era of big data, these ad-hoc implementations do not scale sufficiently compared with well-established planning systems. In this paper, we tackle the above issue by presenting a tool, also available in ProM, to represent instances of the alignment problem as automated planning problems in PDDL (Planning Domain Definition Language) for which state-of-the-art planners can find a correct solution in a finite amount of time. If alignment problems are converted into planning problems, one can seamlessly update to the recent versions of the best performing automated planners, with advantages in term of versatility and customization. Furthermore, by employing several processes and event logs of different sizes, we show how our tool outperforms existing approaches of several order of magnitude and, in certain cases, carries out the task while existing approaches run out of memory.</style></abstract></record></records></xml>