{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004301803,0.0008226983,0.0006628652,0.0009226684,0.002103309,0.001529402,0.001348926,0.001274146,0.01431468],"category_scores_gemma":[0.003335207,0.0004099864,0.0008949251,0.001203163,0.001227516,0.002049624,0.002244979,0.002084097,0.005127542],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006530508,"about_ca_system_score_gemma":0.0009399801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001453261,"about_ca_topic_score_gemma":0.00109308,"domain_scores_codex":[0.9993831,0.00008299298,0.00003477502,0.0002225683,0.0001626439,0.000113928],"domain_scores_gemma":[0.998179,0.000603557,0.000227356,0.0005088845,0.0002920353,0.0001891701],"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.0003736418,0.0001007259,0.002123168,0.0002301029,0.00002624943,0.0008919136,0.0005713743,0.01624767,0.03495768,0.8669386,0.01061404,0.06692476],"study_design_scores_gemma":[0.00007501021,0.0001845613,0.001054808,0.00009583838,0.00005757241,0.001400107,0.0004402977,0.06557105,0.0641927,0.7834719,0.08338523,0.00007094675],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3167807,0.0005468452,0.5752911,0.002018627,0.0007783453,0.0002404812,0.002060412,0.002751858,0.09953167],"genre_scores_gemma":[0.6998981,0.0009821631,0.1674785,0.0005447976,0.0001733763,0.0003289866,0.005513215,0.002157943,0.122923],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01431468,"threshold_uncertainty_score":0.04788738,"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."}}