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

Testing the paradox of enrichment along a land use gradient in a multitrophic aboveground and belowground community

In the light of ongoing land use changes, it is important to understand how multitrophic communities perform at different land use intensities. The paradox of enrichment predicts that fertilization leads to destabilization and extinction of predator-prey systems. We tested this prediction for a land use intensity gradient from natural to highly fertilized agricultural ecosystems. We included multiple aboveground and belowground trophic levels and land use-dependent searching efficiencies of insects. To overcome logistic constraints of field experiments, we used a successfully validated simulation model to investigate plant responses to removal of herbivores and their enemies. Consistent with our predictions, instability measured by herbivore-induced plant mortality increased with increasing land use intensity. Simultaneously, the balance between herbivores and natural enemies turned increasingly towards herbivore dominance and natural enemy failure. Under natural conditions, there were more frequently significant effects of belowground herbivores and their natural enemies on plant performance, whereas there were more aboveground effects in agroecosystems. This result was partly due to the “boom-bust” behavior of the shoot herbivore population. Plant responses to herbivore or natural enemy removal were much more abrupt than the imposed smooth land use intensity gradient. This may be due to the presence of multiple trophic levels aboveground and belowground. Our model suggests that destabilization and extinction are more likely to occur in agroecosystems than in natural communities, but the shape of the relationship is nonlinear under the influence of multiple trophic interactions.

Herd-level animal management factors associated with the occurrence of bovine neonatal pancytopenia in calves in a multicountry study

Since 2007, mortality associated with a previously unreported haemorrhagic disease has been observed in young calves in several European countries. The syndrome, which has been named ‘bovine neonatal pancytopenia’ (BNP), is characterised by thrombocytopenia, leukocytopenia and a panmyelophthisis. A herd-level case-control study was conducted in four BNP affected countries (Belgium, France, Germany and the Netherlands) to identify herd management risk factors for BNP occurrence. Data were collected using structured face-to-face and telephone interviews of farm managers and their local veterinarians. In total, 363 case farms and 887 control farms were included in a matched multivariable conditional logistic regression analysis. Case-control status was strongly associated with the odds of herd level use of the vaccine PregSure® BVD (PregSure, Pfizer Animal Health) (matched adjusted odds ratio (OR) 107.2; 95% CI: 41.0–280.1). This was also the case for the practices of feeding calves colostrum from the calf’s own dam (OR 2.0; 95% CI: 1.1–3.4) or feeding pooled colostrum (OR 4.1; 95% CI: 1.9–8.8). Given that the study had relatively high statistical power and represented a variety of cattle production and husbandry systems, it can be concluded with some confidence that no other herd level management factors are competent causes for a sufficient cause of BNP occurrence on herd level. It is suggested that genetic characteristics of the dams and BNP calves should be the focus of further investigations aimed at identifying the currently missing component causes that together with PregSure vaccination and colostrum feeding represent a sufficient cause for occurrence of BNP in calves

SC3: consensus clustering of single-cell RNA-seq data

