{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001516619,0.0008296394,0.0009203452,0.001226599,0.001812731,0.00345014,0.001464046,0.001560536,0.01137551],"category_scores_gemma":[0.005049595,0.0006722215,0.001561584,0.001612253,0.002218526,0.006557032,0.003919045,0.003282655,0.001978129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001702292,"about_ca_system_score_gemma":0.001304781,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001612481,"about_ca_topic_score_gemma":0.001266478,"domain_scores_codex":[0.9983102,0.0004661919,0.0001675655,0.0003168592,0.0005257018,0.0002135579],"domain_scores_gemma":[0.9976828,0.0009574388,0.0002890069,0.0004840278,0.0004604623,0.0001262312],"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.00001038561,0.000008929197,0.00002998785,0.00001675795,0.000006078149,0.00002931395,0.00009967155,0.002194271,0.0002623661,0.994255,0.0004544817,0.002632867],"study_design_scores_gemma":[0.00001524593,0.00001007001,0.00002214018,0.00001056534,0.00001332313,0.00003734614,0.00005465269,0.01803185,0.0004117538,0.9767364,0.004646208,0.00001044449],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02123306,0.0004128737,0.926043,0.0009226766,0.0002841742,0.000103204,0.0002789546,0.0007734844,0.0499485],"genre_scores_gemma":[0.8273243,0.00102083,0.1347406,0.0005554844,0.0005126839,0.0006458679,0.0009478675,0.0004956801,0.03375667],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01137551,"threshold_uncertainty_score":0.03805488,"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."}}