An official website of the United States government
Here’s how you know
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes advantage of two relatively recent advances in software engineering: algorithms
This front matter for a special issue of the NIST Journal of Research contains a photograph and biography of Christoph Witzgall. It also contains a thank you paragraph by Christoph Witzgall for a symposium held in his honor. Many of the papers in this
The Guide to the Expression of Uncertainty in Measurement suggests that to account for the statistical uncertainty in a combined standard uncertainty that arises when one or more of its components are evaluated from a limited number of independent normally
We begin this expository essay by reviewing with examples what a typical engineer already knows about statistics. We then consider a central question in engineering decision making, i.e., given a computer simulation of high-consequence systems, how do we
The International Organization for Standardization (ISO) Guide to the Expression of Uncertainty in Measurement (GUM) describes a generic procedure for determining an estimate for the measurand and its associated combined standard uncertainty from the
We compare three approaches for quantifying uncertainty using a measurement equation: the International Organization for Standardization (ISO) Guide to the Expression of Uncertainty in Measurement (GUM), draft GUM Supplement 1, and Bayesian statistics. We
The n-qubit concurrence canonical decomposition (CCD) is a generalization of the two-qubit canonical decomposition SU(4)=[SU(2) (x) SU(2)] ? [SU(2) (x) SU(2)], where ? is the commutative group which phases the maximally entangled Bell basis. A prequel
David E. Gilsinn, Geraldine S. Cheok, Christoph J. Witzgall, Alan M. Lytle
Laser Scanning devices (LADAR for Laser Detection and Ranging) are used in construction projects to capture as-built data. They can rapidly generate large unstructured point clouds. This study describes an experiment in which an I-beam on a concrete floor
The discrete Fourier transform (DFT) is a widely used tool for the analysis of measured time series data. The Cooley-Tukey fast Fourier transform (FFT) algorithm gives an extremely fast and efficient implementation of the DFT. This is the first of a series
Effective visualizations can help researchers obtain a more complete understanding of high-level mathematical functions that arise in mathematics, statistics, physics, fluid dynamics and other fields of the mathematical and physical sciences. Accordingly
The n-qubit concurrence canonical decomposition (CCD) is a generalization of the two-qubit canonical decomposition SU(4)=[SU(2) (x) SU(2)] ? [SU(2) (x) SU(2)], where ? is the commutative group which phases the maximally entangled Bell basis. A prequel
The discrete Fourier transform (DFT) is a widely used tool for the analysis of measured time series data. The Cooley-Tukey fast Fourier transform (FFT) algorithm gives an extremely fast and efficient implementation of the DFT. This is the first of a series
Instability of steady circular Couette flow with radial heating across a vertically oriented annulus with inner cylinder rotating and outer cylinder stationary is investigated using linear stability analysis. The convection regime base flow is developed
The discrete Fourier transform (DFT) is a widely used tool for the analysis of measured time series data. The Cooley-Tukey fast Fourier transform (FFT) algorithm gives an extremely fast and efficient implementation of the DFT. This is the first of a series
A lattice metric singualrity occurs when unit cells defining two (or more) lattices yield the identical set of unique calculated d-spacings. The existence of such singularities, therefore, has a practical and theoretical impact on the indexing of powder
The National Institute of Standards and Technology (NIST) is developing a digital library of mathematical functions to replace the widely used National Bureau of Standards Handbook of Mathematical Functions published in 1964 [1]. The NIST Digital Library
David E. Gilsinn, Geraldine S. Cheok, Alan M. Lytle
Automation of construction processes can result in reduced project costs and increased worker safety. A process that lends itself to automation is the picking and placing of objects. However, determining the pose (position and orientation) of an object is