{"id":"https://openalex.org/W200656459","doi":"https://doi.org/10.1007/978-3-642-32677-6_7","title":"Verified Computation with Probabilities","display_name":"Verified Computation with Probabilities","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W200656459","doi":"https://doi.org/10.1007/978-3-642-32677-6_7","mag":"200656459"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-32677-6_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-32677-6_7","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-32677-6_7.pdf","source":{"id":"https://openalex.org/S4210175514","display_name":"IFIP International Federation for Information Processing/IFIP","issn_l":"1571-5736","issn":["1571-5736","1861-2288"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP Advances in Information and Communication Technology","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-32677-6_7.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029294781","display_name":"Scott Ferson","orcid":"https://orcid.org/0000-0002-2613-0650"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Scott Ferson","raw_affiliation_strings":["Applied Biomathematics, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Applied Biomathematics, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022994329","display_name":"Jack Siegrist","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jack Siegrist","raw_affiliation_strings":["Applied Biomathematics, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Applied Biomathematics, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3173,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.57290456,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"95","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9677000045776367,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14351","display_name":"Statistical and Computational Modeling","score":0.9470999836921692,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7780698537826538},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.7102675437927246},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6628503799438477},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6034141182899475},{"id":"https://openalex.org/keywords/probability-theory","display_name":"Probability theory","score":0.5600200295448303},{"id":"https://openalex.org/keywords/applied-probability","display_name":"Applied probability","score":0.5428550243377686},{"id":"https://openalex.org/keywords/empirical-probability","display_name":"Empirical probability","score":0.5143140554428101},{"id":"https://openalex.org/keywords/law-of-total-probability","display_name":"Law of total probability","score":0.4916589856147766},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43454962968826294},{"id":"https://openalex.org/keywords/imprecise-probability","display_name":"Imprecise probability","score":0.42893850803375244},{"id":"https://openalex.org/keywords/probability-and-statistics","display_name":"Probability and statistics","score":0.41635650396347046},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3487478196620941},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3289623260498047},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3054884970188141},{"id":"https://openalex.org/keywords/posterior-probability","display_name":"Posterior probability","score":0.27017322182655334},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.15008223056793213},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13837367296218872},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.12333202362060547}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7780698537826538},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.7102675437927246},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6628503799438477},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6034141182899475},{"id":"https://openalex.org/C122203268","wikidata":"https://www.wikidata.org/wiki/Q5862903","display_name":"Probability theory","level":2,"score":0.5600200295448303},{"id":"https://openalex.org/C195579931","wikidata":"https://www.wikidata.org/wiki/Q3623548","display_name":"Applied probability","level":2,"score":0.5428550243377686},{"id":"https://openalex.org/C97933134","wikidata":"https://www.wikidata.org/wiki/Q5374249","display_name":"Empirical probability","level":4,"score":0.5143140554428101},{"id":"https://openalex.org/C49698424","wikidata":"https://www.wikidata.org/wiki/Q1989192","display_name":"Law of total probability","level":4,"score":0.4916589856147766},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43454962968826294},{"id":"https://openalex.org/C130648207","wikidata":"https://www.wikidata.org/wiki/Q6007562","display_name":"Imprecise probability","level":3,"score":0.42893850803375244},{"id":"https://openalex.org/C43596424","wikidata":"https://www.wikidata.org/wiki/Q98124957","display_name":"Probability and statistics","level":2,"score":0.41635650396347046},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3487478196620941},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3289623260498047},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3054884970188141},{"id":"https://openalex.org/C57830394","wikidata":"https://www.wikidata.org/wiki/Q278079","display_name":"Posterior probability","level":3,"score":0.27017322182655334},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.15008223056793213},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13837367296218872},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.12333202362060547}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-32677-6_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-32677-6_7","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-32677-6_7.pdf","source":{"id":"https://openalex.org/S4210175514","display_name":"IFIP International Federation for Information Processing/IFIP","issn_l":"1571-5736","issn":["1571-5736","1861-2288"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP Advances in Information and Communication Technology","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-01518666v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01518666","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ), Aug 2011, Boulder, CO, United States. pp.95-122, ⟨10.1007/978-3-642-32677-6_7⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1007/978-3-642-32677-6_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-32677-6_7","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-32677-6_7.pdf","source":{"id":"https://openalex.org/S4210175514","display_name":"IFIP International Federation for Information Processing/IFIP","issn_l":"1571-5736","issn":["1571-5736","1861-2288"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP Advances in Information and Communication Technology","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8058081825","display_name":null,"funder_award_id":"RC3LM010794","funder_id":"https://openalex.org/F4320332161","funder_display_name":"National Institutes of Health"}],"funders":[{"id":"https://openalex.org/F4320332161","display_name":"National Institutes of Health","ror":"https://ror.org/01cwqze88"},{"id":"https://openalex.org/F4320332178","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416"},{"id":"https://openalex.org/F4320337372","display_name":"U.S. National Library of Medicine","ror":"https://ror.org/0060t0j89"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W200656459.pdf","grobid_xml":"https://content.openalex.org/works/W200656459.grobid-xml"},"referenced_works_count":89,"referenced_works":["https://openalex.org/W30306538","https://openalex.org/W98956789","https://openalex.org/W132789959","https://openalex.org/W140859818","https://openalex.org/W153032839","https://openalex.org/W186367297","https://openalex.org/W591901742","https://openalex.org/W775992942","https://openalex.org/W1485846750","https://openalex.org/W1494902407","https://openalex.org/W1503952484","https://openalex.org/W1518396087","https://openalex.org/W1547322272","https://openalex.org/W1548653017","https://openalex.org/W1551883753","https://openalex.org/W1563590311","https://openalex.org/W1568586753","https://openalex.org/W1574688181","https://openalex.org/W1609724986","https://openalex.org/W1626312381","https://openalex.org/W1627627150","https://openalex.org/W1695477354","https://openalex.org/W1776415159","https://openalex.org/W1844548710","https://openalex.org/W1873806058","https://openalex.org/W1968033626","https://openalex.org/W1968293352","https://openalex.org/W1973822995","https://openalex.org/W1975021587","https://openalex.org/W1980832980","https://openalex.org/W1982039177","https://openalex.org/W1982657748","https://openalex.org/W1988520084","https://openalex.org/W1992130084","https://openalex.org/W1993976603","https://openalex.org/W1998002639","https://openalex.org/W1999243577","https://openalex.org/W2004803312","https://openalex.org/W2025130480","https://openalex.org/W2025355990","https://openalex.org/W2027729633","https://openalex.org/W2028556740","https://openalex.org/W2034470756","https://openalex.org/W2041131245","https://openalex.org/W2043476850","https://openalex.org/W2046942789","https://openalex.org/W2057656735","https://openalex.org/W2069522103","https://openalex.org/W2086664475","https://openalex.org/W2094460041","https://openalex.org/W2107288346","https://openalex.org/W2112310356","https://openalex.org/W2119436275","https://openalex.org/W2120955458","https://openalex.org/W2124221943","https://openalex.org/W2124712163","https://openalex.org/W2126163471","https://openalex.org/W2142600475","https://openalex.org/W2144829189","https://openalex.org/W2284942112","https://openalex.org/W2289817154","https://openalex.org/W2315961890","https://openalex.org/W2331301759","https://openalex.org/W2486886792","https://openalex.org/W2492653455","https://openalex.org/W2497982142","https://openalex.org/W2745756257","https://openalex.org/W2793291196","https://openalex.org/W2900732844","https://openalex.org/W2945669590","https://openalex.org/W2974222084","https://openalex.org/W2974382686","https://openalex.org/W3113683594","https://openalex.org/W3214476041","https://openalex.org/W3217662854","https://openalex.org/W4206412600","https://openalex.org/W4210427261","https://openalex.org/W4213159334","https://openalex.org/W4235216599","https://openalex.org/W4241861175","https://openalex.org/W4243510336","https://openalex.org/W4247974307","https://openalex.org/W4254470225","https://openalex.org/W4285719527","https://openalex.org/W4288961837","https://openalex.org/W4301377693","https://openalex.org/W4378373542","https://openalex.org/W6633629399","https://openalex.org/W6756294906"],"related_works":["https://openalex.org/W4285287907","https://openalex.org/W1567154219","https://openalex.org/W4224230208","https://openalex.org/W4297814372","https://openalex.org/W4235623166","https://openalex.org/W2617264141","https://openalex.org/W4300769854","https://openalex.org/W2593479179","https://openalex.org/W2361773100","https://openalex.org/W2384549238"],"abstract_inverted_index":{"Because":[0],"machine":[1],"calculations":[2],"are":[3,27,46,54,70,101,109],"prone":[4],"to":[5,20,91],"errors":[6],"that":[7,139],"can":[8],"sometimes":[9],"accumulate":[10],"disastrously,":[11],"computer":[12],"scientists":[13],"use":[14],"special":[15],"strategies":[16,26],"called":[17],"verified":[18,141],"computation":[19,142],"ensure":[21],"output":[22],"is":[23,65],"reliable.":[24],"Such":[25],"needed":[28],"for":[29,73],"computing":[30],"with":[31,78],"probability":[32,44,95,125],"distributions.":[33,146],"In":[34,105],"probabilistic":[35],"calculations,":[36],"analysts":[37],"have":[38,58],"routinely":[39],"assumed":[40],"(i)":[41],"probabilities":[42,93,138,144],"and":[43,61,94,145],"distributions":[45,96],"precisely":[47],"specified,":[48],"(ii)":[49],"most":[50],"or":[51,56,103],"all":[52],"variables":[53],"independent":[55],"otherwise":[57],"well-known":[59],"dependence,":[60],"(iii)":[62],"model":[63],"structure":[64],"known":[66],"perfectly.":[67],"These":[68],"assumptions":[69,100],"usually":[71],"made":[72],"mathematical":[74],"convenience,":[75],"rather":[76],"than":[77],"empirical":[79,117],"justification,":[80],"even":[81,97],"in":[82],"sophisticated":[83],"applications.":[84],"Probability":[85],"bounds":[86,89,126],"analysis":[87,127],"computes":[88],"guaranteed":[90],"enclose":[92],"when":[98],"these":[99],"relaxed":[102],"removed.":[104],"many":[106],"cases,":[107],"results":[108],"best-possible":[110],"bounds,":[111],"i.e.,":[112],"tightening":[113],"them":[114],"requires":[115],"additional":[116],"information.":[118],"This":[119],"paper":[120],"presents":[121],"an":[122],"overview":[123],"of":[124,133,136,143],"as":[128],"a":[129],"computationally":[130],"practical":[131],"implementation":[132],"the":[134],"theory":[135],"imprecise":[137],"represents":[140]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}