{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,4]],"date-time":"2023-08-04T12:28:18Z","timestamp":1691152098075},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2013,2,26]],"date-time":"2013-02-26T00:00:00Z","timestamp":1361836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s00500-013-1009-7","type":"journal-article","created":{"date-parts":[[2013,2,25]],"date-time":"2013-02-25T13:39:23Z","timestamp":1361799563000},"page":"1415-1423","source":"Crossref","is-referenced-by-count":4,"title":["Verified stochastic methods"],"prefix":"10.1007","volume":"17","author":[{"given":"Gabor","family":"Rebner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Beer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Auer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Stein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,2,26]]},"reference":[{"key":"1009_CR1","unstructured":"Auer E, Luther W, Rebner G, Limbourg P (2010) A Verified MATLAB Toolbox for the Dempster-Shafer Theory. In: Proceedings of the Workshop on the Theory of Belief Functions. http:\/\/www.ensieta.fr\/belief2010\/papers\/p83.pdf ; http:\/\/www.udue.de\/DSI"},{"key":"1009_CR2","unstructured":"Ayyub B (1998) Uncertainty Modeling and Analysis in Civil Engineering. CRC Press, Boston"},{"issue":"1\u20133","key":"1009_CR3","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1504\/IJRS.2009.026840","volume":"3","author":"M Beer","year":"2009","unstructured":"Beer M (2009) Engineering quantification of inconsistent information. Int J Reliab Saf 3(1\u20133):174\u2013200","journal-title":"Int J Reliab Saf"},{"key":"1009_CR4","unstructured":"Beer M, Liebscher M, M\u00f6ller B (2004) Structural Design under Fuzzy Randomness. In: Proceedings of the NSF workshop on Reliable Engineering Computing. pp 215\u2013234 (hardcover); 1\u201321 (CD\u2013ROM)"},{"key":"1009_CR5","doi-asserted-by":"crossref","unstructured":"Blizard D (1989) Multiset Theory. Notre Dame J Formal Log 30(1): 36\u201366","DOI":"10.1305\/ndjfl\/1093634995"},{"key":"1009_CR6","unstructured":"Campos M, Dimuro G, da Rocha Costa A, Kreinovich V (2004) Computing 2-Step Predictions for Interval-Valued Finite Stationary Markov Chains. Computing. Paper 382"},{"key":"1009_CR8","doi-asserted-by":"crossref","unstructured":"Crossman R, \u0160kulj D (2010) Imprecise Markov chains with absorption. Int J Approx Reason 51:1085\u20131099","DOI":"10.1016\/j.ijar.2010.08.008"},{"key":"1009_CR9","doi-asserted-by":"crossref","unstructured":"Elishakoff I (1999) Whys and Hows in Uncertainty Modeling probability, Fuzziness and Anti-Optimization. Springer, New York","DOI":"10.1007\/978-3-7091-2501-4"},{"key":"1009_CR10","doi-asserted-by":"crossref","unstructured":"Hartfiel D (1998) Markov Set-Chains. Lecture notes in mathematics; 1695. Springer, New York. ISBN 3-540-64775-9","DOI":"10.1007\/BFb0094586"},{"key":"1009_CR11","doi-asserted-by":"crossref","unstructured":"IEEE Computer Society IEEE Standard for Floating-Point Arithmetic. IEEE Std 754-2008, \u00a0pp 1\u201358 (2008). doi: 10.1109\/IEEESTD.2008.4610935 :","DOI":"10.1109\/IEEESTD.2008.4610935"},{"issue":"2","key":"1009_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1023\/A:1014745904458","volume":"8","author":"I Kozine","year":"2002","unstructured":"Kozine I, Utkin L (2002) Interval-valued finite Markov chains. Reliab Comput 8(2):97\u2013113","journal-title":"Reliab Comput"},{"issue":"1-3","key":"1009_CR13","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/j.ress.2004.03.016","volume":"85","author":"V Kreinovich","year":"2004","unstructured":"Kreinovich V, Ferson SA (2004) A new Cauchy-based black-box technique for uncertainty in risk analysis. Reliab Eng Syst Saf 85(1\u20133):267\u2013279","journal-title":"Reliab Eng Syst Saf"},{"key":"1009_CR14","doi-asserted-by":"crossref","unstructured":"Kreinovich V, Xiang G, Starks S, Longpre L, Ceberio M, Araiza R, Beck J, Kandathi R, Nayak A, Torres R, Hajagos J (2006) Towards Combining Probabilistic and Interval Uncertainty in Engineering Calculations: Algorithms for Computing Statistics under Interval Uncertainty, and Their Computational Complexity. Reliable Computing 12(6):471\u2013501","DOI":"10.1007\/s11155-006-9015-4"},{"key":"1009_CR15","doi-asserted-by":"crossref","unstructured":"M\u00f6ller B, Beer M (2004) Fuzzy Randomness\u2014Uncertainty in Civil Engineering and Computational Mechanics. Springer, Berlin","DOI":"10.1007\/978-3-662-07358-2"},{"key":"1009_CR16","doi-asserted-by":"crossref","unstructured":"Rebner G, Auer E, Luther W (2012) A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94: 313\u2013324. doi: 10.1007\/s00607-011-0179-3","DOI":"10.1007\/s00607-011-0179-3"},{"key":"1009_CR17","doi-asserted-by":"crossref","unstructured":"Rump S (1999) INTLAB-INTerval LABoratory. Developments in Reliable Computing 1:77\u2013104. http:\/\/www.ti3.tu-harburg.de\/","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"1009_CR7","unstructured":"\u0160kulj D (2007) Regular finite Markov chains with interval probabilities. 5th International Symposium on Imprecise Probability: Theories and Applications, Prague, Czech Republic"},{"key":"1009_CR18","unstructured":"Stein M, Beer M (2011) Bayesian quantification of inconsistent information. In: Faber, K\u00f6hler, Nishijima (eds.) Applications of Statistics and Probability in Civil Engineering. Taylor & Francis Group, London. ISBN 978-0-415-66986-3"},{"key":"1009_CR19","unstructured":"Traczinski D (2006) Faktorisierungsl\u00f6sungen f\u00fcr die Workload in Bediensystemen mit Ergebnisverifikation. Logos-Verlag, Berlin. Dissertation, ISBN 3-8325-1367-1"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-013-1009-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-013-1009-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-013-1009-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T02:53:33Z","timestamp":1562727213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-013-1009-7"}},"subtitle":["Markov set-chains and dependency modeling of mean and standard deviation"],"short-title":[],"issued":{"date-parts":[[2013,2,26]]},"references-count":19,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["1009"],"URL":"https:\/\/doi.org\/10.1007\/s00500-013-1009-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,2,26]]}}}