{"id":"https://openalex.org/W7225325439","doi":"https://doi.org/10.5281/zenodo.23981307","title":"Observation, Reconstruction and Justified Decisions: A unified Couret research manuscript","display_name":"Observation, Reconstruction and Justified Decisions: A unified Couret research manuscript","publication_year":2026,"publication_date":"2026-11-05","ids":{"openalex":"https://openalex.org/W7225325439","doi":"https://doi.org/10.5281/zenodo.23981307"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23981307","doi":"https://doi.org/10.5281/zenodo.23981307","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23981307","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":null,"license_id":null,"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.23981307","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5127166880","display_name":"Alexandre Couret","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Couret, Alexandre","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0000-8246-7146","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5127166880"],"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/T11567","display_name":"semigroups and automata theory","score":0.8871999979019165,"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/T11567","display_name":"semigroups and automata theory","score":0.8871999979019165,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.033799998462200165,"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/T13898","display_name":"Diverse Interdisciplinary Research Studies","score":0.017799999564886093,"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/decision-justification","display_name":"justification of decisions","score":0.7710000276565552},{"id":"https://openalex.org/keywords/query-cost","display_name":"query cost","score":0.6579999923706055},{"id":"https://openalex.org/keywords/sequential-memory","display_name":"sequential memory","score":0.875},{"id":"https://openalex.org/keywords/algebraic-representation","display_name":"algebraic representation","score":0.9290000200271606},{"id":"https://openalex.org/keywords/convolution","display_name":"convolution","score":0.781000018119812},{"id":"https://openalex.org/keywords/finite-state-machines","display_name":"finite automata","score":0.7229999899864197},{"id":"https://openalex.org/keywords/saturation-threshold","display_name":"saturation threshold","score":0.597000002861023},{"id":"https://openalex.org/keywords/chinese-remainder-theorem","display_name":"Chinese remainder theorem","score":0.7760000228881836},{"id":"https://openalex.org/keywords/block-density","display_name":"block density","score":0.5600000023841858}],"concepts":[{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.5927000045776367},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5891000032424927},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5234000086784363},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5077999830245972},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47870001196861267},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44940000772476196},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.42989999055862427},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40959998965263367},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3950999975204468},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3783999979496002},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.37220001220703125},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3700999915599823},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35600000619888306},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35179999470710754},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.33469998836517334},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.3154999911785126},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3068000078201294},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.27880001068115234},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.2680000066757202},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2578999996185303},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2540000081062317},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23981307","doi":"https://doi.org/10.5281/zenodo.23981307","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23981307","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23981308","doi":"https://doi.org/10.5281/zenodo.23981308","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23981308","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23981307","doi":"https://doi.org/10.5281/zenodo.23981307","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23981307","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":null,"license_id":null,"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":1,"referenced_works":["https://openalex.org/W7225317020"],"related_works":["https://openalex.org/W7203616658","https://openalex.org/W7214725413","https://openalex.org/W7204158035","https://openalex.org/W7133526089","https://openalex.org/W1943119022","https://openalex.org/W7212428018","https://openalex.org/W7213457989","https://openalex.org/W7214925754","https://openalex.org/W392884472","https://openalex.org/W7202354659"],"abstract_inverted_index":{"UNREVIEWED":[0],"RESEARCH":[1],"MANUSCRIPT":[2],"/":[3],"NOT":[4],"PEER":[5],"REVIEWED.":[6],"This":[7,210],"unified":[8],"manuscript":[9,63,211,223],"asks":[10],"what":[11],"a":[12,18,53,65,96,104,121,136,235,287],"representation":[13],"must":[14],"preserve":[15],"to":[16],"justify":[17],"specified":[19],"decision.":[20],"It":[21],"connects":[22],"finite":[23,144,149],"additive":[24],"reconstruction,":[25],"task-specific":[26],"query":[27],"costs,":[28],"sequential":[29],"memory":[30],"and":[31,38,48,70,78,103,114,141,154,183,199,212,224,239,276],"constrained":[32,98],"algebraic":[33,173],"representations":[34],"through":[35],"explicit":[36,274],"observation":[37],"preservation":[39],"contracts.":[40],"The":[41,61,124,195,219,230],"proposed":[42],"contribution":[43],"is":[44,176,202,233,263,271],"the":[45,74,84,90,172,240],"inspectable":[46],"arrangement":[47],"its":[49,79],"worked":[50],"bridges,":[51],"not":[52,188,228,234,285],"claim":[54],"that":[55,216],"all":[56],"branches":[57],"are":[58,187,227],"mathematically":[59],"equivalent.":[60],"14-page":[62],"includes":[64],"written":[66],"small-state":[67],"no-adaptivity":[68],"theorem":[69],"exact":[71,241],"convolution":[72],"cases;":[73],"BC-MOD30":[75],"147-state":[76],"machine":[77],"minimal":[80],"101-state":[81],"future-output":[82],"quotient;":[83],"distinct":[85,159],"optimal":[86],"six-factor":[87],"saturation":[88],"threshold;":[89],"reported":[91],"minimum":[92],"length":[93],"47":[94],"for":[95,178],"precisely":[97],"A10/F2":[99],"local-algebra":[100],"embedding":[101],"problem;":[102],"source-critical":[105],"modern":[106],"CRT":[107],"study":[108],"with":[109,120,191],"64":[110],"realized":[111],"answer":[112],"signatures":[113],"fixed-block":[115],"density":[116],"limitations.":[117],"English":[118],"text":[119],"French":[122],"abstract.":[123],"companion":[125,214],"ZIP":[126],"contains":[127],"349":[128],"files:":[129],"mathematical":[130],"source":[131,157,217],"snapshots,":[132],"certificates,":[133],"historical":[134,151,231],"receipts,":[135],"claim/evidence":[137],"map,":[138],"reproduction":[139],"instructions":[140],"five":[142],"fresh":[143],"checker":[145],"runs.":[146],"Written":[147],"proofs,":[148],"computations,":[150],"Lean":[152,166],"compilations":[153],"uncompiled":[155],"formal":[156],"retain":[158,278],"statuses.":[160],"DecisionInterface.lean":[161],"remains":[162,248],"SOURCE_ONLY_UNCOMPILED.":[163],"No":[164,250],"new":[165,267,288],"compilation":[167],"or":[168,259],"complete":[169,236],"rerun":[170],"of":[171,243],"exhaustive":[174],"dependency":[175],"claimed":[177],"this":[179],"assembly.":[180],"Scientific":[181],"priority":[182],"independent":[184],"human":[185],"review":[186],"established.":[189],"Prepared":[190],"substantial":[192],"AI":[193],"assistance.":[194],"earlier":[196],"STROBO-4,":[197],"singleton-collision":[198],"RECOH":[200],"archive":[201],"referenced":[203],"at":[204],"https://zenodo.org/records/23980513":[205],"(DOI":[206],"10.5281/zenodo.23980513),":[207],"without":[208],"duplication.":[209],"additional":[213],"complement":[215],"deposit.":[218],"unpublished":[220],"joint":[221],"Couret-Koyama":[222],"private":[225],"correspondence":[226],"redistributed.":[229],"chapter":[232],"critical":[237],"edition,":[238],"definition":[242],"Bernard":[244],"Couret's":[245],"regression":[246],"coefficients":[247],"unidentified.":[249],"general":[251],"analytic":[252],"asymptotic,":[253],"RH":[254],"result,":[255],"industrial":[256],"safety":[257],"guarantee":[258],"FCI":[260],"competitive":[261],"advantage":[262],"claimed.":[264],"Rights:":[265],"no":[266],"blanket":[268],"reuse":[269,289],"licence":[270],"granted.":[272],"Existing":[273],"licences":[275],"notices":[277],"their":[279],"scope;":[280],"previously":[281],"unlicensed":[282],"files":[283],"do":[284],"acquire":[286],"licence.":[290],"See":[291],"RIGHTS.txt.":[292]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-11-06T00:00:00"}