Interestingness of traces in declarative process mining: The janus LTLPf Approach

Declarative process mining is the set of techniques aimed at extracting behavioural constraints from event logs. These constraints are inherently of a reactive nature, in that their activation restricts the occurrence of other activities. In this way, they are prone to the principle of ex falso quod libet: they can be satisfied even when not activated. As a consequence, constraints can be mined that are hardly interesting to users or even potentially misleading. In this paper, we build on the observation that users typically read and write temporal constraints as if-statements with an explicit indication of the activation condition. Our approach is called Janus, because it permits the specification and verification of reactive constraints that, upon activation, look forward into the future and backwards into the past of a trace. Reactive constraints are expressed using Linear-time Temporal Logic with Past on Finite Traces (LTLp f). To mine them out of event logs, we devise a time bi-directional valuation technique based on triplets of automata operating in an on-line fashion. Our solution proves efficient, being at most quadratic w.r.t. trace length, and effective in recognising interestingness of discovered constraints

Feller Processes: The Next Generation in Modeling. Brownian Motion, L\'evy Processes and Beyond

We present a simple construction method for Feller processes and a framework for the generation of sample paths of Feller processes. The construction is based on state space dependent mixing of L\'evy processes. Brownian Motion is one of the most frequently used continuous time Markov processes in applications. In recent years also L\'evy processes, of which Brownian Motion is a special case, have become increasingly popular. L\'evy processes are spatially homogeneous, but empirical data often suggest the use of spatially inhomogeneous processes. Thus it seems necessary to go to the next level of generalization: Feller processes. These include L\'evy processes and in particular Brownian motion as special cases but allow spatial inhomogeneities. Many properties of Feller processes are known, but proving the very existence is, in general, very technical. Moreover, an applicable framework for the generation of sample paths of a Feller process was missing. We explain, with practitioners in mind, how to overcome both of these obstacles. In particular our simulation technique allows to apply Monte Carlo methods to Feller processes.Comment: 22 pages, including 4 figures and 8 pages of source code for the generation of sample paths of Feller processe

Pleosporales

One hundred and five generic types of Pleosporales are described and illustrated. A brief introduction and detailed history with short notes on morphology, molecular phylogeny as well as a general conclusion of each genus are provided. For those genera where the type or a representative specimen is unavailable, a brief note is given. Altogether 174 genera of Pleosporales are treated. Phaeotrichaceae as well as Kriegeriella, Zeuctomorpha and Muroia are excluded from Pleosporales. Based on the multigene phylogenetic analysis, the suborder Massarineae is emended to accommodate five families, viz. Lentitheciaceae, Massarinaceae, Montagnulaceae, Morosphaeriaceae and Trematosphaeriaceae

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

X-ray emission from isolated neutron stars

X-ray emission is a common feature of all varieties of isolated neutron stars (INS) and, thanks to the advent of sensitive instruments with good spectroscopic, timing, and imaging capabilities, X-ray observations have become an essential tool in the study of these objects. Non-thermal X-rays from young, energetic radio pulsars have been detected since the beginning of X-ray astronomy, and the long-sought thermal emission from cooling neutron star's surfaces can now be studied in detail in many pulsars spanning different ages, magnetic fields, and, possibly, surface compositions. In addition, other different manifestations of INS have been discovered with X-ray observations. These new classes of high-energy sources, comprising the nearby X-ray Dim Isolated Neutron Stars, the Central Compact Objects in supernova remnants, the Anomalous X-ray Pulsars, and the Soft Gamma-ray Repeaters, now add up to several tens of confirmed members, plus many candidates, and allow us to study a variety of phenomena unobservable in "standard'' radio pulsars.Comment: Chapter to be published in the book of proceedings of the 1st Sant Cugat Forum on Astrophysics, "ICREA Workshop on the high-energy emission from pulsars and their systems", held in April, 201

Cell walls of the dimorphic fungal pathogens Sporothrix schenckii and Sporothrix brasiliensis exhibit bilaminate structures and sloughing of extensive and intact layers

