{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001819401,0.00004379043,0.00004637721,0.00001595179,0.00005028446,0.00001598539,0.0003527408,0.00002192226,0.000002490785],"category_scores_gemma":[0.000002009324,0.00002903499,0.00002988956,0.00008774167,0.00001824556,0.0003559178,0.00005791694,0.00004280794,0.000006605903],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007495988,"about_ca_system_score_gemma":0.00001024887,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003040631,"about_ca_topic_score_gemma":6.863372e-7,"domain_scores_codex":[0.9995734,0.000008428528,0.0001200852,0.00004199049,0.0001144268,0.0001416473],"domain_scores_gemma":[0.9996016,0.00002530382,0.00001972858,0.0002948823,0.000023335,0.00003512128],"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":[2.323871e-7,0.00001251909,0.00007148131,0.000002728676,0.000002813453,1.972814e-8,0.0005144554,0.01123161,0.0001241789,0.9733286,0.001000866,0.01371048],"study_design_scores_gemma":[0.00002198093,0.000005622932,0.00005857251,0.000001982919,0.000001817691,0.000001319469,6.820929e-7,0.9728642,0.0110486,0.002103816,0.01384975,0.00004163933],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001043446,0.00002205932,0.997287,0.0003966762,0.00006051344,0.00006229588,6.176352e-7,0.0002690286,0.0008583936],"genre_scores_gemma":[0.521646,0.000009636933,0.4782611,0.00001661901,0.000006997489,0.000006536804,1.314735e-7,0.000001996625,0.00005107069],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9712248,"threshold_uncertainty_score":0.1184012,"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."}}