{"id":"W4414772389","doi":"10.1007/978-3-032-01570-9_6","title":"On Gottschalk’s Surjunctivity Conjecture for Non-uniform Cellular Automata","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cellular Automata and Applications","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Conjecture; Cellular automaton; Alphabet; Group (periodic table); Invertible matrix; Class (philosophy); Automata theory","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.001403259,0.0007179843,0.001334149,0.001289349,0.003548612,0.004911888,0.001676228,0.002204885,0.008870751],"category_scores_gemma":[0.005892923,0.001044806,0.002120437,0.001751158,0.006151902,0.01080574,0.003749665,0.005380925,0.001335746],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002511593,"about_ca_system_score_gemma":0.0009543757,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003880009,"about_ca_topic_score_gemma":0.002917696,"domain_scores_codex":[0.9985747,0.0002849717,0.00008375035,0.0004783062,0.0002948603,0.0002833522],"domain_scores_gemma":[0.9963431,0.002353617,0.0001271572,0.0006252404,0.0004119535,0.0001389167],"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.00002814206,0.000008916146,0.0001208662,0.00004097334,0.000007211905,0.00006213711,0.0002180844,0.001320884,0.0002486954,0.9945349,0.001076203,0.002333135],"study_design_scores_gemma":[0.000008008251,0.000005231948,0.0000854625,0.00001315338,0.000007276271,0.00003549377,0.00005587257,0.001980609,0.0002950145,0.9950463,0.002460571,0.000007084977],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3049834,0.005229974,0.2038175,0.007886199,0.001321101,0.000126408,0.0006882201,0.000611331,0.475336],"genre_scores_gemma":[0.9241586,0.001764928,0.0155048,0.001345004,0.0004558665,0.0001660534,0.0005528023,0.0002928657,0.05575901],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008870751,"threshold_uncertainty_score":0.0296756,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01230964675584728,"score_gpt":0.2414519428628394,"score_spread":0.2291422961069922,"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."}}