{"id":"W1968226057","doi":"10.1016/j.jlamp.2016.02.003","title":"Relational and algebraic methods in computer science","year":2016,"lang":"en","type":"article","venue":"Journal of Logical and Algebraic Methods in Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Rotation formalisms in three dimensions; Algebraic number; Computer science; Categorical variable; Computation; Algebra over a field; Modal; Theoretical computer science; Mathematics; Programming language; 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.01237977,0.0002122722,0.0005115331,0.0005043347,0.0001544037,0.0002213407,0.0006653637,0.0001389979,0.0000185918],"category_scores_gemma":[0.001794757,0.0001187738,0.0000951042,0.0009984407,0.0006067276,0.0009410701,0.0005665276,0.0004348899,0.000001643071],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007980516,"about_ca_system_score_gemma":0.0001434411,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003334206,"about_ca_topic_score_gemma":0.000002522031,"domain_scores_codex":[0.9967047,0.001045658,0.0008333715,0.0005147398,0.000386469,0.0005150405],"domain_scores_gemma":[0.9965037,0.002441891,0.0003835206,0.0002078935,0.0001726858,0.0002903772],"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.00001247594,0.00008271385,0.01071636,0.00001219358,0.000007738572,0.00005237702,0.0004516301,0.000003537818,0.002555968,0.1038419,0.000005045008,0.8822581],"study_design_scores_gemma":[0.003162773,0.001332339,0.1877917,0.0006090585,0.00002495535,0.001724078,0.00008475939,0.01808131,0.003280108,0.7757626,0.00741367,0.0007326651],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05680574,0.001662022,0.9397311,0.0009705273,0.0004197738,0.0001261673,1.471969e-7,0.00002332157,0.0002612011],"genre_scores_gemma":[0.1262291,0.0001336063,0.8732972,0.0001555206,0.0001433118,0.000005209987,6.347238e-8,0.00000576909,0.00003020337],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8815255,"threshold_uncertainty_score":0.4843457,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06523853055516791,"score_gpt":0.3784879762966727,"score_spread":0.3132494457415048,"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."}}