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.

Websites

Formalizing Software Bugs

Author(s)
Irena Bojanova
Knowing what makes a software systems vulnerable to attacks is critical, as software vulnerabilities hurt security, reliability, and availability of the system

2013 ITRS Metrology Roadmap

Author(s)
Alain C. Diebold, Ndubuisi George Orji
In 2013 the ITRS Metrology Technical Working Group worked on updating the text and tables of the metrology chapter. New additions include a section on 3D

Ionic Liquids Database - ILThermo (v2.0)

Author(s)
Andrei F. Kazakov, Joe W. Magee, Robert D. Chirico, Vladimir Diky, Kenneth G. Kroenlein, Chris D. Muzny, Michael D. Frenkel
ILThermo is a web-based ionic liquids database available free to the public. It aims to provide users worldwide with up-to-date information on publications of

Depicting Web Images for the Blind and Visually Impaired

Author(s)
Andrea Bajcsy, Ya-Shian Li-Baboud, Mary C. Brady
A prototype to translate web graph and map images into 3D printed models in order to give the blind and visually impaired access to voting and election

Congestion Due to Random Walk Routing

Author(s)
Vladimir V. Marbukh, Iraj Saniee, Onuttom Narayan
In this paper we derive an analytical expression for the mean load at each node of an arbitrary undirected graph for the uniform multicommodity flow problem