{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,19]],"date-time":"2023-07-19T06:51:18Z","timestamp":1689749478902},"reference-count":29,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","funder":[{"DOI":"10.13039\/100000015","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-SC0010540"],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Sci. Comput."],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1137\/15m1051786","type":"journal-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T10:41:15Z","timestamp":1483612875000},"page":"C1-C28","source":"Crossref","is-referenced-by-count":4,"title":["Discrete A Priori Bounds for the Detection of Corrupted PDE Solutions in Exascale Computations"],"prefix":"10.1137","volume":"39","author":[{"given":"Paul","family":"Mycek","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Rizzi","sequence":"additional","affiliation":[]},{"given":"Olivier Le","family":"Ma\u00eetre","sequence":"additional","affiliation":[]},{"given":"Khachik","family":"Sargsyan","sequence":"additional","affiliation":[]},{"given":"Karla","family":"Morris","sequence":"additional","affiliation":[]},{"given":"Cosmin","family":"Safta","sequence":"additional","affiliation":[]},{"given":"Bert","family":"Debusschere","sequence":"additional","affiliation":[]},{"given":"Omar","family":"Knio","sequence":"additional","affiliation":[]}],"member":"351","published-online":{"date-parts":[[2017,1,5]]},"reference":[{"key":"atypb1","first-page":"2008","author":"Standards Microprocessor","year":"2008","journal-title":"ANSI\/IEEE Std 754--"},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1177\/1094342013488238"},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2008.12.002"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1964-0165702-X"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1214\/08-AOS653"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2007.914731"},{"key":"atypb9","first-page":"3869","author":"Chartrand R.","year":"2008","journal-title":"NJ"},{"key":"atypb10","first-page":"73","author":"Chen Z.","year":"2011","journal-title":"New York"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01844166"},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1145\/355900.355905"},{"key":"atypb14","doi-asserted-by":"publisher","DOI":"10.1002\/cpa.20303"},{"key":"atypb15","first-page":"311","author":"Ding C.","year":"2011","journal-title":"NJ"},{"key":"atypb16","first-page":"225","author":"Du P.","year":"2012","journal-title":"New York"},{"key":"atypb18","first-page":"960","author":"Engelmann C.","year":"2013","journal-title":"NJ"},{"key":"atypb19","first-page":"1","author":"Ferreira K.","year":"2011","journal-title":"New York"},{"key":"atypb21","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2009.09.012"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1007\/s00211-004-0559-0"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1145\/1353535.1346315"},{"key":"atypb25","doi-asserted-by":"publisher","DOI":"10.1016\/j.aml.2007.03.018"},{"key":"atypb26","first-page":"1","author":"Malkowski K.","year":"2010","journal-title":"NJ"},{"key":"atypb29","doi-asserted-by":"publisher","DOI":"10.1214\/ss\/1030037960"},{"key":"atypb31","first-page":"19","author":"Rizzi F.","year":"2016","journal-title":"New York"},{"key":"atypb32","first-page":"552","volume":"2015","author":"Rizzi F.","journal-title":"NJ"},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1137\/15M1014474"},{"key":"atypb34","doi-asserted-by":"publisher","DOI":"10.1088\/0266-5611\/4\/4\/010"},{"key":"atypb35","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1973.10481436"},{"key":"atypb36","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2009.4"},{"key":"atypb38","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479894276370"},{"key":"atypb40","first-page":"109434201452257","author":"M. Snir","year":"2014","journal-title":"Int. J. High Perform. Comput. ("}],"container-title":["SIAM Journal on Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/15M1051786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,18]],"date-time":"2018-05-18T11:00:35Z","timestamp":1526641235000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/15M1051786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":29,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,3]]},"published-print":{"date-parts":[[2017,1]]}},"alternative-id":["10.1137\/15M1051786"],"URL":"https:\/\/doi.org\/10.1137\/15m1051786","relation":{},"ISSN":["1064-8275","1095-7197"],"issn-type":[{"value":"1064-8275","type":"print"},{"value":"1095-7197","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1]]}}}