{"id":"W30147665","doi":"10.3389/fpsyg.2018.01353","title":"A Program-Algebraic Approach to Eliminating Common Subexpressions.","year":2000,"lang":"en","type":"article","venue":"Informatica (slovenia)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Computer science; Algebraic number; Programming language; Mathematics","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.003293515,0.00118617,0.001021766,0.001736944,0.00188344,0.003039242,0.002672459,0.0007955222,0.04023787],"category_scores_gemma":[0.01089313,0.0007659245,0.002976429,0.002004778,0.002711397,0.004690944,0.005376208,0.003408631,0.01310266],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001194388,"about_ca_system_score_gemma":0.002817248,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002457111,"about_ca_topic_score_gemma":0.003621168,"domain_scores_codex":[0.9966136,0.000841503,0.0002649896,0.001116886,0.0008884624,0.000274679],"domain_scores_gemma":[0.9962938,0.001598174,0.0002994409,0.0008680944,0.0008293437,0.0001110791],"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.0003196289,0.0003416344,0.002722911,0.0007077695,0.0001142583,0.0004216443,0.002007092,0.004006589,0.008192449,0.6090937,0.0256296,0.3464427],"study_design_scores_gemma":[0.0001140426,0.0002567336,0.001090757,0.0001768276,0.000206493,0.0007420772,0.001116639,0.05017838,0.01258347,0.5555989,0.3778516,0.00008413593],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006748969,0.00010486,0.9661251,0.0004023632,0.0001844611,0.000353342,0.0008371123,0.003427632,0.02181623],"genre_scores_gemma":[0.06819884,0.000206174,0.8995592,0.0003768474,0.0001272358,0.001152231,0.001713304,0.001956951,0.02670917],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04023787,"threshold_uncertainty_score":0.1346091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02022993685306917,"score_gpt":0.2598466279614225,"score_spread":0.2396166911083533,"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."}}