{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.002625424,0.0003318816,0.0003472349,0.00069523,0.0001996341,0.0006390498,0.004794355,0.0001189114,0.00001942925],"category_scores_gemma":[0.00005851438,0.0003227394,0.00009586568,0.002614912,0.0006480864,0.001378231,0.001475398,0.0007421147,0.00002620152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003850193,"about_ca_system_score_gemma":0.0002993234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003395662,"about_ca_topic_score_gemma":5.847565e-7,"domain_scores_codex":[0.9956801,0.00002695164,0.000448122,0.001289326,0.0009608797,0.001594617],"domain_scores_gemma":[0.9985217,0.0001396629,0.00012181,0.0007418186,0.0002727671,0.0002022546],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005118193,0.0000435282,0.002457314,0.00004981662,0.000002805667,0.000005033326,0.000204573,0.000495773,0.003467437,0.9841629,0.00001835946,0.009087371],"study_design_scores_gemma":[0.0002977405,0.0002906034,0.001017564,0.000251483,0.000002456876,0.00003260827,0.000001981987,0.8484933,0.01777634,0.1311522,0.0002568935,0.0004267232],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1475797,0.00004597948,0.8491812,0.0006036519,0.0002062536,0.0003621173,2.675143e-7,0.0008971588,0.00112362],"genre_scores_gemma":[0.6865883,0.000005061832,0.3130693,0.0002424479,0.00004827587,0.00002290805,3.191097e-7,0.000018156,0.000005209662],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8530107,"threshold_uncertainty_score":0.9999225,"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."}}