This work was supported by the Fundação Carlos Chagas de Amparo à Pesquisa do Estado do Rio de Janeiro (FAPERJ), grants E-26/202.974/2015 and Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq), grants 229755/2013-5, Brazil. LMLB is a senior research fellow of CNPq and Faperj. NG acknowledged support from the Wellcome Trust (Trust (097377, 101873, 200208) and MRC Centre for Medical Mycology (MR/N006364/1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD

Synthesis and preliminary assessment of the anticancer and Wnt/β-catenin inhibitory activity of small amide libraries of fenamates and profens

As part of an ongoing program to study the anticancer activity of non-steroidal anti-inflammatory drugs (NSAIDs) through generating diversity libraries of multiple NSAID scaffolds, we synthesized a series of NSAID amide derivatives and screened these sets against three cancer cell lines (prostate, colon and breast) and Wnt/β-catenin signaling. The evaluated amide analog libraries show significant anticancer activity/cell proliferation inhibition, and specific members of the sets show inhibition of Wnt/β-catenin signaling.</p

Ectopic Expression of Vaccinia Virus E3 and K3 Cannot Rescue Ectromelia Virus Replication in Rabbit RK13 Cells

Citation: Hand, E. S., Haller, S. L., Peng, C., Rothenburg, S., & Hersperger, A. R. (2015). Ectopic Expression of Vaccinia Virus E3 and K3 Cannot Rescue Ectromelia Virus Replication in Rabbit RK13 Cells. Plos One, 10(3), 15. doi:10.1371/journal.pone.0119189As a group, poxviruses have been shown to infect a wide variety of animal species. However, there is individual variability in the range of species able to be productively infected. In this study, we observed that ectromelia virus (ECTV) does not replicate efficiently in cultured rabbit RK13 cells. Conversely, vaccinia virus (VACV) replicates well in these cells. Upon infection of RK13 cells, the replication cycle of ECTV is abortive in nature, resulting in a greatly reduced ability to spread among cells in culture. We observed ample levels of early gene expression but reduced detection of virus factories and severely blunted production of enveloped virus at the cell surface. This work focused on two important host range genes, named E3L and K3L, in VACV. Both VACV and ECTV express a functional protein product from the E3L gene, but only VACV contains an intact K3L gene. To better understand the discrepancy in replication capacity of these viruses, we examined the ability of ECTV to replicate in wild-type RK13 cells compared to cells that constitutively express E3 and K3 from VACV. The role these proteins play in the ability of VACV to replicate in RK13 cells was also analyzed to determine their individual contribution to viral replication and PKR activation. Since E3L and K3L are two relevant host range genes, we hypothesized that expression of one or both of them may have a positive impact on the ability of ECTV to replicate in RK13 cells. Using various methods to assess virus growth, we did not detect any significant differences with respect to the replication of ECTV between wild-type RK13 compared to versions of this cell line that stably expressed VACV E3 alone or in combination with K3. Therefore, there remain unanswered questions related to the factors that limit the host range of ECTV

Lung epithelial stem cells and their niches : Fgf10 takes center stage

Throughout life adult animals crucially depend on stem cell populations to maintain and repair their tissues to ensure life-long organ function. Stem cells are characterized by their capacity to extensively self-renew and give rise to one or more differentiated cell types. These powerful stem cell properties are key to meet the changing demand for tissue replacement during normal lung homeostasis and regeneration after lung injury. Great strides have been made over the last few years to identify and characterize lung epithelial stem cells as well as their lineage relationships. Unfortunately, knowledge on what regulates the behavior and fate specification of lung epithelial stem cells is still limited, but involves communication with their microenvironment or niche, a local tissue environment that hosts and influences the behaviors or characteristics of stem cells and that comprises other cell types and extracellular matrix. As such, an intimate and dynamic epithelial-mesenchymal cross-talk, which is also essential during lung development, is required for normal homeostasis and to mount an appropriate regenerative response after lung injury. Fibroblast growth factor 10 (Fgf10) signaling in particular seems to be a well-conserved signaling pathway governing epithelial-mesenchymal interactions during lung development as well as between different adult lung epithelial stem cells and their niches. On the other hand, disruption of these reciprocal interactions leads to a dysfunctional epithelial stem cell-niche unit, which may culminate in chronic lung diseases such as chronic obstructive pulmonary disease (COPD), chronic asthma and idiopathic pulmonary fibrosis (IPF)

Functional gait rehabilitation in elderly people following a fall-related hip fracture using a treadmill with visual context: design of a randomized controlled trial

Background: Walking requires gait adjustments in order to walk safely in continually changing environments. Gait adaptability is reduced in older adults, and (near) falls, fall-related hip fractures and fear of falling are common in this population. Most falls occur due to inaccurate foot placement relative to environmental hazards, such as obstacles. The C-Mill is an innovative, instrumented treadmill on which visual context (e. g., obstacles) is projected. The C-Mill is well suited to train foot positioning relative to environmental properties while concurrently utilizing the high-intensity practice benefits associated with conventional treadmill training. The present protocol was designed to examine the efficacy of C-Mill gait adaptability treadmill training for improving walking ability and reducing fall incidence and fear of falling relative to conventional treadmill training and usual care. We hypothesize that C-Mill gait adaptability treadmill training and conventional treadmill training result in better walking ability than usual care due to the enhanced training intensity, with superior effects for C-Mill gait adaptability treadmill training on gait adaptability aspects of walking given the concurrent focus on practicing step adjustments. Methods/design: The protocol describes a parallel group, single-blind, superiority randomized controlled trial with pre-tests, post-tests, retention-tests and follow-up. Hundred-twenty-six older adults with a recent fall-related hip fracture will be recruited from inpatient rehabilitation care and allocated to six weeks of C-Mill gait adaptability treadmill training (high-intensity, adaptive stepping), conventional treadmill training (high-intensity, repetitive stepping) or usual care physical therapy using block randomization, with allocation concealment by opaque sequentially numbered envelopes. Only data collectors are blind to group allocation. Study parameters related to walking ability will be assessed as primary outcome pre-training, post-training, after 4 weeks retention and 12 months follow-up. Secondary study parameters are measures related to fall incidence, fear of falling and general health. Discussion: The study will shed light on the relative importance of adaptive versus repetitive stepping and practice intensity for effective intervention programs directed at improving walking ability and reducing fall risk and fear of falling in older adults with a recent fall-related hip fracture, which may help reduce future fall-related health-care costs