{"id":"W4205548359","doi":"10.1016/j.tcs.2006.01.028","title":"Sequential?","year":2006,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Université du Québec à Montréal","keywords":"Undecidable problem; Multiplicity (mathematics); Idempotence; Semiring; Automaton; Mathematics; Series (stratigraphy); Discrete mathematics; Algebra over a field; Pure mathematics; Combinatorics; Computer science; Decidability; Theoretical computer science; Geometry","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001197226,0.0001555307,0.0001496048,0.0001606839,0.0003799079,0.0006341842,0.002871829,0.00003908262,0.00007076962],"category_scores_gemma":[0.00001995807,0.0001242122,0.00006596502,0.00108447,0.002164765,0.0008088613,0.001068104,0.0001251702,0.0002595744],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004711987,"about_ca_system_score_gemma":0.00008709745,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001108025,"about_ca_topic_score_gemma":4.206454e-7,"domain_scores_codex":[0.9978255,0.00007023202,0.0002329616,0.000650176,0.000627883,0.0005932523],"domain_scores_gemma":[0.9986616,0.0001253073,0.00005021929,0.0009026515,0.0001040612,0.0001561365],"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.000001101105,0.0000363318,0.00002684803,0.000001846765,9.314368e-7,0.00001641441,0.00003942988,0.00008548859,0.002270357,0.9771988,0.0002104899,0.02011193],"study_design_scores_gemma":[0.0001099938,0.00004870911,0.0008198881,0.00000816484,0.000001529143,0.00005042079,0.000001039806,0.3659542,0.01172088,0.6206767,0.0004390136,0.0001694414],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03196288,0.000030402,0.9486616,0.0008787669,0.0006761474,0.0000795005,7.072051e-7,0.0004943428,0.01721569],"genre_scores_gemma":[0.8404344,7.779441e-7,0.1587466,0.0005581967,0.0002212405,0.00000316337,5.929741e-7,0.000005612608,0.00002938831],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8084716,"threshold_uncertainty_score":0.7976168,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00672751249240781,"score_gpt":0.2255857778293341,"score_spread":0.2188582653369263,"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."}}