{"id":"W1835137587","doi":"10.1007/978-3-642-04027-6_16","title":"On the Word Problem for ${\\it \\Sigma\\Pi}$ -Categories, and the Properties of Two-Way Communication","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Sigma; Word (group theory); Pi; Natural language processing; Artificial intelligence; Linguistics; Mathematics; Philosophy; Physics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002439129,0.0003424668,0.0004137002,0.0001923711,0.0004841503,0.0004717931,0.003946963,0.0001243725,0.00000317097],"category_scores_gemma":[0.00012316,0.000173338,0.0001027768,0.0003066342,0.001990243,0.0002956594,0.0008782686,0.0004946917,0.000001994094],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006610129,"about_ca_system_score_gemma":0.0001891067,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002666987,"about_ca_topic_score_gemma":0.00004745156,"domain_scores_codex":[0.9978795,0.0001136765,0.000451413,0.0006734441,0.0005337577,0.000348197],"domain_scores_gemma":[0.9957939,0.001825943,0.0003687428,0.001764212,0.0001998019,0.00004741399],"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.00002219438,0.00001396219,7.788631e-7,0.00002501224,0.000008232519,6.014907e-7,0.001922335,0.002084154,0.00006867274,0.6598713,0.00004070125,0.335942],"study_design_scores_gemma":[0.0004438625,0.0001153106,0.000008323093,0.0005322581,0.000009211967,0.00001439323,0.000001447717,0.213345,0.001746771,0.7823309,0.001219328,0.0002331327],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002195444,0.001990179,0.9814664,0.01238626,0.0002404461,0.001186173,0.000002445759,0.00006872012,0.00243982],"genre_scores_gemma":[0.8660037,0.0002330274,0.1266408,0.006254297,0.0001679426,0.00008471224,0.000003351029,0.00003006831,0.0005821558],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8657841,"threshold_uncertainty_score":0.7334505,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02236925122544508,"score_gpt":0.2297262105053634,"score_spread":0.2073569592799183,"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."}}