{"id":"W4205763999","doi":"10.1016/j.jlamp.2015.03.002","title":"Relational and algebraic methods in computer science","year":2015,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Cognitive Science and Mapping","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Algebraic number; Computer science; Mathematics education; Algebra over a field; Mathematics; 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.00490133,0.0007777165,0.001369299,0.003145423,0.002167502,0.008144554,0.001478962,0.001742633,0.01130171],"category_scores_gemma":[0.01199769,0.0006474119,0.001176555,0.00431637,0.01049351,0.01855971,0.003095221,0.004754997,0.001342343],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002629614,"about_ca_system_score_gemma":0.002427116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001980527,"about_ca_topic_score_gemma":0.001504135,"domain_scores_codex":[0.9963284,0.001746834,0.0003915945,0.0004219333,0.0009752152,0.0001359535],"domain_scores_gemma":[0.9909312,0.006695971,0.0003234773,0.001002799,0.0008125218,0.0002341494],"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.000001827549,0.000005211234,0.00003373775,0.00003737332,0.000003902431,0.000006469764,0.00009547701,0.000124359,0.00002423346,0.9950001,0.0008955349,0.003771717],"study_design_scores_gemma":[0.00000420767,0.000003313658,0.00003542391,0.0000234889,0.000005453491,0.00002316261,0.0000500207,0.0009603277,0.00004005382,0.9870908,0.01175953,0.000004115754],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01307703,0.05310493,0.8002611,0.02356952,0.003710923,0.00008536486,0.0003058693,0.0004522926,0.1054331],"genre_scores_gemma":[0.4614795,0.03857411,0.444921,0.002847695,0.00766068,0.0004695751,0.0003535781,0.0003893783,0.04330454],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01130171,"threshold_uncertainty_score":0.03780794,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1528972632299675,"score_gpt":0.4224186430106527,"score_spread":0.2695213797806852,"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."}}