{"id":"W4250349204","doi":"10.1007/978-3-642-24485-8_49","title":"Correctness of Model Synchronization Based on Triple Graph Grammars","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Correctness; Rule-based machine translation; Graph; Synchronization (alternating current); Theoretical computer science; Programming language; Artificial intelligence; Computer network","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.003960752,0.0006713354,0.001504848,0.001003064,0.001302022,0.003340079,0.002395333,0.001753176,0.004637149],"category_scores_gemma":[0.01530096,0.001236388,0.002306998,0.001221708,0.0042984,0.005675139,0.003573693,0.003486011,0.001157183],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001309172,"about_ca_system_score_gemma":0.00331859,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00391106,"about_ca_topic_score_gemma":0.002665224,"domain_scores_codex":[0.9939882,0.001758249,0.0005030452,0.0009620753,0.002194035,0.0005944718],"domain_scores_gemma":[0.9883752,0.006345856,0.0005101198,0.003230797,0.001347704,0.0001903486],"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.0004175156,0.0001108805,0.001513226,0.0002791761,0.0001075409,0.0004322071,0.0009588076,0.06992652,0.01192092,0.846917,0.004075239,0.06334095],"study_design_scores_gemma":[0.0001527211,0.00008499948,0.0003403402,0.00006171955,0.0001112741,0.0001674727,0.0001389792,0.1933657,0.02224092,0.7771206,0.006166963,0.00004818371],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02590231,0.0001422767,0.9640881,0.000327172,0.0001206879,0.00009959272,0.0001536769,0.003066367,0.006099781],"genre_scores_gemma":[0.7338647,0.0003882719,0.2553777,0.0003601668,0.0001382036,0.0003837428,0.001191239,0.002125323,0.006170561],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004637149,"threshold_uncertainty_score":0.02094674,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01845168041367742,"score_gpt":0.22602475468852,"score_spread":0.2075730742748426,"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."}}