{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006451537,0.0009681397,0.001022988,0.0009731709,0.001407186,0.002735818,0.001546518,0.001077536,0.02375933],"category_scores_gemma":[0.002839765,0.0006507083,0.001177267,0.001084852,0.002860393,0.004059598,0.00210144,0.002591361,0.007816846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001285319,"about_ca_system_score_gemma":0.0007970011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001418296,"about_ca_topic_score_gemma":0.001376076,"domain_scores_codex":[0.9993054,0.0001645349,0.00004514525,0.000192756,0.0002122726,0.00007990592],"domain_scores_gemma":[0.9987112,0.0004802812,0.00003110889,0.0005870786,0.0001446475,0.00004568457],"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.00005742748,0.00001470374,0.0000541524,0.00009170428,0.000013002,0.00004702788,0.0001823182,0.006775961,0.001637105,0.9152074,0.01690311,0.05901602],"study_design_scores_gemma":[0.000009871015,0.00001629821,0.00004101099,0.00003899102,0.00001113246,0.0000703165,0.00002806726,0.01350133,0.001223336,0.8993061,0.08573941,0.00001407782],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01390448,0.008016137,0.5104635,0.001894134,0.001683434,0.0001251886,0.0006957437,0.003292855,0.4599245],"genre_scores_gemma":[0.4092222,0.007351908,0.1968956,0.001603953,0.0009247947,0.0004595265,0.001965564,0.002153065,0.3794236],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.02375933,"threshold_uncertainty_score":0.07948291,"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."}}