Publications Portal

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

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

1. 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://nist.gov/manuscript-publication-search.cfm?pub_id=902865

2. 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://nist.gov/manuscript-publication-search.cfm?pub_id=50892

3. 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://nist.gov/manuscript-publication-search.cfm?pub_id=150784

4. 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://nist.gov/manuscript-publication-search.cfm?pub_id=900807

5. 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://nist.gov/manuscript-publication-search.cfm?pub_id=50690

6. 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://nist.gov/manuscript-publication-search.cfm?pub_id=903775

7. 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://nist.gov/manuscript-publication-search.cfm?pub_id=150017

8. A Special Functions Handbook for the Digital Age
Topic: Math
Published: 8/1/2011
Authors: Ronald F Boisvert, Charles W Clark, Daniel W Lozier, Frank William John Olver
Abstract: The NIST Digital Library of Mathematical Functions (DLMF) is a reference work providing information on the properties of the special functions of applied mathematics. It is a successor to the highly successful NBS Handbook of Mathematical Functions ( ...
http://nist.gov/manuscript-publication-search.cfm?pub_id=906771

9. A Survey of Binary Covering Arrays
Topic: Math
Published: 4/7/2011
Authors: James F Lawrence, Raghu N Kacker, David R Kuhn, Michael Forbes
Abstract: Two-valued covering arrays of strength t are 0--1 matrices having the property that for each t columns and each of the possible 2t sequences of t 0's and 1's, there exists a row having that sequence in that set of t columns. Covering arrays are an im ...
http://nist.gov/manuscript-publication-search.cfm?pub_id=51256

10. A Survey of Tables of Probability Distributions
Series: Journal of Research (NIST JRES)
Report Number: of
Topic: Math
Published: 1/3/2005
Authors: Raghu N Kacker, I Olkin
http://nist.gov/manuscript-publication-search.cfm?pub_id=150032