533 research outputs found

    Learning Moore Machines from Input-Output Traces

    Full text link
    The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We develop three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of input-output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automata encoding a Moore machine; and (3) the MooreMI algorithm, which directly learns a Moore machine using PTAP extended with state merging. We prove that MooreMI has the fundamental identification in the limit property. We also compare the algorithms experimentally in terms of the size of the learned machine and several notions of accuracy, introduced in this paper. Finally, we compare with OSTIA, an algorithm that learns a more general class of transducers, and find that OSTIA generally does not learn a Moore machine, even when fed with a characteristic sample

    Genome sequencing of the extinct Eurasian wild aurochs, Bos primigenius, illuminates the phylogeography and evolution of cattle

    Get PDF
    Background Domestication of the now-extinct wild aurochs, Bos primigenius, gave rise to the two major domestic extant cattle taxa, B. taurus and B. indicus. While previous genetic studies have shed some light on the evolutionary relationships between European aurochs and modern cattle, important questions remain unanswered, including the phylogenetic status of aurochs, whether gene flow from aurochs into early domestic populations occurred, and which genomic regions were subject to selection processes during and after domestication. Here, we address these questions using whole-genome sequencing data generated from an approximately 6,750-year-old British aurochs bone and genome sequence data from 81 additional cattle plus genome-wide single nucleotide polymorphism data from a diverse panel of 1,225 modern animals. Results Phylogenomic analyses place the aurochs as a distinct outgroup to the domestic B. taurus lineage, supporting the predominant Near Eastern origin of European cattle. Conversely, traditional British and Irish breeds share more genetic variants with this aurochs specimen than other European populations, supporting localized gene flow from aurochs into the ancestors of modern British and Irish cattle, perhaps through purposeful restocking by early herders in Britain. Finally, the functions of genes showing evidence for positive selection in B. taurus are enriched for neurobiology, growth, metabolism and immunobiology, suggesting that these biological processes have been important in the domestication of cattle. Conclusions This work provides important new information regarding the origins and functional evolution of modern cattle, revealing that the interface between early European domestic populations and wild aurochs was significantly more complex than previously thought

    Topological Photonics

    Get PDF
    Topology is revolutionizing photonics, bringing with it new theoretical discoveries and a wealth of potential applications. This field was inspired by the discovery of topological insulators, in which interfacial electrons transport without dissipation even in the presence of impurities. Similarly, new optical mirrors of different wave-vector space topologies have been constructed to support new states of light propagating at their interfaces. These novel waveguides allow light to flow around large imperfections without back-reflection. The present review explains the underlying principles and highlights the major findings in photonic crystals, coupled resonators, metamaterials and quasicrystals.Comment: progress and review of an emerging field, 12 pages, 6 figures and 1 tabl

    Fate of Allochthonous Dissolved Organic Carbon in Lakes: A Quantitative Approach

    Get PDF
    Inputs of dissolved organic carbon (DOC) to lakes derived from the surrounding landscape can be stored, mineralized or passed to downstream ecosystems. The balance among these OC fates depends on a suite of physical, chemical, and biological processes within the lake, as well as the degree of recalcintrance of the allochthonous DOC load. The relative importance of these processes has not been well quantified due to the complex nature of lakes, as well as challenges in scaling DOC degradation experiments under controlled conditions to the whole lake scale. We used a coupled hydrodynamic-water quality model to simulate broad ranges in lake area and DOC, two characteristics important to processing allochthonous carbon through their influences on lake temperature, mixing depth and hydrology. We calibrated the model to four lakes from the North Temperate Lakes Long Term Ecological Research site, and simulated an additional 12 ‘hypothetical’ lakes to fill the gradients in lake size and DOC concentration. For each lake, we tested several mineralization rates (range: 0.001 d−1 to 0.010 d−1) representative of the range found in the literature. We found that mineralization rates at the ecosystem scale were roughly half the values from laboratory experiments, due to relatively cool water temperatures and other lake-specific factors that influence water temperature and hydrologic residence time. Results from simulations indicated that the fate of allochthonous DOC was controlled primarily by the mineralization rate and the hydrologic residence time. Lakes with residence times <1 year exported approximately 60% of the DOC, whereas lakes with residence times >6 years mineralized approximately 60% of the DOC. DOC fate in lakes can be determined with a few relatively easily measured factors, such as lake morphometry, residence time, and temperature, assuming we know the recalcitrance of the DOC

    Intraspecific Diversity Regulates Fungal Productivity and Respiration

    Get PDF
    Individuals and not just species are key components of biodiversity, yet the relationship between intraspecific diversity and ecosystem functioning in microbial systems remains largely untested. This limits our ability to understand and predict the effects of altered genetic diversity in regulating key ecosystem processes and functions. Here, we use a model fungal system to test the hypothesis that intraspecific genotypic richness of Paxillus obscurosporus stimulates biomass and CO2 efflux, but that this is dependent on nitrogen supply. Using controlled experimental microcosms, we show that populations containing several genotypes (maximum 8) of the fungus had greater productivity and produced significantly more CO2 than those with fewer genotypes. Moreover, intraspecific diversity had a much stronger effect than a four-fold manipulation of the carbon:nitrogen ratio of the growth medium. The effects of intraspecific diversity were underpinned by strong roles of individuals, but overall intraspecific diversity increased the propensity of populations to over-yield, indicating that both complementarity and selection effects can operate within species. Our data demonstrate the importance of intraspecific diversity over a range of nitrogen concentrations, and the need to consider fine scale phylogenetic information of microbial communities in understanding their contribution to ecosystem processes

    Measurement of the top quark mass using the matrix element technique in dilepton final states

    Get PDF
    We present a measurement of the top quark mass in pp¯ collisions at a center-of-mass energy of 1.96 TeV at the Fermilab Tevatron collider. The data were collected by the D0 experiment corresponding to an integrated luminosity of 9.7  fb−1. The matrix element technique is applied to tt¯ events in the final state containing leptons (electrons or muons) with high transverse momenta and at least two jets. The calibration of the jet energy scale determined in the lepton+jets final state of tt¯ decays is applied to jet energies. This correction provides a substantial reduction in systematic uncertainties. We obtain a top quark mass of mt=173.93±1.84  GeV

    A review of elliptical and disc galaxy structure, and modern scaling laws

    Full text link
    A century ago, in 1911 and 1913, Plummer and then Reynolds introduced their models to describe the radial distribution of stars in `nebulae'. This article reviews the progress since then, providing both an historical perspective and a contemporary review of the stellar structure of bulges, discs and elliptical galaxies. The quantification of galaxy nuclei, such as central mass deficits and excess nuclear light, plus the structure of dark matter halos and cD galaxy envelopes, are discussed. Issues pertaining to spiral galaxies including dust, bulge-to-disc ratios, bulgeless galaxies, bars and the identification of pseudobulges are also reviewed. An array of modern scaling relations involving sizes, luminosities, surface brightnesses and stellar concentrations are presented, many of which are shown to be curved. These 'redshift zero' relations not only quantify the behavior and nature of galaxies in the Universe today, but are the modern benchmark for evolutionary studies of galaxies, whether based on observations, N-body-simulations or semi-analytical modelling. For example, it is shown that some of the recently discovered compact elliptical galaxies at 1.5 < z < 2.5 may be the bulges of modern disc galaxies.Comment: Condensed version (due to Contract) of an invited review article to appear in "Planets, Stars and Stellar Systems"(www.springer.com/astronomy/book/978-90-481-8818-5). 500+ references incl. many somewhat forgotten, pioneer papers. Original submission to Springer: 07-June-201

    Can pulsed ultrasound increase tissue damage during ischemia? A study of the effects of ultrasound on infarcted and non-infarcted myocardium in anesthetized pigs

    Get PDF
    BACKGROUND: The same mechanisms by which ultrasound enhances thrombolysis are described in connection with non-beneficial effects of ultrasound. The present safety study was therefore designed to explore effects of beneficial ultrasound characteristics on the infarcted and non-infarcted myocardium. METHODS: In an open chest porcine model (n = 17), myocardial infarction was induced by ligating a coronary diagonal branch. Pulsed ultrasound of frequency 1 MHz and intensity 0.1 W/cm(2 )(I(SATA)) was applied during one hour to both infarcted and non-infarcted myocardial tissue. These ultrasound characteristics are similar to those used in studies of ultrasound enhanced thrombolysis. Using blinded assessment technique, myocardial damage was rated according to histopathological criteria. RESULTS: Infarcted myocardium exhibited a significant increase in damage score compared to non-infarcted myocardium: 6.2 ± 2.0 vs. 4.3 ± 1.5 (mean ± standard deviation), (p = 0.004). In the infarcted myocardium, ultrasound exposure yielded a further significant increase of damage scores: 8.1 ± 1.7 vs. 6.2 ± 2.0 (p = 0.027). CONCLUSION: Our results suggest an instantaneous additive effect on the ischemic damage in myocardial tissue when exposed to ultrasound of stated characteristics. The ultimate damage degree remains to be clarified
    corecore