Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries

The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the "correct" algebraic structure for Union of Conjunctive Queries, in the sense that its use allows provenance to be invariant under certain expected query equivalence axioms. In this paper we present the first (to our knowledge) algebraic provenance model, for a fragment of update queries, that is invariant under set equivalence. The fragment that we focus on is that of hyperplane queries, previously studied in multiple lines of work. Our algebraic provenance structure and corresponding provenance-aware semantics are based on the sound and complete axiomatization of Karabeg and Vianu. We demonstrate that our construction can guide the design of concrete provenance model instances for different applications. We further study the efficient generation and storage of provenance for hyperplane update queries. We show that a naive algorithm can lead to an exponentially large provenance expression, but remedy this by presenting a normal form which we show may be efficiently computed alongside query evaluation. We experimentally study the performance of our solution and demonstrate its scalability and usefulness, and in particular the effectiveness of our normal form representation

An Improved On-line Contingency Screening for Power System Transient Stability Assessment

peer reviewedThis paper presents a contingency screening method and a framework for its on-line implementation. The proposed method carries out contingency screening and on-line stability assessment with respect to first-swing transient stability. For that purpose, it utilizes the single machine equivalent method and aims at improving the prior developed contingency screening approaches. In order to determine vulnerability of the system with respect to a particular contingency, only one time-domain simulation needs to be performed. An early stop criteria is proposed so that in a majority of the cases the simulation can be terminated after a few hundred milliseconds of simulated system response. The method’s outcome is an assessment of the system’s stability and a classification of each considered contingency. The contingencies are categorized by exploiting parameters of an equivalent one machine infinite bus system. A novel island detection approach, appropriate for an on-line application since it utilizes efficient algorithms from graph theory and enables stability assessment of individual islands, is also introduced. The New England and New York system as well as the large-scale model of the Continental-European interconnected system are used to test the proposed method with respect to assessment accuracy and computation time

Identification of Early Requirements for Preplacodal Ectoderm and Sensory Organ Development

Preplacodal ectoderm arises near the end of gastrulation as a narrow band of cells surrounding the anterior neural plate. This domain later resolves into discrete cranial placodes that, together with neural crest, produce paired sensory structures of the head. Unlike the better-characterized neural crest, little is known about early regulation of preplacodal development. Classical models of ectodermal patterning posit that preplacodal identity is specified by readout of a discrete level of Bmp signaling along a DV gradient. More recent studies indicate that Bmp-antagonists are critical for promoting preplacodal development. However, it is unclear whether Bmp-antagonists establish the proper level of Bmp signaling within a morphogen gradient or, alternatively, block Bmp altogether. To begin addressing these issues, we treated zebrafish embryos with a pharmacological inhibitor of Bmp, sometimes combined with heat shock-induction of Chordin and dominant-negative Bmp receptor, to fully block Bmp signaling at various developmental stages. We find that preplacodal development occurs in two phases with opposing Bmp requirements. Initially, Bmp is required before gastrulation to co-induce four transcription factors, Tfap2a, Tfap2c, Foxi1, and Gata3, which establish preplacodal competence throughout the nonneural ectoderm. Subsequently, Bmp must be fully blocked in late gastrulation by dorsally expressed Bmp-antagonists, together with dorsally expressed Fgf and Pdgf, to specify preplacodal identity within competent cells abutting the neural plate. Localized ventral misexpression of Fgf8 and Chordin can activate ectopic preplacodal development anywhere within the zone of competence, whereas dorsal misexpression of one or more competence factors can activate ectopic preplacodal development in the neural plate. Conversely, morpholino-knockdown of competence factors specifically ablates preplacodal development. Our work supports a relatively simple two-step model that traces regulation of preplacodal development to late blastula stage, resolves two distinct phases of Bmp dependence, and identifies the main factors required for preplacodal competence and specification

Drosophila Araucan and Caupolican Integrate Intrinsic and Signalling Inputs for the Acquisition by Muscle Progenitors of the Lateral Transverse Fate

A central issue of myogenesis is the acquisition of identity by individual muscles. In Drosophila, at the time muscle progenitors are singled out, they already express unique combinations of muscle identity genes. This muscle code results from the integration of positional and temporal signalling inputs. Here we identify, by means of loss-of-function and ectopic expression approaches, the Iroquois Complex homeobox genes araucan and caupolican as novel muscle identity genes that confer lateral transverse muscle identity. The acquisition of this fate requires that Araucan/Caupolican repress other muscle identity genes such as slouch and vestigial. In addition, we show that Caupolican-dependent slouch expression depends on the activation state of the Ras/Mitogen Activated Protein Kinase cascade. This provides a comprehensive insight into the way Iroquois genes integrate in muscle progenitors, signalling inputs that modulate gene expression and protein activity

Candidate Gene Screen in the Red Flour Beetle Tribolium Reveals Six3 as Ancient Regulator of Anterior Median Head and Central Complex Development

