{"id":"W1684681859","doi":"10.3233/fun-2002-52405","title":"One-Visit Caterpillar Tree Automata","year":2002,"lang":"en","type":"article","venue":"Fundamenta Informaticae","topic":"semigroups and automata theory","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Caterpillar; Tree (set theory); Automaton; Computer science; Mathematics; Theoretical computer science; Combinatorics; Biology; Botany; Larva","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002694629,0.0001967803,0.0002308058,0.000150833,0.0001930791,0.0005316814,0.001430297,0.0000697254,0.0007649522],"category_scores_gemma":[0.00002670682,0.0001851214,0.00008986813,0.0003422316,0.00006545296,0.00199692,0.0005166496,0.0001350588,0.00561016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000800569,"about_ca_system_score_gemma":0.00001423477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009171502,"about_ca_topic_score_gemma":0.000001719869,"domain_scores_codex":[0.9983229,0.00003451738,0.0004851499,0.0002211215,0.0004575966,0.000478735],"domain_scores_gemma":[0.9984676,0.00008051684,0.0001456857,0.001100507,0.00003106795,0.0001746848],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006781329,0.000424874,0.0004378526,0.0001730465,0.0001301282,0.00002566386,0.01123347,0.0000285628,0.0005737647,0.2369214,0.06775298,0.6822914],"study_design_scores_gemma":[0.001681195,0.0003369339,0.003442505,0.0001392449,0.00002774247,0.0001102532,0.000394673,0.792526,0.002784118,0.009344134,0.1882865,0.0009267066],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.19345,0.0006087797,0.2837024,0.009265529,0.001942423,0.001170889,0.00004969477,0.004237427,0.5055729],"genre_scores_gemma":[0.9621822,0.00007818404,0.03154336,0.004560407,0.00009418575,0.00003505428,0.00001521794,0.00001880129,0.001472609],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7924974,"threshold_uncertainty_score":0.9951641,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02570031036777105,"score_gpt":0.2188175118600363,"score_spread":0.1931172014922652,"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."}}