{"id":"W4249355917","doi":"10.1007/978-3-662-04558-9_1","title":"Automata","year":2001,"lang":"en","type":"book-chapter","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Model checking; Task (project management); GRASP; Relevance (law); Automaton; Theoretical computer science; Artificial intelligence; Programming language; Engineering; Systems engineering","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00008905635,0.0002764766,0.0002411179,0.0001687711,0.00002739703,0.00008254527,0.001434485,0.0002684119,0.0002860975],"category_scores_gemma":[0.000001004186,0.0002657651,0.0001055575,0.00003042835,0.00002163639,0.0001772071,0.0005325374,0.0002604042,0.000494431],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006867062,"about_ca_system_score_gemma":0.00004313271,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006711219,"about_ca_topic_score_gemma":0.000001603786,"domain_scores_codex":[0.9988513,0.00000313853,0.0002052195,0.0004500924,0.0002931143,0.0001971309],"domain_scores_gemma":[0.9983746,0.00001969083,0.00006681716,0.001400563,0.0000543243,0.00008404808],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[1.322669e-7,0.000002540466,2.998539e-7,0.000006554978,0.000009321337,0.00004028649,0.00000705306,0.00001155075,0.000001054762,0.8602785,0.02375995,0.1158828],"study_design_scores_gemma":[0.00003395364,0.00002377912,0.000001741551,0.00005779362,0.000003637097,0.00004199539,8.81777e-9,0.01462302,0.00002670053,0.06293754,0.9219546,0.0002952376],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[2.874311e-8,0.00004231433,0.52353,0.00009427137,0.0001200961,0.00007161413,0.0000014398,0.003226771,0.4729135],"genre_scores_gemma":[0.000009920656,0.00009530908,0.4879167,0.0001140879,0.00005535191,0.000005607261,0.000003957781,0.00002862856,0.5117705],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8981947,"threshold_uncertainty_score":0.9999794,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01796484693051225,"score_gpt":0.2190034127748829,"score_spread":0.2010385658443707,"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."}}