{"id":"W3044961859","doi":"10.1145/1041685.1029904","title":"Merging partial behavioural models","year":2004,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Notation; Viewpoints; Process (computing); Consistency (knowledge bases); Sequence (biology); Theoretical computer science; Programming language; Artificial intelligence; Mathematics","routes":{"ca_aff":true,"ca_fund":true,"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":["metaresearch","metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003861344,0.0004827027,0.0004261664,0.0002677627,0.0001610373,0.0001582912,0.002060178,0.0001855247,0.000005450942],"category_scores_gemma":[0.07762498,0.0005119707,0.0001779469,0.0006402925,0.00004837411,0.001506933,0.0008501309,0.0004824019,0.00003957269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002070219,"about_ca_system_score_gemma":0.000089571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004924153,"about_ca_topic_score_gemma":0.000001715927,"domain_scores_codex":[0.997482,0.00003412803,0.0004279352,0.0007242709,0.0004500071,0.0008816725],"domain_scores_gemma":[0.9781348,0.01973229,0.0001051807,0.00166251,0.0001134675,0.0002517787],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000003318228,0.00003134313,0.004146473,0.00003538938,0.00002432169,0.00007018942,0.0005912125,0.9720116,0.00161253,0.01576983,0.00001307984,0.005690663],"study_design_scores_gemma":[0.01065881,0.001541905,0.1538638,0.002177379,0.0003599685,0.001487143,0.000137295,0.06683227,0.5579063,0.1852285,0.003459653,0.01634696],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07050636,0.0005697884,0.9222177,0.0003068813,0.001148163,0.0001674212,0.000006510152,0.005075762,0.000001472735],"genre_scores_gemma":[0.4908365,0.00001057334,0.5089349,0.00004069491,0.00008121865,0.00003907772,0.000004883033,0.00004573682,0.00000647053],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9051794,"threshold_uncertainty_score":0.9997332,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06001615267200049,"score_gpt":0.2738289857814312,"score_spread":0.2138128331094307,"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."}}