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 52976 - 53000 of 74045

Formal Verification of Secure Programs in the Presence of Side Effects

January 1, 1998
Author(s)
Paul E. Black, P J. Windley
Much software is written in industry standard programming languages, but these these languages often have complex semantics making them hard to formalize. For example, the use of expressions with side effects is common in C programs. We present new

Frequency Domain Modal Estimation Techniques, Experimental Techniques

January 1, 1998
Author(s)
S Fahey, Jon R. Pratt
In this brief, we discuss the estimation of modal parame-ters using single-degree-of-freedom approximations. Then, we proceed to review two multi-degree-of- freedom techniques for modal parameter estimations-the first based on dynamic matrices and the

Half-life of 44 Ti

January 1, 1998
Author(s)
E B. Norman, E Browne, Y D. Chan, I D. Goldman, R M. Larimer, K T. Lesko, Matthew Nelson, Fred E. Wietfeldt, I Zlimen
Displaying 52976 - 53000 of 74045
Was this page helpful?