Discovering duplicate tasks in transition systems for the simplification of process models

This work presents a set of methods to improve the understandability of process models. Traditionally, simplification methods trade off quality metrics, such as fitness or precision. Conversely, the methods proposed in this paper produce simplified models while preserving or even increasing fidelity metrics. The first problem addressed in the paper is the discovery of duplicate tasks. A new method is proposed that avoids overfitting by working on the transition system generated by the log. The method is able to discover duplicate tasks even in the presence of concurrency and choice. The second problem is the structural simplification of the model by identifying optional and repetitive tasks. The tasks are substituted by annotated events that allow the removal of silent tasks and reduce the complexity of the model. An important feature of the methods proposed in this paper is that they are independent from the actual miner used for process discovery.Peer ReviewedPostprint (author's final draft

Direct and indirect effects of rotavirus vaccination: Comparing predictions from transmission dynamic models

Early observations from countries that have introduced rotavirus vaccination suggest that there may be indirect protection for unvaccinated individuals, but it is unclear whether these benefits will extend to the long term. Transmission dynamic models have attempted to quantify the indirect protection that might be expected from rotavirus vaccination in developed countries, but results have varied. To better understand the magnitude and sources of variability in model projections, we undertook a comparative analysis of transmission dynamic models for rotavirus. We fit five models to reported rotavirus gastroenteritis (RVGE) data from England and Wales, and evaluated outcomes for short- and long-term vaccination effects. All of our models reproduced the important features of rotavirus epidemics in England and Wales. Models predicted that during the initial year after vaccine introduction, incidence of severe RVGE would be reduced 1.8-2.9 times more than expected from the direct effects of the vaccine alone (28-50% at 90% coverage), but over a 5-year period following vaccine introduction severe RVGE would be reduced only by 1.1-1.7 times more than expected from the direct effects (54-90% at 90% coverage). Projections for the long-term reduction of severe RVGE ranged from a 55% reduction at full coverage to elimination with at least 80% coverage. Our models predicted short-term reductions in the incidence of RVGE that exceeded estimates of the direct effects, consistent with observations from the United States and other countries. Some of the models predicted that the short-term indirect benefits may be offset by a partial shifting of the burden of RVGE to older unvaccinated individuals. Nonetheless, even when such a shift occurs, the overall reduction in severe RVGE is considerable. Discrepancies among model predictions reflect uncertainties about age variation in the risk and reporting of RVGE, and the duration of natural and vaccine-induced immunity, highlighting important questions for future research

The Ontology of Intentional Agency in Light of Neurobiological Determinism: Philosophy Meets Folk Psychology

The moot point of the Western philosophical rhetoric about free will consists in examining whether the claim of authorship to intentional, deliberative actions fits into or is undermined by a one-way causal framework of determinism. Philosophers who think that reconciliation between the two is possible are known as metaphysical compatibilists. However, there are philosophers populating the other end of the spectrum, known as the metaphysical libertarians, who maintain that claim to intentional agency cannot be sustained unless it is assumed that indeterministic causal processes pervade the action-implementation apparatus employed by the agent. The metaphysical libertarians differ among themselves on the question of whether the indeterministic causal relation exists between the series of intentional states and processes, both conscious and unconscious, and the action, making claim for what has come to be known as the event-causal view, or between the agent and the action, arguing that a sort of agent causation is at work. In this paper, I have tried to propose that certain features of both event-causal and agent-causal libertarian views need to be combined in order to provide a more defendable compatibilist account accommodating deliberative actions with deterministic causation. The ‘‘agent-executed-eventcausal libertarianism’’, the account of agency I have tried to develop here, integrates certain plausible features of the two competing accounts of libertarianism turning them into a consistent whole. I hope to show in the process that the integration of these two variants of libertarianism does not challenge what some accounts of metaphysical compatibilism propose—that there exists a broader deterministic relation between the web of mental and extra-mental components constituting the agent’s dispositional system—the agent’s beliefs, desires, short-term and long-term goals based on them, the acquired social, cultural and religious beliefs, the general and immediate and situational environment in which the agent is placed, etc. on the one hand and the decisions she makes over her lifetime on the basis of these factors. While in the ‘‘Introduction’’ the philosophically assumed anomaly between deterministic causation and the intentional act of deciding has been briefly surveyed, the second section is devoted to the task of bridging the gap between compatibilism and libertarianism. The next section of the paper turns to an analysis of folk-psychological concepts and intuitions about the effects of neurochemical processes and prior mental events on the freedom of making choices. How philosophical insights can be beneficially informed by taking into consideration folk-psychological intuitions has also been discussed, thus setting up the background for such analysis. It has been suggested in the end that support for the proposed theory of intentional agency can be found in the folk-psychological intuitions, when they are taken in the right perspective

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher-order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.Comment: 14 page

Lipid accumulation and alkaline phosphatase activity in human preadipocytes isolated from different body fat depots

Background: Alkaline phosphatase (ALP) controls intracellular lipid accumulation in human preadipocytes, but it is not known whether ALP is expressed in all body fat depots, or whether it has a similar role at all sites.Design: Cross-sectional.Setting and subjects: Subjects undergoing breast reduction and abdominal fat biopsies operations at Charlotte Maxeke Johannesburg Academic Hospital.Outcome measures: This study compared intracellular lipid accumulation and ALP activity in the presence and absence of ALP inhibitors in preadipocytes that were obtained from different adipose depots. Abdominal and mammary gland preadipocytes were isolated from women and induced to differentiate in culture. ALP activity and intracellular lipid levels were measured at baseline and after 12 days of differentiation in the presence and absence of the ALP inhibitors, histidine and levamisole.Results: ALP activity was detected in nondifferentiated abdominal (134 ± 7.5 mU/mg protein) and mammary gland (136 ± 9.6 mU/mg protein) preadipocytes. Its activity had increased significantly (p-value < 0.0005 for both) by day 12 of differentiation (388 ± 55 for abdominal and 278 ± 28 mU/mg protein for mammary). Preadipocytes treated with histidine had lower fat accumulation (p-value < 0.0005) and ALP activity (p-value < 0.005) than nontreated cells on day 12, while those treated with levamisole had lower fat accumulation (p-value < 0.005), but elevatedALP activity (p-value < 0.05), compared to nontreated cells. Lipid  accumulation (p-value < 0.005) and ALP activity (p-value < 0.05) were higher in abdominal than mammary gland preadipocytes by day 12.Conclusion: ALP is involved in the control of intracellular lipid accumulation in human preadipocytes that are isolated from both adipose depots. The ability of levamisole to inhibit this process while activating ALP, suggeststhat this molecule acts via an ALP-independent pathway, while histidine attenuates both lipid deposition and ALP activity

Early postoperative hyperglycaemia is not a risk factor for infectious complications and prolonged in-hospital stay in patients undergoing oesophagectomy: a retrospective analysis of a prospective trial

INTRODUCTION: Treating hyperglycaemia in hospitalized patients has proven to be beneficial, particularly in those with obstructive vascular disease. In a cohort of patients undergoing resection for oesophageal carcinoma (a group of patients with severe surgical stress but a low prevalence of vascular disease), we investigated whether early postoperative hyperglycaemia is associated with increased incidence of infectious complications and prolonged in-hospital stay. METHODS: Postoperative glucose values up to 48 hours after surgery were retrieved for 151 patients with American Society of Anesthesiologists class I or II who had been previously included in a randomized trial conducted in a tertiary referral hospital. Multivariate regression analysis was used to define the independent contribution of possible risk factors selected by univariate analysis. RESULTS: In univariate regression analysis, postoperative glucose levels were associated with increased length of in-hospital stay (P < 0.001) but not with infectious complications (P = 0.21). However, postoperative glucose concentration was not found to be an independent risk factor for prolonged in-hospital stay in multivariate analysis (P = 0.20). CONCLUSION: Our data indicate that postoperative hyperglycaemia is more likely to be a risk marker than a risk factor in patients undergoing highly invasive surgery for oesophageal cancer. We hypothesize that patients with a low prevalence of vascular disease may benefit less from intensive insulin therapy

The Molecular Basis for Antigenic Drift of Human A/H2N2 Influenza Viruses.

Influenza A/H2N2 viruses caused a pandemic in 1957 and continued to circulate in humans until 1968. The antigenic evolution of A/H2N2 viruses over time and the amino acid substitutions responsible for this antigenic evolution are not known. Here, the antigenic diversity of a representative set of human A/H2N2 viruses isolated between 1957 and 1968 was characterized. The antigenic change of influenza A/H2N2 viruses during the 12 years that this virus circulated was modest. Two amino acid substitutions, T128D and N139K, located in the head domain of the H2 hemagglutinin (HA) molecule, were identified as important determinants of antigenic change during A/H2N2 virus evolution. The rate of A/H2N2 virus antigenic evolution during the 12-year period after introduction in humans was half that of A/H3N2 viruses, despite similar rates of genetic change.IMPORTANCE While influenza A viruses of subtype H2N2 were at the origin of the Asian influenza pandemic, little is known about the antigenic changes that occurred during the twelve years of circulation in humans, the role of preexisting immunity, and the evolutionary rates of the virus. In this study, the antigenic map derived from hemagglutination inhibition (HI) titers of cell-cultured virus isolates and ferret postinfection sera displayed a directional evolution of viruses away from earlier isolates. Furthermore, individual mutations in close proximity to the receptor-binding site of the HA molecule determined the antigenic reactivity, confirming that individual amino acid substitutions in A/H2N2 viruses can confer major antigenic changes. This study adds to our understanding of virus evolution with respect to antigenic variability, rates of virus evolution, and potential escape mutants of A/H2N2

Conformance checking using activity and trace embeddings

Conformance checking describes process mining techniques used to compare an event log and a corresponding process model. In this paper, we propose an entirely new approach to conformance checking based on neural network-based embeddings. These embeddings are vector representations of every activity/task present in the model and log, obtained via act2vec, a Word2vec based model. Our novel conformance checking approach applies the Word Mover’s Distance to the activity embeddings of traces in order to measure fitness and precision. In addition, we investigate a more efficiently calculated lower bound of the former metric, i.e. the Iterative Constrained Transfers measure. An alternative method using trace2vec, a Doc2vec based model, to train and compare vector representations of the process instances themselves is also introduced. These methods are tested in different settings and compared to other conformance checking techniques, showing promising results