NIST logo

Publications Portal

You searched on:
Topic Area: Software

Displaying records 51 to 60 of 68 records.
Resort by: Date / Title


51. IPOG: A General Strategy for t-Way Software Testing
Topic: Software
Published: 3/29/2007
Authors: Yu Lei, Raghu N Kacker, David R Kuhn, Vadim Okun, James F Lawrence
Abstract: Most existing work on t-way testing has focused on 2-way (or pairwise) testing, which aims to detect faults caused by interactions between any two parameters. However, faults can also be caused by interactions involving more than two parameters. In t ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50944

52. Comparison of ISO-GUM, draft GUM Supplement 1, and Bayesian statistics using simple linear calibration
Topic: Software
Published: 1/1/2006
Authors: Raghu N Kacker, Blaza Toman, Ding Huang
Abstract: We compare three approaches for quantifying uncertainty using a measurement equation: the International Organization for Standardization (ISO) Guide to the Expression of Uncertainty in Measurement (GUM), draft GUM Supplement 1, and Bayesian statistic ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150381

53. Hamiltonian Paths Through Two- and Three-Dimensional Grids
Series: Journal of Research (NIST JRES)
Report Number: of
Topic: Software
Published: 4/1/2005
Author: William F Mitchell
Abstract: This paper addresses the existence of Hamiltonian paths and cycles in two-dimensional grids consisting of triangles or quadrilaterals, and three-dimensional grids consisting of tetrahedra or hexahedra. The paths and cycles may be constrained to pass ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50021

54. Algorithm 838: Airy Functions
Topic: Software
Published: 12/1/2004
Author: Bruce R Fabijonas
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150042

55. Computation of Complex Airy Functions and Zeros using Asymptotics and Differential Equation
Topic: Software
Published: 12/1/2004
Authors: Bruce R Fabijonas, Daniel W Lozier, Frank William John Olver
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150041

56. Constructing Sequence Alignments from a Markov Decision Model with Estimated Parameter Values
Topic: Software
Published: 1/1/2004
Authors: Fern Y Hunt, Anthony J Kearsley, Agnes (Abbie) O'Gallagher
Abstract: Current methods for aligning biological sequences are based on dynamic programming algorithms. If large numbers of sequences or a number of long ones are to be aligned the required computations are expensive in memory and CPU time. In an attempt to b ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51306

57. Constructing Sequence Alignments from a Markov Decision Model with Estimated Parameter Values
Topic: Software
Published: 1/1/2004
Authors: Fern Y Hunt, Anthony J Kearsley, Agnes (Abbie) O'Gallagher
Abstract: Current methods for aligning biological sequences are based on dynamic programming algorithms. If large numbers of sequences or a number of long ones are to be aligned the required computations are expensive in memory and CPU time. In an attempt to b ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51308

58. An Optimization Approach to Multiple Sequence Alignment
Topic: Software
Published: 7/1/2003
Authors: Fern Y Hunt, Anthony J Kearsley, H H Wan
Abstract: The problem of multiple sequence alignment is recast as an optimization problem using Markov decision theory. One seeks to minimize the expected or average cost of alignment subject to data-derived constraints. In this setting the problem is equiva ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150843

59. NIST Digital Library of Mathematical Functions
Topic: Software
Published: 5/1/2003
Author: Daniel W Lozier
Abstract: NIST (formerly, National Bureau of Standards) has started an ambitious project that aims to produce a successor to Abramowitz and Stegun's {\em Handbook of Mathematical Functions}, published by the National Bureau of Standards in 1964 and reprinted b ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150849

60. A Linear Programming Based Algorithm for Multiple Sequence Alignments
Topic: Software
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



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