{"id":"W2057075507","doi":"10.1145/1852761.1852773","title":"Local redundant polymorphism query elimination","year":2010,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Polymorphism (computer science); Genetic programming; Feature (linguistics); Programming language; Artificial intelligence; Biology; Genetics; Genotype; Linguistics; Gene","routes":{"ca_aff":true,"ca_fund":true,"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.003677747,0.001030613,0.002335398,0.001789672,0.001780766,0.002667755,0.003975074,0.001393405,0.01085685],"category_scores_gemma":[0.0100678,0.0007208274,0.001550349,0.003143912,0.00192521,0.004471181,0.006260948,0.002303987,0.008081921],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009953741,"about_ca_system_score_gemma":0.003303805,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002565905,"about_ca_topic_score_gemma":0.003271555,"domain_scores_codex":[0.9904421,0.0015967,0.0004678255,0.001166907,0.004844835,0.001481614],"domain_scores_gemma":[0.9876757,0.002124539,0.0004774863,0.006927726,0.002564341,0.000230201],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001221533,0.0004680937,0.008573452,0.0009763329,0.0002411853,0.002124929,0.001761228,0.009625475,0.09105341,0.1371751,0.0941779,0.6526014],"study_design_scores_gemma":[0.0006873955,0.0007278809,0.006652991,0.0002805201,0.0006635241,0.007413096,0.001789937,0.202819,0.3022036,0.1672713,0.3090986,0.0003922775],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07617311,0.001688206,0.86378,0.001277693,0.0003775723,0.000709172,0.001381849,0.02742914,0.02718327],"genre_scores_gemma":[0.5550002,0.001006206,0.3775919,0.002037784,0.0003980167,0.0005290565,0.004785883,0.006448621,0.05220224],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01085685,"threshold_uncertainty_score":0.03631973,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01379071694036828,"score_gpt":0.2351290594451407,"score_spread":0.2213383425047724,"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."}}