{"id":"W4295047534","doi":"10.1109/mcse.2022.3186227","title":"Formal Modeling and Simulation for SARS-CoV-2 Containment Scenarios in Catalonia","year":2022,"lang":"en","type":"article","venue":"Computing in Science & Engineering","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Containment (computer programming); Pandemic; Process (computing); Coronavirus disease 2019 (COVID-19); Formal verification; Multidisciplinary approach; Formal specification; Formal methods; Formal description; Formal language; H1n1 pandemic; Software engineering; Programming language; Infectious disease (medical specialty)","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":[],"consensus_categories":[],"category_scores_codex":[0.004041942,0.00008035338,0.0001307814,0.000534674,0.0003439338,0.0001474949,0.0004394062,0.00001773024,0.000001786063],"category_scores_gemma":[0.0005790346,0.00008264834,0.00002468932,0.001321188,0.0000357217,0.0003621886,0.0003664117,0.000125018,6.795847e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002293882,"about_ca_system_score_gemma":0.00005380084,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005020715,"about_ca_topic_score_gemma":0.00001471438,"domain_scores_codex":[0.9983045,0.00001454713,0.0004600963,0.0003778756,0.0005419587,0.0003010143],"domain_scores_gemma":[0.999137,0.0004712944,0.00007266228,0.0002102926,0.00007793996,0.00003085075],"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.000003886036,0.00001028068,0.003564254,0.000001102147,2.166236e-7,3.541816e-7,0.0005829021,0.9842243,0.005539529,0.002157312,0.000002131536,0.003913729],"study_design_scores_gemma":[0.0003178239,0.00002084759,0.003035613,0.000009531601,5.88911e-7,0.000001990405,0.0002109919,0.9942948,0.0008516728,0.0007589395,0.000400064,0.00009709819],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5630692,0.00001595425,0.4365239,0.00004510309,0.00005273827,0.00025165,0.000001284024,0.00002872436,0.00001140909],"genre_scores_gemma":[0.987034,2.429838e-7,0.01283478,0.00005696785,0.00001612126,0.00004715637,0.000001595183,0.000006253233,0.000002857275],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4239648,"threshold_uncertainty_score":0.3370301,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09397985124197986,"score_gpt":0.3996922630386715,"score_spread":0.3057124117966916,"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."}}