{"id":"W1535252952","doi":"10.1007/978-3-540-78913-0_7","title":"On the Structure of Demonic Refinement Algebras with Enabledness and Termination","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Divergence (linguistics); Algebra over a field; Kleene algebra; Operator (biology); Set (abstract data type); Domain (mathematical analysis); Computer science; Mathematics; Pure mathematics; Discrete mathematics; Programming language; Mathematical analysis","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.002932646,0.0006969775,0.000877085,0.001897761,0.002545818,0.003002908,0.001692249,0.001279241,0.008057093],"category_scores_gemma":[0.00440419,0.0008135712,0.001424335,0.00225435,0.006524805,0.01057235,0.002991595,0.00397303,0.001035862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002196538,"about_ca_system_score_gemma":0.001372452,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003641668,"about_ca_topic_score_gemma":0.003175173,"domain_scores_codex":[0.9985862,0.0004378782,0.0001244989,0.0001923551,0.0004249849,0.0002340871],"domain_scores_gemma":[0.9969277,0.001548015,0.0002060317,0.0005593736,0.0005465638,0.0002123591],"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.000007923945,0.000003239074,0.00002799366,0.00001062616,0.000001882095,0.00001601304,0.0001314662,0.0002545486,0.0001683993,0.9979815,0.0001842143,0.001212081],"study_design_scores_gemma":[0.000004633212,0.000003854601,0.00002346655,0.000006047413,0.000002934879,0.00001750266,0.00002775127,0.000928361,0.0001846205,0.997237,0.00155979,0.000004126786],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.0962455,0.00319672,0.6466221,0.002460964,0.0004018723,0.0001641679,0.0004528147,0.0008639655,0.249592],"genre_scores_gemma":[0.8428259,0.001768218,0.09916864,0.0008646423,0.0004207214,0.0001818187,0.0006110445,0.0002842783,0.05387471],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.008057093,"threshold_uncertainty_score":0.02695364,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01089780100886101,"score_gpt":0.2161452656313804,"score_spread":0.2052474646225194,"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."}}