253 research outputs found

    The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy

    Get PDF
    For two given ω\omega-terms α\alpha and β\beta, the word problem for ω\omega-terms over a variety V\boldsymbol{\mathrm{V}} asks whether α=β\alpha=\beta in all monoids in V\boldsymbol{\mathrm{V}}. We show that the word problem for ω\omega-terms over each level of the Trotter-Weil Hierarchy is decidable. More precisely, for every fixed variety in the Trotter-Weil Hierarchy, our approach yields an algorithm in nondeterministic logarithmic space (NL). In addition, we provide deterministic polynomial time algorithms which are more efficient than straightforward translations of the NL-algorithms. As an application of our results, we show that separability by the so-called corners of the Trotter-Weil Hierarchy is witnessed by ω\omega-terms (this property is also known as ω\omega-reducibility). In particular, the separation problem for the corners of the Trotter-Weil Hierarchy is decidable

    Expression quantitative trait loci are highly sensitive to cellular differentiation state

    Get PDF
    Blood cell development from multipotent hematopoietic stem cells to specialized blood cells is accompanied by drastic changes in gene expression for which the triggers remain mostly unknown. Genetical genomics is an approach linking natural genetic variation to gene expression variation, thereby allowing the identification of genomic loci containing gene expression modulators (eQTLs). In this paper, we used a genetical genomics approach to analyze gene expression across four developmentally close blood cell types collected from a large number of genetically different but related mouse strains. We found that, while a significant number of eQTLs (365) had a consistent “static” regulatory effect on gene expression, an even larger number were found to be very sensitive to cell stage. As many as 1,283 eQTLs exhibited a “dynamic” behavior across cell types. By looking more closely at these dynamic eQTLs, we show that the sensitivity of eQTLs to cell stage is largely associated with gene expression changes in target genes. These results stress the importance of studying gene expression variation in well-defined cell populations. Only such studies will be able to reveal the important differences in gene regulation between different ce

    Deficiency and Also Transgenic Overexpression of Timp-3 Both Lead to Compromised Bone Mass and Architecture In Vivo

    Get PDF
    Tissue inhibitor of metalloproteinases-3 (TIMP-3) regulates extracellular matrix via its inhibition of matrix metalloproteinases and membrane-bound sheddases. Timp-3 is expressed at multiple sites of extensive tissue remodelling. This extends to bone where its role, however, remains largely unresolved. In this study, we have used Micro-CT to assess bone mass and architecture, histological and histochemical evaluation to characterise the skeletal phenotype of Timp-3 KO mice and have complemented this by also examining similar indices in mice harbouring a Timp-3 transgene driven via a Col-2a-driven promoter to specifically target overexpression to chondrocytes. Our data show that Timp-3 deficiency compromises tibial bone mass and structure in both cortical and trabecular compartments, with corresponding increases in osteoclasts. Transgenic overexpression also generates defects in tibial structure predominantly in the cortical bone along the entire shaft without significant increases in osteoclasts. These alterations in cortical mass significantly compromise predicted tibial load-bearing resistance to torsion in both genotypes. Neither Timp-3 KO nor transgenic mouse growth plates are significantly affected. The impact of Timp-3 deficiency and of transgenic overexpression extends to produce modification in craniofacial bones of both endochondral and intramembranous origins. These data indicate that the levels of Timp-3 are crucial in the attainment of functionally-appropriate bone mass and architecture and that this arises from chondrogenic and osteogenic lineages

    Anatomy and origin of authochthonous late Pleistocene forced regression deposits, east Coromandel inner shelf, New Zealand: implications for the development and definition of the regressive systems tract

    Get PDF
    High-resolution seismic reflection data from the east Coromandel coast, New Zealand, provide details of the sequence stratigraphy beneath an autochthonous, wave dominated inner shelf margin during the late Quaternary (0-140 ka). Since c. 1 Ma, the shelf has experienced limited subsidence and fluvial sediment input, producing a depositional regime characterised by extensive reworking of coastal and shelf sediments during glacio-eustatic sea-level fluctuations. It appears that only one complete fifth-order (c. 100 000 yr) depositional sequence is preserved beneath the inner shelf, the late Pleistocene Waihi Sequence, suggesting any earlier Quaternary sequences were mainly cannibalised into successively younger sequences. The predominantly Holocene-age Whangamata Sequence is also evident in seismic data and modern coastal deposits, and represents an incomplete depositional sequence in its early stages of formation. A prominent aspect of the sequence stratigraphy off parts of the east Coromandel coast is the presence of forced regressive deposits (FRDs) within the regressive systems tract (RST) of the late Pleistocene Waihi Sequence. The FRDs are interpreted to represent regressive barrier-shoreface sands that were sourced from erosion and onshore reworking of underlying Pleistocene sediments during the period of slow falling sea level from isotope stages 5 to 2 (c. 112-18 ka). The RST is volumetrically the most significant depositional component of the Waihi Sequence; the regressive deposits form a 15-20 m thick, sharp-based, tabular seismic unit that downsteps and progrades continuously across the inner shelf. The sequence boundary for the Waihi Sequence is placed at the most prominent, regionally correlative, and chronostratigraphically significant surface, namely an erosional unconformity characterised in many areas by large incised valleys that was generated above the RST. This unconformity is interpreted as a surface of maximum subaerial erosion generated during the last glacial lowstand (c. 18 ka). Although the base of the RST is associated with a prominent regressive surface of erosion, this is not used as the sequence boundary as it is highly diachronous and difficult to identify and correlate where FRDs are not developed. The previous highstand deposits are limited to subaerial barrier deposits preserved behind several modern Holocene barriers along the coast, while the transgressive systems tract is preserved locally as incised-valley fill deposits beneath the regressive surface of erosion at the base of the RST. Many documented late Pleistocene RSTs have been actively sourced from fluvial systems feeding the shelf and building basinward-thickening, often stacked wedges of FRDs, for which the name allochthonous FRDs is suggested. The Waihi Sequence RST is unusual in that it appears to have been sourced predominantly from reworking of underlying shelf sediments, and thus represents an autochthonous FRD. Autochthonous FRDs are also present on the Forster-Tuncurry shelf in southeast Australia, and may be a common feature in other shelf settings with low subsidence and low sediment supply rates, provided shelf gradients are not too steep, and an underlying source of unconsolidated shelf sediments is available to source FRDs. The preservation potential of such autochthonous FRDs in ancient deposits is probably low given that they are likely to be cannibalised during subsequent sea-level falls

    High-throughput profiling of off-target DNA cleavage reveals RNA-programmed Cas9 nuclease specificity

    Get PDF
    The RNA-programmable Cas9 endonuclease cleaves double-stranded DNA at sites complementary to a 20-base-pair guide RNA. The Cas9 system has been used to modify genomes in multiple cells and organisms, demonstrating its potential as a facile genome-engineering tool. We used in vitro selection and high-throughput sequencing to determine the propensity of eight Cas9:guide RNA complexes to cleave each of 10^12 potential off-target DNA sequences. The selection results predicted five off-target sites in the human genome that were confirmed to undergo genome cleavage in HEK293T cells upon expression of one of two Cas9:guide RNA complexes. In contrast to previous models, our results show that Cas9:guide RNA specificity extends past a 7- to 12-base pair seed sequence. Our results also suggest a tradeoff between activity and specificity both in vitro and in cells as a shorter, less-active guide RNA is more specific then a longer, more-active guide RNA. High concentrations of Cas9:guide RNA complexes can cleave off-target sites containing mutations near or within the PAM that are not cleaved when enzyme concentrations are limiting

    XGAP: a uniform and extensible data model and software platform for genotype and phenotype experiments.

    Get PDF
    We present an extensible software model for the genotype and phenotype community, XGAP. Readers can download a standard XGAP (http://www.xgap.org) or auto-generate a custom version using MOLGENIS with programming interfaces to R-software and web-services or user interfaces for biologists. XGAP has simple load formats for any type of genotype, epigenotype, transcript, protein, metabolite or other phenotype data. Current functionality includes tools ranging from eQTL analysis in mouse to genome-wide association studies in humans.RIGHTS : This article is licensed under the BioMed Central licence at http://www.biomedcentral.com/about/license which is similar to the 'Creative Commons Attribution Licence'. In brief you may : copy, distribute, and display the work; make derivative works; or make commercial use of the work - under the following conditions: the original author must be given credit; for any reuse or distribution, it must be made clear to others what the license terms of this work are

    Fungal infestation boosts fruit aroma and fruit removal by mammals and birds

    Get PDF
    For four decades, an influential hypothesis has posited that competition for food resources between microbes and vertebrates selects for microbes to alter these resources in ways that make them unpalatable to vertebrates. We chose an understudied cross kingdom interaction to experimentally evaluate the effect of fruit infection by fungi on both vertebrate (mammals and birds) fruit preferences and on ecologically relevant fruit traits (volatile compounds, toughness, etc). Our well-replicated field experiments revealed that, in contrast to previous studies, frugivorous mammals and birds consistently preferred infested over intact fruits. This was concordant with the higher level of attractive volatiles (esters, ethanol) in infested fruits. This investigation suggests that vertebrate frugivores, fleshyfruited plants, and microbes form a tripartite interaction in which each part could interact positively with the other two (e.g. both orange seeds and fungal spores are likely dispersed by mammals). Such a mutualistic view of these complex interactions is opposed to the generalized idea of competition between frugivorous vertebrates and microorganisms. Thus, this research provides a new perspective on the widely accepted plant evolutionary dilemma to make fruits attractive to mutualistic frugivores while unattractive to presumed antagonistic microbes that constrain seed dispersalinfo:eu-repo/semantics/publishedVersio

    Functional polymorphisms in genes of the Angiotensin and Serotonin systems and risk of hypertrophic cardiomyopathy: AT1R as a potential modifier

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Angiotensin and serotonin have been identified as inducers of cardiac hypertrophy. DNA polymorphisms at the genes encoding components of the angiotensin and serotonin systems have been associated with the risk of developing cardiovascular diseases, including left ventricular hypertrophy (LVH).</p> <p>Methods</p> <p>We genotyped five polymorphisms of the <it>AGT</it>, <it>ACE</it>, <it>AT1R</it>, <it>5-HT2A</it>, and <it>5-HTT </it>genes in 245 patients with Hypertrophic Cardiomyopathy (HCM; 205 without an identified sarcomeric gene mutation), in 145 patients with LVH secondary to hypertension, and 300 healthy controls.</p> <p>Results</p> <p>We found a significantly higher frequency of <it>AT1R </it>1166 C carriers (CC+AC) among the HCM patients without sarcomeric mutations compared to controls (p = 0.015; OR = 1.56; 95%CI = 1.09-2.23). The <it>AT1R </it>1166 C was also more frequent among patients who had at least one affected relative, compared to sporadic cases. This allele was also associated with higher left ventricular wall thickness in both, HCM patients with and without sarcomeric mutations.</p> <p>Conclusions</p> <p>The 1166 C <it>AT1R </it>allele could be a risk factor for cardiac hypertrophy in patients without sarcomeric mutations. Other variants at the <it>AGT</it>, <it>ACE</it>, <it>5-HT2A </it>and <it>5-HTT </it>did not contribute to the risk of cardiac hypertrophy.</p

    Improved Somatic Mutagenesis in Zebrafish Using Transcription Activator-Like Effector Nucleases (TALENs)

    Get PDF
    Zinc Finger Nucleases (ZFNs) made by Context-Dependent Assembly (CoDA) and Transcription Activator-Like Effector Nucleases (TALENs) provide robust and user-friendly technologies for efficiently inactivating genes in zebrafish. These designer nucleases bind to and cleave DNA at particular target sites, inducing error-prone repair that can result in insertion or deletion mutations. Here, we assess the relative efficiencies of these technologies for inducing somatic DNA mutations in mosaic zebrafish. We find that TALENs exhibited a higher success rate for obtaining active nucleases capable of inducing mutations than compared with CoDA ZFNs. For example, all six TALENs tested induced DNA mutations at genomic target sites while only a subset of CoDA ZFNs exhibited detectable rates of mutagenesis. TALENs also exhibited higher mutation rates than CoDA ZFNs that had not been pre-screened using a bacterial two-hybrid assay, with DNA mutation rates ranging from 20%–76.8% compared to 1.1%–3.3%. Furthermore, the broader targeting range of TALENs enabled us to induce mutations at the methionine translation start site, sequences that were not targetable using the CoDA ZFN platform. TALENs exhibited similar toxicity to CoDA ZFNs, with >50% of injected animals surviving to 3 days of life. Taken together, our results suggest that TALEN technology provides a robust alternative to CoDA ZFNs for inducing targeted gene-inactivation in zebrafish, making it a preferred technology for creating targeted knockout mutants in zebrafish
    corecore