Mass Calibrations (open access)

Mass Calibrations

Abstract: The NIST calibration service for standard masses is described. Weights which are accepted for calibration range in nominal values from 1 mg to 13,600 kg (30,000 pounds). We also accept weights used to generate standard pressures in piston gages. Cleaning procedures used on weights prior to calibration are described. The measurement algorithms (including density determinations of single-piece kilogram weights) and the uncertainties assigned to calibrated weights are discussed. We also describe the system now in place to monitor the quality of calibrations. Finally, we assess the limitations of the present controls on measurement quality and outline improvements which are underway.
Date: January 1989
Creator: Davis, R. S.
System: The UNT Digital Library
Facilities, National Institute of Standards and Technology (open access)

Facilities, National Institute of Standards and Technology

From page 2: The National Institute of Standards and Technology research reactor is a national center for the application of reactor radiation to a variety of problems of national concern. Major program areas at the reactor include the application of neutron scattering methods to research in materials science, trace analysis by neutron activation, nondestructive evaluation (via neutron radiography and scattering), neutron standards and dosimetry , and isotope production and radiation effects.
Date: January 5, 1989
Creator: National Institute of Standards and Technology (U.S.)
System: The UNT Digital Library
Activities and Operations of the Advanced Computing Research Facility : November 1987-December 1988 (open access)

Activities and Operations of the Advanced Computing Research Facility : November 1987-December 1988

Report on the activities of Argonne Advanced Computing Research Facility, including LAPACK, vectorizing compilers, algorithm design and restructuring, automated deduction, three-dimensional scientific visualization, and graphics trace facilities.
Date: January 1989
Creator: Pieper, Gail W.
System: The UNT Digital Library
OTTER 1.0 Users' Guide (open access)

OTTER 1.0 Users' Guide

Otter is Other Techniques for Theorem-proving and Effective Research), a revolution-style theorem-proving program for first-order logic with equality.
Date: January 1989
Creator: McCune, William W.
System: The UNT Digital Library