{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002952768,0.0006210855,0.0005262004,0.002060222,0.002288505,0.004632303,0.0008751095,0.001010128,0.009439847],"category_scores_gemma":[0.002566984,0.0006187158,0.0008422301,0.001797738,0.006903508,0.01046594,0.002569569,0.003086349,0.001711086],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001639086,"about_ca_system_score_gemma":0.001139058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001448813,"about_ca_topic_score_gemma":0.001508205,"domain_scores_codex":[0.9984201,0.0004070753,0.0001627115,0.0002839095,0.0005131004,0.0002131306],"domain_scores_gemma":[0.9984581,0.0005674969,0.000183771,0.0002414466,0.0003478049,0.0002013568],"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.000006549791,0.000007300051,0.00005656268,0.00002723711,0.000002517749,0.00002951129,0.000190841,0.00009410698,0.0002392053,0.9964927,0.0004144326,0.002439154],"study_design_scores_gemma":[0.00001041729,0.00001294819,0.0002450531,0.00001824685,0.000003516842,0.0001025217,0.0001138306,0.0007930317,0.0003567625,0.9760213,0.02231439,0.000007948745],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.1050355,0.0130829,0.3930245,0.007103189,0.0009444882,0.0003351706,0.002532499,0.0007141398,0.4772275],"genre_scores_gemma":[0.7885728,0.006571379,0.1469186,0.001380907,0.001834825,0.0007511796,0.001779118,0.0001722214,0.05201893],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.009439847,"threshold_uncertainty_score":0.03157943,"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."}}