14 citations · 54 across the 14 of their papers we have counts for
16 papers
Constant rank factorizations of smooth maps
Michael Robinson
Sonar systems are frequently used to classify objects at a distance by using the structure of the echoes of acoustic waves as a proxy for the object's shape and composition. Tradit…
Super-resolving star clusters with sheaves
Michael Robinson, Christopher Capraro
This article explains an optimization-based approach for counting and localizing stars within a small cluster, based on photon counts in a focal plane array. The array need not be…
Topological Differential Testing
Kristopher Ambrose, Steve Huntsman, Michael Robinson +1
We introduce topological differential testing (TDT), an approach to extracting the consensus behavior of a set of programs on a corpus of inputs. TDT uses the topological notion of…
The geometry of syntax and semantics for directed file transformations
Steve Huntsman, Michael Robinson
We introduce a conceptual framework that associates syntax and semantics with vertical and horizontal directions in principal bundles and related constructions. This notion of geom…
A Sheaf Theoretical Approach to Uncertainty Quantification of Heterogeneous Geolocation Information
Cliff Joslyn, Lauren Charles, Chris DePerno +7
Integration of heterogeneous sensors is a challenging problem across a range of applications. Prominent among these are multi-target tracking, where one must combine observations f…
Assignments to sheaves of pseudometric spaces
Michael Robinson
An assignment to a sheaf is the choice of a local section from each open set in the sheaf's base space, without regard to how these local sections are related to one another. This…