Report on research and exchange of views among 24 mathematicians for investigations of the theory of singular Sturm-Liouville equations, the asymptotic analysis of the Titchmarsh-Weyl m(λ)-coefficient, and the qualitative theory of non-linear differential equations.

Report on the current status of X-ray computed tomography and the principal advantages of CT scanning.

In this report, we establish that the use of an automated theorem- proving program to study deep questions from mathematics and logic is indeed an excellent move. Among such problems, we focus mainly on that concerning the construction of fixed point combinators--a problem considered by logicians to be significant and difficult to solve, and often computationally intensive and arduous. To be a fixed point combinator, THETA must satisfy the equation THETAx = x(THETAx) for all combinators x. The specific questions on which we focus most heavily ask, for each chosen set of combinators, whether a fixed point combinator can be constructed from the members of that set. For answering questions of this type, we present a new, sound, and efficient method, called the kernel method, which can be applied quite easily by hand and very easily by an automated theorem-proving program. For the application of the kernel method by a theorem-proving program, we illustrate the vital role that is played by both paramodulation and demodulation--two of the powerful features frequently offered by an automated theorem-proving program for treating equality as if it is ''understood.'' We also state a conjecture that, if proved, establishes the completeness of the kernel method. From …

A guide to the use of a collection of software tools for data dependency analysis and program transformation, written in Fortran and for a Unix environment.

Abstract: This document gives a description of the calibration of liquid-in-glass thermometers at the National Bureau of Standards. The calibration equipment and procedures used at NBS are discussed in detail. Calculations and stem-temperature corrections are shown and a discussion of the sources of error encountered in calibration and estimates of uncertainties is presented.

Abstract: Conventional liquid lubricants, when subjected to temperatures of 250*C and above for extended time in an air atmosphere, degrade rapidly to make large amounts of solid sludge and deposits. Based on boundary lubrication of bearings, these same lubricants, when subjected to 250*C to the melting point of the bearing metal, produce in the micro- to milli-second residence time in the bearing contact enough "friction polymer" to result in good lubrication. This report describes the use of these conventional liquid lubricants delivered in a homogeneous vapor phase where the carrier gas is nitrogen, air or mixtures of these two gases. The lubricants studied include alkyl and aryl phosphate esters, organic acid esters, polyphenyl ethers, and mineral oil.

Report is an update to 1965 publication regarding on-the-job monitoring training for Health Physics technicians.

Report on the proposed computational routines in LAPACK, describing a naming scheme for the routines, enumerates the individual routines, and includes notes on the choice of algorithms and discusses aspects of software design.

This is a report on the observational studies of the Hawaiian monk seal and green turtle on Lisianski Island in the Northwestern Hawaiian Islands. These studies were taken during the 1-4 of June and 5-29 or August 1987 and focused on haul out, reproduction, and factors affecting survival.