{"id":"W2120960585","doi":"10.70930/tac/7hx2qwbx","title":"Duality for CCD Lattices","year":2009,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Distributive property; Duality (order theory); Object (grammar); Distributive lattice; Combinatorics; Pure mathematics; Discrete mathematics; Computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":true,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002631732,0.00004944579,0.00008080846,0.0000212932,0.0001147901,0.00002141234,0.0002255011,0.00001984258,0.000002307338],"category_scores_gemma":[0.00001973934,0.00004049331,0.0000197646,0.0001095689,0.00009025849,0.0001906533,0.00002475383,0.00002324481,0.000001630498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000001968255,"about_ca_system_score_gemma":0.00001058049,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":3.780209e-7,"about_ca_topic_score_gemma":2.49577e-7,"domain_scores_codex":[0.9996366,0.00002131167,0.0001000769,0.0001268682,0.00003882832,0.00007634539],"domain_scores_gemma":[0.9994153,0.0002212173,0.00005642969,0.0002365179,0.00004601328,0.00002449896],"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.000007347411,0.00002181454,0.00001103947,0.000008131459,0.000002125202,2.351979e-8,0.0001883732,0.000004463582,0.000306906,0.9130319,0.00001344491,0.08640442],"study_design_scores_gemma":[0.00007903881,0.00004344149,0.000669782,0.000001242556,0.000004622621,0.000001215254,0.00009349312,0.00006338876,0.005285644,0.9867422,0.006964211,0.00005173045],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008484938,0.0004610727,0.9879338,0.0005251205,0.00001172689,0.0001812971,0.000003574822,0.00005618899,0.002342326],"genre_scores_gemma":[0.98491,0.00002623271,0.01458134,0.0001721315,0.00003240795,0.00006006639,0.000002777672,0.000001373937,0.000213648],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9764251,"threshold_uncertainty_score":0.1651269,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01354177534373804,"score_gpt":0.283666514081975,"score_spread":0.2701247387382369,"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."}}