{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006202172,0.0007321836,0.0007358208,0.000638035,0.0004454875,0.000749215,0.004013191,0.0004246802,0.00001616136],"category_scores_gemma":[0.00003154766,0.0005486169,0.0001597949,0.0008370519,0.001061699,0.0006382362,0.001005106,0.0009159402,0.00017588],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002878551,"about_ca_system_score_gemma":0.0008648681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000122665,"about_ca_topic_score_gemma":0.0004415181,"domain_scores_codex":[0.9951424,0.00005265549,0.0005912036,0.001940237,0.001243289,0.00103023],"domain_scores_gemma":[0.9968876,0.0002806042,0.0004221271,0.001875781,0.0002420357,0.0002918045],"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.00001574655,0.0000840104,0.00111341,0.00009130018,0.00005207095,0.001303462,0.003274437,0.005142399,0.00003868347,0.2061256,0.0003206593,0.7824382],"study_design_scores_gemma":[0.002249006,0.002198353,0.001325526,0.0006315366,0.00004062734,0.003893181,0.000001630503,0.09932055,0.0008712806,0.6968312,0.1877932,0.004843869],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001235665,0.001611913,0.9837763,0.0005873341,0.001468788,0.0005813778,0.000001113442,0.0003376346,0.01151195],"genre_scores_gemma":[0.5763855,0.0002923666,0.4177693,0.002367273,0.001219473,0.00003483833,0.00001012599,0.0001024226,0.001818754],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7775943,"threshold_uncertainty_score":0.9996966,"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."}}