U.S. flag

An official website of the United States government

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.

Search Publications

NIST Authors in Bold

Displaying 3076 - 3100 of 7109

Implementing an Equation of State without Derivatives: teqp

April 26, 2022
Author(s)
Ian Bell, Ulrich K. Deiters, Allan Leal
This work uses advanced numerical techniques (complex differentiation and automatic differentiation) to efficiently and accurately compute all the required thermodynamic properties of an equation of state without any analytical derivatives─particularly

Setup and Test Procedures dd (GNU fileutils) 4.0.36 Forensic Tests

July 1, 2002
Author(s)
James R. Lyle
This document describes the testing of dd (GNU fileutils) 4.0.36 as a disk imaging tool on a Linux platform. The Linux version used was Linux version 2.4.2-2 (Red Hat Linux 7.1 2.96-79). The test cases that were applied are described in Disk Imaging Tool

Minimum Security Requirements for Multi-User Operating Systems

March 1, 1993
Author(s)
David F. Ferraiolo, N Lynch, Patricia R. Toth
[NOTE: THIS DOCUMENT HAS BEEN SUPERSEDED BY THE FEDERAL CRITERIA.] The Minimum Security Requirements for Multi-User Operating Systems (MSR) document provides basic commercial computer system security requirements applicable to both government and

A Dynamic Uncertainty Protocol for Digital Sensor Networks

November 1, 2021
Author(s)
Michael Gaitan, Richard A. Allen, Jon Geist, Akobuije Chijioke
We propose a concept of the use of dynamic uncertainty to improve the accuracy and robustness of digital sensor networks. The digital smart transducer is integrated with a microcontroller that reads the binary data from the calibrated sensor, performs an

Entanglement Dynamics in 1D Quantum Cellular Automata

October 12, 2021
Author(s)
G K. Brennen, J E. Williams
Several proposed schemes for the physical realization of a quantum computer consist of qubits arranged in a cellular array. In the quantum circuit model of quantum computation, an often complex series of two-qubit gate operations is required between

Towards scaling up trapped ion quantum information processing

June 19, 2007
Author(s)
Dietrich G. Leibfried, David J. Wineland, Brad R. Blakestad, John J. Bollinger, Joseph W. Britton, J Chiaverini, Ryan Epstein, Wayne M. Itano, John D. Jost, Emanuel H. Knill, C. Langer, R Ozeri, Rainer Reichle, Signe Seidelin, Nobuyasu Shiga, Janus Wesenberg
Recent theoretical advances have identifed several computational algorithms that can be implemented utilizing quantum information processing (QIP), which gives an exponential speedup over the corresponding (known) algorithms on conventional computers. QIP

Information Modeling: From Design to Implementation

September 1, 1999
Author(s)
Yung-Tsun T. Lee
Today's manufacturing industry greatly relies on computer technology to support activities throughout a product's life cycle. Effective and efficient information sharing and exchange among computer systems have been critical issues. Formal information

Product Models and Virtual Prototypes in Mechanical Engineering

January 1, 1995
Author(s)
Mike Pratt
This paper gives an overview of some of the modelling and virtual prototyping techniques used in product realization, with emphasis on the mechanical engineering field. It is pointed out that virtual prototypes, in the commonly accepted sense of computer

Assessment Methodology for the Fire Performance of School Bus Interior Components.

July 8, 1991
Author(s)
E Braun, J H. Klote, S Davis, Barbara C. Levin, Richard G. Gann, M Paabo
A full-scale fire performance protocol for the evaluation of school bus seat assemblies was developed. This protocol is based on the results of full-scale testing of end-use seat assemblies and computer fire modeling of the ignition source and burning item

A General Quantitative Method to Validate Instrument Calibration Techniques

November 1, 1999
Author(s)
Steven D. Phillips
In this paper a method to validate proposed calibration procedures for coordinate measuring machines (CMMs) is presented. Conceptually, the validation procedure is based on a computer generated population of CMMs assumed to include any real CMM that a

Harmonized Conformance Testing for Product Data Managers

October 1, 2001
Author(s)
David Flater, KC Morris
The Testability of Interaction-Driven Manufacturing Systems project seeks to enhance the design-for-testability of specifications for manufacturing software interfaces, derive a test method that is usable for interaction-driven manufacturing systems in

Remarks on the Undecidability of the Quantum Halting Problem

February 5, 2010
Author(s)
David Song
The halting problem is a decision problem first posed and proved by Alan Turing in 1936. With the recent surge of interest in quantum computation, one is led to ask if the problem can also be considered for a quantum computer. It is reported that the

Path-integral calculation of the third dielectric virial coefficient of helium based on ab initio three-body polarizability and dipole surfaces

October 10, 2024
Author(s)
Giovanni Garberoglio, Allan H. Harvey, Jakub Lang, Michal Przybytek, Michal Lesiuk, Bogumil Jeziorski
We develop a surface for the electric dipole moment of three interacting helium atoms and use it, together with state-of-the-art potential and polarizability surfaces, to compute the third dielectric virial coefficient, Cε, for both 4He and 3He isotopes

New Bounds on the Multiplicative Complexity of Boolean Functions

September 11, 2022
Author(s)
Meltem Sonmez Turan
Multiplicative Complexity (MC) is defined as the minimum number of AND gates required to implement a function with a circuit over the basis AND, XOR, NOT}. This complexity measure is relevant for many advanced cryptographic protocols such as fully

Modeling and Analysis of Single-Plate Shear Connections Under Column Loss

May 8, 2013
Author(s)
Joseph A. Main, Fahim Sadek
This paper presents a computational assessment of the behavior of single-plate shear (“shear tab”) connections in gravity frames under column loss scenarios. Two-span beam assemblies are considered under pushdown loading of the unsupported center column

The New Golden Age of Algorithms and Data Structures

October 29, 2012
Author(s)
Paul E. Black
… been invented? We don't think so. With isochronous computing, heterogeneous multiprocessors, energy aware computing, wear-leveling (flash), cache and other anisotropic memory, distributed computing, streaming environments, functional languages, etc. …
Displaying 3076 - 3100 of 7109
Was this page helpful?