106 research outputs found

    Experimental Study of the Shortest Reset Word of Random Automata

    Get PDF
    In this paper we describe an approach to finding the shortest reset word of a finite synchronizing automaton by using a SAT solver. We use this approach to perform an experimental study of the length of the shortest reset word of a finite synchronizing automaton. The largest automata we considered had 100 states. The results of the experiments allow us to formulate a hypothesis that the length of the shortest reset word of a random finite automaton with nn states and 2 input letters with high probability is sublinear with respect to nn and can be estimated as $1.95 n^{0.55}.

    NA49 Results on Single Particle and Correlation Measurements in Central Pb+Pb Collisions

    Get PDF
    Single-particle spectra and two-particle correlation functions measured by the NA49 collaboration in central Pb+Pb collisions at 158 GeV/nucleon are presented. These measurements are used to study the kinetic and chemical freeze-out conditions in heavy ion collisions. We conclude that large baryon stopping, high baryon density and strong transverse radial flow are achieved in central Pb+Pb collisions at the SPS.Single-particle spectra and two-particle correlation functions measured by the NA49 collaboration in central Pb+Pb collisions at 158 GeV/nucleon are presented. These measurements are used to study the kinetic and chemical freeze-out conditions in heavy ion collisions. We conclude that large baryon stopping, high baryon density and strong transverse radial flow are achieved in central Pb+Pb collisions at the SPS

    Comprehensive and Integrated Genomic Characterization of Adult Soft Tissue Sarcomas

    Get PDF
    Sarcomas are a broad family of mesenchymal malignancies exhibiting remarkable histologic diversity. We describe the multi-platform molecular landscape of 206 adult soft tissue sarcomas representing 6 major types. Along with novel insights into the biology of individual sarcoma types, we report three overarching findings: (1) unlike most epithelial malignancies, these sarcomas (excepting synovial sarcoma) are characterized predominantly by copy-number changes, with low mutational loads and only a few genes (, , ) highly recurrently mutated across sarcoma types; (2) within sarcoma types, genomic and regulomic diversity of driver pathways defines molecular subtypes associated with patient outcome; and (3) the immune microenvironment, inferred from DNA methylation and mRNA profiles, associates with outcome and may inform clinical trials of immune checkpoint inhibitors. Overall, this large-scale analysis reveals previously unappreciated sarcoma-type-specific changes in copy number, methylation, RNA, and protein, providing insights into refining sarcoma therapy and relationships to other cancer types

    Search for jet extinction in the inclusive jet-pT spectrum from proton-proton collisions at s=8 TeV

    Get PDF
    Published by the American Physical Society under the terms of the Creative Commons Attribution 3.0 License. Further distribution of this work must maintain attribution to the author(s) and the published articles title, journal citation, and DOI.The first search at the LHC for the extinction of QCD jet production is presented, using data collected with the CMS detector corresponding to an integrated luminosity of 10.7  fb−1 of proton-proton collisions at a center-of-mass energy of 8 TeV. The extinction model studied in this analysis is motivated by the search for signatures of strong gravity at the TeV scale (terascale gravity) and assumes the existence of string couplings in the strong-coupling limit. In this limit, the string model predicts the suppression of all high-transverse-momentum standard model processes, including jet production, beyond a certain energy scale. To test this prediction, the measured transverse-momentum spectrum is compared to the theoretical prediction of the standard model. No significant deficit of events is found at high transverse momentum. A 95% confidence level lower limit of 3.3 TeV is set on the extinction mass scale

    Search for the associated production of the Higgs boson with a top-quark pair

    Get PDF
    A search for the standard model Higgs boson produced in association with a top-quark pair t t ¯ H (tt¯H) is presented, using data samples corresponding to integrated luminosities of up to 5.1 fb −1 and 19.7 fb −1 collected in pp collisions at center-of-mass energies of 7 TeV and 8 TeV respectively. The search is based on the following signatures of the Higgs boson decay: H → hadrons, H → photons, and H → leptons. The results are characterized by an observed t t ¯ H tt¯H signal strength relative to the standard model cross section, μ = σ/σ SM ,under the assumption that the Higgs boson decays as expected in the standard model. The best fit value is μ = 2.8 ± 1.0 for a Higgs boson mass of 125.6 GeV

    Measurement of prompt Jψ\psi pair production in pp collisions at \sqrt s = 7 Tev

    Get PDF
    Production of prompt J/ ψ meson pairs in proton-proton collisions at s s√ = 7 TeV is measured with the CMS experiment at the LHC in a data sample corresponding to an integrated luminosity of about 4.7 fb −1 . The two J/ ψ mesons are fully reconstructed via their decays into μ + μ − pairs. This observation provides for the first time access to the high-transverse-momentum region of J/ ψ pair production where model predictions are not yet established. The total and differential cross sections are measured in a phase space defined by the individual J/ ψ transverse momentum ( p T J/ ψ ) and rapidity (| y J/ ψ |): | y J/ ψ | 6.5 GeV/ c ; 1.2 4.5 GeV/ c . The total cross section, assuming unpolarized prompt J/ ψ pair production is 1.49 ± 0.07 (stat) ±0.13 (syst) nb. Different assumptions about the J/ ψ polarization imply modifications to the cross section ranging from −31% to +27%

    Measurements of the t(t)Overbar charge asymmetry using the dilepton decay channel in pp collisions at root s=7 TeV

    Get PDF
    The tt¯ charge asymmetry in proton-proton collisions at s√ = 7 TeV is measured using the dilepton decay channel (ee, e μ , or μμ ). The data correspond to a total integrated luminosity of 5.0 fb −1 , collected by the CMS experiment at the LHC. The tt and lepton charge asymmetries, defined as the differences in absolute values of the rapidities between the reconstructed top quarks and antiquarks and of the pseudorapidities between the positive and negative leptons, respectively, are measured to be A C = −0 . 010 ± 0 . 017 (stat . ) ± 0 . 008 (syst . ) and AlepC = 0 . 009 ± 0 . 010 (stat . ) ± 0 . 006 (syst . ). The lepton charge asymmetry is also measured as a function of the invariant mass, rapidity, and transverse momentum of the tt¯ system. All measurements are consistent with the expectations of the standard model

    Factors Associated with Revision Surgery after Internal Fixation of Hip Fractures

    Get PDF
    Background: Femoral neck fractures are associated with high rates of revision surgery after management with internal fixation. Using data from the Fixation using Alternative Implants for the Treatment of Hip fractures (FAITH) trial evaluating methods of internal fixation in patients with femoral neck fractures, we investigated associations between baseline and surgical factors and the need for revision surgery to promote healing, relieve pain, treat infection or improve function over 24 months postsurgery. Additionally, we investigated factors associated with (1) hardware removal and (2) implant exchange from cancellous screws (CS) or sliding hip screw (SHS) to total hip arthroplasty, hemiarthroplasty, or another internal fixation device. Methods: We identified 15 potential factors a priori that may be associated with revision surgery, 7 with hardware removal, and 14 with implant exchange. We used multivariable Cox proportional hazards analyses in our investigation. Results: Factors associated with increased risk of revision surgery included: female sex, [hazard ratio (HR) 1.79, 95% confidence interval (CI) 1.25-2.50; P = 0.001], higher body mass index (fo
    corecore