2,148 research outputs found

    Reflection seismic waveform tomography of physical modelling data

    Get PDF
    Waveform tomography is commonly tested using numerically generated synthetic seismic data, before the method is applied to field seismic data. However, there are often noticeable differences between idealized synthetic data and real field data, and many factors in the field data, such as noise, irregular source/receiver geometry, affect the inversion solutions. For exploring the potential of reflection seismic waveform tomography, we presented a more realistic test than the synthetic data test, by applying it to physical modelling data, to reconstruct a laboratorial model with complex velocity variation. First, we provided a formulation of the perfectly matched layer absorbing boundary condition, associated with the second-order acoustic wave equation, in order to suppress artificial reflections from subsurface model boundaries in seismic waveform simulation and tomography. Then, we demonstrated the successful implementation of a layer-striping inversion scheme applicable to reflection seismic waveform tomography. Finally, we confirmed the effectiveness of frequency grouping, rather than a single frequency at each iteration, a strategy specifically for the frequency-domain waveform tomography

    A space-time continuous finite element method for 2D viscoelastic wave equation

    Get PDF
    International audienceA widespread approach to software service analysis uses session types. Very different type theories for binary and multiparty protocols have been developed; establishing precise connections between them remains an open problem. We present the first formal relation between two existing theories of binary and multiparty session types: a binary system rooted in linear logic, and a multiparty system based on automata theory. Our results enable the analysis of multiparty protocols using a (much simpler) type theory for binary protocols, ensuring protocol fidelity and deadlock-freedom. As an application, we offer the first theory of multiparty session types with behavioral genericity. This theory is natural and powerful; its analysis techniques reuse results for binary session types

    Defending the genome from the enemy within:mechanisms of retrotransposon suppression in the mouse germline

    Get PDF
    The viability of any species requires that the genome is kept stable as it is transmitted from generation to generation by the germ cells. One of the challenges to transgenerational genome stability is the potential mutagenic activity of transposable genetic elements, particularly retrotransposons. There are many different types of retrotransposon in mammalian genomes, and these target different points in germline development to amplify and integrate into new genomic locations. Germ cells, and their pluripotent developmental precursors, have evolved a variety of genome defence mechanisms that suppress retrotransposon activity and maintain genome stability across the generations. Here, we review recent advances in understanding how retrotransposon activity is suppressed in the mammalian germline, how genes involved in germline genome defence mechanisms are regulated, and the consequences of mutating these genome defence genes for the developing germline

    Comparison of sequencing-based methods to profile DNA methylation and identification of monoallelic epigenetic modifications.

    Get PDF
    Analysis of DNA methylation patterns relies increasingly on sequencing-based profiling methods. The four most frequently used sequencing-based technologies are the bisulfite-based methods MethylC-seq and reduced representation bisulfite sequencing (RRBS), and the enrichment-based techniques methylated DNA immunoprecipitation sequencing (MeDIP-seq) and methylated DNA binding domain sequencing (MBD-seq). We applied all four methods to biological replicates of human embryonic stem cells to assess their genome-wide CpG coverage, resolution, cost, concordance and the influence of CpG density and genomic context. The methylation levels assessed by the two bisulfite methods were concordant (their difference did not exceed a given threshold) for 82% for CpGs and 99% of the non-CpG cytosines. Using binary methylation calls, the two enrichment methods were 99% concordant and regions assessed by all four methods were 97% concordant. We combined MeDIP-seq with methylation-sensitive restriction enzyme (MRE-seq) sequencing for comprehensive methylome coverage at lower cost. This, along with RNA-seq and ChIP-seq of the ES cells enabled us to detect regions with allele-specific epigenetic states, identifying most known imprinted regions and new loci with monoallelic epigenetic marks and monoallelic expression

    The nuclear receptors of Biomphalaria glabrata and Lottia gigantea: Implications for developing new model organisms

    Get PDF
    © 2015 Kaur et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are creditedNuclear receptors (NRs) are transcription regulators involved in an array of diverse physiological functions including key roles in endocrine and metabolic function. The aim of this study was to identify nuclear receptors in the fully sequenced genome of the gastropod snail, Biomphalaria glabrata, intermediate host for Schistosoma mansoni and compare these to known vertebrate NRs, with a view to assessing the snail's potential as a invertebrate model organism for endocrine function, both as a prospective new test organism and to elucidate the fundamental genetic and mechanistic causes of disease. For comparative purposes, the genome of a second gastropod, the owl limpet, Lottia gigantea was also investigated for nuclear receptors. Thirty-nine and thirty-three putative NRs were identified from the B. glabrata and L. gigantea genomes respectively, based on the presence of a conserved DNA-binding domain and/or ligand-binding domain. Nuclear receptor transcript expression was confirmed and sequences were subjected to a comparative phylogenetic analysis, which demonstrated that these molluscs have representatives of all the major NR subfamilies (1-6). Many of the identified NRs are conserved between vertebrates and invertebrates, however differences exist, most notably, the absence of receptors of Group 3C, which includes some of the vertebrate endocrine hormone targets. The mollusc genomes also contain NR homologues that are present in insects and nematodes but not in vertebrates, such as Group 1J (HR48/DAF12/HR96). The identification of many shared receptors between humans and molluscs indicates the potential for molluscs as model organisms; however the absence of several steroid hormone receptors indicates snail endocrine systems are fundamentally different.The National Centre for the Replacement, Refinement and Reduction of Animals in Research, Grant Ref:G0900802 to CSJ, LRN, SJ & EJR [www.nc3rs.org.uk]

    Infinitesimal sulfur fusion yields quasi-metallic bulk silicon for stable and fast energy storage

    Get PDF
    A fast-charging battery that supplies maximum energy is a key element for vehicle electrification. High-capacity silicon anodes offer a viable alternative to carbonaceous materials, but they are vulnerable to fracture due to large volumetric changes during charge???discharge cycles. The low ionic and electronic transport across the silicon particles limits the charging rate of batteries. Here, as a three-in-one solution for the above issues, we show that small amounts of sulfur doping (<1 at%) render quasi-metallic silicon microparticles by substitutional doping and increase lithium ion conductivity through the flexible and robust self-supporting channels as demonstrated by microscopy observation and theoretical calculations. Such unusual doping characters are enabled by the simultaneous bottom-up assembly of dopants and silicon at the seed level in molten salts medium. This sulfur-doped silicon anode shows highly stable battery cycling at a fast-charging rate with a high energy density beyond those of a commercial standard anode

    Ratio of the Isolated Photon Cross Sections at \sqrt{s} = 630 and 1800 GeV

    Get PDF
    The inclusive cross section for production of isolated photons has been measured in \pbarp collisions at s=630\sqrt{s} = 630 GeV with the \D0 detector at the Fermilab Tevatron Collider. The photons span a transverse energy (ETE_T) range from 7-49 GeV and have pseudorapidity η<2.5|\eta| < 2.5. This measurement is combined with to previous \D0 result at s=1800\sqrt{s} = 1800 GeV to form a ratio of the cross sections. Comparison of next-to-leading order QCD with the measured cross section at 630 GeV and ratio of cross sections show satisfactory agreement in most of the ETE_T range.Comment: 7 pages. Published in Phys. Rev. Lett. 87, 251805, (2001

    Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

    Get PDF
    The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

    Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

    Get PDF
    The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal
    corecore