{"id":"W2025639547","doi":"10.1016/j.tcs.2006.05.034","title":"Progressive solutions to a parallel automata equation","year":2006,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Component (thermodynamics); Automaton; Block (permutation group theory); Mathematics; Action (physics); Cellular automaton; Computer science; Algorithm; Applied mathematics; Theoretical computer science; Combinatorics; Physics; Thermodynamics","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.001431734,0.0001899282,0.0001775347,0.0002485072,0.0006491585,0.0007304417,0.002704075,0.00004739804,0.00003487799],"category_scores_gemma":[0.00007386639,0.0001572064,0.00006343817,0.00162492,0.001293139,0.0008720757,0.00152182,0.0001250507,0.0003692534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008549159,"about_ca_system_score_gemma":0.0001384508,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000108956,"about_ca_topic_score_gemma":6.684763e-7,"domain_scores_codex":[0.9972091,0.0001004072,0.0003013442,0.0007924669,0.0007863091,0.0008104215],"domain_scores_gemma":[0.9982631,0.0001897275,0.00007334132,0.001023566,0.0001856962,0.0002645696],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003550614,0.00008897619,0.00001098255,0.000002521781,0.000001510301,0.00001683953,0.0001492973,0.001188303,0.0005532809,0.9729133,0.000409638,0.02466181],"study_design_scores_gemma":[0.0001416787,0.000113662,0.001271353,0.00002021568,0.000002148638,0.00004146796,0.000002557362,0.602191,0.0007633468,0.3951288,0.0001470589,0.0001767933],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01578047,0.00003442011,0.9756262,0.00341052,0.0004425239,0.0002915042,0.000002134227,0.0006723753,0.003739867],"genre_scores_gemma":[0.6704886,3.158732e-7,0.3288004,0.0005216739,0.0001419728,0.00002417358,0.000001481192,0.000005790874,0.00001557577],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6547081,"threshold_uncertainty_score":0.7043666,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01557241781774474,"score_gpt":0.2521227020038838,"score_spread":0.236550284186139,"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."}}