NIST logo

Publications Portal

You searched on:
Topic Area: Math
Sorted by: title

Displaying records 1 to 10 of 220 records.
Resort by: Date / Title


1. Atmospheric Retention of Man-made CO^d2^ Emissions
Topic: Math
Published: 6/8/2009
Author: Bert W Rust
Abstract: Rust and Thijsse have shown that global annual average temperature anomalies T(t^di^) vary linearly with atmospheric CO^d2^ concentrations c(t^di^). The c(t^di^) can be related to man-made CO^d2^ emissions F(t^di^) by a linear regression model whose ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=902110

2. A Bayesian Quantitative Nondestructive Evaluation (QNDE) Approach to Estimating Remaining Life of Aging Pressure Vessels and Piping
Topic: Math
Published: 1/1/2013
Authors: Jeffrey T Fong, William F Guthrie, James J Filliben, Nathanael A Heckert
Abstract: In this paper, we use a Bayesian quantitative nondestructive evaluation (QNDE) approach to estimating the remaining life of aging structures and components. Our approach depends on in-situ NDE measurements of detectable crack lengths and crack g ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913221

3. A Combinatorial Approach to Building Navigation Graphs for Dynamic Web Applications
Topic: Math
Published: 9/20/2009
Authors: Raghu N Kacker, David R Kuhn, James F Lawrence, Wenhua Wang, Yu Lei, Sreedevi Sampath
Abstract: Modeling the navigation structure of a dynamic web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt with: (1) the page explosion problem, i.e., the number of dynamic pages m ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=902865

4. A Combinatorial Testing Strategy for Concurrent Programs
Topic: Math
Published: 6/7/2007
Authors: Yu Lei, Richard Carver, Raghu N Kacker, David Kung
Abstract: One approach to testing concurrent programs is called reachability testing, which derives test sequences automatically and on-the-fly, without constructing a static model. Existing reachability testing algorithms are exhaustive in that they are inten ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50892

5. A First Stop Towards Photorealistic Rendering of Coated Surfaces and Computer Based Standards of Appearance
Topic: Math
Published: 11/1/1999
Authors: Fern Y Hunt, Egon Marx, G W Meyer, Theodore Vincent Vorburger, P A Walker, H B Westlund
Abstract: We seek to explore the feasibility of producing computer graphic images to visualize the color and gloss of surfaces using optical and surface topographical data.
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150784

6. A Fortran 90 Interface for OpenGL
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 5985
Topic: Math
Published: 3/1/1997
Author: William F Mitchell
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900807

7. A General Conformance Testing Framework for IEEE 11073 PHD's Communication Model
Topic: Math
Published: 5/31/2013
Authors: Raghu N Kacker, Linbin Yu, Yu Lei, David R Kuhn, Ram D Sriram, Kevin G Brady
Abstract: ISO/IEEE 11073 Personal Health Data (IEEE 11073 PHD) is a set of standards that addresses the interoperability of personal healthcare devices. As an important part of IEEE 11073 PHD, ISO/IEEE 1107-20601 optimized exchange protocol (IEEE 11073-20601) ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913823

8. A Linear Programming Based Algorithm for Multiple Sequence Alignments
Topic: Math
Published: 2/17/2003
Authors: Fern Y Hunt, Agnes (Abbie) O'Gallagher, Anthony J Kearsley
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50690

9. A New Analysis of the False-Positive Rate of a Bloom Filter
Topic: Math
Published: 10/15/2010
Authors: Ken Christensen, Allen L Roginsky, Miguel Jimeno
Abstract: A Bloom filter is a space-efficient data structure used for probabilistic set membership testing. When testing an object for set membership, a Bloom filter may give a false positive. The analysis of the false positive rate is key to understanding the ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=903775

10. A Pathwise Optimality Result For A Class of Unichain Markov Decision Processes
Topic: Math
Published: 2/1/2004
Author: Fern Y Hunt
Abstract: 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150017



Search NIST-wide:


(Search abstract and keywords)


Last Name:
First Name:







Special Publications:

Looking for a NIST Special Publication (NIST SP Series)? Place the series number and dash in the report number field (Example: 800-) and begin your search.

  • SP 250-XX: Calibration Services
  • SP 260-XX: Standard Reference Materials
  • SP 300-XX: Precision Measurement and Calibration
  • SP 400-XX: Semiconductor Measurement Technology
  • SP 480-XX: Law Enforcement Technology
  • SP 500-XX: Computer Systems Technology
  • SP 700-XX: Industrial Measurement Series
  • SP 800-XX: Computer Security Series
  • SP 823-XX: Integrated Services Digital Network Series