Single-cell RNA-seq enables the quantitative characterization of cell types based on global transcriptome profiles. We present single-cell consensus clustering (SC3), a user-friendly tool for unsupervised clustering, which achieves high accuracy and robustness by combining multiple clustering solutions through a consensus approach (http://bioconductor.org/packages/SC3). We demonstrate that SC3 is capable of identifying subclones from the transcriptomes of neoplastic cells collected from patients.V.Y.K., T.A., A.Y. and M.H. are supported by Wellcome Trust Grants. K.N.N. is supported by the Wellcome Trust Strategic Award 'Single cell genomics of mouse gastrulation'. M.T.S. acknowledges support from FRS-FNRS; the Belgian Network DYSCO (Dynamical Systems, Control and Optimisation), funded by the Interuniversity Attraction Poles Programme initiated by the Belgian State Science Policy Office; and the ARC (Action de Recherche Concerte) on Mining and Optimization of Big Data Models, funded by the Wallonia-Brussels Federation. M.B. acknowledges support from EPSRC (grant EP/N014529/1). T.C. was funded through a core funded fellowship by the Sanger Institute and a Chancellor′s fellowship from the University of Edinburgh. K.K. and A.R.G. are supported by Bloodwise (grant ref. 13003), the Wellcome Trust (grant ref. 104710/Z/14/Z), the Medical Research Council, the Kay Kendall Leukaemia Fund, the Cambridge NIHR Biomedical Research Center, the Cambridge Experimental Cancer Medicine Centre, the Leukemia and Lymphoma Society of America (grant ref. 07037) and a core support grant from the Wellcome Trust and MRC to the Wellcome Trust-Medical Research Council Cambridge Stem Cell Institute. W.R. was supported by BBSRC (grant ref. BB/K010867/1), the Wellcome Trust (grant ref. 095645/Z/11/Z), EU BLUEPRINT and EpiGeneSys

Glomerular angiotensinogen protein is enhanced in pediatric IgA nephropathy

Enhanced intrarenal renin-angiotensin system (RAS) is implicated in the development and progression of renal injury. To investigate whether angiotensinogen (AGT) expression is involved in glomerular RAS activity and glomerular injury, we examined glomerular AGT expression and its correlation with expression of other RAS components, and levels of glomerular injury in samples from patients with immunoglobulin A nephropathy (IgAN) (23) and minor glomerular abnormalities (MGA) (8). Immunohistochemistry showed that AGT protein was highly expressed by glomerular endothelial cells (GEC) and mesangial cells in nephritic glomeruli of IgAN compared with glomeruli of MGA. Levels of glomerular AGT protein were well correlated with levels of glomerular angiotensin II (ang II), transforming growth factor-β (TGF-β), α-smooth-muscle actin, glomerular cell number, and glomerulosclerosis score but not with those of glomerular angiotensin-converting enzyme and ang II type 1 receptor. Real-time polymerase chain reaction (RT-PCR) and Western blot analyses using cultured human GEC indicated that ang II upregulated AGT messenger ribonucleic acid (mRNA) and protein expression in a dose- and time-dependent manner. These data suggest that activated glomerular AGT expression is likely involved in elevated local ang II production and, thereby, may contribute to increased TGF-β production and development of glomerular injury in IgAN. Augmentation of GEC-AGT production with ang II stimulation might drive further glomerular injury in a positive-feedback loop

The costs of introducing artemisinin-based combination therapy: evidence from district-wide implementation in rural Tanzania

BACKGROUND\ud \ud The development of antimalarial drug resistance has led to increasing calls for the introduction of artemisinin-based combination therapy (ACT). However, little evidence is available on the full costs associated with changing national malaria treatment policy. This paper presents findings on the actual drug and non-drug costs associated with deploying ACT in one district in Tanzania, and uses these data to estimate the nationwide costs of implementation in a setting where identification of malaria cases is primarily dependant on clinical diagnosis.\ud \ud METHODS\ud \ud Detailed data were collected over a three year period on the financial costs of providing ACT in Rufiji District as part of a large scale effectiveness evaluation, including costs of drugs, distribution, training, treatment guidelines and other information, education and communication (IEC) materials and publicity. The district-level costs were scaled up to estimate the costs of nationwide implementation, using four scenarios to extrapolate variable costs.\ud \ud RESULTS\ud \ud The total district costs of implementing ACT over the three year period were slightly over one million USD, with drug purchases accounting for 72.8% of this total. The composite (best) estimate of nationwide costs for the first three years of ACT implementation was 48.3 million USD (1.29 USD per capita), which varied between 21 and 67.1 million USD in the sensitivity analysis (2003 USD). In all estimates drug costs constituted the majority of total costs. However, non-drug costs such as IEC materials, drug distribution, communication, and health worker training were also substantial, accounting for 31.4% of overall ACT implementation costs in the best estimate scenario. Annual implementation costs are equivalent to 9.5% of Tanzania's recurrent health sector budget, and 28.7% of annual expenditure on medical supplies, implying a 6-fold increase in the national budget for malaria treatment.\ud \ud CONCLUSION\ud \ud The costs of implementing ACT are substantial. Although drug purchases constituted a majority of total costs, non-drug costs were also considerable. It is clear that substantial external resources will be required to facilitate and sustain effective ACT delivery across Tanzania and other malaria-endemic countries

Essential versus accessory aspects of cell death: recommendations of the NCCD 2015

Cells exposed to extreme physicochemical or mechanical stimuli die in an uncontrollable manner, as a result of their immediate structural breakdown. Such an unavoidable variant of cellular demise is generally referred to as ‘accidental cell death’ (ACD). In most settings, however, cell death is initiated by a genetically encoded apparatus, correlating with the fact that its course can be altered by pharmacologic or genetic interventions. ‘Regulated cell death’ (RCD) can occur as part of physiologic programs or can be activated once adaptive responses to perturbations of the extracellular or intracellular microenvironment fail. The biochemical phenomena that accompany RCD may be harnessed to classify it into a few subtypes, which often (but not always) exhibit stereotyped morphologic features. Nonetheless, efficiently inhibiting the processes that are commonly thought to cause RCD, such as the activation of executioner caspases in the course of apoptosis, does not exert true cytoprotective effects in the mammalian system, but simply alters the kinetics of cellular demise as it shifts its morphologic and biochemical correlates. Conversely, bona fide cytoprotection can be achieved by inhibiting the transduction of lethal signals in the early phases of the process, when adaptive responses are still operational. Thus, the mechanisms that truly execute RCD may be less understood, less inhibitable and perhaps more homogeneous than previously thought. Here, the Nomenclature Committee on Cell Death formulates a set of recommendations to help scientists and researchers to discriminate between essential and accessory aspects of cell death

The role of the tissue microenvironment in the regulation of cancer cell motility and invasion

During malignant neoplastic progression the cells undergo genetic and epigenetic cancer-specific alterations that finally lead to a loss of tissue homeostasis and restructuring of the microenvironment. The invasion of cancer cells through connective tissue is a crucial prerequisite for metastasis formation. Although cell invasion is foremost a mechanical process, cancer research has focused largely on gene regulation and signaling that underlie uncontrolled cell growth. More recently, the genes and signals involved in the invasion and transendothelial migration of cancer cells, such as the role of adhesion molecules and matrix degrading enzymes, have become the focus of research. In this review we discuss how the structural and biomechanical properties of extracellular matrix and surrounding cells such as endothelial cells influence cancer cell motility and invasion. We conclude that the microenvironment is a critical determinant of the migration strategy and the efficiency of cancer cell invasion

Differential Temporal and Spatial Progerin Expression during Closure of the Ductus Arteriosus in Neonates

Closure of the ductus arteriosus (DA) at birth is essential for the transition from fetal to postnatal life. Before birth the DA bypasses the uninflated lungs by shunting blood from the pulmonary trunk into the systemic circulation. The molecular mechanism underlying DA closure and degeneration has not been fully elucidated, but is associated with apoptosis and cytolytic necrosis in the inner media and intima. We detected features of histology during DA degeneration that are comparable to Hutchinson Gilford Progeria syndrome and ageing. Immunohistochemistry on human fetal and neonatal DA, and aorta showed that lamin A/C was expressed in all layers of the vessel wall. As a novel finding we report that progerin, a splicing variant of lamin A/C was expressed almost selectively in the normal closing neonatal DA, from which we hypothesized that progerin is involved in DA closure. Progerin was detected in 16.2%±7.2 cells of the DA. Progerin-expressing cells were predominantly located in intima and inner media where cytolytic necrosis accompanied by apoptosis will develop. Concomitantly we found loss of α-smooth muscle actin as well as reduced lamin A/C expression compared to the fetal and non-closing DA. In cells of the adjacent aorta, that remains patent, progerin expression was only sporadically detected in 2.5%±1.5 of the cells. Data were substantiated by the detection of mRNA of progerin in the neonatal DA but not in the aorta, by PCR and sequencing analysis. The fetal DA and the non-closing persistent DA did not present with progerin expressing cells. Our analysis revealed that the spatiotemporal expression of lamin A/C and progerin in the neonatal DA was mutually exclusive. We suggest that activation of LMNA alternative splicing is involved in vascular remodeling in the circulatory system during normal neonatal DA closure

Genetic Variance in the Adiponutrin Gene Family and Childhood Obesity

AIM: The adiponutrin gene family consists of five genes (PNPLA1-5) coding for proteins with both lipolytic and lipogenic properties. PNPLA3 has previously been associated with adult obesity. Here we investigated the possible association between genetic variants in these genes and childhood and adolescent obesity. METHODS/RESULTS: Polymorphisms in the five genes of the adiponutrin gene family were selected and genotyped using the Sequenom platform in a childhood and adolescent obesity case-control study. Six variants in PNPLA1 showed association with obesity (rs9380559, rs12212459, rs1467912, rs4713951, rs10947600, and rs12199580, p0.05). When analyzing these SNPs in relation to phenotypes, two SNPs in the PNPLA3 gene showed association with insulin sensitivity (rs12483959: beta = -0.053, p = 0.016, and rs2072907: beta = -0.049, p = 0.024). No associations were seen for PNPLA2, PNPLA4, and PNPLA5. CONCLUSIONS: Genetic variation in the adiponutrin gene family does not seem to contribute strongly to obesity in children and adolescents. PNPLA1 exhibited a modest effect on obesity and PNPLA3 on insulin sensitivity. These data, however, require confirmation in other cohorts and ethnic groups