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.
Sarala Padi, Spencer J. Breiner, Eswaran Subrahmanian, Ram D. Sriram
In this paper we analyze elements of the Unified Modeling Language (UML), specifically the class diagram, and propose an simplified alternative language based
Spencer J. Breiner, Blake S. Pollard, Eswaran Subrahmanian
This report presents the summary of a workshop held at NIST on March 15-16, 2018 on the topic of applied category theory (ACT). The meeting had two main goals:
Dhananjay Anand, Blake S. Pollard, Spencer J. Breiner, John S. Nolan, Eswaran Subrahmanian
The problem of integrating multiple overlapping models and data is pervasive in engineering, though often implicit. We consider this issue of model management
We introduce a framework for providing graphical security proofs for quantum cryptography using the methods of categorical quantum mechanics. We are optimistic
Quantum self-testing addresses the following question: is it possible to verify the existence of a multipartite state even when one's measurement devices are