{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002321076,0.0008939788,0.0005761044,0.00101675,0.001120617,0.002725881,0.0009735803,0.0008853063,0.08442914],"category_scores_gemma":[0.001530191,0.0004587926,0.000714937,0.0009744935,0.001024924,0.003375496,0.001409488,0.00165934,0.03554046],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009295754,"about_ca_system_score_gemma":0.0007325606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001402428,"about_ca_topic_score_gemma":0.001494035,"domain_scores_codex":[0.9995469,0.00006812222,0.00002979393,0.0001614697,0.0001562479,0.00003740872],"domain_scores_gemma":[0.9995582,0.0001206302,0.00001490904,0.000162838,0.0001222,0.00002118957],"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.00002596795,0.00002755688,0.0001212873,0.000127204,0.000009531078,0.00005618343,0.0001605299,0.002040776,0.001621939,0.8374519,0.04208655,0.1162706],"study_design_scores_gemma":[0.00001377979,0.00001793617,0.00009585476,0.00005976904,0.00001676171,0.0001759262,0.00007302281,0.007997978,0.002825016,0.5787295,0.4099795,0.00001513849],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004663424,0.001859427,0.3679518,0.00121196,0.001052839,0.0001560798,0.001966556,0.003649718,0.6174882],"genre_scores_gemma":[0.1898659,0.00295334,0.1322162,0.001121257,0.0003736548,0.0005486853,0.004315277,0.001494503,0.6671113],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.08442914,"threshold_uncertainty_score":0,"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."}}