{"id":"https://openalex.org/W1545280042","doi":"https://doi.org/10.3217/jucs-016-18-2597","title":"Semantics of Query-Driven Communication of Exact Values","display_name":"Semantics of Query-Driven Communication of Exact Values","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W1545280042","doi":"https://doi.org/10.3217/jucs-016-18-2597","mag":"1545280042"},"language":"en","primary_location":{"id":"pmh:oai:publications.aston.ac.uk:15533","is_oa":true,"landing_page_url":"https://publications.aston.ac.uk/view/author/84332758cf5d42582fd2ab5d8f9ce1ad.html>","pdf_url":"https://publications.aston.ac.uk/id/eprint/15533/1/jucs_16_18_2597_2628_konecny.pdf","source":{"id":"https://openalex.org/S4306400483","display_name":"Aston Publications Explorer (Aston University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169199633","host_organization_name":"Aston University","host_organization_lineage":["https://openalex.org/I169199633"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://publications.aston.ac.uk/id/eprint/15533/1/jucs_16_18_2597_2628_konecny.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091894566","display_name":"Amin Farjudian","orcid":"https://orcid.org/0000-0002-1879-0763"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Amin Farjudian","raw_affiliation_strings":["Computer Science"],"affiliations":[{"raw_affiliation_string":"Computer Science","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046876389","display_name":"Michal Kone\u010dn\u00fd","orcid":"https://orcid.org/0000-0003-2374-9017"},"institutions":[{"id":"https://openalex.org/I169199633","display_name":"Aston University","ror":"https://ror.org/05j0ve876","country_code":"GB","type":"education","lineage":["https://openalex.org/I169199633"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michal Kone\u010dn\u00fd","raw_affiliation_strings":["Aston University,"],"affiliations":[{"raw_affiliation_string":"Aston University,","institution_ids":["https://openalex.org/I169199633"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5091894566"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2888,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.59390338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9973999857902527,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9973999857902527,"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/T12029","display_name":"DNA and Biological Computing","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.5927830934524536},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5927066802978516},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.38407596945762634},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37839674949645996},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.35719695687294006}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5927830934524536},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5927066802978516},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.38407596945762634},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37839674949645996},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.35719695687294006}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:publications.aston.ac.uk:15533","is_oa":true,"landing_page_url":"https://publications.aston.ac.uk/view/author/84332758cf5d42582fd2ab5d8f9ce1ad.html>","pdf_url":"https://publications.aston.ac.uk/id/eprint/15533/1/jucs_16_18_2597_2628_konecny.pdf","source":{"id":"https://openalex.org/S4306400483","display_name":"Aston Publications Explorer (Aston University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169199633","host_organization_name":"Aston University","host_organization_lineage":["https://openalex.org/I169199633"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:zenodo.org:7001422","is_oa":true,"landing_page_url":"https://zenodo.org/record/7001422","pdf_url":"https://zenodo.org/record/7001422","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"JUCS - Journal of Universal Computer Science 16((18)) 2597-2628","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.3217/jucs-016-18-2597","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-016-18-2597","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:publications.aston.ac.uk:15533","is_oa":true,"landing_page_url":"https://publications.aston.ac.uk/view/author/84332758cf5d42582fd2ab5d8f9ce1ad.html>","pdf_url":"https://publications.aston.ac.uk/id/eprint/15533/1/jucs_16_18_2597_2628_konecny.pdf","source":{"id":"https://openalex.org/S4306400483","display_name":"Aston Publications Explorer (Aston University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169199633","host_organization_name":"Aston University","host_organization_lineage":["https://openalex.org/I169199633"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4948838849","display_name":"Computing with arbitrary precision curves","funder_award_id":"EP/C01037X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1545280042.pdf","grobid_xml":"https://content.openalex.org/works/W1545280042.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W172574711","https://openalex.org/W285242605","https://openalex.org/W1580166056","https://openalex.org/W1597755753","https://openalex.org/W1824467726","https://openalex.org/W2067495881","https://openalex.org/W2079735866","https://openalex.org/W2126160338","https://openalex.org/W2165446401","https://openalex.org/W2914212232"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2788308474"],"abstract_inverted_index":{"We":[0,25,41],"address":[1],"the":[2,27,70,96,100,104,130,143,158,165,208],"question":[3],"of":[4,30,35,47,79,121,127,150,160,169,173,187,234],"how":[5,204],"to":[6,55,129,181,190,214,224],"communicate":[7],"among":[8],"distributed":[9],"processes":[10,54,72],"valuessuch":[11],"as":[12,67,90,119,138],"real":[13],"numbers,":[14],"continuous":[15,92],"functions":[16],"and":[17,62,81,167,184],"geometrical":[18],"solids":[19],"with":[20,59],"arbitrary":[21],"precision,":[22],"yet":[23],"efficiently.":[24],"extend":[26],"established":[28],"concept":[29,172],"lazy":[31],"communication":[32],"using":[33,45,142],"streams":[34],"approximants":[36],"by":[37,69,176],"introducing":[38],"explicit":[39],"queries.":[40,74,162],"formalise":[42],"this":[43],"approach":[44],"protocols":[46,52],"a":[48,91,185,199,205],"query-answer":[49],"nature.":[50],"Such":[51],"enable":[53],"provide":[56],"valid":[57],"approximations":[58,128],"certain":[60,65],"accuracy":[61],"focusing":[63],"on":[64],"locality":[66],"demanded":[68],"receiving":[71],"through":[73],"A":[75,230],"lattice-theoretic":[76],"denotational":[77],"semantics":[78],"channel":[80],"process":[82,200,206],"behaviour":[83],"is":[84,88,136,154,237],"developed.":[85],"Thequery":[86],"space":[87],"modelled":[89],"lattice":[93],"in":[94],"which":[95],"top":[97,144],"element":[98],"denotes":[99],"query":[101,135,183],"demanding":[102,111],"all":[103],"information,":[105],"whereas":[106],"other":[107],"elements":[108,120],"denote":[109],"queries":[110],"partial":[112],"and/or":[113],"local":[114],"information.":[115],"Answers":[116],"are":[117],"interpreted":[118],"lattices":[122],"constructed":[123],"over":[124],"suitable":[125],"domains":[126],"exact":[131],"objects.":[132],"An":[133],"unanswered":[134],"treated":[137],"an":[139,170,178],"error":[140],"anddenoted":[141],"element.":[145],"The":[146],"major":[147],"novel":[148],"characteristic":[149],"our":[151,235],"semantic":[152],"model":[153,236],"that":[155],"it":[156],"reflects":[157],"dependency":[159],"answerson":[161],"This":[163],"enables":[164],"definition":[166],"analysis":[168],"appropriate":[171],"convergence":[174,209],"rate,":[175],"assigning":[177],"effort":[179],"indicator":[180],"each":[182],"measure":[186],"information":[188],"content":[189],"eachanswer.":[191],"Thus":[192],"we":[193],"capture":[194,225],"not":[195],"only":[196],"what":[197],"function":[198],"computes,":[201],"but":[202],"also":[203],"transforms":[207],"rates":[210],"from":[211],"its":[212,215],"inputs":[213],"outputs.":[216],"In":[217],"future":[218],"work":[219],"these":[220],"indicatorscan":[221],"be":[222],"used":[223],"further":[226],"computational":[227],"complexity":[228],"measures.":[229],"robust":[231],"prototype":[232],"implementation":[233],"available.":[238]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2016-06-24T00:00:00"}