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 101 - 125 of 446

Upper Bounds on the Multiplicative Complexity of Symmetric Boolean Functions

August 17, 2019
Author(s)
Luis Brandao, Cagdas Calik, Meltem Sonmez Turan, Rene Peralta
A special metric of interest about Boolean functions is multiplicative complexity (MC): the minimum number of AND gates sufficient to implement a function with a Boolean circuit over the basis XOR, AND, NOT}. In this paper we study the MC of symmetric

Towards Formula Concept Discovery and Recognition

July 25, 2019
Author(s)
Howard S. Cohl, Philipp Scharpf, Moritz Schubotz, Bela Gipp
Citation-based Information Retrieval (IR) methods for scientific documents have proven to be effective in academic disciplines that use many references. In science, technology, engineering, and mathematics (STEM), researchers cite less often but employ

On addition-subtraction chains of numbers with low Hamming weight

July 1, 2019
Author(s)
Dustin Moody, Amadou Tall
An addition chain is a sequence of integers such that every element in the sequence is the sum of two previous elements. They have been much studied, and generalized to addition-subtraction chains, Lucas chains, and Lucas addition-subtraction chains. These

Elliptic Curves Arising from Triangular Numbers

February 1, 2019
Author(s)
Abhishek Juyal, Shiv D. Kumar, Dustin Moody
We study the Legendre family of elliptic curves E_t : y^2 = x(x − 1)(x − ∆t), parametrized by triangular numbers ∆t = t(t + 1)/2. We prove that the rank of E_t over the function field Q(t) is 1, while the rank is 0 over Q(t). We also produce some infinite

Compositional Models for Complex Systems

January 19, 2019
Author(s)
Spencer J. Breiner, Ram D. Sriram, Eswaran Subrahmanian
In this chapter we argue for the use of representations from category theory to support better models for complex systems, and provide an example of such an application might look like. Our approach rests on the well known observation that complex system

Categorical Models for Process Planning

November 19, 2018
Author(s)
Spencer J. Breiner, Eswaran Subrahmanian, Albert W. Jones
Process plans provide a structure for 1) identifying the tasks involved in a given process, 2) the resources needed to accomplish them, and 3) a variety of relationships and constraints between these. This information guides important operational decisions

True value and uncertainty in measurement

September 3, 2018
Author(s)
Raghu N. Kacker
We will discuss the concept of true value and its connection with the uncertainty in measurement as defined in the Guide to the Expression of Uncertainty in Measurement (GUM), and three subsequent documents from the Joint Committee for Guides in Metrology

Federal Office of Research and Technology Applications Survey Results

August 9, 2018
Author(s)
Nicole K. Gingrich
This publication serves as a formal reporting of the data presented at the 2017 Federal Laboratory Consortium’s National Meeting. It presents summary data collected through a survey conducted by NIST in conjunction with the Interagency Working Group on

THREE APPROACHES TO QUANTIFICATION OF NDE UNCERTAINTY AND A DETAILED EXPOSITION OF THE EXPERT PANEL APPROACH USING THE SHEFFIELD ELICITATION FRAMEWORK

July 15, 2018
Author(s)
Jeffrey T. Fong, Nathanael A. Heckert, James J. Filliben, Steven R. Doctor
The ASME Boiler & Pressure Vessel Code Section XI Committee is currently developing a new Division 2 nuclear code entitled the "Reliability and Integrity Management (RIM) program," with which one is able to arrive at a risk-informed, NDE-based engineering

RFC: DLMF Content Dictionaries

July 12, 2018
Author(s)
Bruce R. Miller
This note presents a proposed set of (virtual) OpenMath Content Dictionaries to characterize the mathematical special functions as used in the Digital Library of Mathematical Functions.

Shape Analysis, Lebesgue Integration and Absolute Continuity Connections

July 10, 2018
Author(s)
Javier Bernal
As shape analysis of the form presented in Srivastava and Klassen’s textbook “Functional and Shape Data Analysis” is intricately related to Lebesgue integration and absolute continuity, it is advantageous to have a good grasp of the latter two notions

Short-wave infrared compressive imaging of single photons

June 6, 2018
Author(s)
Thomas Gerrits, Daniel Lum, Varun B. Verma, John Howell, Richard P. Mirin, Sae Woo Nam
We present a short-wave infrared (SWIR) single photon camera based on a single superconducting nanowire single photon detector (SNSPD) and compressive imaging. We show SWIR single photon imaging at a megapixel resolution with a low signal-to-background
Displaying 101 - 125 of 446