FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011796701> ?p ?o ?g. }

• W2011796701 endingPage "198" @default.
• W2011796701 startingPage "181" @default.
• W2011796701 abstract "In this paper we initiate the study of discrete random variables over domains. Our work is inspired by that of Daniele Varacca, who devised indexed valuations as models of probabilistic computation within domain theory. Our approach relies on new results about commutative monoids defined on domains that also allow actions of the non-negative reals. Using our approach, we define two such families of real domain monoids , one of which allows us to recapture Varacca’s construction of the Plotkin indexed valuations over a domain. Each of these families leads to the construction of a family of discrete random variables over domains, the second of which forms the object level of a continuous endofunctor on the categories RB (domains that are retracts of bifinite domains), and on FS (domains where the identity map is the directed supremum of deflations finitely separated from the identity). The significance of this last result lies in the fact that there is no known category of continuous domains that is closed under the probabilistic power domain, which forms the standard approach to modelling probabilistic choice over domains. The fact that RB and FS are Cartesian closed and also are closed under a power domain of discrete random variables means we can now model, e.g. the untyped lambda calculus extended with a probabilistic choice operator, implemented via random variables." @default.
• W2011796701 created "2016-06-24" @default.
• W2011796701 creator A5087271577 @default.
• W2011796701 date "2007-06-01" @default.
• W2011796701 modified "2023-09-29" @default.
• W2011796701 title "Discrete random variables over domains" @default.
• W2011796701 cites W1489807719 @default.
• W2011796701 cites W1492711856 @default.
• W2011796701 cites W150761268 @default.
• W2011796701 cites W1525647423 @default.
• W2011796701 cites W1539804543 @default.
• W2011796701 cites W1566092174 @default.
• W2011796701 cites W1580323521 @default.
• W2011796701 cites W1595385671 @default.
• W2011796701 cites W170016081 @default.
• W2011796701 cites W1729876878 @default.
• W2011796701 cites W1745061996 @default.
• W2011796701 cites W1974345364 @default.
• W2011796701 cites W1995875735 @default.
• W2011796701 cites W2009311190 @default.
• W2011796701 cites W2030797349 @default.
• W2011796701 cites W2069536706 @default.
• W2011796701 cites W2092620592 @default.
• W2011796701 cites W2119554145 @default.
• W2011796701 cites W2144793956 @default.
• W2011796701 cites W2483096873 @default.
• W2011796701 cites W2492807847 @default.
• W2011796701 cites W29089316 @default.
• W2011796701 cites W2914212232 @default.
• W2011796701 doi "https://doi.org/10.1016/j.tcs.2007.02.061" @default.
• W2011796701 hasPublicationYear "2007" @default.
• W2011796701 type Work @default.
• W2011796701 sameAs 2011796701 @default.
• W2011796701 citedByCount "10" @default.
• W2011796701 countsByYear W20117967012013 @default.
• W2011796701 countsByYear W20117967012014 @default.
• W2011796701 countsByYear W20117967012016 @default.
• W2011796701 countsByYear W20117967012017 @default.
• W2011796701 countsByYear W20117967012020 @default.
• W2011796701 countsByYear W20117967012021 @default.
• W2011796701 crossrefType "journal-article" @default.
• W2011796701 hasAuthorship W2011796701A5087271577 @default.
• W2011796701 hasBestOaLocation W20117967011 @default.
• W2011796701 hasConcept C104317684 @default.
• W2011796701 hasConcept C105795698 @default.
• W2011796701 hasConcept C118615104 @default.
• W2011796701 hasConcept C121332964 @default.
• W2011796701 hasConcept C122123141 @default.
• W2011796701 hasConcept C134306372 @default.
• W2011796701 hasConcept C156772000 @default.
• W2011796701 hasConcept C158448853 @default.
• W2011796701 hasConcept C16021271 @default.
• W2011796701 hasConcept C163258240 @default.
• W2011796701 hasConcept C17020691 @default.
• W2011796701 hasConcept C171032842 @default.
• W2011796701 hasConcept C183778304 @default.
• W2011796701 hasConcept C185592680 @default.
• W2011796701 hasConcept C206901836 @default.
• W2011796701 hasConcept C29585364 @default.
• W2011796701 hasConcept C33222762 @default.
• W2011796701 hasConcept C33923547 @default.
• W2011796701 hasConcept C36503486 @default.
• W2011796701 hasConcept C49937458 @default.
• W2011796701 hasConcept C55493867 @default.
• W2011796701 hasConcept C62520636 @default.
• W2011796701 hasConcept C86339819 @default.
• W2011796701 hasConcept C95611797 @default.
• W2011796701 hasConceptScore W2011796701C104317684 @default.
• W2011796701 hasConceptScore W2011796701C105795698 @default.
• W2011796701 hasConceptScore W2011796701C118615104 @default.
• W2011796701 hasConceptScore W2011796701C121332964 @default.
• W2011796701 hasConceptScore W2011796701C122123141 @default.
• W2011796701 hasConceptScore W2011796701C134306372 @default.
• W2011796701 hasConceptScore W2011796701C156772000 @default.
• W2011796701 hasConceptScore W2011796701C158448853 @default.
• W2011796701 hasConceptScore W2011796701C16021271 @default.
• W2011796701 hasConceptScore W2011796701C163258240 @default.
• W2011796701 hasConceptScore W2011796701C17020691 @default.
• W2011796701 hasConceptScore W2011796701C171032842 @default.
• W2011796701 hasConceptScore W2011796701C183778304 @default.
• W2011796701 hasConceptScore W2011796701C185592680 @default.
• W2011796701 hasConceptScore W2011796701C206901836 @default.
• W2011796701 hasConceptScore W2011796701C29585364 @default.
• W2011796701 hasConceptScore W2011796701C33222762 @default.
• W2011796701 hasConceptScore W2011796701C33923547 @default.
• W2011796701 hasConceptScore W2011796701C36503486 @default.
• W2011796701 hasConceptScore W2011796701C49937458 @default.
• W2011796701 hasConceptScore W2011796701C55493867 @default.
• W2011796701 hasConceptScore W2011796701C62520636 @default.
• W2011796701 hasConceptScore W2011796701C86339819 @default.
• W2011796701 hasConceptScore W2011796701C95611797 @default.
• W2011796701 hasIssue "1-2" @default.
• W2011796701 hasLocation W20117967011 @default.
• W2011796701 hasLocation W20117967012 @default.
• W2011796701 hasOpenAccess W2011796701 @default.
• W2011796701 hasPrimaryLocation W20117967011 @default.
• W2011796701 hasRelatedWork W2006290345 @default.
• W2011796701 hasRelatedWork W2008892971 @default.

• next