{"id":"W3176562981","doi":"10.1007/s10009-021-00625-z","title":"What can we monitor over unreliable channels?","year":2021,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Theory of computation; Programming language","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.003809165,0.000665846,0.0006453625,0.0006991586,0.001196312,0.002940283,0.001382362,0.001680824,0.003437372],"category_scores_gemma":[0.03782776,0.0004317799,0.000391601,0.0005331913,0.002924509,0.01356773,0.001934963,0.002847914,0.0006673145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006059293,"about_ca_system_score_gemma":0.001471991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001882157,"about_ca_topic_score_gemma":0.001392118,"domain_scores_codex":[0.9979405,0.0006838862,0.00009647698,0.000288708,0.0006347225,0.0003558101],"domain_scores_gemma":[0.9721931,0.01533721,0.003375917,0.004476572,0.003322582,0.00129461],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001186931,0.000313832,0.02687904,0.001329628,0.0004151514,0.001665835,0.003565175,0.07681611,0.02666321,0.476436,0.02260937,0.3621196],"study_design_scores_gemma":[0.0001048545,0.0002812739,0.002847107,0.0004197757,0.0004375949,0.0005966201,0.001712793,0.1848828,0.0250652,0.7418179,0.04167743,0.0001566178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.168188,0.004046325,0.7764888,0.02725239,0.001284106,0.0001371807,0.0001743576,0.003120447,0.0193083],"genre_scores_gemma":[0.9557661,0.001605964,0.03587279,0.001335394,0.000502583,0.00008282594,0.0000411245,0.0003144103,0.004478884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003809165,"threshold_uncertainty_score":0.02014506,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03448311251912821,"score_gpt":0.3164275150670675,"score_spread":0.2819444025479393,"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."}}