{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001191925,0.0008122242,0.0005828439,0.0006627669,0.001699154,0.00331512,0.001000032,0.001170207,0.111768],"category_scores_gemma":[0.005644113,0.0005442825,0.000757942,0.0008464802,0.002719689,0.01048687,0.002467819,0.001918129,0.02355289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001036231,"about_ca_system_score_gemma":0.001087952,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001455444,"about_ca_topic_score_gemma":0.001307861,"domain_scores_codex":[0.9982638,0.0003399825,0.0001040456,0.0007659958,0.0003246141,0.0002015848],"domain_scores_gemma":[0.9971153,0.0008351756,0.0001903166,0.001037434,0.0005992821,0.0002225604],"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.00007653906,0.00002180335,0.000305537,0.00007204064,0.000009005282,0.00009584688,0.0002919477,0.0002282016,0.0006569846,0.9498717,0.0216893,0.02668115],"study_design_scores_gemma":[0.00002148063,0.00001972072,0.0001798256,0.00002832859,0.00001144652,0.0002723974,0.0002194424,0.00152014,0.001023361,0.8562176,0.1404744,0.00001184092],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02069809,0.0007438713,0.1881416,0.009543252,0.001730085,0.0001598381,0.001785892,0.002030982,0.7751665],"genre_scores_gemma":[0.4677843,0.0009242526,0.06362705,0.00318247,0.001213319,0.000257478,0.002014616,0.001410951,0.4595855],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.111768,"threshold_uncertainty_score":0.3739012,"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."}}