Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Search Publications

NIST Authors in Bold

Displaying 251 - 275 of 481

Constrained Hierarchical Control of a Diffusion Equation

December 31, 2013
Author(s)
Anthony J. Kearsley
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 for a

Fault Localization Based on Failure-Inducing Combinations

November 7, 2013
Author(s)
Raghu N. Kacker
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 leverages the

On integer solutions of x^4+y^4-2z^4-2w^4=0

September 18, 2013
Author(s)
Dustin Moody, Arman S. Zargar
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 different

Character sums determined by low degree isogenies of elliptic curves

July 25, 2013
Author(s)
Dustin Moody, Christopher Rasmussen
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

Four Measures of Nonlinearity

June 23, 2013
Author(s)
Joan Boyar, Magnus Find, Rene Peralta
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 property is

A General Conformance Testing Framework for IEEE 11073 PHD's Communication Model

May 31, 2013
Author(s)
Raghu N. Kacker, Linbin Yu, Yu Lei, David R. Kuhn, Ram D. Sriram, Kevin G. Brady
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)

Determining Mechanical Reliability of Brittle Materials

April 18, 2013
Author(s)
Stephen W. Freiman, Jeffrey Fong
The widespread existence of slow crack growth in most glasses and ceramics due to a stress-enhanced reaction between an external environment and strained bonds at a crack tip greatly complicates the challenge of assuring the reliability of components which

ACTS: A Combinatorial Test Generation Tool

March 22, 2013
Author(s)
Raghu N. Kacker
In this paper, we introduce a combinatorial test generation tool called Advanced Combinatorial Testing System (or ACTS). ACTS supports t-way combinatorial test generation with several advanced features such as mixed-strength test generation and constraint

An Input Space Modeling Methodology for Combinatorial Testing

March 22, 2013
Author(s)
Mehra N. Borazjany, Laleh Ghandehari, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
The input space of a system must be modeled before combinatorial testing can be applied to this system. The effectiveness of combinatorial testing to a large extent depends on the quality of the input space model. In this paper we introduce an input space

Applying Combinatorial Testing to the Siemens Suite

March 22, 2013
Author(s)
Laleh Ghandehari, Mehra N. Borazjany, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
Combinatorial testing has attracted a lot of attention from both industry and academia. A number of reports suggest that combinatorial testing can be effective for practical applications. However, there still seems to lack systematic, controlled studies on

Five Examples of Assessment and Expression of Measurement Uncertainty

February 12, 2013
Author(s)
Antonio M. Possolo
It is a long accepted tenet of scientific practice that every measurement result ought to include a statement of uncertainty associated with the measured value, and that such uncertainty should be propagated to derivative products. It is also widely

Class Numbers via 3-Isogenies and Elliptic Surfaces

November 6, 2012
Author(s)
Cam McLeman, Dustin Moody
We show that a character sum attached to a family of 3-isogenies defi ned on the fibers of a certain elliptic surface over Fp relates to the class number of the quadratic imaginary number field Q(\sqrtp}). In this sense, this provides a higher-dimensional

Reduction Formulae for Products of Theta Functions

November 6, 2012
Author(s)
Peter L. Walker
In four cases it is already known that the product of two distinct Jacobian theta functions having the same variable z and the same nome q is a multiple of a single Jacobian theta function, with the multiple independent of z. The main purpose of the

Definite integrals using orthogonality and integral transforms

October 19, 2012
Author(s)
Howard S. Cohl, Hans Volkmer
We obtain definite integrals for products of associated Legendre functions with Bessel functions, associated Legendre functions, and Chebyshev polynomials of the first kind using orthogonality and integral transforms.
Displaying 251 - 275 of 481
Was this page helpful?