{"id":"W6931581551","doi":"10.5281/zenodo.7430228","title":"Compiling Distributed System Models with PGo [evaluation]","year":2022,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Vagus Nerve Stimulation Research","field":"Neuroscience","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Modular design; Compiler; Implementation; Set (abstract data type); Key (lock); Latency (audio); Modeling language; Model checking","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.002045657,0.001441236,0.0005488385,0.0008482905,0.0005779639,0.00178706,0.001750019,0.0007798423,0.0117072],"category_scores_gemma":[0.01189478,0.001308138,0.00148515,0.0006787385,0.000963792,0.002185718,0.002347317,0.001616878,0.002889856],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008079215,"about_ca_system_score_gemma":0.002001637,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003495382,"about_ca_topic_score_gemma":0.004212933,"domain_scores_codex":[0.9982152,0.000487654,0.0001676837,0.0002993344,0.000668999,0.0001612302],"domain_scores_gemma":[0.995392,0.001558887,0.0003257213,0.00207665,0.0005822409,0.00006448613],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004305957,0.0003482072,0.008778661,0.002519057,0.0002533412,0.001095184,0.001387798,0.3729447,0.02147585,0.130263,0.06040239,0.4001013],"study_design_scores_gemma":[0.0001503535,0.0001652553,0.0009279336,0.0002767886,0.0001298534,0.000476299,0.000187421,0.8024676,0.02744995,0.05097081,0.1167334,0.00006423568],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009531868,0.00008001321,0.9215739,0.0002919071,0.000129372,0.0003200745,0.0009391552,0.05324692,0.01388679],"genre_scores_gemma":[0.1648071,0.0002303282,0.8129445,0.0002923468,0.00005089586,0.0005477986,0.003282191,0.01160665,0.00623819],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0117072,"threshold_uncertainty_score":0.03916442,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1068761621221905,"score_gpt":0.29004137447245,"score_spread":0.1831652123502595,"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."}}