{"id":"W3152219479","doi":"10.1109/mise.2012.6226016","title":"The semantics of partial model transformations","year":2012,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Partial evaluation; Computer science; Model transformation; Transformation (genetics); ENCODE; Semantics (computer science); Solver; Theoretical computer science; Model checking; Logic model; Programming language; Algorithm; Artificial intelligence","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.00536425,0.0009359158,0.0006856923,0.001600987,0.001569574,0.004693487,0.001863576,0.001901263,0.004313877],"category_scores_gemma":[0.01050249,0.0008731651,0.002123236,0.00145925,0.005706348,0.009299296,0.004264821,0.00421724,0.0008241499],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001993056,"about_ca_system_score_gemma":0.002562071,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001810816,"about_ca_topic_score_gemma":0.001520718,"domain_scores_codex":[0.9936436,0.002278323,0.0006117607,0.0009145578,0.002061793,0.0004898477],"domain_scores_gemma":[0.9937648,0.002352575,0.0004452262,0.002088199,0.001105114,0.0002440381],"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.0000194762,0.00001899736,0.0001119345,0.00007614461,0.00001791854,0.0001178483,0.0003594306,0.007005632,0.0008890886,0.980789,0.0008822403,0.009712343],"study_design_scores_gemma":[0.00002144506,0.00003259682,0.00007432368,0.00005652372,0.00002692403,0.0001647962,0.0001336955,0.02243769,0.0027637,0.9488683,0.02540067,0.00001924789],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01171633,0.0004114043,0.966146,0.001848995,0.0001670104,0.0001890951,0.0005151844,0.0009828585,0.01802311],"genre_scores_gemma":[0.5451453,0.001290768,0.4401112,0.001142256,0.0003140839,0.0009930673,0.001347305,0.0007067992,0.008949189],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00536425,"threshold_uncertainty_score":0.02836925,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01755611343982083,"score_gpt":0.2430810441474253,"score_spread":0.2255249307076045,"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."}}