{"id":"W4208076","doi":"10.1007/978-3-319-07725-3_42","title":"The Semantics of Refinement Chart","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Notation; Computer science; Chart; Programming language; Semantics (computer science); Representation (politics); Refinement calculus; 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.002467133,0.0002986221,0.0003415242,0.0002552224,0.0002560422,0.0002194182,0.004078778,0.0001775775,0.000009203049],"category_scores_gemma":[0.0002264292,0.0002144126,0.00009434285,0.0004120329,0.0008751132,0.0001839266,0.001404103,0.0004669943,0.00003744136],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001404195,"about_ca_system_score_gemma":0.0001975714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007656848,"about_ca_topic_score_gemma":0.00001958675,"domain_scores_codex":[0.9972035,0.00005826172,0.0005761116,0.0007703495,0.0009755829,0.0004162309],"domain_scores_gemma":[0.9966733,0.0004989942,0.0004808417,0.002038167,0.0002328642,0.00007582612],"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.000002242316,0.000006541791,0.00001217193,0.00002291682,0.000004635585,0.000002192585,0.0002003537,0.003707877,0.0001164834,0.2797908,0.00004778142,0.716086],"study_design_scores_gemma":[0.0001478282,0.0002237088,0.0002028716,0.0002519022,0.000007646837,0.00002553257,9.223757e-8,0.7855468,0.007584599,0.1738237,0.03174387,0.0004413983],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001794406,0.0001800056,0.9921138,0.001090524,0.001920971,0.0002553922,0.000001076418,0.00005781174,0.004362435],"genre_scores_gemma":[0.01530051,0.00009148702,0.9832385,0.0005651602,0.0002273877,0.00000723886,0.000001006879,0.00001899095,0.000549747],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.781839,"threshold_uncertainty_score":0.8743492,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02357222707120969,"score_gpt":0.2720123999172203,"score_spread":0.2484401728460106,"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."}}