Thermal Radiation Analysis System (TRASYS)

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

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

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

We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n \in \mathbb{Q})$ and $(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

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

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

Fall 1981

Turf Clippings (page 3) Registration of Oftanol^R (Isofenphos) (4) Effect of pH Organic Matter and Solid Texture on Herbicides (6) Lawn Care: Big Potential for Fluid

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

Please view abstract in the attached PDF file

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

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

Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations

We present a formal tool for verification of multivariate nonlinear inequalities. Our verification method is based on interval arithmetic with Taylor approximations. Our tool is implemented in the HOL Light proof assistant and it is capable to verify multivariate nonlinear polynomial and non-polynomial inequalities on rectangular domains. One of the main features of our work is an efficient implementation of the verification procedure which can prove non-trivial high-dimensional inequalities in several seconds. We developed the verification tool as a part of the Flyspeck project (a formal proof of the Kepler conjecture). The Flyspeck project includes about 1000 nonlinear inequalities. We successfully tested our method on more than 100 Flyspeck inequalities and estimated that the formal verification procedure is about 3000 times slower than an informal verification method implemented in C++. We also describe future work and prospective optimizations for our method.Comment: 15 page