{"id":"https://openalex.org/W7224990923","doi":"https://doi.org/10.5281/zenodo.23839543","title":"Courier Reachability and a Fixed-Time Third Service in Autonomous Source Refresh","display_name":"Courier Reachability and a Fixed-Time Third Service in Autonomous Source Refresh","publication_year":2026,"publication_date":"2026-10-31","ids":{"openalex":"https://openalex.org/W7224990923","doi":"https://doi.org/10.5281/zenodo.23839543"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23839543","doi":"https://doi.org/10.5281/zenodo.23839543","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23839543","pdf_url":null,"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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23839543","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133402233","display_name":"Qingchun Zhang","orcid":"https://orcid.org/0009-0008-0389-1474","observed_orcids":["https://orcid.org/0009-0008-0389-1474"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhang, Qingchun","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":"https://orcid.org/0009-0008-0389-1474","affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5133402233"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T10126","display_name":"Logic, programming, and type systems","score":0.31929999589920044,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.31929999589920044,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.2797999978065491,"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/T11567","display_name":"semigroups and automata theory","score":0.05700000002980232,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/energy-correlations","display_name":"energy correlations","score":0.6460000276565552},{"id":"https://openalex.org/keywords/functional-maps","display_name":"functional maps","score":0.6119999885559082},{"id":"https://openalex.org/keywords/exact-arithmetic","display_name":"exact arithmetic","score":0.5640000104904175}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7348999977111816},{"id":"https://openalex.org/C2778217198","wikidata":"https://www.wikidata.org/wiki/Q556977","display_name":"Cutoff","level":2,"score":0.5759000182151794},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47350001335144043},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.4602999985218048},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.4009000062942505},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.36820000410079956},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36329999566078186},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.3630000054836273},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.3564999997615814},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3544999957084656},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.33489999175071716},{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.33329999446868896},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.32850000262260437},{"id":"https://openalex.org/C2778920669","wikidata":"https://www.wikidata.org/wiki/Q5400688","display_name":"Estate planning","level":3,"score":0.3278999924659729},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.3237999975681305},{"id":"https://openalex.org/C116537","wikidata":"https://www.wikidata.org/wiki/Q2169973","display_name":"Service provider","level":3,"score":0.32269999384880066},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.31709998846054077},{"id":"https://openalex.org/C50601946","wikidata":"https://www.wikidata.org/wiki/Q962928","display_name":"Stockout","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.29789999127388},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2870999872684479},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2825999855995178},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.273499995470047},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.25929999351501465},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23839543","doi":"https://doi.org/10.5281/zenodo.23839543","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23839543","pdf_url":null,"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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23839544","doi":"https://doi.org/10.5281/zenodo.23839544","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23839544","pdf_url":null,"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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23839543","doi":"https://doi.org/10.5281/zenodo.23839543","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23839543","pdf_url":null,"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,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225014997","https://openalex.org/W7223567359","https://openalex.org/W7224166315","https://openalex.org/W7213666069","https://openalex.org/W7224119776","https://openalex.org/W70223666","https://openalex.org/W7162243316","https://openalex.org/W7204687600","https://openalex.org/W7203963819","https://openalex.org/W7203986068"],"abstract_inverted_index":{"Completion":[0],"of":[1,43,236],"an":[2,44],"apparatus's":[3],"main":[4,96,110],"processing":[5],"block":[6],"does":[7],"not":[8,219],"establish":[9],"that":[10,91,261],"its":[11,51,143,249],"courier":[12,59,119],"completes":[13],"receiving":[14,189],"before":[15,74,79],"a":[16,26,61,148],"prescribed":[17],"service":[18],"clock.":[19],"We":[20],"close":[21],"this":[22,107],"remaining":[23],"obligation":[24],"for":[25],"retained":[27,163],"68-coordinate":[28],"autonomous":[29],"source-refresh":[30],"family":[31],"with":[32,72,158,228],"finite":[33,215],"supplies":[34],"installed":[35],"at":[36],"the":[37,80,99,109,118,131,154,159,165,196,205,253],"original":[38],"preparation.":[39],"Exact":[40],"interval":[41],"validation":[42],"earlier":[45],"occupancy":[46],"and":[47,55,67,78,93,117,180,191,209,212,239,248,256],"recovery":[48],"prefix":[49],"preserves":[50,142],"actual":[52,87,140,160],"energy":[53],"correlations":[54],"places":[56],"every":[57],"admitted":[58],"on":[60],"forward":[62],"harmonic":[63],"branch.":[64],"Receiving":[65],"onset":[66],"cutoff":[68,73,141],"then":[69],"occur":[70],"uniquely,":[71],"model":[75],"time":[76],"139.0345":[77],"next":[81],"negative":[82],"main-wall":[83],"entry.":[84],"The":[85,183,202,222],"same":[86],"state":[88],"continues":[89],"through":[90],"wall":[92,198],"three":[94,192],"outgoing":[95,193],"waves":[97],"to":[98],"unchanged":[100],"fixed":[101],"readout":[102],"T3*":[103],"=":[104],"706661551305064777/4503599627370496.":[105],"At":[106],"clock":[108],"lies":[111],"in":[112,120,164,246],"(4":[113],"ell,":[114,122],"5":[115],"ell)":[116],"(3":[121],"4":[123],"ell);":[124],"all":[125,172],"relevant":[126],"source":[127,185,226,255],"guards":[128],"hold":[129],"along":[130],"intervening":[132],"path.":[133],"Orthogonal":[134],"free":[135],"transport":[136],"after":[137],"each":[138],"member's":[139],"port-error":[144],"norm":[145],"exactly,":[146],"yielding":[147],"joint":[149],"error":[150],"below":[151],"0.000372":[152],"against":[153],"required":[155],"tolerance":[156],"0.01,":[157],"previous":[161],"resident":[162],"reference.":[166],"A":[167,232],"complete":[168],"functional":[169],"map":[170],"advances":[171],"68":[173],"coordinates,":[174],"including":[175],"both":[176],"histories,":[177],"archives,":[178],"routers,":[179],"paid":[181],"clocks.":[182],"incremental":[184],"account":[186],"contains":[187],"one":[188,214],"debit":[190],"upper-trace":[194],"debits;":[195],"continuous":[197],"adds":[199],"no":[200],"trace.":[201],"result":[203],"retains":[204],"inherited":[206],"source,":[207],"membership,":[208],"preparation":[210],"premises":[211],"establishes":[213],"supplied":[216],"third":[217],"service,":[218],"arbitrary":[220],"repeatability.":[221],"proof":[223],"combines":[224],"written":[225],"analysis":[227],"reproducible":[229],"exact":[230],"arithmetic.":[231],"specified":[233],"supporting":[234],"subset":[235],"rational":[237],"witnesses":[238],"abstract":[240],"algebraic":[241],"lemmas":[242],"has":[243],"been":[244],"executed":[245],"Lean":[247],"returned":[250],"evidence":[251],"assessed;":[252],"physical":[254],"validated-numerics":[257],"arguments":[258],"remain":[259],"outside":[260],"subset.":[262]},"counts_by_year":[],"updated_date":"2026-11-02T09:45:03.842371","created_date":"2026-11-01T00:00:00"}