NIST logo

Publications Portal

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

Displaying records 1 to 10 of 244 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 ...

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 ...

3. A Binomial Approximation Method for the Ising Model
Topic: Math
Published: 5/21/2014
Authors: Isabel M Beichl, Amanda A. Streib, Noah S. Streib, Francis Sullivan
Abstract: A large portion of the complexity inherent to the Ising model can be captures with a trivial amount of computation. in this work, we support this claim by defining an approximation to the partition function and other thermodynamic quantities of the ...

4. 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 ...

5. 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 ...

6. A Dual Representation Simulated Annealing Algorithm for the Bandwidth Minimization Problem on Graphs
Topic: Math
Published: 1/16/2015
Authors: Jose Torres Jimenez, Javier Bernal, Raghu N Kacker
Abstract: The bandwidth minimization problem on graphs (BMPG) consists of labeling the vertices of a graph with the integers from 1 to $n$ ($n$ is the number of vertices) such that the maximum absolute difference between labels of adjacent vertices is as sma ...

7. 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.

8. 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

9. 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) ...

10. 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

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