A Framework for Online Conformance Checking

Conformance checking – a branch of process mining – focuses on establishing to what extent actual executions of a process are in line with the expected behavior of a reference model. Current conformance checking techniques only allow for a-posteriori analysis: the amount of (non-)conformant behavior is quantified after the completion of the process instance. In this paper we propose a framework for online conformance checking: not only do we quantify (non-)conformant behavior as the execution is running, we also restrict the computation to constant time complexity per event analyzed, thus enabling the online analysis of a stream of events. The framework is instantiated with ideas coming from the theory of regions, and state similarity. An implementation is available in ProM and promising results have been obtained.Peer ReviewedPostprint (author's final draft

The roles of vitamin d and cathelicidin in type 1 diabetes susceptibility

Type 1 diabetes has an increasingly greater incidence and prevalence with no cure available. Vitamin D supplementation is well documented to reduce the risk of developing type 1 diabetes. Being involved in the modulation of cathelicidin expression, the question whether cathelicidin may be one of the underlying cause arises. Cathelicidin has been implicated in both the development and the protection against type 1 diabetes by mediating the interplay between the gut microbiome, the immune system and ß cell function. While its potential on type 1 diabetes treatment seems high, the understanding of its effects is still limited. This review aims to contribute to a more comprehensive understanding of the potential of vitamin D and cathelicidin as adjuvants in type 1 diabetes therapy.This work was financed by FEDER – Fundo Europeu de Desenvolvimento Regional funds through the COMPETE 2020 – Operacional Programme for Competitiveness and Internationalization (POCI), Portugal 2020, and by Portuguese funds through FCT – Fundação para a Ciência e a Tecnologia/ Ministério da Ciência, Tecnologia e Ensino Superior in the framework of the project PTDC/MED-OUT/30466/2017 and ‘Institute for Research and Innovation in Health Sciences’ (FCT – UID/BIM/04293/2019). Cecília Cristelo and Alexandra Machado would like to thank to Fundação para a Ciência e a Tecnologia (FCT), Portugal for financial support (SFRH/BD/139402/2018 and SFRH/BD132000/2017, respectively)

Team sports performance analysed through the lens of social network theory: implications for research and practice

This paper discusses how social network analyses and graph theory can be implemented in team sports performance analyses to evaluate individual (micro) and collective (macro) performance data, and how to use this information for designing practice tasks. Moreover, we briefly outline possible limitations of social network studies and provide suggestions for future research. Instead of cataloguing discrete events or player actions, it has been argued that researchers need to consider the synergistic interpersonal processes emerging between teammates in competitive performance environments. Theoretical assumptions on team coordination prompted the emergence of innovative, theoretically-driven methods for assessing collective team sport behaviours. Here, we contribute to this theoretical and practical debate by conceptualising sports teams as complex social networks. From this perspective, players are viewed as network nodes, connected through relevant information variables (e.g., a ball passing action), sustaining complex patterns of interaction between teammates (e.g., a ball passing network). Specialized tools and metrics related to graph theory could be applied to evaluate structural and topological properties of interpersonal interactions of teammates, complementing more traditional analysis methods. This innovative methodology moves beyond use of common notation analysis methods, providing a richer understanding of the complexity of interpersonal interactions sustaining collective team sports performance. The proposed approach provides practical applications for coaches, performance analysts, practitioners and researchers by establishing social network analyses as a useful approach for capturing the emergent properties of interactions between players in sports teams

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

SalmoNet, an integrated network of ten Salmonella enterica strains reveals common and distinct pathways to host adaptation

Salmonella enterica is a prominent bacterial pathogen with implications on human and animal health. Salmonella serovars could be classified as gastro-intestinal or extra-intestinal. Genome-wide comparisons revealed that extra-intestinal strains are closer relatives of gastro-intestinal strains than to each other indicating a parallel evolution of this trait. Given the complexity of the differences, a systems-level comparison could reveal key mechanisms enabling extra-intestinal serovars to cause systemic infections. Accordingly, in this work, we introduce a unique resource, SalmoNet, which combines manual curation, high-throughput data and computational predictions to provide an integrated network for Salmonella at the metabolic, transcriptional regulatory and protein-protein interaction levels. SalmoNet provides the networks separately for five gastro-intestinal and five extra-intestinal strains. As a multi-layered, multi-strain database containing experimental data, SalmoNet is the first dedicated network resource for Salmonella. It comprehensively contains interactions between proteins encoded in Salmonella pathogenicity islands, as well as regulatory mechanisms of metabolic processes with the option to zoom-in and analyze the interactions at specific loci in more detail. Application of SalmoNet is not limited to strain comparisons as it also provides a Salmonella resource for biochemical network modeling, host-pathogen interaction studies, drug discovery, experimental validation of novel interactions, uncovering new pathological mechanisms from emergent properties and epidemiological studies. SalmoNet is available at http://salmonet.org

Search for supersymmetry in events with four or more leptons in √s =13 TeV pp collisions with ATLAS

Results from a search for supersymmetry in events with four or more charged leptons (electrons, muons and taus) are presented. The analysis uses a data sample corresponding to 36.1 fb −1 of proton-proton collisions delivered by the Large Hadron Collider at s √ =13 TeV and recorded by the ATLAS detector. Four-lepton signal regions with up to two hadronically decaying taus are designed to target a range of supersymmetric scenarios that can be either enriched in or depleted of events involving the production and decay of a Z boson. Data yields are consistent with Standard Model expectations and results are used to set upper limits on the event yields from processes beyond the Standard Model. Exclusion limits are set at the 95% confidence level in simplified models of General Gauge Mediated supersymmetry, where higgsino masses are excluded up to 295 GeV. In R -parity-violating simplified models with decays of the lightest supersymmetric particle to charged leptons, lower limits of 1.46 TeV, 1.06 TeV, and 2.25 TeV are placed on wino, slepton and gluino masses, respectively

Measurements of integrated and differential cross sections for isolated photon pair production in pp collisions at √s=8 TeV with the ATLAS detector

A measurement of the production cross section for two isolated photons in proton-proton collisions at a center-of-mass energy of √s=8 TeV is presented. The results are based on an integrated luminosity of 20.2 fb−1 recorded by the ATLAS detector at the Large Hadron Collider. The measurement considers photons with pseudorapidities satisfying |ηγ|40GeV and EγT,2>30 GeV for the two leading photons ordered in transverse energy produced in the interaction. The background due to hadronic jets and electrons is subtracted using data-driven techniques. The fiducial cross sections are corrected for detector effects and measured differentially as a function of six kinematic observables. The measured cross section integrated within the fiducial volume is 16.8 ± 0.8  pb . The data are compared to fixed-order QCD calculations at next-to-leading-order and next-to-next-to-leading-order accuracy as well as next-to-leading-order computations including resummation of initial-state gluon radiation at next-to-next-to-leading logarithm or matched to a parton shower, with relative uncertainties varying from 5% to 20%

Search for the direct production of charginos and neutralinos in final states with tau leptons in √s=13 TeV collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with at least two hadronically decaying tau leptons is presented. The analysis uses a dataset of pp collisions corresponding to an integrated luminosity of 36.1 fb−1, recorded with the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of 13TeV.Nosignificant deviation from the expected Standard Model background is observed. Limits are derived in scenarios of ˜χ+1 ˜χ−1 pair production and of ˜χ±1 ˜χ02 and ˜χ+1 ˜χ−1 production in simplified models where the neutralinos and charginos decay solely via intermediate left-handed staus and tau sneutrinos, and the mass of the ˜ τL state is set to be halfway between the masses of the ˜χ±1 and the ˜χ01. Chargino masses up to 630 GeV are excluded at 95% confidence level in the scenario of direct production of ˜χ+1 ˜χ−1 for a massless ˜χ01. Common ˜χ±1 and ˜χ02 masses up to 760 GeV are excluded in the case of production of ˜χ±1 ˜χ02 and ˜χ+1 ˜χ−1 assuming a massless ˜χ01. Exclusion limits for additional benchmark scenarios with large and small mass-splitting between the ˜χ±1 and the ˜χ01 are also studied by varying the ˜ τL mass between the masses of the ˜χ±1 and the ˜χ01

Search for High-Mass Resonances Decaying to τν in pp Collisions at √s=13 TeV with the ATLAS Detector

A search for high-mass resonances decaying to τν using proton-proton collisions at √s=13 TeV produced by the Large Hadron Collider is presented. Only τ-lepton decays with hadrons in the final state are considered. The data were recorded with the ATLAS detector and correspond to an integrated luminosity of 36.1 fb−1. No statistically significant excess above the standard model expectation is observed; model-independent upper limits are set on the visible τν production cross section. Heavy W′ bosons with masses less than 3.7 TeV in the sequential standard model and masses less than 2.2–3.8 TeV depending on the coupling in the nonuniversal G(221) model are excluded at the 95% credibility level

Measurement of the cross section for inclusive isolated-photon production in pp collisions at √s=13TeV using the ATLAS detector

Inclusive isolated-photon production in pp collisions at a centre-of-mass energy of 13TeVis studied with the ATLAS detector at the LHC using a data set with an integrated luminosity of 3.2fb−1. The cross section is measured as a function of the photon transverse energy above 125GeVin different regions of photon pseudorapidity. Next-to-leading-order perturbative QCD and Monte Carlo event-generator predictions are compared to the cross-section measurements and provide an adequate description of the data