{"id":"W2002662905","doi":"10.5555/2664431.2664441","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":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Transformation (genetics); Partial evaluation; Model transformation; Computer science; Semantics (computer science); Solver; ENCODE; Theoretical computer science; Logic model; Algebra over a field; Algorithm; Programming language; Mathematics; Artificial intelligence; Pure mathematics","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.003622023,0.0006064374,0.0004554846,0.001114956,0.001271321,0.003334448,0.001368082,0.00144749,0.004600255],"category_scores_gemma":[0.008467834,0.0005552465,0.001472926,0.001216385,0.004741832,0.005864104,0.003859583,0.003334781,0.0005892498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001682205,"about_ca_system_score_gemma":0.001733283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001764088,"about_ca_topic_score_gemma":0.001307884,"domain_scores_codex":[0.9952356,0.002016432,0.0003542585,0.0005035351,0.001506031,0.0003841667],"domain_scores_gemma":[0.9939512,0.00275058,0.0004048999,0.001567658,0.001126297,0.0001994102],"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.00003070284,0.00003449723,0.0002060178,0.00006307991,0.00001927005,0.0001574558,0.0003633314,0.01582217,0.001391413,0.9700989,0.001056825,0.01075627],"study_design_scores_gemma":[0.0000219884,0.00004461562,0.00009467817,0.00006200643,0.00002779355,0.0001717095,0.0001507756,0.06510518,0.005280345,0.9081629,0.02085921,0.00001885951],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02413978,0.0002693156,0.9530689,0.001838975,0.0001328009,0.0001698598,0.0003078968,0.001205904,0.01886659],"genre_scores_gemma":[0.7755778,0.0005041962,0.2164585,0.0006817274,0.0001410162,0.0004342723,0.0005912352,0.000400584,0.005210703],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004600255,"threshold_uncertainty_score":0.01915532,"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."}}