Matches in SemOpenAlex for { <https://semopenalex.org/work/W13764498> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W13764498 abstract "Probabilistic choice and demonic nondeterminism have been combined in a model for sequential programs in which program refinement is defined by removing demonic nondeterminism. Here we study the more general topic of data refinement in the probabilistic setting, extending standard techniques to probabilistic programs. We use the method to obtain a quantitative assessment of safety of a (probabilistic) version of the steam boiler." @default.
- W13764498 created "2016-06-24" @default.
- W13764498 creator A5035107880 @default.
- W13764498 creator A5039019347 @default.
- W13764498 creator A5070192715 @default.
- W13764498 date "1998-04-22" @default.
- W13764498 modified "2023-09-27" @default.
- W13764498 title "The probabilistic steam boiler: a case study in probabilistic data refinement" @default.
- W13764498 cites W1570153265 @default.
- W13764498 cites W1970495662 @default.
- W13764498 cites W2003967246 @default.
- W13764498 cites W2024464191 @default.
- W13764498 cites W2072033902 @default.
- W13764498 cites W2073708948 @default.
- W13764498 cites W2092233450 @default.
- W13764498 cites W2103953153 @default.
- W13764498 cites W2141670510 @default.
- W13764498 cites W2152198540 @default.
- W13764498 hasPublicationYear "1998" @default.
- W13764498 type Work @default.
- W13764498 sameAs 13764498 @default.
- W13764498 citedByCount "9" @default.
- W13764498 countsByYear W137644982012 @default.
- W13764498 countsByYear W137644982017 @default.
- W13764498 countsByYear W137644982019 @default.
- W13764498 crossrefType "journal-article" @default.
- W13764498 hasAuthorship W13764498A5035107880 @default.
- W13764498 hasAuthorship W13764498A5039019347 @default.
- W13764498 hasAuthorship W13764498A5070192715 @default.
- W13764498 hasConcept C114289077 @default.
- W13764498 hasConcept C127413603 @default.
- W13764498 hasConcept C143017306 @default.
- W13764498 hasConcept C154945302 @default.
- W13764498 hasConcept C24404364 @default.
- W13764498 hasConcept C2780013297 @default.
- W13764498 hasConcept C41008148 @default.
- W13764498 hasConcept C49937458 @default.
- W13764498 hasConcept C548081761 @default.
- W13764498 hasConceptScore W13764498C114289077 @default.
- W13764498 hasConceptScore W13764498C127413603 @default.
- W13764498 hasConceptScore W13764498C143017306 @default.
- W13764498 hasConceptScore W13764498C154945302 @default.
- W13764498 hasConceptScore W13764498C24404364 @default.
- W13764498 hasConceptScore W13764498C2780013297 @default.
- W13764498 hasConceptScore W13764498C41008148 @default.
- W13764498 hasConceptScore W13764498C49937458 @default.
- W13764498 hasConceptScore W13764498C548081761 @default.
- W13764498 hasLocation W137644981 @default.
- W13764498 hasOpenAccess W13764498 @default.
- W13764498 hasPrimaryLocation W137644981 @default.
- W13764498 hasRelatedWork W139054451 @default.
- W13764498 hasRelatedWork W1511826042 @default.
- W13764498 hasRelatedWork W1541118615 @default.
- W13764498 hasRelatedWork W1544057077 @default.
- W13764498 hasRelatedWork W1559870885 @default.
- W13764498 hasRelatedWork W1570153265 @default.
- W13764498 hasRelatedWork W1734364899 @default.
- W13764498 hasRelatedWork W2005998857 @default.
- W13764498 hasRelatedWork W2072033902 @default.
- W13764498 hasRelatedWork W2103953153 @default.
- W13764498 hasRelatedWork W2141670510 @default.
- W13764498 hasRelatedWork W22553913 @default.
- W13764498 hasRelatedWork W2476968111 @default.
- W13764498 hasRelatedWork W2754471279 @default.
- W13764498 hasRelatedWork W2810147724 @default.
- W13764498 hasRelatedWork W3100292078 @default.
- W13764498 hasRelatedWork W3138841978 @default.
- W13764498 hasRelatedWork W2321871187 @default.
- W13764498 hasRelatedWork W2635642942 @default.
- W13764498 hasRelatedWork W2875450831 @default.
- W13764498 isParatext "false" @default.
- W13764498 isRetracted "false" @default.
- W13764498 magId "13764498" @default.
- W13764498 workType "article" @default.