{"id":"W1559440724","doi":"10.1007/978-3-540-78913-0_6","title":"Latest News about Demonic Algebra with Domain","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Axiom; Algebra over a field; Domain (mathematical analysis); Kleene algebra; Conjecture; Independence (probability theory); Computer science; Term algebra; Mathematics; Filtered algebra; Pure mathematics; Two-element Boolean algebra; Discrete 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.001263504,0.0003960317,0.0005217653,0.001350046,0.001082596,0.003089758,0.0007094168,0.001374892,0.06794059],"category_scores_gemma":[0.002264844,0.0003555299,0.0005233854,0.001827488,0.001437877,0.009897418,0.001176397,0.003837028,0.02007458],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001338259,"about_ca_system_score_gemma":0.000917821,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009907335,"about_ca_topic_score_gemma":0.002410739,"domain_scores_codex":[0.9994715,0.000112914,0.00003237162,0.00005266803,0.0002569403,0.00007358733],"domain_scores_gemma":[0.999072,0.0003691651,0.00004571275,0.000141886,0.0002238714,0.0001472884],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002966177,0.000009171969,0.00002946529,0.0001689826,0.000004101798,0.00002947203,0.00006229788,0.00007720469,0.0002007924,0.1725364,0.744088,0.08276455],"study_design_scores_gemma":[0.000003131078,0.000002735975,0.00003162084,0.00005055964,0.000001584905,0.00004714345,0.00001516658,0.0000316253,0.00008570943,0.02572918,0.973998,0.000003587437],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.001390218,0.121958,0.01691161,0.2026222,0.09514467,0.00003175707,0.0009704016,0.001585679,0.5593855],"genre_scores_gemma":[0.0312389,0.1142781,0.009852103,0.06312354,0.06613379,0.00007049595,0.001820731,0.001693633,0.7117887],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.06794059,"threshold_uncertainty_score":0.227284,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01477558237339714,"score_gpt":0.2218574391932248,"score_spread":0.2070818568198276,"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."}}