An approach to computing downward closures

The downward closure of a word language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of any language is regular. While the downward closure appears to be a powerful abstraction, algorithms for computing a finite automaton for the downward closure of a given language have been established only for few language classes. This work presents a simple general method for computing downward closures. For language classes that are closed under rational transductions, it is shown that the computation of downward closures can be reduced to checking a certain unboundedness property. This result is used to prove that downward closures are computable for (i) every language class with effectively semilinear Parikh images that are closed under rational transductions, (ii) matrix languages, and (iii) indexed languages (equivalently, languages accepted by higher-order pushdown automata of order 2).Comment: Full version of contribution to ICALP 2015. Comments welcom

Phylogenetic Analysis of Pelecaniformes (Aves) Based on Osteological Data: Implications for Waterbird Phylogeny and Fossil Calibration Studies

) were also assessed. The antiquity of these taxa and their purported status as stem members of extant families makes them valuable for studies of higher-level avian diversification. (sister taxon to Phalacrocoracidae). These relationships are invariant when ‘backbone’ constraints based on recent avian phylogenies are imposed.Relationships of extant pelecaniforms inferred from morphology are more congruent with molecular phylogenies than previously assumed, though notable conflicts remain. The phylogenetic position of the Plotopteridae implies that wing-propelled diving evolved independently in plotopterids and penguins, representing a remarkable case of convergent evolution. Despite robust support for the placement of fossil taxa representing key calibration points, the successive outgroup relationships of several “stem fossil + crown family” clades are variable and poorly supported across recent studies of avian phylogeny. Thus, the impact these fossils have on inferred patterns of temporal diversification depends heavily on the resolution of deep nodes in avian phylogeny

3′UTR-Mediated Gene Silencing of the Mixed Lineage Leukemia (MLL) Gene

Translocations involving the Mixed Lineage Leukemia (MLL) gene generate in-frame fusions of MLL with more than 50 different partner genes (PGs). Common to all MLL translocations is the exchange not only of coding regions, but also of MLL and PG 3′-untranslated regions (3′UTRs). As a result, the MLL-PG fusion is normally highly expressed and considered the main driver of leukemia development, whereas the function of the PG-MLL fusions in leukemic disease is unclear. As 3′UTRs have been recognized as determinant regions for regulation of gene expression, we hypothesized that loss of the MLL 3′UTR could have a role in generating high MLL-PG levels and leukemia development. Here, we first tested the MLL-PG and PG-MLL mRNA levels in different leukemic cells and tumours and uncovered differential expression that indicates strong repression by the MLL-3′UTR. Reporter assays confirmed that the 3′UTR of MLL, but not of its main PGs, harbours a region that imposes a strong gene silencing effect. Gene suppression by the MLL 3′UTR was largely microRNA independent and did not affect mRNA stability, but inhibited transcription. This effect can at least partially be attributed to a tighter interaction of the MLL 3′UTR with RNA polymerase II than PG 3′UTRs, affecting its phosphorylation state. Altogether, our findings indicate that MLL translocations relieve oncogenic MLL-PG fusions from the repressive MLL 3′UTR, contributing to higher activity of these genes and leukaemia development

Hierarchy Theory of Evolution and the Extended Evolutionary Synthesis: Some Epistemic Bridges, Some Conceptual Rifts

Contemporary evolutionary biology comprises a plural landscape of multiple co-existent conceptual frameworks and strenuous voices that disagree on the nature and scope of evolutionary theory. Since the mid-eighties, some of these conceptual frameworks have denounced the ontologies of the Modern Synthesis and of the updated Standard Theory of Evolution as unfinished or even flawed. In this paper, we analyze and compare two of those conceptual frameworks, namely Niles Eldredge’s Hierarchy Theory of Evolution (with its extended ontology of evolutionary entities) and the Extended Evolutionary Synthesis (with its proposal of an extended ontology of evolutionary processes), in an attempt to map some epistemic bridges (e.g. compatible views of causation; niche construction) and some conceptual rifts (e.g. extra-genetic inheritance; different perspectives on macroevolution; contrasting standpoints held in the “externalism–internalism” debate) that exist between them. This paper seeks to encourage theoretical, philosophical and historiographical discussions about pluralism or the possible unification of contemporary evolutionary biology

