3,484 research outputs found
The Early Memoirs of Howard Simpson
No full textThe Early Memoirs of Howard Simpson, life in early twentieth century Texas and New Mexico. An account of his childhood and family’s beginnings in West Texas and their journey into western New Mexico and Arizona during the pre-depression era
Alex Wirchowski at old head rig
No full textAlex Wirchowski operating the control panel of a head rig
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
Get PDFThe "generic operational metatheory" of Johann, Simpson and Voigtländer (LiCS 2010) defines contextual equivalence, in the presence of algebraic effects, in terms of a basic operational preorder on ground-type effect trees. We propose three general approaches to specifying such preorders: (i) operational (ii) denotational, and (iii) axiomatic; coinciding with the three major styles of program semantics. We illustrate these via a nontrivial case study: the combination of probabilistic choice with nondeterminism, for which we show that natural instantiations of the three specification methods (operational in terms of Markov decision processes, denotational using a powerdomain, and axiomatic) all determine the same canonical preorder. We do this in the case of both angelic and demonic nondeterminism
The marriage record of Simpson, Alex and Fannie, Florida
No full textMarriage license for Florida Fannie and Alex Simpson. William Groves was the Justice of the Peace
Probability Sheaves and the Giry Monad
Get PDFI introduce the notion of probability sheaf, which is a mathematical structure capturing the relationship between probabilistic concepts (such as random variable) and sample spaces. Various probability-theoretic notions can be (re)formulated in terms of category-theoretic structure on the category of probability sheaves.
As a main example, I consider the Giry monad, which, in its original formulation, constructs spaces of probability measures. I show that the Giry monad generalises to the category of probability sheaves, where it turns out to have a simple, purely category-theoretic definition
A Convenient Category of Domains
Get PDFtopological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, provides a model of parametric polymorphism, and can be used as the basis for a theory of computability. This answers a question of Gordon Plotkin, who asked whether it was possible to construct a category of domains with such properties
Author Dorothy Simpson Beimer at Valmora
No full textAuthor Dorothy Simpson Beimer standing outdoors at Valmora
LIPIcs, Volume 216, CSL 2022, Complete Volume
No full textLIPIcs, Volume 216, CSL 2022, Complete Volum
Front Matter, Table of Contents, Preface, Conference Organization
No full textFront Matter, Table of Contents, Preface, Conference Organizatio
- …
