Anti-alignments in conformance checking: the dark side of process models

Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space explosion problem, hence handling process models exhibiting large or even infinite state spaces remains a challenge. One important metric in conformance checking is to asses the precision of the model with respect to the observed executions, i.e., characterize the ability of the model to produce behavior unrelated to the one observed. By avoiding the computation of the full state space of a model, current techniques only provide estimations of the precision metric, which in some situations tend to be very optimistic, thus hiding real problems a process model may have. In this paper we present the notion of antialignment as a concept to help unveiling traces in the model that may deviate significantly from the observed behavior. Using anti-alignments, current estimations can be improved, e.g., in precision checking. We show how to express the problem of finding anti-alignments as the satisfiability of a Boolean formula, and provide a tool which can deal with large models efficiently.Peer ReviewedPostprint (author's final draft

Non-global Structure of the O({\alpha}_s^2) Dijet Soft Function

High energy scattering processes involving jets generically involve matrix elements of light- like Wilson lines, known as soft functions. These describe the structure of soft contributions to observables and encode color and kinematic correlations between jets. We compute the dijet soft function to O({\alpha}_s^2) as a function of the two jet invariant masses, focusing on terms not determined by its renormalization group evolution that have a non-separable dependence on these masses. Our results include non-global single and double logarithms, and analytic results for the full set of non-logarithmic contributions as well. Using a recent result for the thrust constant, we present the complete O({\alpha}_s^2) soft function for dijet production in both position and momentum space.Comment: 55 pages, 8 figures. v2: extended discussion of double logs in the hard regime. v3: minor typos corrected, version published in JHEP. v4: typos in Eq. (3.33), (3.39), (3.43) corrected; this does not affect the main result, numerical results, or conclusion

Impacts of Warming on Reciprocal Subsidies Between Aquatic and Terrestrial Ecosystems

Cross-ecosystem subsidies are important as their recipients often rely on them to supplement in situ resource availability. Global warming has the potential to alter the quality and quantity of these subsidies, but our knowledge of these effects is currently limited. Here, we quantified the biomass and diversity of the invertebrates exchanged between freshwater streams and terrestrial grasslands in a natural warming experiment in Iceland. We sampled invertebrates emerging from the streams, those landing on the water surface, ground-dwelling invertebrates falling into the streams, and those drifting through the streams. Emerging invertebrate biomass or diversity did not change with increasing temperature, suggesting no effect of warming on aquatic subsidies to the terrestrial environment over the 1-month duration of the study. The biomass and diversity of aerial invertebrates of terrestrial origin landing on the streams increased with temperature, underpinned by increasing abundance and species richness, indicating that the greater productivity of the warmer streams may attract more foraging insects. The biomass of ground-dwelling invertebrates falling into the streams also increased with temperature, underpinned by increasing body mass and species evenness, suggesting that soil warming leads to terrestrial communities dominated by larger, more mobile organisms, and thus more in-fall to the streams. The biomass and diversity of terrestrial invertebrates in the drift decreased with temperature, however, underpinned by decreasing abundance and species richness, reflecting upstream consumption due to the higher energetic demands of aquatic consumers in warmer environments. These results highlight the potential for asynchronous responses to warming for reciprocal subsidies between aquatic and terrestrial environments and the importance of further research on warming impacts at the interface of these interdependent ecosystems

The Quark Beam Function at NNLL

In hard collisions at a hadron collider the most appropriate description of the initial state depends on what is measured in the final state. Parton distribution functions (PDFs) evolved to the hard collision scale Q are appropriate for inclusive observables, but not for measurements with a specific number of hard jets, leptons, and photons. Here the incoming protons are probed and lose their identity to an incoming jet at a scale \mu_B << Q, and the initial state is described by universal beam functions. We discuss the field-theoretic treatment of beam functions, and show that the beam function has the same RG evolution as the jet function to all orders in perturbation theory. In contrast to PDF evolution, the beam function evolution does not mix quarks and gluons and changes the virtuality of the colliding parton at fixed momentum fraction. At \mu_B, the incoming jet can be described perturbatively, and we give a detailed derivation of the one-loop matching of the quark beam function onto quark and gluon PDFs. We compute the associated NLO Wilson coefficients and explicitly verify the cancellation of IR singularities. As an application, we give an expression for the next-to-next-to-leading logarithmic order (NNLL) resummed Drell-Yan beam thrust cross section.Comment: 54 pages, 9 figures; v2: notation simplified in a few places, typos fixed; v3: journal versio

Sensitivity of a national coronial database for monitoring unnatural deaths among ex-prisoners in Australia

<p>Abstract</p> <p>Background</p> <p>The period immediately after release from custody is a time of marked vulnerability and increased risk of death for ex-prisoners. Despite this, there is currently no routine, national system for monitoring ex-prisoner mortality in Australia. This study subsequently aimed to evaluate the sensitivity of Australia's National Coroners Information System (NCIS) for identifying reportable deaths among prisoners and ex-prisoners.</p> <p>Findings</p> <p>Prisoner and ex-prisoner deaths identified through an independent search of the NCIS were compared with 'gold standard' records of prisoner and ex-prisoner deaths, generated from a national monitoring system and a state-based record linkage study, respectively. Of 294 known deaths in custody from 2001-2007, an independent search of the NCIS identified 229, giving a sensitivity of 77.9% (72.8%-82.3%). Of 677 known deaths among ex-prisoners from 2001-2007, an independent search of the NCIS identified 37, giving a sensitivity of 5.5% (4.0-7.4%). Ex-prisoner deaths that were detected were disproportionately drug-related, occurring within the first four weeks post-release, among younger prisoners and among those with more than two prior prison admissions.</p> <p>Conclusions</p> <p>Although a search of the NCIS detected the majority of reportable deaths among prisoners, it was only able to detect a small minority of reportable deaths among ex-prisoners. This suggests that the NCIS is not effective for monitoring mortality among ex-prisoners in Australia. Given the elevated rates of mortality among ex-prisoners in Australia and elsewhere, there remains an urgent need to establish a process for routine monitoring of ex-prisoner mortality, preferably through record linkage.</p

Fixed-Parameter Tractable Distances to Sparse Graph Classes

We show that for various classes $\mathcal{C}$ of sparse graphs, and several measures of distance to such classes (such as edit distance and elimination distance), the problem of determining the distance of a given graph $\small{G}$ to $\mathcal{C}$ is fixed-parameter tractable. The results are based on two general techniques. The first of these, building on recent work of Grohe et al. establishes that any class of graphs that is slicewise nowhere dense and slicewise first-order definable is FPT. The second shows that determining the elimination distance of a graph $\small{G}$ to a minor-closed class $\mathcal{C}$ is FPT. We demonstrate that several prior results (of Golovach, Moser and Thilikos and Mathieson) on the fixed-parameter tractability of distance measures are special cases of our first method

Rapid in vivo analysis of synthetic promoters for plant pathogen phytosensing

<p>Abstract</p> <p>Background</p> <p>We aimed to engineer transgenic plants for the purpose of early detection of plant pathogen infection, which was accomplished by employing synthetic pathogen inducible promoters fused to reporter genes for altered phenotypes in response to the pathogen infection. Toward this end, a number of synthetic promoters consisting of inducible regulatory elements fused to a red fluorescent protein (RFP) reporter were constructed for use in phytosensing.</p> <p>Results</p> <p>For rapid analysis, an <it>Agrobacterium</it>-mediated transient expression assay was evaluated, then utilized to assess the inducibility of each synthetic promoter construct <it>in vivo</it>. Tobacco (<it>Nicotiana tabacum </it>cv. Xanthi) leaves were infiltrated with <it>Agrobacterium </it>harboring the individual synthetic promoter-reporter constructs. The infiltrated tobacco leaves were re-infiltrated with biotic (bacterial pathogens) or abiotic (plant defense signal molecules salicylic acid, ethylene and methyl jasmonate) agents 24 and 48 hours after initial agroinfiltration, followed by RFP measurements at relevant time points after treatment. These analyses indicated that the synthetic promoter constructs were capable of conferring the inducibility of the RFP reporter in response to appropriate phytohormones and bacterial pathogens, accordingly.</p> <p>Conclusions</p> <p>These observations demonstrate that the <it>Agrobacterium</it>-mediated transient expression is an efficient method for <it>in vivo </it>assays of promoter constructs in less than one week. Our results provide the opportunity to gain further insights into the versatility of the expression system as a potential tool for high-throughput <it>in planta </it>expression screening prior to generating stably transgenic plants for pathogen phytosensing. This system could also be utilized for temporary phytosensing; e.g., not requiring stably transgenic plants.</p

Generalized alignment-based trace clustering of process behavior

Process mining techniques use event logs containing real process executions in order to mine, align and extend process models. The partition of an event log into trace variants facilitates the understanding and analysis of traces, so it is a common pre-processing in process mining environments. Trace clustering automates this partition; traditionally it has been applied without taking into consideration the availability of a process model. In this paper we extend our previous work on process model based trace clustering, by allowing cluster centroids to have a complex structure, that can range from a partial order, down to a subnet of the initial process model. This way, the new clustering framework presented in this paper is able to cluster together traces that are distant only due to concurrency or loop constructs in process models. We show the complexity analysis of the different instantiations of the trace clustering framework, and have implemented it in a prototype tool that has been tested on different datasets.Peer ReviewedPostprint (author's final draft