Proteomic analysis of cold adaptation in a Siberian permafrost bacterium – Exiguobacterium sibiricum 255–15 by two-dimensional liquid separation coupled with mass spectrometry

Bacterial cold adaptation in Exiguobacterium sibiricum 255–15 was studied on a proteomic scale using a 2-D liquid phase separation coupled with MS technology. Whole-cell lysates of E. sibiricum 255–15 grown at 4°C and 25°C were first fractionated according to p I by chromatofocusing (CF), and further separated based on hydrophobicity by nonporous silica RP HPLC (NPS-RP-HPLC) which was on-line coupled with an ESI-TOF MS for intact protein M r measurement and quantitative interlysate comparison. Mass maps were created to visualize the differences in protein expression between different growth temperatures. The differentially expressed proteins were then identified by PMF using a MALDI-TOF MS and peptide sequencing by MS/MS with a MALDI quadrupole IT TOF mass spectrometer (MALDI-QIT-TOF MS). A total of over 500 proteins were detected in this study, of which 256 were identified. Among these proteins 39 were cold acclimation proteins (Caps) that were preferentially or uniquely expressed at 4°C and three were homologous cold shock proteins (Csps). The homologous Csps were found to be similarly expressed at 4°C and 25°C, where these three homologous Csps represent about 10% of the total soluble proteins at both 4°C and 25°C.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/55850/1/5221_ftp.pd

Translocation as a Novel Approach to Study Effects of a New Breeding Habitat on Reproductive Output in Wild Birds

Environmental conditions under which species reproduce have major consequences on breeding success and subsequent fitness. Therefore breeding habitat choice is ultimately important. Studies rarely address the potential fitness pay-offs of alternative natural breeding habitats by experimental translocation. Here we present a new tool to study fitness consequences of free living birds in different habitats. We translocated a migratory passerine, the pied flycatcher (Ficedula hypoleuca), to a novel site, where pairs were subjected to a short stay (2–4 days) in a nest box-equipped aviary before being released. We show that it is technically possible to retain birds in the new area for breeding, allowing the study of reproductive consequences of dispersal under natural conditions. The translocation resulted in an extension of the interval between arrival and egg laying of four days, highlighting the importance of having an adequate control group. Clutch size and nestling parameters did not differ significantly between translocated and unmanipulated females, which suggests that the procedure did not affect birds in their reproductive performance later on. This method could be applied broadly in evolutionary and ecological research, e.g., to study the potential fitness benefits and costs for dispersing to more northern latitudes as a way of adapting to climate change

Electron-beam-assisted superplastic shaping of nanoscale amorphous silica

At room temperature, glasses are known to be brittle and fracture upon deformation. Zheng et al. show that, by exposing amorphous silica nanostructures to a low-intensity electron beam, it is possible to achieve dramatic shape changes, including a superplastic elongation of 200% for nanowires

Oligonucleotide Frequencies of Barcoding Loci Can Discriminate Species across Kingdoms

Background: DNA barcoding refers to the use of short DNA sequences for rapid identification of species. Genetic distance or character attributes of a particular barcode locus discriminate the species. We report an efficient approach to analyze short sequence data for discrimination between species. Methodology and Principal Findings: A new approach, Oligonucleotide Frequency Range (OFR) of barcode loci for species discrimination is proposed. OFR of the loci that discriminates between species was characteristic of a species, i.e., the maxima and minima within a species did not overlap with that of other species. We compared the species resolution ability of different barcode loci using p-distance, Euclidean distance of oligonucleotide frequencies, nucleotide-character based approach and OFR method. The species resolution by OFR was either higher or comparable to the other methods. A short fragment of 126 bp of internal transcribed spacer region in ribosomal RNA gene was sufficient to discriminate a majority of the species using OFR. Conclusions/Significance: Oligonucleotide frequency range of a barcode locus can discriminate between species. Ability to discriminate species using very short DNA fragments may have wider applications in forensic and conservation studies