{"id":"W7045693809","doi":"","title":"Basics of Modal Semirings and of Kleene / Omega Algebras","year":2019,"lang":"en","type":"report","venue":"OPUS (Augsburg University)","topic":"Magnetic confinement fusion research","field":"Physics and Astronomy","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Deutsche Forschungsgemeinschaft","keywords":"Omega; Kleene algebra; Modal; Algebra over a field; Simple (philosophy); Set (abstract data type)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002099547,0.0002252402,0.0005597084,0.0004770462,0.00004465601,0.00001321037,0.0003487514,0.0001391583,0.01051945],"category_scores_gemma":[0.00001159479,0.0002517951,0.0001726179,0.0003074862,0.0001511484,0.00003192513,0.000513514,0.0002928229,0.000006711359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000030528,"about_ca_system_score_gemma":0.001138531,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003832951,"about_ca_topic_score_gemma":0.000002455726,"domain_scores_codex":[0.9984415,0.0000422583,0.0002853934,0.0003507615,0.0006336657,0.0002463948],"domain_scores_gemma":[0.9984881,0.0001013533,0.00039766,0.0004464134,0.0004528943,0.000113547],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004327425,0.001129108,0.2321892,0.004524707,0.002327747,0.0001663442,0.0005311785,0.00004912489,0.120446,0.08078966,0.08251221,0.474902],"study_design_scores_gemma":[0.001074876,0.0001739766,0.004287387,0.0002791501,0.0002205537,0.000001534593,0.0005077765,0.00006432655,0.02080176,0.0001569925,0.972083,0.0003486587],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.3518408,0.0001584621,0.0002363398,0.0001340589,0.0002638545,0.0006883116,0.0004527368,0.00001515403,0.6462103],"genre_scores_gemma":[0.547253,0.0003907967,0.000165409,0.000003014425,0.0001215149,8.945682e-7,0.0001352137,0.0000290531,0.4519011],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8895708,"threshold_uncertainty_score":0.9999934,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01443182293492392,"score_gpt":0.2315282578464365,"score_spread":0.2170964349115126,"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."}}