{"id":"W2523195045","doi":"10.1007/978-3-319-46520-3_19","title":"Observational Refinement and Merge for Disjunctive MTSs","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; University of Waterloo","funders":"","keywords":"Merge (version control); Alphabet; Computer science; Formalism (music); Theoretical computer science; Algorithm; Programming language; Information retrieval; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006324138,0.0008271387,0.00114642,0.001697854,0.002039278,0.002568322,0.002932695,0.001486282,0.008184871],"category_scores_gemma":[0.028682,0.001321399,0.003284052,0.002060188,0.005103901,0.009161494,0.007258939,0.004896634,0.00154381],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001609428,"about_ca_system_score_gemma":0.002157228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003503767,"about_ca_topic_score_gemma":0.005243391,"domain_scores_codex":[0.9935936,0.001434236,0.0007694076,0.001223264,0.002378957,0.0006005164],"domain_scores_gemma":[0.9774625,0.01347829,0.0009614762,0.005307705,0.002318911,0.0004711162],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002482848,0.00006884437,0.001060056,0.0003702041,0.0000648087,0.0002746145,0.001275377,0.01871599,0.005673302,0.8887383,0.002274422,0.08123576],"study_design_scores_gemma":[0.00004498771,0.00004083311,0.0002659998,0.00005879665,0.00006800202,0.0001507173,0.0001868286,0.06699804,0.006394534,0.9166325,0.009124459,0.00003433184],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01196416,0.0002269962,0.9791791,0.0002432816,0.00007445231,0.000102451,0.0001590593,0.001051638,0.006998728],"genre_scores_gemma":[0.35179,0.0005164997,0.6337417,0.000234998,0.000197229,0.0002568644,0.0009223388,0.0007271231,0.01161321],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008184871,"threshold_uncertainty_score":0.03344566,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05876600179384918,"score_gpt":0.3025982328056963,"score_spread":0.2438322310118471,"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."}}