{"id":"W1994967437","doi":"10.1016/j.jlap.2011.04.006","title":"Collagories: Relation-algebraic reasoning for gluing constructions","year":2011,"lang":"en","type":"article","venue":"The Journal of Logic and Algebraic Programming","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mathematics; Distributive property; Unary operation; Morphism; Algebraic number; Graph; Algebra over a field; Discrete 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.00111918,0.0001308721,0.0001995649,0.0001136197,0.0002908084,0.00008090554,0.0005151956,0.00006481622,0.000003299069],"category_scores_gemma":[0.00008623374,0.00008972308,0.00007964455,0.000263028,0.0001260203,0.0004505843,0.0001144958,0.0002177575,5.511624e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003149748,"about_ca_system_score_gemma":0.00006129862,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006573629,"about_ca_topic_score_gemma":0.000001077971,"domain_scores_codex":[0.9990221,0.00006035015,0.0003832402,0.0001275648,0.0001705758,0.0002361962],"domain_scores_gemma":[0.998933,0.0002225917,0.0003473227,0.0002245462,0.0001881815,0.00008432003],"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.0000179036,0.00002333056,0.0009262192,0.00002203327,0.00005538571,0.000006544505,0.004403471,0.00004204521,0.0001124927,0.8008308,0.00007842766,0.1934814],"study_design_scores_gemma":[0.002780433,0.003401565,0.009304793,0.00123054,0.0004830282,0.007576793,0.001974565,0.0454355,0.00477629,0.8670083,0.05451978,0.001508418],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02624928,0.0007105496,0.9721449,0.00021239,0.0002188229,0.0002220149,5.332874e-7,0.0001609177,0.00008060809],"genre_scores_gemma":[0.4161791,0.00004749676,0.5836476,0.00003943107,0.00005662533,0.000009039888,2.298394e-7,0.000007166052,0.00001334389],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3899298,"threshold_uncertainty_score":0.3658801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02738433493084865,"score_gpt":0.2401897410176577,"score_spread":0.212805406086809,"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."}}