{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005436418,0.0002575546,0.000344537,0.0001523813,0.0002727085,0.0006199607,0.001399689,0.0001277355,0.00006243008],"category_scores_gemma":[0.00006564806,0.0002097491,0.0001237931,0.0007178631,0.00005832742,0.00106023,0.0002979856,0.0002506929,0.001453434],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005271452,"about_ca_system_score_gemma":0.00006148188,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004199297,"about_ca_topic_score_gemma":0.000003521911,"domain_scores_codex":[0.9977205,0.00006767407,0.0006565966,0.0003127166,0.0005768237,0.0006656944],"domain_scores_gemma":[0.9984426,0.0000895655,0.0001543976,0.0009207102,0.00007903611,0.0003136266],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000009211331,0.0002551842,0.0001628567,0.00012354,0.00001930532,0.000005774664,0.008121236,0.0001157902,0.000019638,0.07407244,0.002769726,0.9143253],"study_design_scores_gemma":[0.001421233,0.0009541624,0.00244767,0.00009647313,0.00003056528,0.0002896297,0.0009169241,0.2044066,0.0008727606,0.01203869,0.775145,0.001380296],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.04249945,0.00007794227,0.2261235,0.0006568096,0.0003591663,0.002222596,0.000002595683,0.00157631,0.7264816],"genre_scores_gemma":[0.913592,0.000005254151,0.08466291,0.0006473608,0.00008937614,0.0002831499,0.00001157838,0.00001599988,0.0006923657],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.912945,"threshold_uncertainty_score":0.999324,"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."}}