An official website of the United States government
Here’s how you know
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.
Howard S. Cohl, Moritz Schubotz, Andre Greiner Petter, Norman Meuschke, Bela Gipp, Philipp Scharpf
Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial to commu- nicate information, e.g., in scientific papers, and to perform com-
Howard S. Cohl, Moritz Schubotz, Andre Greiner Petter, Philipp Scharpf, Norman Meuschke, Bela Gipp
Mathematical formulae represent complex semantic information in a concise form. Especially in Science, Technology, Engineering, and Mathematics, mathematical formulae are crucial for communicating information, e.g., in scientific papers, and to perform
This report summarizes recent technical work of the Applied and Computational Sciences Division of the Information Technology Laboratory at the National Institute of Standards and Technology (NIST). Part I (Overview) provides a high-level overview of the
This paper develops stabilized explicit marching difference schemes that can successfully solve a significant but {\em limited} class of multidimensional, ill-posed, backward in time problems for coupled hyperbolic/parabolic systems associated with
In recent years, there has been a substantial amount of research on quantum computers - machines that exploit quantum mechanical phenomena to solve mathematical problems that are difficult or intractable for conventional computers. If large-scale quantum
The expected penetration of a large number of renewable distributed energy resources (DERs) is driving next generation power systems toward uncertainties that can have a huge impact on the reliability and complexities of state estimation. Therefore, the
Jeremy S. Rubin, Eric L. Shirley, Zachary H. Levine
We have achieved significant acceleration of diffraction calculations in two different, though related contexts. In the first case, we consider Wolf's formula for integrated flux in a circular region following diffraction of a point source's light by a
Thurston B. Sexton, Michael P. Brundage, Michael L. Hoffman, Katherine C. Morris
One of the main challenges of applying AI to some datasets derives from the datasets themselves being unstructured, unclear, and ambiguous. Furthermore, the insights that are to be gained reflect the quality of the data itself; if the data is skewed, so
Barry I. Schneider, Bruce R. Miller, Bonita V. Saunders
In 1964 the National Bureau of Standards (NBS) published the Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, AMS 55, edited by Milton Abramowitz and Irene A. Stegun. This handbook satisfied an important and largely
A variety of network modeling problems begin by generating a degree sequence drawn from a given probability distribution. If the randomly generated sequence is not graphic, we give a new approach for generating a graphic approximation of the sequence. This
Ronay Ak, Max Ferguson, Yung-Tsun T. Lee, Kincho H. Law
Automatic localization of defects in metal castings is a challenging task, owing to the rare occurrence and variation in appearance of defects. Convolutional neural networks (CNN) have recently shown outstanding performance in both image classification and
Questions of the existence of Hamiltonian circuits in the tope graphs of central arrangements of hyperplanes are considered. Connections between the existence of Hamiltonian circuits in the arrangement and the odd-even invariant of the arrangement are
One may measure the kinetic rate constants associated with biochemical reactions using an optical biosensor: an instrument in which ligand molecules are convected through a flow cell over a surface to which receptors are immobilized. If there are multiple
We consider finite-amplitude convection in a mushy layer during the primary solidification of a ternary alloy. A previous linear theory identified, for the case of vanishing latent heat, solute rejection and background solidification, a direct mode of
A Heron quadrilateral is a cyclic quadrilateral with rational area. In this work, we establish a correspondence between Heron quadrilaterals and a family of elliptic curves of the form y^2=x^3+\alpha x^2-n^2 x. This correspondence generalizes the notions
Many biochemical reactions involve a stream of chemical reactants (ligand molecules) flowing over a surface to which other reactants (receptors) are confined. Scientists measure rate constants associated with these reactions in an optical biosensor: an
The NIST Digital Repository of Mathematical Formulae (DRMF) uses parallel MathML markup to express mathematical formulae. However currently, the content MathML symbols do not point to a content dictionary. In this paper, we describe the naming convention
Many biochemical reactions in nature involve a stream of chemical reactants (ligand molecules) flowing over a surface to which other reactants (receptors) are confined. Scientists measure rate constants associated with these reactions in an optical
Dustin Moody, Ray A. Perlner, Daniel C. Smith-Tone
In the last few years multivariate public key cryptography has experienced an infusion of new ideas for encryption. Among these new strategies is the ABC Simple Matrix family of encryption schemes which utilize the structure of a large matrix algebra to
Much of the mathematical literature, old and new, is online and mostly in natural-language form. Therefore, math content processing presents some of the same challenges faced in natural language processing (NLP), such as math disambiguation and math
Howard S. Cohl, Bonita V. Saunders, Marjorie A. McClain, Moritz Schubotz, Joon Bang, Juergen Gerhardt, Andre Greiner Petter
There are many different approaches to represent mathematical expressions on computers. Word processors like LaTeX offer the ability to render mathematical expressions as one would write these on paper. Using LaTeX, LaTeXML, and tools generated for use in
Jose Torres-Jimenez, Idelfonso Izquierdo-Marquez, Daniel Ramirez-Acuna, Rene Peralta
For a positive integer k let S = 0, 1, . . . , k − 1} be the alphabet whose symbols are the integers from 0 to k − 1. The set off all strings of length n ∈ Z+ over S is denoted by S(n). We show a near optimal algorithm to solve the problem of counting the
In this paper, we look at long geometric progressions on different model of elliptic curves, namely Weierstrass curves, Edwards and twisted Edwards curves, Huff curves and general quartics curves. By a geometric progression on an elliptic curve, we mean
We present a numerical method to efficiently and accurately re-compute the Coulomb potential of a large ensemble of charged particles after a subset of the particles undergoes a change of position. Errors are bounded even after a large number of such
In this paper we show that there are in nitely many pairs of integer isosceles triangles and integer parallelograms with a common (integral) area and common perimeter. We also show that there are in nitely many Heron triangles and integer rhombuses with