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

Local adaptations of Mediterranean sheep and goats through an integrative approach

Small ruminants are suited to a wide variety of habitats and thus represent promising study models for identifying genes underlying adaptations. Here, we considered local Mediterranean breeds of goats (n = 17) and sheep (n = 25) from Italy, France and Spain. Based on historical archives, we selected the breeds potentially most linked to a territory and defined their original cradle (i.e., the geographical area in which the breed has emerged), including transhumant pastoral areas. We then used the programs PCAdapt and LFMM to identify signatures of artificial and environmental selection. Considering cradles instead of current GPS coordinates resulted in a greater number of signatures identified by the LFMM analysis. The results, combined with a systematic literature review, revealed a set of genes with potentially key adaptive roles in relation to the gradient of aridity and altitude. Some of these genes have been previously implicated in lipid metabolism (SUCLG2, BMP2), hypoxia stress/lung function (BMPR2), seasonal patterns (SOX2, DPH6) or neuronal function (TRPC4, TRPC6). Selection signatures involving the PCDH9 and KLH1 genes, as well as NBEA/NBEAL1, were identified in both species and thus could play an important adaptive role

Crossing the Dripline to 11N Using Elastic Resonance Scattering

The level structure of the unbound nucleus 11N has been studied by 10C+p elastic resonance scattering in inverse geometry with the LISE3 spectrometer at GANIL, using a 10C beam with an energy of 9.0 MeV/u. An additional measurement was done at the A1200 spectrometer at MSU. The excitation function above the 10C+p threshold has been determined up to 5 MeV. A potential-model analysis revealed three resonance states at energies 1.27 (+0.18-0.05) MeV (Gamma=1.44 +-0.2 MeV), 2.01(+0.15-0.05) MeV, (Gamma=0.84 +-$0.2 MeV) and 3.75(+-0.05) MeV, (Gamma=0.60 +-0.05 MeV) with the spin-parity assignments I(pi) =1/2+, 1/2- and 5/2+, respectively. Hence, 11N is shown to have a ground state parity inversion completely analogous to its mirror partner, 11Be. A narrow resonance in the excitation function at 4.33 (+-0.05) MeV was also observed and assigned spin-parity 3/2-.Comment: 14 pages, 9 figures, twocolumn Accepted for publication in PR

DNA bar coding and pyrosequencing to analyze adverse events in therapeutic gene transfer

Gene transfer has been used to correct inherited immunodeficiencies, but in several patients integration of therapeutic retroviral vectors activated proto-oncogenes and caused leukemia. Here, we describe improved methods for characterizing integration site populations from gene transfer studies using DNA bar coding and pyrosequencing. We characterized 160 232 integration site sequences in 28 tissue samples from eight mice, where Rag1 or Artemis deficiencies were corrected by introducing the missing gene with gamma-retroviral or lentiviral vectors. The integration sites were characterized for their genomic distributions, including proximity to proto-oncogenes. Several mice harbored abnormal lymphoproliferations following therapy—in these cases, comparison of the location and frequency of isolation of integration sites across multiple tissues helped clarify the contribution of specific proviruses to the adverse events. We also took advantage of the large number of pyrosequencing reads to show that recovery of integration sites can be highly biased by the use of restriction enzyme cleavage of genomic DNA, which is a limitation in all widely used methods, but describe improved approaches that take advantage of the power of pyrosequencing to overcome this problem. The methods described here should allow integration site populations from human gene therapy to be deeply characterized with spatial and temporal resolution

Common Changes in Global Gene Expression Induced by RNA Polymerase Inhibitors in shigella flexneri

Characterization of expression profile of organisms in response to antimicrobials provides important information on the potential mechanism of action of the drugs. The special expression signature can be used to predict whether other drugs act on the same target. Here, the common response of Shigella flexneri to two inhibitors of RNA polymerase was examined using gene expression profiling. Consistent with similar effects of the two drugs, the gene expression profiles indicated that responses of the bacteria to these drugs were roughly the same, with 225 genes affected commonly. Of them, 88 were induced and 137 were repressed. Real-time PCR was performed for selected genes to verify the microarray results. Analysis of the expression data revealed that more than 30% of the plasmid-encoded genes on the array were up-regulated by the antibiotics including virF regulon, other virulence-related genes, and genes responsible for plasmid replication, maintenance, and transfer. In addition, some chromosome-encoded genes involved in virulence and genes acquired from horizontal transfer were also significantly up-regulated. However, the expression of genes encoding the beta-subunit of RNA polymerase was increased moderately. The repressed genes include those that code for products associated with the ribosome, citrate cycle, glycolysis, thiamine biosynthesis, purine metabolism, fructose metabolism, mannose metabolism, and cold shock proteins. This study demonstrates that the two antibiotics induce rapid cessation of RNA synthesis resulting in inhibition of translation components. It also indicates that the production of virulence factors involved in intercellular dissemination, tissue invasion and inflammatory destruction may be enhanced through derepressing horizontal transfer genes by the drugs

Genomic Characterization of Enteroaggregative Escherichia coli From Children in Mali

Background. Enteroaggregative Escherichia coli (EAEC) is a cause of epidemic and sporadic diarrhea, yet its role as an enteric pathogen is not fully understood