{"id":"W4402145822","doi":"10.1007/978-3-031-71112-1_10","title":"From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups","year":2024,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Emulation; Lemma (botany); Computer science; Algebra over a field; Relation (database); Interpretation (philosophy); Transformation (genetics); Theoretical computer science; Programming language; Mathematics; Pure mathematics; Data mining","routes":{"ca_aff":true,"ca_fund":false,"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.001217959,0.0004158871,0.0005714774,0.0006595053,0.001004222,0.004578154,0.001516718,0.0009654767,0.01050884],"category_scores_gemma":[0.003800564,0.0006712977,0.001169275,0.0008567346,0.003785833,0.01130566,0.002942392,0.00286999,0.001983084],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001281594,"about_ca_system_score_gemma":0.0008647207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008829634,"about_ca_topic_score_gemma":0.0008741965,"domain_scores_codex":[0.9987661,0.0004864854,0.00007447453,0.0002324566,0.0003008416,0.0001396653],"domain_scores_gemma":[0.9979368,0.00119342,0.00004916803,0.0005953888,0.0001668661,0.00005829746],"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.00002055418,0.00001130107,0.00004121306,0.00002377503,0.000003647383,0.00003744645,0.0003063027,0.0005983182,0.001071022,0.9856227,0.001138174,0.01112552],"study_design_scores_gemma":[0.00001158681,0.00001362553,0.00004713174,0.00002190204,0.00001133599,0.0001091248,0.0001060448,0.01454922,0.004209202,0.9642434,0.01666511,0.00001228693],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01974368,0.000580081,0.8832818,0.001233969,0.0002890835,0.0000539277,0.0001152638,0.002513902,0.09218826],"genre_scores_gemma":[0.7268845,0.0007333435,0.2507751,0.0005079412,0.0003252138,0.0001363056,0.0003574174,0.00157831,0.01870186],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01050884,"threshold_uncertainty_score":0.03515553,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01090973966062316,"score_gpt":0.2545275003182736,"score_spread":0.2436177606576504,"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."}}