{"id":"W4366149814","doi":"10.2139/ssrn.4421677","title":"Multi-Valued Model Checking Iot and Intelligent Systems with Commitment Protocols in Multi-Source Data Environments","year":2023,"lang":"en","type":"preprint","venue":"SSRN Electronic Journal","topic":"Cloud Computing and Resource Management","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta; Concordia University","funders":"","keywords":"Computer science; Internet of Things; Model checking; Distributed computing; Computer security; Theoretical computer science","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","research_integrity"],"consensus_categories":[],"category_scores_codex":[0.00513901,0.000572944,0.0006310815,0.0003985573,0.0003052066,0.000683239,0.003887785,0.0002320409,3.45337e-7],"category_scores_gemma":[0.0000376757,0.0004705157,0.00008909329,0.0002441121,0.00008037611,0.00005085074,0.007797582,0.004558133,0.00001253771],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001472645,"about_ca_system_score_gemma":0.0008783346,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004116956,"about_ca_topic_score_gemma":0.000443144,"domain_scores_codex":[0.9941263,0.0003866728,0.0008466173,0.001396723,0.0008536148,0.002390114],"domain_scores_gemma":[0.9970277,0.0000508594,0.0006847747,0.002019849,0.00003307828,0.0001837661],"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.00002872469,0.0003888179,0.001154442,0.0001529668,0.0003636332,0.00003940473,0.001018293,0.9797398,0.00001457431,0.001834937,0.00002261663,0.0152418],"study_design_scores_gemma":[0.001485992,0.0001791868,0.0003677519,0.001133351,0.00004150599,0.0001316512,0.0005954814,0.9938263,0.00000788566,0.001130615,0.0005800988,0.0005202164],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0187964,0.001754992,0.9709596,0.0003390778,0.0002127546,0.007769114,0.000006316794,0.0001507009,0.00001104144],"genre_scores_gemma":[0.8427512,0.003137558,0.1364745,0.0002046457,0.0005457391,0.004784253,0.0000649616,0.0003676795,0.01166942],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8344851,"threshold_uncertainty_score":0.9997746,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1045554583482442,"score_gpt":0.32085396881477,"score_spread":0.2162985104665258,"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."}}