Towards an Entropy-based Analysis of Log Variability

Rules, decisions, and workflows are intertwined components depicting the overall process. So far imperative workflow modelling languages have played the major role for the description and analysis of business processes. Despite their undoubted efficacy in representing sequential executions, they hide circumstantial information leading to the enactment of activities, and obscure the rationale behind the verification of requirements, dependencies, and goals. This workshop aimed at providing a platform for the discussion and introduction of new ideas related to the development of a holistic approach that encompasses all those aspects. The objective was to extend the reach of the business process management audience towards the decisions and rules community and increase the integration between different imperative, declarative and hybrid modelling perspectives. Out of the high-quality submitted manuscripts, three papers were accepted for publication, with an acceptance rate of 50%. They contributed to foster a fruitful discussion among the participants about the respective impact and the interplay of decision perspective and the process perspective

ENVIRONMENT AND HEALTH Influence of Resident Salmonella on Contamination of Broiler Flocks

ABSTRACT An epidemiological survey was made of 5329 samples from 10 poultry operations to determine the relationship between total poultry farm environment and incidences of Salmonella contamination of broiler flocks. Samples were analyzed from walls, drinkers, feeders, litter, insects, water, chicks, broilers, and feed to determine the effect of common sanitary practices on Salmonella contamination of flocks

Technical Note: Characterization and correction of gradient nonlinearity induced distortion on a 1.0 T open bore MRâ SIM

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/135020/1/mp0245.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/135020/2/mp0245_am.pd

A foundation for runtime monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitor-ing, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the modal μ-calculus) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated.peer-reviewe

A Foundation for Runtime Monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitoring, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the mmucalc) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated

Metabolomic, proteomic and preclinical imaging of patient-derived tumor xenografts for improving treatment of liver metastases patients

peer reviewe

Multi order correction algorithms to remove image distortions from mass spectrometry imaging datasets

Time-of-flight secondary ion mass spectrometry imaging is a rapidly evolving technology. Its main application is the study of the distribution of small molecules on biological tissues. The sequential image acquisition process remains susceptible to measurement distortions that can render imaging data less analytically useful. Most of these artifacts show a repetitive nature from tile to tile. Here we statistically describe these distortions and derive two different algorithms to correct them. Both, a generalized linear model approach and the linear discriminant analysis approach are able to increase image quality for negative and positive ion mode datasets. Additionally, performing simulation studies with repetitive and non-repetitive tiling error we show that both algorithms are only removing repetitive distortions. It is further shown that the spectral component of the dataset is not altered by the use of these correction methods. Both algorithms presented in this work greatly increase the image quality and improve the analytical usefulness of distorted images dramatically

Inter-observer variability in contouring the penile bulb on CT images for prostate cancer treatment planning

Several investigations have recently suggested the existence of a correlation between the dose received by the penile bulb (PB) and the risk of erectile dysfunction (ED) after radical radiotherapy for clinically localized prostate carcinoma

Defining motility in the Staphylococci

The ability of bacteria to move is critical for their survival in diverse environments and multiple ways have evolved to achieve this. Two forms of motility have recently been described for Staphylococcus aureus, an organism previously considered to be non-motile. One form is called spreading, which is a type of sliding motility and the second form involves comet formation, which has many observable characteristics associated with gliding motility. Darting motility has also been observed in Staphylococcus epidermidis. This review describes how motility is defined and how we distinguish between passive and active motility. We discuss the characteristics of the various forms of Staphylococci motility, the molecular mechanisms involved and the potential future research directions