Small scale structure in diffuse molecular gas from repeated FUSE and visible spectra of HD 34078

We present preliminary results from an ongoing program devoted to a study of small scale structure in the spatial distribution of molecular gas. Our work is based on multi-epoch FUSE and visible observations of HD34078. A detailed comparison of H2, CH and CH+ absorption lines is performed. No short term variations are seen (except for highly excited H2) but long-term changes in N(CH) are clearly detected when comparing our data to spectra taken about 10 years ago.Comment: 4 pages, 2 figures, To appear in the Proceedings of the XVII IAP Colloquium "Gaseous Matter in Galaxies and Intergalactic Space

The Meaning of Memory Safety

We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. First, we show how a small memory-safe language validates a noninterference property: a program can neither affect nor be affected by unreachable parts of the state. Second, we extend separation logic, a proof system for heap-manipulating programs, with a memory-safe variant of its frame rule. The new rule is stronger because it applies even when parts of the program are buggy or malicious, but also weaker because it demands a stricter form of separation between parts of the program state. We also consider a number of pragmatically motivated variations on memory safety and the reasoning principles they support. As an application of our characterization, we evaluate the security of a previously proposed dynamic monitor for memory safety of heap-allocated data.Comment: POST'18 final versio

STAR Barrel Electromagnetic Calorimeter Absolute Calibration Using "Minimum Ionizing Particles" from Collisions at RHIC

The procedure for the STAR Barrel Electromagnetic Calorimeter (BEMC) absolute calibrations, using penetrating charged particle hits (MIP-hits) from physics events at RHIC, is presented. Its systematic and statistical errors are evaluated. It is shown that, using this technique, the equalization and transfer of the absolute scale from the test beam can be done to a percent level accuracy in a reasonable amount of time for the entire STAR BEMC. MIP-hits would also be an effective tool for continuously monitoring the variations of the BEMC tower's gains, virtually without interference to STAR's main physics program. The method does not rely on simulations for anything other than geometric and some other small corrections, and also for estimations of the systematic errors. It directly transfers measured test beam responses to operations at RHIC.Comment: 19 pages, 7 figures, Accepted to NIM-

A Demonstration of New Techniques for Low-Cost Small House Construction

This study was undertaken as a field proof or demonstration of those construction techniques, design features, and structural details which have been proven through research to materially-reduce the cost or increase the quality of small house construction. As part of the study, a program was written, and a low-cost house, of approximately 1,000 sq ft of floor area (30' x 34') was designed. Variations in the placing of the house on the lot for different orientations were studied, and a site plan was made for a small development showing how these variations could be used by a builder to produce an interesting street scene.Housing and Home Finance Agenc