NIST logo

Publications Portal

You searched on:
Topic Area: Math

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

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

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

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

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

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

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

7. Fourier, Gegenbauer and Jacobi expansions for a power-law fundamental solution of the polyharmonic equation and polyspherical addition theorems
Topic: Math
Published: 6/5/2013
Author: Howard S Cohl
Abstract: We develop complex Jacobi, Gegenbauer and Chebyshev polynomial expansions for the kernels associated with power-law fundamental solutions of the polyharmonic equation on d-dimensional Euclidean space. From these series representations we derive Fouri ...

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

9. Applied and Computational Mathematics Division Applied and Computational Mathematics Division: Summary of Activities for Fiscal Year 2012
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7931
Topic: Math
Published: 5/9/2013
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 tech ...

Series: Journal of Research (NIST JRES)
Report Number: 118.010
Topic: Math
Published: 4/25/2013
Author: Alfred S Carasso
Abstract: Identifying sources of ground water pollution, and deblurring nanoscale imagery, as well as astronomical galaxy images, often involves the numerical computation of parabolic equations backward in time. However, very little computational experien ...

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