NIST logo

Publications Portal

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

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


1. Applied and Computational Mathematics Division, Summary of Activities for Fiscal Year 2013
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7994
Topic: Math
Published: 4/28/2014
Author: Ronald F Boisvert
Abstract: This report summarizes the technical work of the Applied and Computational Sciences Division of NIST‰s Information Technology Laboratory. Part I (Overview) provides a high-level overview of the Division‰s activities, including highlights of technica ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=915547

2. An Empirical Comparison of Combinatorial and Random Testing
Topic: Math
Published: 4/1/2014
Authors: Laleh Ghandehari, Jacek Czerwonka, Yu Lei, Soheil Shafiee, 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=915439

3. Estimating Fault Detection Effectiveness
Topic: Math
Published: 4/1/2014
Authors: David R Kuhn, Raghu N Kacker, Yu Lei
Abstract: [Poster] A t-way covering array can detect t-way faults, however they generally include other combinations beyond t-way as well. For example, a particular test set of all 5-way combinations is shown capable of detecting all seeded faults in a test pr ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=915440

4. Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report
Topic: Math
Published: 4/1/2014
Authors: Jon Hagar, David R Kuhn, Raghu N Kacker, Thomas Wissink
Abstract: This poster gives an overview of the experience of eight pilot projects, over two years, applying combinatorial testing in a large aerospace organization. While results varied across the different pilot projects, overall it was estimated that CT wou ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=915302

5. Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples
Topic: Math
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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=914788

6. Compensating operators and stable backward in time marching in nonlinear parabolic equations.
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7967
Topic: Math
Published: 11/26/2013
Author: Alfred S Carasso
Abstract: Step by step time-marching schemes are fundamental tools in the numerical exploration of well-posed nonlinear evolutionary partial differential equations. However, when the initial value problem is ill-posed, such stepwise time-marching numerical s ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=914770

7. Combinatorial (t-way) testing for software: an adaptation of design of experiments
Topic: Math
Published: 11/1/2013
Author: Raghu N Kacker
Abstract: Most modern instruments of measurements for science, engineering, and commerce have embedded software. Also software is required for data handling and mathematical computations. Therefore verification and validation of software used in metrology is i ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=910783

8. On integer solutions of x^4+y^4-2z^4-2w^4=0
Topic: Math
Published: 9/18/2013
Authors: Dustin Moody, Arman Shamsi Zargar
Abstract: In this article, we study the quartic Diophantine equation x^4+y^4-2z^4-2w^4=0. We find non-trivial integer solutions. Furthermore, we show that when a solution has been found, a series of other solutions can be derived. We do so using two dif ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913962

9. Character sums determined by low degree isogenies of elliptic curves
Topic: Math
Published: 7/25/2013
Authors: Dustin Moody, Christopher Rasmussen
Abstract: We look at certain character sums determined by isogenies on elliptic curves over finite fields. We prove a congruence condition for character sums attached to arbitrary cyclic isogenies, and produce explicit formulas for isogenies of degree m <= 8.
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=909562

10. Four Measures of Nonlinearity
Topic: Math
Published: 6/23/2013
Authors: Joan Boyar, Magnus Find, Rene C Peralta
Abstract: Cryptographic applications, such as hashing, block ciphers and stream ciphers, make use of functions which are simple by some criteria (such as circuit implementations), yet hard to invert almost everywhere. A necessary condition for the latter prope ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913656



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