{"id":"W1557990975","doi":"10.1007/978-3-540-87875-9_2","title":"Algebraic Models for Bidirectional Model Synchronization","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":76,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; University of Waterloo","funders":"","keywords":"Computer science; Synchronization (alternating current); Transformation (genetics); Model transformation; Theoretical computer science; Semantics (computer science); Algebraic number; Algebraic specification; Formal specification; Programming language; Artificial intelligence; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003797427,0.000580075,0.0004906503,0.0009956334,0.0005069888,0.0003194981,0.00298161,0.0003652535,0.000006937772],"category_scores_gemma":[0.00001573418,0.0005439639,0.0001932103,0.0007371564,0.0003083207,0.001007806,0.0008494249,0.0005175194,0.0000164234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002726278,"about_ca_system_score_gemma":0.0009687864,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002697085,"about_ca_topic_score_gemma":0.0001501339,"domain_scores_codex":[0.9960253,0.00002017866,0.0005206314,0.001734181,0.001001853,0.0006978036],"domain_scores_gemma":[0.9975091,0.0003782547,0.0002822347,0.001165364,0.0004806084,0.0001843983],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006638893,0.00002248886,0.000002663067,0.00004544971,0.0000121665,0.000008581791,0.001092284,0.7776456,0.00003125264,0.03206895,0.00004411231,0.1890198],"study_design_scores_gemma":[0.0002094725,0.00007660413,0.000003196515,0.0001291304,0.000006681867,0.00005550183,7.30026e-8,0.7070115,0.0003631203,0.29088,0.0008388984,0.0004258103],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003843117,0.0007728208,0.9931566,0.0008007213,0.001375043,0.000608167,0.00001753569,0.0002949403,0.002935709],"genre_scores_gemma":[0.09088293,0.0002208973,0.9019194,0.00531653,0.0009557989,0.00005904917,0.00005285476,0.00008366616,0.0005088277],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2588111,"threshold_uncertainty_score":0.9997012,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01821972415490465,"score_gpt":0.2310593092950616,"score_spread":0.212839585140157,"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."}}