Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950579421> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2950579421 abstract "Many probabilistic programming languages allow programs to be run under constraints in order to carry out Bayesian inference. Running programs under constraints could enable other uses such as rare event simulation and probabilistic verification---except that all such probabilistic languages are necessarily limited because they are defined or implemented in terms of an impoverished theory of probability. Measure-theoretic probability provides a more general foundation, but its generality makes finding computational content difficult. We develop a measure-theoretic semantics for a first-order probabilistic language with recursion, which interprets programs as functions that compute preimages. Preimage functions are generally uncomputable, so we derive an abstract semantics. We implement the abstract semantics and use the implementation to carry out Bayesian inference, stochastic ray tracing (a rare event simulation), and probabilistic verification of floating-point error bounds." @default.
- W2950579421 created "2019-06-27" @default.
- W2950579421 creator A5015730860 @default.
- W2950579421 creator A5034639850 @default.
- W2950579421 creator A5091183810 @default.
- W2950579421 date "2014-12-12" @default.
- W2950579421 modified "2023-10-17" @default.
- W2950579421 title "Running Probabilistic Programs Backwards" @default.
- W2950579421 cites W128101668 @default.
- W2950579421 cites W1483822067 @default.
- W2950579421 cites W1492711856 @default.
- W2950579421 cites W1516735103 @default.
- W2950579421 cites W1517555081 @default.
- W2950579421 cites W1532374486 @default.
- W2950579421 cites W1779461120 @default.
- W2950579421 cites W1890754682 @default.
- W2950579421 cites W2050509196 @default.
- W2950579421 cites W2106742806 @default.
- W2950579421 cites W2110839939 @default.
- W2950579421 cites W2135394066 @default.
- W2950579421 cites W2136202785 @default.
- W2950579421 cites W2156876717 @default.
- W2950579421 cites W2161290831 @default.
- W2950579421 cites W2487908531 @default.
- W2950579421 cites W3182730020 @default.
- W2950579421 cites W88990729 @default.
- W2950579421 hasPublicationYear "2014" @default.
- W2950579421 type Work @default.
- W2950579421 sameAs 2950579421 @default.
- W2950579421 citedByCount "0" @default.
- W2950579421 crossrefType "posted-content" @default.
- W2950579421 hasAuthorship W2950579421A5015730860 @default.
- W2950579421 hasAuthorship W2950579421A5034639850 @default.
- W2950579421 hasAuthorship W2950579421A5091183810 @default.
- W2950579421 hasConcept C11413529 @default.
- W2950579421 hasConcept C121332964 @default.
- W2950579421 hasConcept C138673069 @default.
- W2950579421 hasConcept C143017306 @default.
- W2950579421 hasConcept C154945302 @default.
- W2950579421 hasConcept C15744967 @default.
- W2950579421 hasConcept C168773036 @default.
- W2950579421 hasConcept C184337299 @default.
- W2950579421 hasConcept C199360897 @default.
- W2950579421 hasConcept C24404364 @default.
- W2950579421 hasConcept C2776214188 @default.
- W2950579421 hasConcept C2779662365 @default.
- W2950579421 hasConcept C2780767217 @default.
- W2950579421 hasConcept C41008148 @default.
- W2950579421 hasConcept C49937458 @default.
- W2950579421 hasConcept C542102704 @default.
- W2950579421 hasConcept C62520636 @default.
- W2950579421 hasConcept C80444323 @default.
- W2950579421 hasConceptScore W2950579421C11413529 @default.
- W2950579421 hasConceptScore W2950579421C121332964 @default.
- W2950579421 hasConceptScore W2950579421C138673069 @default.
- W2950579421 hasConceptScore W2950579421C143017306 @default.
- W2950579421 hasConceptScore W2950579421C154945302 @default.
- W2950579421 hasConceptScore W2950579421C15744967 @default.
- W2950579421 hasConceptScore W2950579421C168773036 @default.
- W2950579421 hasConceptScore W2950579421C184337299 @default.
- W2950579421 hasConceptScore W2950579421C199360897 @default.
- W2950579421 hasConceptScore W2950579421C24404364 @default.
- W2950579421 hasConceptScore W2950579421C2776214188 @default.
- W2950579421 hasConceptScore W2950579421C2779662365 @default.
- W2950579421 hasConceptScore W2950579421C2780767217 @default.
- W2950579421 hasConceptScore W2950579421C41008148 @default.
- W2950579421 hasConceptScore W2950579421C49937458 @default.
- W2950579421 hasConceptScore W2950579421C542102704 @default.
- W2950579421 hasConceptScore W2950579421C62520636 @default.
- W2950579421 hasConceptScore W2950579421C80444323 @default.
- W2950579421 hasLocation W29505794211 @default.
- W2950579421 hasOpenAccess W2950579421 @default.
- W2950579421 hasPrimaryLocation W29505794211 @default.
- W2950579421 hasRelatedWork W1564629734 @default.
- W2950579421 hasRelatedWork W1668919413 @default.
- W2950579421 hasRelatedWork W1789692117 @default.
- W2950579421 hasRelatedWork W1831716037 @default.
- W2950579421 hasRelatedWork W2030213839 @default.
- W2950579421 hasRelatedWork W2285055988 @default.
- W2950579421 hasRelatedWork W2295266283 @default.
- W2950579421 hasRelatedWork W2394785251 @default.
- W2950579421 hasRelatedWork W2465758401 @default.
- W2950579421 hasRelatedWork W2525884743 @default.
- W2950579421 hasRelatedWork W2584623985 @default.
- W2950579421 hasRelatedWork W2615879196 @default.
- W2950579421 hasRelatedWork W2761522698 @default.
- W2950579421 hasRelatedWork W2926374695 @default.
- W2950579421 hasRelatedWork W2995329151 @default.
- W2950579421 hasRelatedWork W3026670957 @default.
- W2950579421 hasRelatedWork W3091367373 @default.
- W2950579421 hasRelatedWork W3104376605 @default.
- W2950579421 hasRelatedWork W3104798428 @default.
- W2950579421 isParatext "false" @default.
- W2950579421 isRetracted "false" @default.
- W2950579421 magId "2950579421" @default.
- W2950579421 workType "article" @default.