{"id":"W2076471571","doi":"10.4204/eptcs.90.9","title":"On the Parity Problem in One-Dimensional Cellular Automata","year":2012,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Cellular Automata and Applications","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Correctness; Parity (physics); Mathematics; Cellular automaton; Existential quantification; RADIUS; Neighbourhood (mathematics); Combinatorics; Discrete mathematics; Computer science; Algorithm; Physics; Mathematical analysis; Quantum mechanics","routes":{"ca_aff":true,"ca_fund":true,"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.002221713,0.000419361,0.0009266876,0.0005635112,0.001352087,0.001718453,0.001495807,0.00188474,0.002178216],"category_scores_gemma":[0.01722648,0.0003818519,0.0009492863,0.0004358293,0.004288473,0.003411591,0.002686028,0.001799668,0.0004504076],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009581133,"about_ca_system_score_gemma":0.0008126372,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001549233,"about_ca_topic_score_gemma":0.0008375539,"domain_scores_codex":[0.9986771,0.0004972276,0.0001299772,0.0002298748,0.0003019444,0.0001639326],"domain_scores_gemma":[0.9931335,0.004759365,0.0004021484,0.000795168,0.0005930338,0.0003167605],"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.0001622199,0.00005625305,0.001835418,0.0001578806,0.00002461388,0.0004336417,0.0005189831,0.1973956,0.005873207,0.7715752,0.0009503771,0.02101657],"study_design_scores_gemma":[0.00003874814,0.00006231247,0.0001182087,0.00002510027,0.00001076946,0.0001139532,0.00008722417,0.3938653,0.003270941,0.6014025,0.0009802351,0.0000248586],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3108171,0.0005317343,0.6627043,0.001484252,0.00019591,0.0001055618,0.00009728791,0.000599615,0.02346436],"genre_scores_gemma":[0.8627664,0.0003939021,0.1308312,0.000338086,0.0000754911,0.0001919743,0.0001452676,0.0001955673,0.005062021],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002221713,"threshold_uncertainty_score":0.01174968,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009925712297043532,"score_gpt":0.227832363515676,"score_spread":0.2179066512186325,"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."}}