{"id":"W2150553773","doi":"10.1109/icre.2003.1232750","title":"Understanding and comparing model-based specification notations","year":2004,"lang":"en","type":"article","venue":"Journal of Lightwave Technology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Notation; Computer science; Semantics (computer science); Programming language; Petri net; Generality; Linguistics","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":[],"consensus_categories":[],"category_scores_codex":[0.0003950432,0.0000737119,0.0001519258,0.0006161286,0.00010662,0.00005050965,0.0004264142,0.00009490118,7.36708e-7],"category_scores_gemma":[0.0001061042,0.00006766672,0.00003149336,0.0004929697,0.0001035034,0.0004097214,0.00005200569,0.0002327072,0.000002778573],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002589264,"about_ca_system_score_gemma":0.00009736247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":5.635594e-7,"about_ca_topic_score_gemma":0.000001657046,"domain_scores_codex":[0.9992216,0.00002132565,0.000348852,0.0001241098,0.0001584603,0.0001256398],"domain_scores_gemma":[0.9991724,0.00002875207,0.0003713004,0.0002527204,0.000132124,0.00004271236],"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.000005316956,0.00003290993,0.0004477818,0.000005509587,0.000007473689,0.000004958662,0.0001782529,0.01477003,0.006268944,0.9771625,0.00001476553,0.001101527],"study_design_scores_gemma":[0.0007740611,0.0001821216,0.0007092883,0.00006187099,0.00001306433,0.0002165566,0.0001311165,0.4670914,0.04345108,0.4870978,0.0001462119,0.0001254652],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04882061,0.00008094621,0.9461581,0.00417273,0.000147432,0.00005474187,1.604634e-7,0.00007156472,0.0004937076],"genre_scores_gemma":[0.5319241,0.00001209578,0.4680203,0.00002557769,0.00001191423,9.141922e-7,9.842707e-8,0.000002795063,0.000002273357],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4900647,"threshold_uncertainty_score":0.2759369,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1619198794831263,"score_gpt":0.3117031790170023,"score_spread":0.149783299533876,"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."}}