Several highly conserved genes play a role in anterior neural plate patterning of vertebrates and in head and brain patterning of insects. However, head involution in Drosophila has impeded a systematic identification of genes required for insect head formation. Therefore, we use the red flour beetle Tribolium castaneum in order to comprehensively test the function of orthologs of vertebrate neural plate patterning genes for a function in insect head development. RNAi analysis reveals that most of these genes are indeed required for insect head capsule patterning, and we also identified several genes that had not been implicated in this process before. Furthermore, we show that Tc-six3/optix acts upstream of Tc-wingless, Tc-orthodenticle1, and Tc-eyeless to control anterior median development. Finally, we demonstrate that Tc-six3/optix is the first gene known to be required for the embryonic formation of the central complex, a midline-spanning brain part connected to the neuroendocrine pars intercerebralis. These functions are very likely conserved among bilaterians since vertebrate six3 is required for neuroendocrine and median brain development with certain mutations leading to holoprosencephaly

Guidelines for the use and interpretation of assays for monitoring autophagy (3rd edition)

In 2008 we published the first set of guidelines for standardizing research in autophagy. Since then, research on this topic has continued to accelerate, and many new scientists have entered the field. Our knowledge base and relevant new technologies have also been expanding. Accordingly, it is important to update these guidelines for monitoring autophagy in different organisms. Various reviews have described the range of assays that have been used for this purpose. Nevertheless, there continues to be confusion regarding acceptable methods to measure autophagy, especially in multicellular eukaryotes. For example, a key point that needs to be emphasized is that there is a difference between measurements that monitor the numbers or volume of autophagic elements (e.g., autophagosomes or autolysosomes) at any stage of the autophagic process versus those that measure fl ux through the autophagy pathway (i.e., the complete process including the amount and rate of cargo sequestered and degraded). In particular, a block in macroautophagy that results in autophagosome accumulation must be differentiated from stimuli that increase autophagic activity, defi ned as increased autophagy induction coupled with increased delivery to, and degradation within, lysosomes (inmost higher eukaryotes and some protists such as Dictyostelium ) or the vacuole (in plants and fungi). In other words, it is especially important that investigators new to the fi eld understand that the appearance of more autophagosomes does not necessarily equate with more autophagy. In fact, in many cases, autophagosomes accumulate because of a block in trafficking to lysosomes without a concomitant change in autophagosome biogenesis, whereas an increase in autolysosomes may reflect a reduction in degradative activity. It is worth emphasizing here that lysosomal digestion is a stage of autophagy and evaluating its competence is a crucial part of the evaluation of autophagic flux, or complete autophagy. Here, we present a set of guidelines for the selection and interpretation of methods for use by investigators who aim to examine macroautophagy and related processes, as well as for reviewers who need to provide realistic and reasonable critiques of papers that are focused on these processes. These guidelines are not meant to be a formulaic set of rules, because the appropriate assays depend in part on the question being asked and the system being used. In addition, we emphasize that no individual assay is guaranteed to be the most appropriate one in every situation, and we strongly recommend the use of multiple assays to monitor autophagy. Along these lines, because of the potential for pleiotropic effects due to blocking autophagy through genetic manipulation it is imperative to delete or knock down more than one autophagy-related gene. In addition, some individual Atg proteins, or groups of proteins, are involved in other cellular pathways so not all Atg proteins can be used as a specific marker for an autophagic process. In these guidelines, we consider these various methods of assessing autophagy and what information can, or cannot, be obtained from them. Finally, by discussing the merits and limits of particular autophagy assays, we hope to encourage technical innovation in the field

Sex- and age-related differences in the management and outcomes of chronic heart failure: an analysis of patients from the ESC HFA EORP Heart Failure Long-Term Registry

Aims: This study aimed to assess age- and sex-related differences in management and 1-year risk for all-cause mortality and hospitalization in chronic heart failure (HF) patients. Methods and results: Of 16 354 patients included in the European Society of Cardiology Heart Failure Long-Term Registry, 9428 chronic HF patients were analysed [median age: 66 years; 28.5% women; mean left ventricular ejection fraction (LVEF) 37%]. Rates of use of guideline-directed medical therapy (GDMT) were high (angiotensin-converting enzyme inhibitors/angiotensin receptor blockers, beta-blockers and mineralocorticoid receptor antagonists: 85.7%, 88.7% and 58.8%, respectively). Crude GDMT utilization rates were lower in women than in men (all differences: P\ua0 64 0.001), and GDMT use became lower with ageing in both sexes, at baseline and at 1-year follow-up. Sex was not an independent predictor of GDMT prescription; however, age >75 years was a significant predictor of GDMT underutilization. Rates of all-cause mortality were lower in women than in men (7.1% vs. 8.7%; P\ua0=\ua00.015), as were rates of all-cause hospitalization (21.9% vs. 27.3%; P\ua075 years. Conclusions: There was a decline in GDMT use with advanced age in both sexes. Sex was not an independent predictor of GDMT or adverse outcomes. However, age >75 years independently predicted lower GDMT use and higher all-cause mortality in patients with LVEF 6445%