{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001598459,0.0006837265,0.0005406049,0.001420385,0.001260836,0.003283543,0.001208101,0.001105039,0.008518191],"category_scores_gemma":[0.002951225,0.0007077135,0.001054699,0.001814966,0.005340755,0.007153168,0.001759682,0.002602008,0.001840687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001784734,"about_ca_system_score_gemma":0.001187551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002964471,"about_ca_topic_score_gemma":0.00161354,"domain_scores_codex":[0.9986861,0.0004189215,0.00009678857,0.0002649367,0.0003805306,0.0001527725],"domain_scores_gemma":[0.9990448,0.0003694147,0.00005166423,0.0002843444,0.0002050331,0.00004463098],"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.000006786721,0.000002127324,0.00001514961,0.00001576814,0.000001786475,0.00001251327,0.000107615,0.000460671,0.0002208585,0.9926937,0.0007086907,0.005754344],"study_design_scores_gemma":[0.000009392424,0.000008004697,0.00004447408,0.00002306497,0.000007190516,0.00002998029,0.00005019821,0.002563897,0.000752212,0.9709811,0.02552246,0.000008023912],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01133931,0.002277256,0.7961189,0.001446954,0.000409703,0.0001076597,0.0003468431,0.001260318,0.1866931],"genre_scores_gemma":[0.6438779,0.004256956,0.273023,0.0006052305,0.0005508752,0.0004077451,0.0009388531,0.0009358356,0.07540362],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008518191,"threshold_uncertainty_score":0.02849621,"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."}}