{"id":"W2950591547","doi":"10.48550/arxiv.cs/0604104","title":"On the Shannon Covers of Certain Irreducible Constrained Systems of Finite Type","year":2006,"lang":"en","type":"preprint","venue":"ArXiv.org","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Cover (algebra); Presentation (obstetrics); FTCS scheme; Mathematics; Type (biology); Automaton; Word (group theory); Discrete mathematics; Pure mathematics; Computer science; Ordinary differential equation; Mathematical analysis; Theoretical computer science; Differential equation; Geometry; Engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000765456,0.000425243,0.0005414966,0.001213675,0.001297665,0.001480522,0.0005017275,0.0007183696,0.003731967],"category_scores_gemma":[0.003967334,0.0004399853,0.0008634651,0.0007271314,0.002040768,0.00210733,0.001705289,0.001260986,0.0002594658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001093181,"about_ca_system_score_gemma":0.0005438572,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007733905,"about_ca_topic_score_gemma":0.0007473614,"domain_scores_codex":[0.9989506,0.000267259,0.00005405281,0.0001252107,0.0003597623,0.0002431109],"domain_scores_gemma":[0.9975897,0.001521911,0.0002797686,0.0002386158,0.0001774181,0.0001925446],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001524566,0.00003426924,0.001328662,0.00008490167,0.0000282959,0.0005481687,0.001432945,0.02216398,0.009417311,0.9530653,0.0005135214,0.01123021],"study_design_scores_gemma":[0.00002469017,0.00009568615,0.001366631,0.00003479272,0.00003234177,0.0004158982,0.0003727553,0.08368186,0.007667423,0.9032624,0.002989376,0.00005616731],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8084413,0.0002449413,0.1671022,0.0003180424,0.00003096116,0.00005225939,0.0001791974,0.00023633,0.02339483],"genre_scores_gemma":[0.9841936,0.0001050895,0.01255103,0.00004518298,0.00004040478,0.00006497278,0.000120324,0.00004276391,0.002836736],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003731967,"threshold_uncertainty_score":0.01248467,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04169870009626818,"score_gpt":0.2506079333075503,"score_spread":0.2089092332112821,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}