Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms

We present a straightforward source-to-source transformation that introduces justifications for user-defined constraints into the CHR programming language. Then a scheme of two rules suffices to allow for logical retraction (deletion, removal) of constraints during computation. Without the need to recompute from scratch, these rules remove not only the constraint but also undo all consequences of the rule applications that involved the constraint. We prove a confluence result concerning the rule scheme and show its correctness. When algorithms are written in CHR, constraints represent both data and operations. CHR is already incremental by nature, i.e. constraints can be added at runtime. Logical retraction adds decrementality. Hence any algorithm written in CHR with justifications will become fully dynamic. Operations can be undone and data can be removed at any point in the computation without compromising the correctness of the result. We present two classical examples of dynamic algorithms, written in our prototype implementation of CHR with justifications that is available online: maintaining the minimum of a changing set of numbers and shortest paths in a graph whose edges change.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Discovering Business Area Effects to Process Mining Analysis Using Clustering and Influence Analysis

A common challenge for improving business processes in large organizations is that business people in charge of the operations are lacking a fact-based understanding of the execution details, process variants, and exceptions taking place in business operations. While existing process mining methodologies can discover these details based on event logs, it is challenging to communicate the process mining findings to business people. In this paper, we present a novel methodology for discovering business areas that have a significant effect on the process execution details. Our method uses clustering to group similar cases based on process flow characteristics and then influence analysis for detecting those business areas that correlate most with the discovered clusters. Our analysis serves as a bridge between BPM people and business, people facilitating the knowledge sharing between these groups. We also present an example analysis based on publicly available real-life purchase order process data.Comment: 12 pages. Paper accepted in 23rd International Conference on Business Information Systems (BIS 2020) to be published in a proceedings edition of the Lecture Notes in Business Information Processin

Differential chloride homeostasis in the spinal dorsal horn locally shapes synaptic metaplasticity and modality-specific sensitization

Inhibition in spinal nociceptive pathways is weaker and more labile in lamina I —where thermal input is primarily processed— than in lamina II that encodes predominantly high threshold mechanical input. This explains why noxious thermal input makes spinal circuits prone to catastrophic sensitization

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

A Dynamic Model of Interactions of Ca^(2+), Calmodulin, and Catalytic Subunits of Ca^(2+)/Calmodulin-Dependent Protein Kinase II

During the acquisition of memories, influx of Ca^(2+) into the postsynaptic spine through the pores of activated N-methyl-D-aspartate-type glutamate receptors triggers processes that change the strength of excitatory synapses. The pattern of Ca^(2+) influx during the first few seconds of activity is interpreted within the Ca^(2+)-dependent signaling network such that synaptic strength is eventually either potentiated or depressed. Many of the critical signaling enzymes that control synaptic plasticity, including Ca^(2+)/calmodulin-dependent protein kinase II (CaMKII), are regulated by calmodulin, a small protein that can bind up to 4 Ca^(2+) ions. As a first step toward clarifying how the Ca^(2+)-signaling network decides between potentiation or depression, we have created a kinetic model of the interactions of Ca^(2+), calmodulin, and CaMKII that represents our best understanding of the dynamics of these interactions under conditions that resemble those in a postsynaptic spine. We constrained parameters of the model from data in the literature, or from our own measurements, and then predicted time courses of activation and autophosphorylation of CaMKII under a variety of conditions. Simulations showed that species of calmodulin with fewer than four bound Ca^(2+) play a significant role in activation of CaMKII in the physiological regime, supporting the notion that processing ofCa^(2+) signals in a spine involves competition among target enzymes for binding to unsaturated species of CaM in an environment in which the concentration of Ca^(2+) is fluctuating rapidly. Indeed, we showed that dependence of activation on the frequency of Ca^(2+) transients arises from the kinetics of interaction of fluctuating Ca^(2+) with calmodulin/CaMKII complexes. We used parameter sensitivity analysis to identify which parameters will be most beneficial to measure more carefully to improve the accuracy of predictions. This model provides a quantitative base from which to build more complex dynamic models of postsynaptic signal transduction during learning

