{"id":"https://openalex.org/W7225239170","doi":"https://doi.org/10.5281/zenodo.23955447","title":"Invariant-Core Expressive Realization Theory (ICERT): A Formal Framework for Core-Preserving Expression Generation, Cardinality, Structural Diversity and Functional Invariance","display_name":"Invariant-Core Expressive Realization Theory (ICERT): A Formal Framework for Core-Preserving Expression Generation, Cardinality, Structural Diversity and Functional Invariance","publication_year":2026,"publication_date":"2026-11-04","ids":{"openalex":"https://openalex.org/W7225239170","doi":"https://doi.org/10.5281/zenodo.23955447"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23955447","doi":"https://doi.org/10.5281/zenodo.23955447","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23955447","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23955447","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152320903","display_name":"Shamiul Hoque Shan","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Shan, Shamiul Hoque","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5152320903"],"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/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":0.8935999870300293,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":0.8935999870300293,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.07519999891519547,"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"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.018300000578165054,"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":[],"concepts":[{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.564300000667572},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.5238000154495239},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.517300009727478},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5146999955177307},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5116999745368958},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4909000098705292},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.42640000581741333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41449999809265137},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.40790000557899475},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.36000001430511475},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3538999855518341},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.3431999981403351},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.33500000834465027},{"id":"https://openalex.org/C193125573","wikidata":"https://www.wikidata.org/wiki/Q7449065","display_name":"Semantic interpretation","level":2,"score":0.31940001249313354},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3142000138759613},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.29910001158714294},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.29809999465942383},{"id":"https://openalex.org/C52622258","wikidata":"https://www.wikidata.org/wiki/Q131222","display_name":"Information theory","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.27709999680519104},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.27639999985694885},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2709999978542328},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.26840001344680786},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2630999982357025},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2603999972343445},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23955447","doi":"https://doi.org/10.5281/zenodo.23955447","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23955447","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23955448","doi":"https://doi.org/10.5281/zenodo.23955448","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23955448","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23955447","doi":"https://doi.org/10.5281/zenodo.23955447","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23955447","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-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1,143,221],"specifies":[2],"the":[3,34,39,42,50,71,119,126,142,165,174],"Invariant-Core":[4],"Expressive":[5],"Realization":[6],"Theory":[7],"(ICERT),":[8],"a":[9,20,59,96,106,183,223,232],"formal":[10,197,224,260],"framework":[11,117],"for":[12,241],"investigating":[13],"how":[14],"many":[15],"distinct":[16,214],"expressions":[17],"can":[18],"represent":[19],"specified":[21],"semantic":[22,129,254],"or":[23,186],"functional":[24,269],"core":[25,76,135],"while":[26],"preserving":[27],"designated":[28],"properties.":[29],"Its":[30,91],"motivating":[31],"case":[32],"contrasts":[33],"positive-attitude":[35],"expression":[36,45,84,256],"\"I":[37,46],"like":[38],"subject\"":[40],"with":[41],"negated":[43],"negative-attitude":[44],"do":[47,64,180],"not":[48,65,181],"dislike":[49],"subject.\"":[51],"The":[52,116,220],"two":[53],"forms":[54,124],"may":[55],"be":[56],"compatible":[57],"in":[58,190],"given":[60],"context,":[61,110],"but":[62],"they":[63],"generally":[66],"express":[67],"identical":[68],"commitments.ICERT":[69],"separates":[70],"specification":[72,226],"of":[73,121,128,167,216,234],"an":[74],"invariant":[75],"from":[77,125,137],"candidate":[78],"generation,":[79],"admissibility":[80,114],"testing,":[81],"equivalence":[82,130,147,217,263],"classification,":[83],"counting,":[85,156],"structural-diversity":[86],"measurement":[87],"and":[88,113,132,164,208,227,249],"empirical":[89,236],"validation.":[90],"principal":[92],"counting":[93],"object":[94],"is":[95,102,222,252],"constrained":[97,258],"realization":[98],"set,":[99],"whose":[100],"cardinality":[101,149],"defined":[103],"relative":[104],"to":[105],"declared":[107],"grammar,":[108],"vocabulary,":[109],"feature":[111],"selection":[112],"policy.":[115],"distinguishes":[118,133],"number":[120,127],"admissible":[122],"surface":[123],"classes":[131],"exact":[134],"preservation":[136],"approximate":[138],"similarity.Under":[139],"explicit":[140],"assumptions,":[141],"establishes":[144],"results":[145,179],"concerning":[146],"relations,":[148],"bounds,":[150,161],"monotonicity":[151],"under":[152,176],"nested":[153],"constraints,":[154],"finite-state":[155],"normalized":[157],"discrepancy":[158],"scores,":[159],"entropy":[160],"transformation":[162],"composition":[163],"correctness":[166],"finite":[168,265],"enumeration":[169],"algorithms.":[170],"It":[171],"also":[172],"identifies":[173],"conditions":[175],"which":[177],"these":[178],"imply":[182],"universal":[184],"count":[185],"guarantee":[187],"accurate":[188],"interpretation":[189],"unrestricted":[191],"natural":[192],"language.The":[193],"resulting":[194],"architecture":[195],"connects":[196],"semantics,":[198],"logic,":[199],"set":[200],"theory,":[201,203],"formal-language":[202],"computational":[204],"linguistics,":[205],"information":[206,267],"theory":[207],"system-theoretic":[209],"modelling":[210],"without":[211],"treating":[212],"their":[213],"notions":[215],"as":[218],"interchangeable.":[219],"theoretical":[225],"proof":[228],"dossier":[229],"rather":[230],"than":[231],"report":[233],"completed":[235],"experiments.":[237],"A":[238],"research":[239],"protocol":[240],"implementation,":[242],"human":[243],"annotation,":[244],"metric":[245],"validation,":[246],"falsification,":[247],"reproducibility":[248],"subsequent":[250],"publication":[251],"provided.**Keywords:**":[253],"invariance;":[255],"realization;":[257],"enumeration;":[259],"semantics;":[261],"paraphrase;":[262],"relations;":[264],"automata;":[266],"theory;":[268],"preservation;":[270],"ICERT.":[271]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-11-05T00:00:00"}