{"id":"W4291972664","doi":"10.1145/3555315","title":"Formally Verified Scalable Look Ahead Planning For Cloud Resource Management","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Autonomous and Adaptive Systems","topic":"Cloud Computing and Resource Management","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Computer science; Cloud computing; Scalability; Distributed computing; Liveness; Service-level agreement; Service level; Elasticity (physics); Computation; Flexibility (engineering); Operating system","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.003779995,0.001152588,0.0009581695,0.0006613309,0.001071175,0.003107933,0.001818029,0.001519155,0.00484626],"category_scores_gemma":[0.0187121,0.0008012039,0.001304113,0.0006518557,0.002581054,0.002709612,0.003150136,0.003228484,0.0005964467],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002054065,"about_ca_system_score_gemma":0.005088921,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01137987,"about_ca_topic_score_gemma":0.01032956,"domain_scores_codex":[0.9961385,0.001005659,0.0002709161,0.0006019693,0.001459143,0.0005238503],"domain_scores_gemma":[0.9884865,0.008016519,0.001096636,0.0009220496,0.001102549,0.0003756642],"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.0001469497,0.0001075732,0.0008975848,0.0002747467,0.00005550669,0.0004133498,0.0001875899,0.8652996,0.002568423,0.1121308,0.001712155,0.01620567],"study_design_scores_gemma":[0.00003435773,0.00002388244,0.00006341298,0.00002255656,0.000009104751,0.00002887731,0.00001989309,0.9683373,0.0008794434,0.02977207,0.0008002365,0.000009010529],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01403814,0.0001938344,0.9782162,0.0005406858,0.0001143607,0.0002446547,0.0002468533,0.001281243,0.005123988],"genre_scores_gemma":[0.6411721,0.0003450042,0.3533634,0.0002910645,0.0001099624,0.0006125225,0.0005139014,0.000298984,0.003293074],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01137987,"threshold_uncertainty_score":0.02262723,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02443914660231798,"score_gpt":0.2348818769208154,"score_spread":0.2104427303184975,"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."}}