{"id":"W4399384043","doi":"10.21203/rs.3.rs-4434538/v1","title":"Cloud Scaling Policies Verifier System driven by STORM Model Checker","year":2024,"lang":"en","type":"preprint","venue":"Research Square","topic":"Cloud Computing and Resource Management","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Cloud computing; Scaling; Computer science; Storm; Model checking; Distributed computing; Operating system; Meteorology; Programming language; Mathematics; Geography; Geometry","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.003554378,0.001558898,0.001060013,0.001569552,0.0006095088,0.001996547,0.002592165,0.0009138932,0.01349343],"category_scores_gemma":[0.01005136,0.0008947098,0.001422401,0.0005854311,0.0009728489,0.002399827,0.001701648,0.001872433,0.002713985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001432369,"about_ca_system_score_gemma":0.004389339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007895742,"about_ca_topic_score_gemma":0.008022685,"domain_scores_codex":[0.9967864,0.0008238071,0.0003330549,0.0007139577,0.001078764,0.00026396],"domain_scores_gemma":[0.9921874,0.003903176,0.0006437696,0.002001398,0.001111796,0.0001524749],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00207145,0.001309965,0.0151062,0.001724286,0.0005112179,0.002513253,0.0008176987,0.5160151,0.06170538,0.05638283,0.07315472,0.268688],"study_design_scores_gemma":[0.0003077307,0.000116979,0.0005990859,0.00006673172,0.00007310408,0.0001721077,0.00002894088,0.9462439,0.02959506,0.007042305,0.01569805,0.00005594419],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03933764,0.0001956227,0.7174624,0.0005482677,0.0002220625,0.000784306,0.003838666,0.2293022,0.00830877],"genre_scores_gemma":[0.4904341,0.000525398,0.4707626,0.0008738985,0.0001230505,0.00124554,0.009661922,0.0136299,0.01274354],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01349343,"threshold_uncertainty_score":0.04513997,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05338328633217938,"score_gpt":0.3495904221557312,"score_spread":0.2962071358235518,"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."}}