3,733 research outputs found

    Thermal Radiation Analysis System (TRASYS)

    Get PDF
    A user's manual is presented for TRASYS, which is a digital software system with a generalized capability for solving radiation problems. Subroutines, file, and variable definitions are presented along with subroutine and function descriptions for the preprocessor. Definitions and descriptions of components of the processor are also presented

    Translational energy dependence of cross sections for reactions of OH− (H2O) n with CO2 and SO2

    Get PDF
    This is the publisher's version, also available electronically from http://scitation.aip.org/content/aip/journal/jcp/80/10/10.1063/1.446510.A tandem mass spectrometer has been used to measure cross sections for reactions of the solvated negative ions OH−(H2O) n , where 0≤n≤3, with the neutral molecules CO2 and SO2 over the range of reactant translational energy 0.15–25.0 eV (LAB). The reactions observed include solvent switching, collisional dissociation, and charge transfer. The exoergic solvent switching reactions are very rapid, having cross sections which exceed a hundred square Angstroms at low energies. These cross sections decrease approximately as (energy)−0.5 up to 1 eV and then decrease much more rapidly at higher collision energies. Estimates of bond dissociation energies for the cluster ions are derived from the measured translational energy thresholds for the endothermic collisional dissociationreactions

    Scheduling language and algorithm development study. Volume 3, phase 2: As-built specifications for the prototype language and module library

    Get PDF
    Detailed specifications of the prototype language and module library are presented. The user guide to the translator writing system is included

    Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers

    Full text link
    We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., (xn∈Q)(x^n \in \mathbb{Q}) and (xn∈Z)(x^n \in \mathbb{Z}). Our decision procedure combines computation over real algebraic cells with the rational root theorem and witness construction via algebraic number density arguments.Comment: To appear in CADE-25: 25th International Conference on Automated Deduction, 2015. Proceedings to be published by Springer-Verla

    Relating two standard notions of secrecy

    Get PDF
    Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s should never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Although the second formulation ensures a higher level of security and is closer to cryptographic notions of secrecy, decidability results and automatic tools have mainly focused on the first definition so far. This paper initiates a systematic investigation of the situations where syntactic secrecy entails strong secrecy. We show that in the passive case, reachability-based secrecy actually implies equivalence-based secrecy for digital signatures, symmetric and asymmetric encryption provided that the primitives are probabilistic. For active adversaries, we provide sufficient (and rather tight) conditions on the protocol for this implication to hold.Comment: 29 pages, published in LMC

    Rubidium and lead abundances in giant stars of the globular clusters M 13 and NGC 6752

    Full text link
    We present measurements of the neutron-capture elements Rb and Pb in five giant stars of the globular cluster NGC 6752 and Pb measurements in four giants of the globular cluster M 13. The abundances were derived by comparing synthetic spectra with high resolution, high signal-to-noise ratio spectra obtained using HDS on the Subaru telescope and MIKE on the Magellan telescope. The program stars span the range of the O-Al abundance variation. In NGC 6752, the mean abundances are [Rb/Fe] = -0.17 +/- 0.06 (sigma = 0.14), [Rb/Zr] = -0.12 +/- 0.06 (sigma = 0.13), and [Pb/Fe] = -0.17 +/- 0.04 (sigma = 0.08). In M 13 the mean abundance is [Pb/Fe] = -0.28 +/- 0.03 (sigma = 0.06). Within the measurement uncertainties, we find no evidence for a star-to-star variation for either Rb or Pb within these clusters. None of the abundance ratios [Rb/Fe], [Rb/Zr], or [Pb/Fe] are correlated with the Al abundance. NGC 6752 may have slightly lower abundances of [Rb/Fe] and [Rb/Zr] compared to the small sample of field stars at the same metallicity. For M 13 and NGC 6752 the Pb abundances are in accord with predictions from a Galactic chemical evolution model. If metal-poor intermediate-mass asymptotic giant branch stars did produce the globular cluster abundance anomalies, then such stars do not synthesize significant quantities of Rb or Pb. Alternatively, if such stars do synthesize large amounts of Rb or Pb, then they are not responsible for the abundance anomalies seen in globular clusters.Comment: Accepted for publication in Ap

    Analysis of how Dual-tasking Effects Selected Gait Variables in Older Adults with a Known Relative Power

    Get PDF
    Please view abstract in the attached PDF file

    Case reports describing treatments in the emergency medicine literature: missing and misleading information

    Get PDF
    Abstract Background Although randomized trials and systematic reviews provide the "best evidence" for guiding medical practice, many emergency medicine journals still publish case reports (CRs). The quality of the reporting in these publications has not been assessed. Objectives In this study we sought to determine the proportion of treatment-related case reports that adequately reported information about the patient, disease, interventions, co-interventions, outcomes and other critical information. Methods We identified CRs published in 4 emergency medicine journals in 2000–2005 and categorized them according to their purpose (disease description, overdose or adverse drug reactioin, diagnostic test or treatment effect). Treatment-related CRs were reviewed for the presence or absence of 11 reporting elements. Results All told, 1,316 CRs were identified; of these, 85 (6.5%; 95CI = 66, 84) were about medical or surgical treatments. Most contained adequate descriptions of the patient (99%; 95CI = 95, 100), the stage and severity of the patient's disease (88%; 95CI = 79, 93), the intervention (80%; 95CI = 70, 87) and the outcomes of treatment (90%; 95CI = 82, 95). Fewer CRs reported the patient's co-morbidities (45%; 95CI = 35, 56), concurrent medications (30%; 95CI = 21, 40) or co-interventions (57%; 95CI = 46, 67) or mentioned any possible treatment side-effects (33%; 95CI = 24, 44). Only 37% (95CI = 19, 38) discussed alternative explanations for favorable outcomes. Generalizability of treatment effects to other patients was mentioned in only 29% (95CI = 20, 39). Just 2 CRs (2.3%; 95CI = 1, 8) reported a 'denominator" (number of patients subjected to the same intervention, whether or not successful. Conclusion Treatment-related CRs in emergency medicine journals often omit critical details about treatments, co-interventions, outcomes, generalizability, causality and denominators. As a result, the information may be misleading to providers, and the clinical applications may be detrimental to patient care.</p

    LONG-TERM TILLAGE EFFECTS ON CONTINUOUS CORN YIELDS

    Get PDF
    Long-term comparisons of alternative tillage systems are needed to evaluate their effect on corn (Zea mays L.) yield under the variable temperature and rainfall conditions of the Corn Belt. Our objective was to evaluate long-term effects of alternative tillage systems on corn growth and yield on low organic matter silt loam soils. The effect of no-tillage (NT), chisel plow (CP), and moldboard plow (MP) treatments on plant density and grain yield was measured from 1981 through 1990 on Palsgrove and Rozetta silt loam (fine-silty, mixed mesic Typic Hapludalfs) soils. Tillage treatments were randomly allocated to plots in 1981 and treatments were applied in subsequent years without rerandomization. Therefore, measurements over years on the same plot were treated as repeated measures. Grain yields for all tillage treatments were primarily affected by water stress, which varied with yearly weather conditions. Grain yield decreased approximately 0.3 Mg ha-1 per cm weighted water stress (WWS) for WWS \u3e8 cm. No statistically significant yield differences among tillage treatments, when averaged over the 10-year period covered by the experiment, were detected. A combined analysis indicated that yield differences among tillage treatments did not depend on whether water stress or non-stress conditions occurred. Over half the variation in yearly differences in grain yield between tilled and NT treatments was explained by differences in plant density. Years were classified as stress or non-stress years on the basis of observed water stress and yearly weather factors. Variability among years was partitioned into variability among years within stress years and non-stress years. The difference in mean yields between ending (1989-90) and beginning (1981-82) years were used to investigate cumUlative effects of tillage treatments
    • …
    corecore