{"id":"W4408457615","doi":"10.1007/978-3-031-78701-0","title":"Restarting Automata","year":2025,"lang":"en","type":"book","venue":"Theory and applications of computability","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"Universität Kassel; Deutsche Forschungsgemeinschaft; Univerzita Karlova v Praze","keywords":"Computer science; Automaton; Programming language; Theoretical computer science","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.0008147475,0.0001464469,0.0002303874,0.00002715916,0.00009054135,0.000009405765,0.0002432171,0.0002259637,0.000009655526],"category_scores_gemma":[0.0000943514,0.0001277468,0.00008491553,0.00004496207,0.0002949275,9.425079e-7,0.0003750148,0.0001262376,0.000001866797],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008603147,"about_ca_system_score_gemma":0.0001153273,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.413755e-7,"about_ca_topic_score_gemma":7.695133e-7,"domain_scores_codex":[0.9990359,0.0001286196,0.0002917201,0.0003778713,0.00005625964,0.0001096411],"domain_scores_gemma":[0.9990145,0.0002076243,0.0001533502,0.0005018109,0.00008483117,0.00003787956],"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.0003056776,0.0002905438,0.0004504483,0.0009729296,0.0001735652,4.183135e-7,0.00003323311,0.00009383755,0.009929944,0.5564482,0.004692096,0.4266091],"study_design_scores_gemma":[0.0002613248,0.0001896624,0.0006852952,0.0001086559,0.00007036158,0.000003516808,0.00001901819,0.0000907218,0.004267872,0.5723245,0.421645,0.0003340608],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.09227963,0.004633213,0.1495477,0.0001475418,0.0001122219,0.001741036,0.0002644634,0.0001401002,0.7511341],"genre_scores_gemma":[0.8317592,0.0001953277,0.002722835,0.0002879612,0.0005704432,0.00008289834,0.0007980533,0.00002428191,0.163559],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7394795,"threshold_uncertainty_score":0.5209363,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007007135263758607,"score_gpt":0.2624575927037357,"score_spread":0.2554504574399771,"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."}}