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 by: Bruce R Miller (Fed)

Search Title, Abstract, Conference, Citation, Keyword or Author
Displaying 1 - 11 of 11

Scientific Statement Classification over arXiv.org

August 29, 2019
Author(s)
Bruce R. Miller, Deyan Ginev
We introduce a new classification task for scientific statements and release a large-scale dataset for supervised learning. Our resource is derived from a machine- readable representation of the arXiv.org collection of preprint articles. We explore fifty

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.

Strategies for Parallel Markup

July 12, 2015
Author(s)
Bruce R. Miller
Cross-referenced parallel markup for mathematics allows the combination of both presentation and content representations while associating the components of each. Interesting applications are enabled by such an arrangement, such as interaction with parts

Dynamic 3D Visualizations of Complex Function Surfaces Using X3DOM and WebGL

June 1, 2015
Author(s)
Bonita V. Saunders, Brian Antonishek, Qiming Wang, Bruce R. Miller
In 1997 the National Institute of Standards and Technology (NIST) embarked on a huge project to replace one of the most cited resources for mathematical, physical and engineering scientists, the Handbook of Mathematical Functions with Formulas, Graphs, and

Three Years of DLMF: Web, Math & Search

August 1, 2013
Author(s)
Bruce R. Miller
DLMF was released to the public in May 2010 and is now completing its 3rd year online. As a somewhat early adopter of large-scale MathML content online, and exposing a math-aware search engine to the public, the project encountered situations distinct from

LaTeXML 2012 -- A Year of LaTeXML

July 5, 2013
Author(s)
Deyan Ginev, Bruce R. Miller
LaTeXML, a TeX to XML converter, is being used in a wide range of MKM applications. In this paper, we present a progress report for the 2012 calendar year. Noteworthy enhancements include: increased coverage such as Wikipedia syntax; enhanced capabilities

The LaTeXML Daemon: Editable Math on the Collaborative Web

December 31, 2011
Author(s)
Deyan Ginev, Heinrich Stammerjohanns, Bruce R. Miller, Michael Kohlhase
The language of the \TeX/\LaTeX} typesetting system has become all-pervasive in scientific publications and has proven its stability, convenience and expressivity in its three-decade history. With the advent of the Web 2.0 paradigm, it has also become the

Technical Aspects of the Digital Library of Mathematical Functions

May 1, 2003
Author(s)
Bruce R. Miller, Abdou S. Youssef
The NIST Digital Library of Mathematical Functions (DLMF) Project, begun in 1997, is preparing a handbook and Web site intended for wide communities of users. The contents are primarily mathematical formulas, graphs, methods of computation, references, and

BLCC-NIST Building Life-Cycle Cost Program, Version 5.0

October 1, 2000
Author(s)
S Fuller, A Boyles, Bruce R. Miller
The BLCC5 Building Life-Cycle Cost Program provides economic analysis of projects for which both initial capital costs and future operational costs need to be considered. The program is useful for evaluating the long-term costs and savings of energy and

Design of a Digital Mathematical Library for Science, Technology and Education

February 26, 1999
Author(s)
Daniel W. Lozier, Bruce R. Miller, Bonita V. Saunders
The concept of a digital library is of proven worth because of its ability to provide dramatic capabilities that are impossible with traditional print media. We are interested in providing such capabilities for scientific, technical and educational users