{"id":"W2033907672","doi":"10.1016/j.tcs.2015.03.032","title":"Implementation and Application of Automata (CIAA 2013)","year":2015,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Mobile Agent-Based Network Management","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Saint Mary's University","funders":"","keywords":"Automaton; Computer science; Mathematics; Programming language; Combinatorics; 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.002391438,0.0005231438,0.0005709654,0.001041813,0.001594022,0.003315984,0.002532355,0.001626324,0.01549539],"category_scores_gemma":[0.01190909,0.0006824951,0.001404727,0.0009094896,0.001688354,0.002198307,0.002988245,0.002199583,0.003583482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001547112,"about_ca_system_score_gemma":0.003947724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0095754,"about_ca_topic_score_gemma":0.006911254,"domain_scores_codex":[0.9978437,0.0007371096,0.0001940236,0.0003241763,0.0006541412,0.0002468867],"domain_scores_gemma":[0.9955614,0.001364205,0.0001130111,0.001681213,0.00107916,0.0002011077],"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.0001831895,0.0001803587,0.001311798,0.0003257631,0.00008892347,0.0002116428,0.0007362284,0.04959527,0.006809075,0.7475444,0.01497771,0.1780356],"study_design_scores_gemma":[0.0001156781,0.0001107343,0.0004648354,0.0001877195,0.0001210574,0.0002645094,0.000212749,0.4717233,0.02335842,0.3827689,0.1205813,0.00009075385],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009082615,0.0002083147,0.948904,0.0005204505,0.0004446352,0.0001732035,0.0002944557,0.006332835,0.03403943],"genre_scores_gemma":[0.2308868,0.0002888649,0.7553919,0.0002418351,0.00007532394,0.0005263273,0.0005485473,0.0007994042,0.01124093],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01549539,"threshold_uncertainty_score":0.05183727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0120257477897343,"score_gpt":0.2805018736190902,"score_spread":0.2684761258293559,"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."}}