{"id":"W2158182160","doi":"10.1109/iceccs.1996.558427","title":"An algorithmic semantics for Viewcharts","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Notation; Semantics (computer science); Programming language; Formal semantics (linguistics); Theoretical computer science; Mathematics","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.0001924014,0.00008286141,0.0001019419,0.00004398082,0.00004972357,0.00004512685,0.0005006815,0.00003322714,0.00001337139],"category_scores_gemma":[0.0001665723,0.00007329287,0.00003240782,0.0001181127,0.00001372685,0.0004029009,0.0000513329,0.00004521453,0.00002675345],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001251574,"about_ca_system_score_gemma":0.000002937049,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":5.521364e-7,"about_ca_topic_score_gemma":3.299738e-7,"domain_scores_codex":[0.9993752,0.00002501997,0.00009877122,0.0002208196,0.0000797447,0.0002005017],"domain_scores_gemma":[0.9991406,0.0002928572,0.00002131173,0.0004519782,0.00004099966,0.00005227826],"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.000001229768,0.00009970072,0.00003362193,0.00004913973,0.00001658198,0.00001271799,0.000940826,0.03783858,0.003047337,0.1349977,0.004162059,0.8188005],"study_design_scores_gemma":[0.0001926346,0.0001531202,0.00008011666,0.000006144253,0.00000269522,0.00001651321,0.00001203722,0.9443785,0.006617943,0.03348545,0.01480881,0.0002460494],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001746239,0.0001324931,0.9977819,0.0003518733,0.0003880066,0.0001295608,8.547365e-7,0.0009089279,0.0001317819],"genre_scores_gemma":[0.01119109,0.00002272875,0.9879718,0.0001870072,0.00006523186,0.00002267991,4.973256e-7,0.000008795056,0.0005301569],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9065399,"threshold_uncertainty_score":0.2988797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08108985946091467,"score_gpt":0.3136176370105073,"score_spread":0.2325277775495926,"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."}}