18 citations · 52 across the 7 of their papers we have counts for
7 papers
Symmetric Monoidal Categories with Attributes
Spencer Breiner, John S. Nolan
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is to incorporate attri…
Operads for complex system design specification, analysis and synthesis
John D. Foley, Spencer Breiner, Eswaran Subrahmanian +1
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separatio…
Modeling Hierarchical System with Operads
Spencer Breiner, Blake Pollard, Eswaran Subrahmanian +1
This paper applies operads and functorial semantics to address the problem of failure diagnosis in complex systems. We start with a concrete example, developing a hierarchical inte…
Compositional Models for Power Systems
John S. Nolan, Blake S. Pollard, Spencer Breiner +2
The problem of integrating multiple overlapping models and data is pervasive in engineering, though often implicit. We consider this issue of model management in the context of the…
Parallel Self-Testing of the GHZ State with a Proof by Diagrams
Spencer Breiner, Amir Kalev, Carl A. Miller
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 completely untrusted?…
Graphical Methods in Device-Independent Quantum Cryptography
Spencer Breiner, Carl A. Miller, Neil J. Ross
We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this ap…
Scheme representation for first-order logic
Spencer Breiner
Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink…