{"id":"W7057450699","doi":"","title":"A Machine-checked Categorial Formalisation of Term Graph Rewriting with Semantics Preservation","year":2018,"lang":"en","type":"dissertation","venue":"MacSphere (McMaster University)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; McMaster University","keywords":"Graph rewriting; Rewriting; Term (time); Operational semantics; Semantics (computer science); Graph; Confluence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003398049,0.000725053,0.0006961265,0.00219625,0.00134791,0.003164115,0.00214716,0.001571162,0.004743871],"category_scores_gemma":[0.00555345,0.0006831246,0.002497283,0.001359118,0.006374029,0.005482108,0.003491941,0.003978619,0.00143686],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002500255,"about_ca_system_score_gemma":0.00169726,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003110827,"about_ca_topic_score_gemma":0.00216983,"domain_scores_codex":[0.996705,0.000801689,0.0002935956,0.0007507035,0.001183405,0.0002656762],"domain_scores_gemma":[0.9966778,0.001418628,0.0002447835,0.0006199138,0.0009333522,0.0001055156],"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.000007654724,0.000009025854,0.00007709359,0.00004777778,0.000008899541,0.0001139335,0.0003499613,0.002707618,0.001711297,0.9895381,0.0005650046,0.004863712],"study_design_scores_gemma":[0.00001430382,0.00003774041,0.0001281963,0.00005101813,0.00003129664,0.0002165449,0.0001123107,0.02714497,0.004243072,0.9422995,0.02567813,0.00004283283],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008857941,0.0003950332,0.9747911,0.000615312,0.0003019029,0.00009008071,0.0001518289,0.0009595386,0.01383717],"genre_scores_gemma":[0.4316842,0.0006819948,0.5470091,0.0008797324,0.0004571009,0.0003550309,0.0006486684,0.0008597895,0.01742439],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004743871,"threshold_uncertainty_score":0.01814067,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01224560011186454,"score_gpt":0.2221710573313585,"score_spread":0.2099254572194939,"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."}}