{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01881702,0.0001602365,0.0003937832,0.0006133774,0.0001255082,0.000306738,0.0005642776,0.00008251202,0.000004332367],"category_scores_gemma":[0.002058352,0.0001150662,0.00005870322,0.001627439,0.0005677341,0.00129711,0.0006050759,0.0005020397,7.900753e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006696686,"about_ca_system_score_gemma":0.0002374132,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006688608,"about_ca_topic_score_gemma":0.000002318798,"domain_scores_codex":[0.9970873,0.0008197289,0.0006976178,0.0004480991,0.0005093501,0.0004378991],"domain_scores_gemma":[0.997798,0.00114138,0.0002956326,0.0001440311,0.0002661211,0.0003548766],"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.000009120656,0.00005911308,0.005528809,0.00000825214,0.000003996453,0.0000572667,0.001010393,0.00002851135,0.001087493,0.02849414,0.000004049593,0.9637089],"study_design_scores_gemma":[0.002605633,0.001352264,0.1113873,0.0004305545,0.0000197621,0.00177025,0.0006865191,0.1183774,0.001672649,0.7555093,0.005514371,0.0006739615],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06923668,0.0009817192,0.9280561,0.001013624,0.0003708644,0.0001231567,8.998583e-8,0.00001516371,0.0002025768],"genre_scores_gemma":[0.09400542,0.00003927124,0.9054989,0.0003487417,0.00009154549,0.000003952854,9.389574e-8,0.000003351349,0.00000878174],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9630349,"threshold_uncertainty_score":0.6521643,"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."}}