NIST logo

Publications Portal

You searched on:
Topic Area: Math

Displaying records 11 to 20 of 237 records.
Resort by: Date / Title

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

12. Constrained Hierarchical Control of a Diffusion Equation
Topic: Math
Published: 12/31/2013
Author: Anthony J Kearsley
Abstract: In this paper, we consider the approximate pointwise control of a linear parabolic system with multiple targets. The location of the pointwise controls are constrained and we assume hierarchy among the objectives, Optimality conditions are derived fo ...

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

14. Fault Localization Based on Failure-Inducing Combinations
Topic: Math
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 ...

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

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

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

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

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

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

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