{"id":"W2336446049","doi":"10.1142/s0129054115400067","title":"Large Aperiodic Semigroups","year":2015,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Aperiodic graph; Semigroup; Mathematics; Unitary state; Special classes of semigroups; Tree (set theory); Quotient; Krohn–Rhodes theory; Discrete mathematics; State (computer science); Bicyclic semigroup; Pure mathematics; Combinatorics; Monoid; Algorithm","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.0008170253,0.0001979383,0.0003492474,0.0006002365,0.0007045738,0.0009593177,0.0004181014,0.0002938739,0.00195092],"category_scores_gemma":[0.002722185,0.0002062049,0.0004885629,0.0003375261,0.001507011,0.001776247,0.0008255415,0.0004986661,0.00020359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003746775,"about_ca_system_score_gemma":0.0004702998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001634658,"about_ca_topic_score_gemma":0.0001949793,"domain_scores_codex":[0.9994205,0.000114079,0.00004147797,0.0002109533,0.0001491103,0.00006381509],"domain_scores_gemma":[0.9969243,0.001882484,0.0003428105,0.000306697,0.0002552722,0.000288332],"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.000108503,0.00004982099,0.002119863,0.0001574697,0.0000157705,0.0004876336,0.0006357221,0.008291957,0.02477743,0.9420847,0.0006340813,0.02063701],"study_design_scores_gemma":[0.00002758319,0.0001197418,0.00137965,0.00003136726,0.00001986496,0.0006828001,0.0003061308,0.0517931,0.01038072,0.9270859,0.008147956,0.00002527222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7380623,0.0006375374,0.2450237,0.0003331318,0.00005153483,0.00006717224,0.0001573657,0.0002864949,0.01538075],"genre_scores_gemma":[0.9510564,0.0001851375,0.0458531,0.0000407573,0.00005789335,0.00005897779,0.0001498436,0.00003248222,0.002565458],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00195092,"threshold_uncertainty_score":0.00652647,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02200527659450329,"score_gpt":0.3017017854270819,"score_spread":0.2796965088325786,"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."}}