{"id":"https://openalex.org/W2165760795","doi":"https://doi.org/10.1007/978-3-642-01591-5_1","title":"Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021","display_name":"Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2165760795","doi":"https://doi.org/10.1007/978-3-642-01591-5_1","mag":"2165760795"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-01591-5_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-01591-5_1","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/inria-00545059","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021432838","display_name":"R. Baker Kearfott","orcid":"https://orcid.org/0000-0002-3449-098X"},"institutions":[{"id":"https://openalex.org/I79516672","display_name":"University of Louisiana at Lafayette","ror":"https://ror.org/01x8rc503","country_code":"US","type":"education","lineage":["https://openalex.org/I2799628689","https://openalex.org/I79516672"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"R. Baker Kearfott","raw_affiliation_strings":["University of Louisiana at Lafayette, Box 4-1010, Lafayette, Louisiana, 70504-1010, USA"],"affiliations":[{"raw_affiliation_string":"University of Louisiana at Lafayette, Box 4-1010, Lafayette, Louisiana, 70504-1010, USA","institution_ids":["https://openalex.org/I79516672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064076305","display_name":"John D. Pryce","orcid":"https://orcid.org/0000-0003-1702-7624"},"institutions":[{"id":"https://openalex.org/I51768193","display_name":"Royal Military College of Canada","ror":"https://ror.org/04yr71909","country_code":"CA","type":"education","lineage":["https://openalex.org/I51768193"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"John Pryce","raw_affiliation_strings":["Department of Informatics and Simulation, Royal Military College of Science, Shrivenham, Wilts SN6 8LA, England"],"affiliations":[{"raw_affiliation_string":"Department of Informatics and Simulation, Royal Military College of Science, Shrivenham, Wilts SN6 8LA, England","institution_ids":["https://openalex.org/I51768193"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088706134","display_name":"Nathalie Revol","orcid":"https://orcid.org/0000-0002-2503-2274"},"institutions":[{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nathalie Revol","raw_affiliation_strings":["Projet Arenaire Laboratoire de l\u2019Informatique du Parall\u00e9lisme\u00c9cole Normale Sup\u00e9rieure de Lyon46 all\u00e9e d\u2019Italie, 69364, Lyon Cedex 07, France","Projet Arenaire Laboratoire de l'Informatique du Parall\u00e9lisme\u00c9cole Normale Sup\u00e9rieure de Lyon46 all\u00e9e d'Italie, 69364, Lyon Cedex 07, France"],"affiliations":[{"raw_affiliation_string":"Projet Arenaire Laboratoire de l\u2019Informatique du Parall\u00e9lisme\u00c9cole Normale Sup\u00e9rieure de Lyon46 all\u00e9e d\u2019Italie, 69364, Lyon Cedex 07, France","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I113428412"]},{"raw_affiliation_string":"Projet Arenaire Laboratoire de l'Informatique du Parall\u00e9lisme\u00c9cole Normale Sup\u00e9rieure de Lyon46 all\u00e9e d'Italie, 69364, Lyon Cedex 07, France","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I113428412"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5021432838"],"corresponding_institution_ids":["https://openalex.org/I79516672"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3255,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64810231,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9998999834060669,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9778000116348267,"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/T12170","display_name":"History and Theory of Mathematics","score":0.9628000259399414,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7816709280014038},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.6563244462013245},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.6196618676185608},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.5181185603141785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39965879917144775},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.345609188079834},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15055957436561584},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.05743592977523804}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7816709280014038},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.6563244462013245},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.6196618676185608},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.5181185603141785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39965879917144775},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.345609188079834},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15055957436561584},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.05743592977523804},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-01591-5_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-01591-5_1","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.230.3078","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.3078","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.inria.fr/docs/00/54/50/59/PDF/IntervalDiscussReport02-07.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00545059v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00545059","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Kr\u00e4mer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:inria-00545059v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00545059","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Kr\u00e4mer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W53809769","https://openalex.org/W178772886","https://openalex.org/W1506162491","https://openalex.org/W1522616537","https://openalex.org/W1536011464","https://openalex.org/W1557906385","https://openalex.org/W2004216287","https://openalex.org/W2041313350","https://openalex.org/W2045375057"],"related_works":["https://openalex.org/W2181927644","https://openalex.org/W2756505297","https://openalex.org/W2520934858","https://openalex.org/W2990487117","https://openalex.org/W2130323825","https://openalex.org/W2012882356","https://openalex.org/W109635080","https://openalex.org/W87529998","https://openalex.org/W2377262226","https://openalex.org/W4285295794"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}