185 research outputs found

    An investigation of cotton for parachute cloth

    Get PDF
    This is a resume of the work of the Bureau of Standards on a cotton parachute cloth for use as a substitute for silk in the event of an emergency curtailing the supply. Cotton yarn of high strength in proportion to its weight and otherwise specially suitable for parachute cloth was developed. Cloth woven from this yarn in the bureau mill was equal or superior to parachute silk in strength and tear resistance, met the requirements with respect to air permeability, and weighed only a few tenths of an ounce per square yard more than the silk cloth. Practical trials of cotton parachutes carried out by the Navy Department clearly indicate that the cotton parachute closely approaches the silk parachute in performance as to rate of descent, opening time, strength and ability to function when stored in the pack for sixty days. The increase in weight of the equipment resulting from the use of cotton cloth instead of silk is considered to be well within practicable limits. A specification for cotton parachute cloth and the way in which the requirements of the specification have been met are given. Cotton yarns suitable for parachute cloth are now being woven commercially in the United States

    A formally verified compiler back-end

    Get PDF
    This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

    Evidence of Compromised Blood-Spinal Cord Barrier in Early and Late Symptomatic SOD1 Mice Modeling ALS

    Get PDF
    Background: The blood-brain barrier (BBB), blood-spinal cord barrier (BSCB), and blood-cerebrospinal fluid barrier (BCSFB) control cerebral/spinal cord homeostasis by selective transport of molecules and cells from the systemic compartment. In the spinal cord and brain of both ALS patients and animal models, infiltration of T-cell lymphocytes, monocyte-derived macrophages and dendritic cells, and IgG deposits have been observed that may have a critical role in motor neuron damage. Additionally, increased levels of albumin and IgG have been found in the cerebrospinal fluid in ALS patients. These findings suggest altered barrier permeability in ALS. Recently, we showed disruption of the BBB and BSCB in areas of motor neuron degeneration in the brain and spinal cord in G93A SOD1 mice modeling ALS at both early and late stages of disease using electron microscopy. Examination of capillary ultrastructure revealed endothelial cell degeneration, which, along with astrocyte alteration, compromised the BBB and BSCB. However, the effect of these alterations upon barrier function in ALS is still unclear. The aim of this study was to determine the functional competence of the BSCB in G93A mice at different stages of disease. Methodology/Principal Findings: Evans Blue (EB) dye was intravenously injected into ALS mice at early or late stage disease. Vascular leakage and the condition of basement membranes, endothelial cells, and astrocytes were investigated in cervical and lumbar spinal cords using immunohistochemistry. Results showed EB leakage in spinal cord microvessels from all G93A mice, indicating dysfunction in endothelia and basement membranes and confirming our previous ultrastructural findings on BSCB disruption. Additionally, downregulation of Glut-1 and CD146 expressions in the endothelial cells of the BSCB were found which may relate to vascular leakage. Conclusions/Significance: Results suggest that the BSCB is compromised in areas of motor neuron degeneration in ALS mice at both early and late stages of the disease

    Observation of the Baryonic Flavor-Changing Neutral Current Decay Lambda_b -> Lambda mu+ mu-

    Get PDF
    We report the first observation of the baryonic flavor-changing neutral current decay Lambda_b -> Lambda mu+ mu- with 24 signal events and a statistical significance of 5.8 Gaussian standard deviations. This measurement uses ppbar collisions data sample corresponding to 6.8fb-1 at sqrt{s}=1.96TeV collected by the CDF II detector at the Tevatron collider. The total and differential branching ratios for Lambda_b -> Lambda mu+ mu- are measured. We find B(Lambda_b -> Lambda mu+ mu-) = [1.73+-0.42(stat)+-0.55(syst)] x 10^{-6}. We also report the first measurement of the differential branching ratio of B_s -> phi mu+ mu- using 49 signal events. In addition, we report branching ratios for B+ -> K+ mu+ mu-, B0 -> K0 mu+ mu-, and B -> K*(892) mu+ mu- decays.Comment: 8 pages, 2 figures, 4 tables. Submitted to Phys. Rev. Let

    Measurement of the Forward-Backward Asymmetry in the B -> K(*) mu+ mu- Decay and First Observation of the Bs -> phi mu+ mu- Decay

    Get PDF
    We reconstruct the rare decays B+K+μ+μB^+ \to K^+\mu^+\mu^-, B0K(892)0μ+μB^0 \to K^{*}(892)^0\mu^+\mu^-, and Bs0ϕ(1020)μ+μB^0_s \to \phi(1020)\mu^+\mu^- in a data sample corresponding to 4.4fb14.4 {\rm fb^{-1}} collected in ppˉp\bar{p} collisions at s=1.96TeV\sqrt{s}=1.96 {\rm TeV} by the CDF II detector at the Fermilab Tevatron Collider. Using 121±16121 \pm 16 B+K+μ+μB^+ \to K^+\mu^+\mu^- and 101±12101 \pm 12 B0K0μ+μB^0 \to K^{*0}\mu^+\mu^- decays we report the branching ratios. In addition, we report the measurement of the differential branching ratio and the muon forward-backward asymmetry in the B+B^+ and B0B^0 decay modes, and the K0K^{*0} longitudinal polarization in the B0B^0 decay mode with respect to the squared dimuon mass. These are consistent with the theoretical prediction from the standard model, and most recent determinations from other experiments and of comparable accuracy. We also report the first observation of the Bs0ϕμ+μdecayandmeasureitsbranchingratioB^0_s \to \phi\mu^+\mu^- decay and measure its branching ratio {\mathcal{B}}(B^0_s \to \phi\mu^+\mu^-) = [1.44 \pm 0.33 \pm 0.46] \times 10^{-6}using using 27 \pm 6signalevents.Thisiscurrentlythemostrare signal events. This is currently the most rare B^0_s$ decay observed.Comment: 7 pages, 2 figures, 3 tables. Submitted to Phys. Rev. Let

    Measurement of CP-violation asymmetries in D0 to Ks pi+ pi-

    Get PDF
    We report a measurement of time-integrated CP-violation asymmetries in the resonant substructure of the three-body decay D0 to Ks pi+ pi- using CDF II data corresponding to 6.0 invfb of integrated luminosity from Tevatron ppbar collisions at sqrt(s) = 1.96 TeV. The charm mesons used in this analysis come from D*+(2010) to D0 pi+ and D*-(2010) to D0bar pi-, where the production flavor of the charm meson is determined by the charge of the accompanying pion. We apply a Dalitz-amplitude analysis for the description of the dynamic decay structure and use two complementary approaches, namely a full Dalitz-plot fit employing the isobar model for the contributing resonances and a model-independent bin-by-bin comparison of the D0 and D0bar Dalitz plots. We find no CP-violation effects and measure an asymmetry of ACP = (-0.05 +- 0.57 (stat) +- 0.54 (syst))% for the overall integrated CP-violation asymmetry, consistent with the standard model prediction.Comment: 15 page

    Measurements of the properties of Lambda_c(2595), Lambda_c(2625), Sigma_c(2455), and Sigma_c(2520) baryons

    Get PDF
    We report measurements of the resonance properties of Lambda_c(2595)+ and Lambda_c(2625)+ baryons in their decays to Lambda_c+ pi+ pi- as well as Sigma_c(2455)++,0 and Sigma_c(2520)++,0 baryons in their decays to Lambda_c+ pi+/- final states. These measurements are performed using data corresponding to 5.2/fb of integrated luminosity from ppbar collisions at sqrt(s) = 1.96 TeV, collected with the CDF II detector at the Fermilab Tevatron. Exploiting the largest available charmed baryon sample, we measure masses and decay widths with uncertainties comparable to the world averages for Sigma_c states, and significantly smaller uncertainties than the world averages for excited Lambda_c+ states.Comment: added one reference and one table, changed order of figures, 17 pages, 15 figure

    Search for a New Heavy Gauge Boson Wprime with Electron + missing ET Event Signature in ppbar collisions at sqrt(s)=1.96 TeV

    Get PDF
    We present a search for a new heavy charged vector boson WW^\prime decaying to an electron-neutrino pair in ppˉp\bar{p} collisions at a center-of-mass energy of 1.96\unit{TeV}. The data were collected with the CDF II detector and correspond to an integrated luminosity of 5.3\unit{fb}^{-1}. No significant excess above the standard model expectation is observed and we set upper limits on σB(Weν)\sigma\cdot{\cal B}(W^\prime\to e\nu). Assuming standard model couplings to fermions and the neutrino from the WW^\prime boson decay to be light, we exclude a WW^\prime boson with mass less than 1.12\unit{TeV/}c^2 at the 95\unit{%} confidence level.Comment: 7 pages, 2 figures Submitted to PR

    Graves' disease is associated with a defective expression of the immune regulatory molecule galectin-9 in antigen-presenting dendritic cells

    Full text link
    Introduction Patients with autoimmune thyroid disease (AITD) show defects in their immune-regulatory mechanisms. Herein we assessed the expression and function of galectin-1 and galectin-9 (Gal-1, Gal-9) in dendritic cells (DCs) from patients with AITD. Materials and Methods Peripheral blood samples from 25 patients with Graves’ disease (GD), 11 Hashimoto’s thyroiditis (HT), and 24 healthy subjects were studied. Thyroid tissue samples from 44 patients with AITD and 22 patients with goiter were also analyzed. Expression and function of Gal-1 and Gal-9 was assessed by quantitative RT-PCR, immunofluorescence and flow cytometry. Results A diminished expression of Gal-9, but not of Gal-1, by peripheral blood DCs was observed in GD patients, mainly in those with Graves´ ophthalmopathy, and a significant negative association between disease severity and Gal-9 expression was detected. In addition, the mRNA levels of Gal-9 and its ligand TIM-3 were increased in thyroid tissue from AITD patients and its expression was associated with the levels of Th1/Th12/Th17 cytokines. Immunofluorescence studies proved that intrathyroidal Gal-9 expression was confined to DCs and macrophages. Finally, in vitro functional assays showed that exogenous Gal-9 had a suppressive effect on the release of Th1/Th2/Th17 cytokines by DC/lymphocyte autologous co-cultures from both AITD patients and healthy controls. Conclusions The altered pattern of expression of Gal-9 in peripheral blood DCs from GD patients, its correlation with disease severity as well as its ability to suppress cytokine release suggest that Gal-9 could be involved in the pathogenesis of AITDThis work was supported by grants from the Fondo de Investigaciones Sanitarias (FISS) PI10/ 02521 and S2010/BMD-2328 TIRONET (Comunidad de Madrid), Spain (to MM) and the Fondo de Cooperación Internacional en Ciencia y Tecnología (FONCICYT) 95395, European Union-México (to RGA
    corecore