{"id":"W4205118740","doi":"10.1016/s0304-3975(04)00130-6","title":"Deletion along trajectories*1","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"DNA and Biological Computing","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Decidability; Closure (psychology); Regular language; Mathematical proof; Formal language; Mathematics; Inverse; Discrete mathematics; Combinatorics; Computer science; Theoretical computer science; Algorithm; Automaton","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.0004774777,0.0001038858,0.00008502256,0.00002880992,0.0002173854,0.00006346939,0.0004407826,0.00006430039,0.00001199257],"category_scores_gemma":[0.00008022245,0.00007655568,0.00004943219,0.0002382142,0.001424494,0.000005438652,0.0002881369,0.00007896528,0.00002265146],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001831546,"about_ca_system_score_gemma":0.00006659229,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003520567,"about_ca_topic_score_gemma":0.000001007861,"domain_scores_codex":[0.9989127,0.00003009957,0.0001324051,0.0004091837,0.0001892743,0.0003263605],"domain_scores_gemma":[0.9995177,0.00001359981,0.0000258609,0.000234761,0.00008321532,0.0001248864],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00002925058,0.00006081542,0.0005080824,0.000003193247,0.00000417744,0.000005825521,0.00003854469,0.0005751055,0.2384778,0.743454,0.00001653097,0.01682667],"study_design_scores_gemma":[0.001174602,0.002525139,0.01623532,0.00004267658,0.00001296917,0.0001557674,0.00002189581,0.005050374,0.791826,0.1802086,0.001975927,0.0007708037],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6757494,0.00002273127,0.3223988,0.0001664649,0.0001999537,0.00005138716,6.178935e-7,0.00002587219,0.001384812],"genre_scores_gemma":[0.9813472,0.000003888548,0.01775839,0.0005157882,0.0003587358,0.000001823458,0.000005396192,0.000004686476,0.000004080033],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5632454,"threshold_uncertainty_score":0.5248606,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007638670920687556,"score_gpt":0.2408545392511344,"score_spread":0.2332158683304468,"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."}}