Skip to main content
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 52826 - 52850 of 73893

Field Modeling: Simulating the Effects of HVAC Induced Air Flow From Various Diffusers and Returns on Detector Response. International Fire Detection Research Project. Year 4 Report/Data

January 1, 1998
Author(s)
J H. Klote, William D. Davis, Glenn P. Forney, Richard W. Bukowski
Rapid activation of fire protection systems in response to a growing fire is one of the important factors required to provide for life safety and property protection. Airflow due to the heating, ventilating and air conditioning (HVAC) system can

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 52826 - 52850 of 73893
Was this page helpful?