{"id":"W2914115105","doi":"10.4204/eptcs.288.3","title":"Semantics-Preserving DPO-Based Term Graph Rewriting","year":2019,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Graph rewriting; Rewriting; Graph; Term (time); Clique-width; Graph property; Confluence","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.001364008,0.0006176997,0.0007090305,0.000988273,0.0006245953,0.001828569,0.001614868,0.0007397622,0.002263228],"category_scores_gemma":[0.004953892,0.000519488,0.001390081,0.0009260424,0.002304132,0.002832387,0.003278887,0.002878397,0.001192287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008610139,"about_ca_system_score_gemma":0.0009767476,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001294828,"about_ca_topic_score_gemma":0.001127112,"domain_scores_codex":[0.9971623,0.0004762716,0.0002324059,0.0006922079,0.001157597,0.0002792362],"domain_scores_gemma":[0.9969127,0.000923149,0.000171087,0.001132452,0.0007507904,0.0001097386],"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.0001116548,0.0001043536,0.0004509071,0.0004178414,0.00007763471,0.0005388125,0.0006947134,0.0251007,0.05920304,0.8020291,0.003658808,0.1076124],"study_design_scores_gemma":[0.00005662746,0.00008930782,0.0002573045,0.00004391282,0.0001223386,0.0005870855,0.0001154831,0.1051399,0.07378709,0.7892145,0.03052628,0.00006016212],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008214821,0.0001540672,0.9833153,0.0001568774,0.0001171062,0.00006061358,0.0001518917,0.001685281,0.006143997],"genre_scores_gemma":[0.3958433,0.0005752814,0.5876972,0.0004702076,0.0001934088,0.0002254582,0.001003803,0.001993179,0.01199822],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002263228,"threshold_uncertainty_score":0.00757122,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.003758014458008914,"score_gpt":0.2187885453128642,"score_spread":0.2150305308548553,"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."}}