Verified stochastic methods (Q889881): Difference between revisions

@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6506084
@@ Property / DOI @@
-.1007/s00500-013-1009-7
@@ Property / DOI: 10.1007/s00500-013-1009-7 / rank @@
-Normal rank
@@ Property / author @@
+Michael A. Beer
@@ Property / author: Michael A. Beer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+INTLAB
@@ Property / describes a project that uses: INTLAB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matlab
@@ Property / describes a project that uses: Matlab / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DSI Toolbox
@@ Property / describes a project that uses: DSI Toolbox / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00500-013-1009-7
+Normal rank
@@ Property / OpenAlex ID @@
+W8639604
@@ Property / OpenAlex ID: W8639604 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Interval-valued finite Markov chains
@@ Property / cites work: Interval-valued finite Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Imprecise Markov chains with absorption
@@ Property / cites work: Imprecise Markov chains with absorption / rank @@
+Normal rank
@@ Property / cites work @@
+Markov set-chains
@@ Property / cites work: Markov set-chains / rank @@
+Normal rank
@@ Property / cites work @@
+Towards combining probabilistic and interval uncertainty in engineering calculations: algorithms for computing statistics under interval uncertainty, and their computational complexity
+Normal rank
@@ Property / cites work @@
+Q5312889
@@ Property / cites work: Q5312889 / rank @@
+Normal rank
@@ Property / cites work @@
+A verified realization of a Dempster-Shafer based fault tree analysis
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416167
@@ Property / cites work: Q3416167 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00500-013-1009-7
@@ Property / DOI: 10.1007/S00500-013-1009-7 / rank @@
+Normal rank