{"id":"W1534650838","doi":"10.1007/978-3-540-39979-7_24","title":"Progressive Solutions to a Parallel Automata Equation","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Automaton; Component (thermodynamics); Block (permutation group theory); Cellular automaton; Relation (database); Theoretical computer science; Action (physics); Algorithm; Parallel computing; Mathematics; Data mining; Combinatorics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001775459,0.0004693343,0.0004085563,0.0009623906,0.0004041225,0.0005933827,0.003448127,0.0003151906,0.00001788908],"category_scores_gemma":[0.0004419163,0.0004553225,0.0001049542,0.001077974,0.0004471003,0.0009322529,0.001210454,0.0006087795,0.0001722022],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005388666,"about_ca_system_score_gemma":0.0005429856,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000778077,"about_ca_topic_score_gemma":0.000009942813,"domain_scores_codex":[0.9958069,0.00009500014,0.000585,0.001566344,0.001143311,0.0008033888],"domain_scores_gemma":[0.9967643,0.0002490848,0.0003578213,0.002008934,0.0003760617,0.000243801],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004951591,0.00004049507,0.000005423647,0.00002475714,0.000008140202,0.00003384168,0.0007944401,0.05173383,0.00007526775,0.3206037,0.0001114266,0.6265637],"study_design_scores_gemma":[0.0001946183,0.0002224514,0.00009781416,0.0002611062,0.000006879135,0.00009668147,1.313951e-7,0.7863581,0.0005614111,0.2079917,0.003572622,0.0006364689],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000009919175,0.0002597545,0.9910509,0.001574057,0.001989193,0.0008919068,0.000004507999,0.0002898015,0.003929968],"genre_scores_gemma":[0.003038426,0.00001152599,0.9945357,0.001845647,0.0001905485,0.00006482173,0.000005434208,0.00002823977,0.0002796261],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7346243,"threshold_uncertainty_score":0.9997898,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05603601345491594,"score_gpt":0.3063964163933527,"score_spread":0.2503604029384368,"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."}}