Efficacy of Synaptic Inhibition Depends on Multiple, Dynamically Interacting Mechanisms Implicated in Chloride Homeostasis

Chloride homeostasis is a critical determinant of the strength and robustness of inhibition mediated by GABAA receptors (GABAARs). The impact of changes in steady state Cl− gradient is relatively straightforward to understand, but how dynamic interplay between Cl− influx, diffusion, extrusion and interaction with other ion species affects synaptic signaling remains uncertain. Here we used electrodiffusion modeling to investigate the nonlinear interactions between these processes. Results demonstrate that diffusion is crucial for redistributing intracellular Cl− load on a fast time scale, whereas Cl−extrusion controls steady state levels. Interaction between diffusion and extrusion can result in a somato-dendritic Cl− gradient even when KCC2 is distributed uniformly across the cell. Reducing KCC2 activity led to decreased efficacy of GABAAR-mediated inhibition, but increasing GABAAR input failed to fully compensate for this form of disinhibition because of activity-dependent accumulation of Cl−. Furthermore, if spiking persisted despite the presence of GABAAR input, Cl− accumulation became accelerated because of the large Cl− driving force that occurs during spikes. The resulting positive feedback loop caused catastrophic failure of inhibition. Simulations also revealed other feedback loops, such as competition between Cl− and pH regulation. Several model predictions were tested and confirmed by [Cl−]i imaging experiments. Our study has thus uncovered how Cl− regulation depends on a multiplicity of dynamically interacting mechanisms. Furthermore, the model revealed that enhancing KCC2 activity beyond normal levels did not negatively impact firing frequency or cause overt extracellular K− accumulation, demonstrating that enhancing KCC2 activity is a valid strategy for therapeutic intervention

Exome Sequencing Implicates Impaired GABA Signaling and Neuronal Ion Transport in Trigeminal Neuralgia

Trigeminal neuralgia (TN) is a common, debilitating neuropathic face pain syndrome often resistant to therapy. The familial clustering of TN cases suggests that genetic factors play a role in disease pathogenesis. However, no unbiased, large-scale genomic study of TN has been performed to date. Analysis of 290 whole exome-sequenced TN probands, including 20 multiplex kindreds and 70 parent-offspring trios, revealed enrichment of rare, damaging variants in GABA receptor-binding genes in cases. Mice engineered with a TN-associated de novo mutation (p.Cys188Trp) in the GABAA receptor Cl− channel γ-1 subunit (GABRG1) exhibited trigeminal mechanical allodynia and face pain behavior. Other TN probands harbored rare damaging variants in Na+ and Ca+ channels, including a significant variant burden in the α-1H subunit of the voltage-gated Ca2+ channel Cav3.2 (CACNA1H). These results provide exome-level insight into TN and implicate genetically encoded impairment of GABA signaling and neuronal ion transport in TN pathogenesis

Primary Postnatal Dorsal Root Ganglion Culture from Conventionally Slaughtered Calves

Neurological disorders in ruminants have an important impact on veterinary health, but very few host-specific in vitro models have been established to study diseases affecting the nervous system. Here we describe a primary neuronal dorsal root ganglia (DRG) culture derived from calves after being conventionally slaughtered for food consumption. The study focuses on the in vitro characterization of bovine DRG cell populations by immunofluorescence analysis. The effects of various growth factors on neuron viability, neurite outgrowth and arborisation were evaluated by morphological analysis. Bovine DRG neurons are able to survive for more than 4 weeks in culture. GF supplementation is not required for neuronal survival and neurite outgrowth. However, exogenously added growth factors promote neurite outgrowth. DRG cultures from regularly slaughtered calves represent a promising and sustainable host specific model for the investigation of pain and neurological diseases in bovines

