<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10135337> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/title> "Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/abstract> "We present a detailed study of roundoff errors in probabilistic floating-point computations. We derive closed-form expressions for the distribution of roundoff errors associated with a random variable, and we prove that roundoff errors are generally close to being uncorrelated with their generating distribution. Based on these theoretical advances, we propose a model of IEEE floating-point arithmetic for numerical expressions with probabilistic inputs and an algorithm for evaluating this model. Our algorithm provides rigorous bounds to the output and error distributions of arithmetic expressions over random variables, evaluated in the presence of roundoff errors. It keeps track of complex dependencies between random variables using an SMT solver, and is capable of providing sound but tight probabilistic bounds to roundoff errors using symbolic affine arithmetic. We implemented the algorithm in the PAF tool, and evaluated it on FPBench, a standard benchmark suite for the analysis of roundoff errors. Our evaluation shows that PAF computes tighter bounds than current state-of-the-art on almost all benchmarks."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/date> "2021-07-15" .
<https://discovery.ucl.ac.uk/id/document/1377242> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/volume> "12760" .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> .
<https://discovery.ucl.ac.uk/id/publication/ext-b63e08945cb64076e1c4ae99af6bf9d7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-b63e08945cb64076e1c4ae99af6bf9d7> <http://xmlns.com/foaf/0.1/name> "COMPUTER AIDED VERIFICATION, PT II, CAV 2021"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-b63e08945cb64076e1c4ae99af6bf9d7> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-f3538c1378db529d84c1333199c2ca24> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10135337#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10135337#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-f3538c1378db529d84c1333199c2ca24> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-560cf0fd22d8012ed0b8e8f55a5d32bb> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10135337#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10135337#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-560cf0fd22d8012ed0b8e8f55a5d32bb> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-1220ec57516422a9e29c9918a8f4e58b> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10135337#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10135337#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-1220ec57516422a9e29c9918a8f4e58b> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-eedeab01edb3a8202edfe208b91a804d> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10135337#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10135337#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <https://discovery.ucl.ac.uk/id/person/ext-eedeab01edb3a8202edfe208b91a804d> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-123b1ea291bcff814c054a249dace524> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10135337#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10135337#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-123b1ea291bcff814c054a249dace524> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-bcdca1de3095b5be5022c9c84818b38e> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10135337#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10135337#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-bcdca1de3095b5be5022c9c84818b38e> .
<https://discovery.ucl.ac.uk/id/person/ext-1220ec57516422a9e29c9918a8f4e58b> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-1220ec57516422a9e29c9918a8f4e58b> <http://xmlns.com/foaf/0.1/givenName> "Z"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-1220ec57516422a9e29c9918a8f4e58b> <http://xmlns.com/foaf/0.1/familyName> "Rakamaric"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-1220ec57516422a9e29c9918a8f4e58b> <http://xmlns.com/foaf/0.1/name> "Z Rakamaric"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-560cf0fd22d8012ed0b8e8f55a5d32bb> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-560cf0fd22d8012ed0b8e8f55a5d32bb> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-560cf0fd22d8012ed0b8e8f55a5d32bb> <http://xmlns.com/foaf/0.1/familyName> "Dahlqvist"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-560cf0fd22d8012ed0b8e8f55a5d32bb> <http://xmlns.com/foaf/0.1/name> "F Dahlqvist"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-eedeab01edb3a8202edfe208b91a804d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-eedeab01edb3a8202edfe208b91a804d> <http://xmlns.com/foaf/0.1/givenName> "R"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-eedeab01edb3a8202edfe208b91a804d> <http://xmlns.com/foaf/0.1/familyName> "Salvia"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-eedeab01edb3a8202edfe208b91a804d> <http://xmlns.com/foaf/0.1/name> "R Salvia"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-123b1ea291bcff814c054a249dace524> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-123b1ea291bcff814c054a249dace524> <http://xmlns.com/foaf/0.1/givenName> "A"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-123b1ea291bcff814c054a249dace524> <http://xmlns.com/foaf/0.1/familyName> "Silva"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-123b1ea291bcff814c054a249dace524> <http://xmlns.com/foaf/0.1/name> "A Silva"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-bcdca1de3095b5be5022c9c84818b38e> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-bcdca1de3095b5be5022c9c84818b38e> <http://xmlns.com/foaf/0.1/givenName> "KRM"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-bcdca1de3095b5be5022c9c84818b38e> <http://xmlns.com/foaf/0.1/familyName> "Leino"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-bcdca1de3095b5be5022c9c84818b38e> <http://xmlns.com/foaf/0.1/name> "KRM Leino"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f3538c1378db529d84c1333199c2ca24> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-f3538c1378db529d84c1333199c2ca24> <http://xmlns.com/foaf/0.1/givenName> "G"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f3538c1378db529d84c1333199c2ca24> <http://xmlns.com/foaf/0.1/familyName> "Constantinides"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-f3538c1378db529d84c1333199c2ca24> <http://xmlns.com/foaf/0.1/name> "G Constantinides"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-1da2e4596ec815fa80f6a80135f46cb7> .
<https://discovery.ucl.ac.uk/id/event/ext-1da2e4596ec815fa80f6a80135f46cb7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://discovery.ucl.ac.uk/id/event/ext-1da2e4596ec815fa80f6a80135f46cb7> <http://purl.org/dc/terms/title> "33rd International Conference on Computer-Aided Verification (CAV)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/event/ext-1da2e4596ec815fa80f6a80135f46cb7> <http://purl.org/NET/c4dm/event.owl#place> <https://discovery.ucl.ac.uk/id/location/ext-5d612d0f9059d5189d8fedfe86e18662> .
<https://discovery.ucl.ac.uk/id/event/ext-1da2e4596ec815fa80f6a80135f46cb7> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/NET/c4dm/event.owl#Event> .
<https://discovery.ucl.ac.uk/id/event/ext-1da2e4596ec815fa80f6a80135f46cb7> <http://purl.org/NET/c4dm/event.owl#place> <https://discovery.ucl.ac.uk/id/location/ext-5d612d0f9059d5189d8fedfe86e18662> .
<https://discovery.ucl.ac.uk/id/location/ext-5d612d0f9059d5189d8fedfe86e18662> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing> .
<https://discovery.ucl.ac.uk/id/location/ext-5d612d0f9059d5189d8fedfe86e18662> <http://www.w3.org/2000/01/rdf-schema#label> "ELECTR NETWORK"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377242> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1377242> <http://www.w3.org/2000/01/rdf-schema#label> "Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377242> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10135337/1/Constantinides2021_Chapter_RigorousRoundoffErrorAnalysisO.pdf> .
<https://discovery.ucl.ac.uk/id/document/1377242> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10135337/1/Constantinides2021_Chapter_RigorousRoundoffErrorAnalysisO.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10135337/1/Constantinides2021_Chapter_RigorousRoundoffErrorAnalysisO.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Constantinides2021_Chapter_RigorousRoundoffErrorAnalysisO.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1377244> .
<https://discovery.ucl.ac.uk/id/document/1377244> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1377244> <http://www.w3.org/2000/01/rdf-schema#label> "Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1377244> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377244> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377244> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377244> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10135337/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/document/1377244> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10135337/3/preview.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10135337/3/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1377245> .
<https://discovery.ucl.ac.uk/id/document/1377245> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1377245> <http://www.w3.org/2000/01/rdf-schema#label> "Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1377245> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377245> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377245> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377245> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10135337/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/document/1377245> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10135337/4/medium.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10135337/4/medium.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "medium.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1377246> .
<https://discovery.ucl.ac.uk/id/document/1377246> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1377246> <http://www.w3.org/2000/01/rdf-schema#label> "Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1377246> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377246> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377246> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377246> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10135337/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/document/1377246> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10135337/5/small.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10135337/5/small.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "small.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1377247> .
<https://discovery.ucl.ac.uk/id/document/1377247> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1377247> <http://www.w3.org/2000/01/rdf-schema#label> "Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1377247> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377247> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377247> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377247> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10135337/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/document/1377247> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10135337/6/indexcodes.txt> .
<https://discovery.ucl.ac.uk/id/eprint/10135337/6/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/1377248> .
<https://discovery.ucl.ac.uk/id/document/1377248> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/1377248> <http://www.w3.org/2000/01/rdf-schema#label> "Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/1377248> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377248> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377248> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/1377242> .
<https://discovery.ucl.ac.uk/id/document/1377248> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10135337/7/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/document/1377248> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10135337/7/lightbox.jpg> .
<https://discovery.ucl.ac.uk/id/eprint/10135337/7/lightbox.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "lightbox.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10135337> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10135337/> .
<https://discovery.ucl.ac.uk/id/eprint/10135337/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10135337 \n\nRigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10135337/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10135337/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10135337> .