NIST logo

Publications Portal

You searched on: Topic Area: Software

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

1. Digital Repository of Mathematical Formulae
Topic: Software
Published: 10/17/2014
Authors: Howard S Cohl, Marjorie A McClain, Bonita V Saunders, Moritz Schubotz, Janelle Williams
Abstract: The purpose of the NIST Digital Repository of Mathematical Formulae (DRMF) is to create a digital compendium of mathematical formulae for orthogonal polynomials and special functions (OPSF) and of associated mathematical data. The DRMF addresses need ...

2. Permanents, alpha-permanents and Sinkhorn balancing
Topic: Software
Published: 6/28/2014
Authors: F Sullivan, Isabel M Beichl
Abstract: The method of Sinkhorn balancing that starts with a non-negative square matrix and iterates to produce a related doubly stochastic matrix has been used with some success to estimate the values of the permanent in some cases of physical interest, Ho ...

3. An Empirical Comparison of Combinatorial and Random Testing
Topic: Software
Published: 4/4/2014
Authors: Raghu N Kacker, David R Kuhn
Abstract: Some conflicting results have been reported on the comparison between t-way combinatorial testing and random testing. In this paper, we report a new study that applies t-way and random testing to the Siemens suite. In particular, we investigate the s ...

4. A Comparison of hp-adaptive Strategies for Elliptic Partial Differential Equations
Topic: Software
Published: 3/5/2014
Authors: William F Mitchell, Marjorie A McClain
Abstract: The hp version of the finite element method (hp-FEM) combined with adaptive mesh refinement is a particularly efficient method for solving partial differential equations because it can achieve a convergence rate that is exponential in the number of ...

5. Analysis for Dynamic Metrology
Topic: Software
Published: 1/30/2014
Authors: Andrew M Dienstfrey, Paul D Hale
Abstract: Diverse measurement contexts require estimates of time varying quantities. Ideally the measurement device responds to signal variations significantly more rapidly than the modulation of the signal itself. If so, then well-developed techniques may b ...

6. Adaptive Composite B-Spline Grid Generation for Interactive 3D Visualizations
Topic: Software
Published: 1/22/2014
Authors: Bonita V Saunders, Qiming Wang, Brian Antonishek
Abstract: We describe an adaptive grid generation technique based on the composition of tensor product B-spline mappings, T and Phi, where Phi maps the unit square onto itself and T maps the unit square onto the desired physical domain. Variational method ...

7. Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples
Topic: Software
Published: 1/9/2014
Authors: Yu Lei, Raghu N Kacker
Abstract: A software product line is a set of software systems that share some common features. Several recent works have been reported that apply combinatorial testing, a very effective testing strategy to software product lines. A unique challenge in these w ...

8. A comparison of methods for sketch-based 3D shape retrieval
Topic: Software
Published: 12/13/2013
Author: Afzal A Godil
Abstract: Sketch-based 3D shape retrieval has become an important research topic in content-based 3D object retrieval. To foster this research area, two Shape Retrieval Contest (SHREC) tracks on this topic have been organized by us in 2012 and 2013 based on ...

9. Fault Localization Based on Failure-Inducing Combinations
Topic: Software
Published: 11/7/2013
Author: Raghu N Kacker
Abstract: Combinatorial testing has been shown to be a very effective testing strategy. After a failure is detected, the next task is to identify the actual fault that causes the failure. In this paper, we present an approach to fault localization that le ...

10. Exploring Local Features and the Bag-of-Visual-Words Approach for BioImage Classification
Topic: Software
Published: 11/5/2013
Authors: Afzal A Godil, Asim Wagan
Abstract: With recent advances in imaging technologies large numbers of bioimages are currently being acquired. Automated classification of these bio-images is a very important and challenging problem. Here we investigate the capabilities of local features a ...

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