The facilitating factors and barriers encountered in the adoption of a humanized birth care approach in a highly specialized university affiliated hospital

<p>Abstract</p> <p>Background</p> <p>Considering the fact that a significant proportion of high-risk pregnancies are currently referred to tertiary level hospitals; and that a large proportion of low obstetric risk women still seek care in these hospitals, it is important to explore the factors that influence the childbirth experience in these hospitals, particularly, the concept of humanized birth care.</p> <p>The aim of this study was to explore the organizational and cultural factors, which act as barriers or facilitators in the provision of humanized obstetrical care in a highly specialized, university-affiliated hospital in Quebec province, in Canada.</p> <p>Methods</p> <p>A single case study design was chosen. The study sample included 17 professionals and administrators from different disciplines, and 157 women who gave birth in the hospital during the study. The data was collected through semi-structured interviews, field notes, participant observations, a self-administered questionnaire, documents, and archives. Both descriptive and qualitative deductive content analyses were performed and ethical considerations were respected.</p> <p>Results</p> <p>Both external and internal dimensions of a highly specialized hospital can facilitate or be a barrier to the humanization of birth care practices in such institutions, whether independently, or altogether. The greatest facilitating factors found were: caring and family- centered model of care, professionals' and administrators' ambient for the provision of humanized birth care besides the medical interventional care which is tailored to improve safety, assurance, and comfort for women and their children, facilities to provide a pain-free birth, companionship and visiting rules, dealing with the patients' spiritual and religious beliefs. The most cited barriers were: the shortage of health care professionals, the lack of sufficient communication among the professionals, the stakeholders' desire for specialization rather than humanization, over estimation of medical performance, finally the training environment of the hospital leading to the presence of too many health care professionals, and consequently, a lack of privacy and continuity of care.</p> <p>Conclusion</p> <p>The argument of medical intervention and technology at birth being an opposing factor to the humanization of birth was not seen to be an issue in the studied highly specialized university affiliated hospital.</p

Intensive enteral nutrition is ineffective for individuals with severe alcoholic hepatitis treated with corticosteroids.

peer reviewedBACKGROUND & AIMS: Severe alcoholic hepatitis (AH) is a lifethreatening disease for which adequate oral nutritional support is recommended. We performed a randomized controlled trial to determine whether the combination of corticosteroid and intensive enteral nutrition therapy is more effective than corticosteroid therapy alone in patients with severe AH. METHODS: We enrolled 136 heavy consumers of alcohol (age, 18–75 y) with recent onset of jaundice and biopsy-proven severe AH in our study, performed at 18 hospitals in Belgium and 2 in France, from February 2010 through February 2013. Subjects were assigned randomly (1:1) to groups that received either intensive enteral nutrition plus methylprednisolone or conventional nutrition plus methylprednisolone (controls). In the intensive enteral nutrition group, enteral nutrition was given via feeding tube for 14 days. The primary end point was patient survival for 6 months. RESULTS: In an intention-to-treat analysis, we found no significant difference between groups in 6-month cumulative mortality: 44.4% of patients died in the intensive enteral nutrition group (95% confidence interval [CI], 32.2%–55.9%) and 52.1% of controls died (95% CI, 39.4%– 63.4%) (P ¼ .406). The enteral feeding tube was withdrawn prematurely from 48.5% of patients, and serious adverse events considered to be related to enteral nutrition occurred in 5 patients. Regardless of group, a greater proportion of patients with a daily calorie intake less than 21.5 kcal/kg/day died (65.8%; 95% CI, 48.8–78.4) than patients with a higher intake of calories (33.1%; 95% CI, 23.1%–43.4%) (P < .001). CONCLUSIONS: In a randomized trial of patients with severe AH treated with corticosteroids, we found that intensive enteral nutrition was difficult to implement and did not increase survival. However, low daily energy intake was associated with greater mortality, so adequate nutritional intake should be a main goal for treatment