{"id":"W357044489","doi":"","title":"Improvements on handling design errors in communication protocols.","year":2005,"lang":"en","type":"article","venue":"Scholarship at UWindsor (University of Windsor)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002283114,0.0001801193,0.0002368365,0.0004127971,0.0003621104,0.0000580119,0.002130676,0.0001797049,0.00004906686],"category_scores_gemma":[0.0001660882,0.0002267759,0.00008687074,0.0006998655,0.0001172684,0.002048632,0.0005038037,0.0004668912,0.0001455871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003782777,"about_ca_system_score_gemma":0.00008910493,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005792534,"about_ca_topic_score_gemma":0.0001188979,"domain_scores_codex":[0.997864,0.0005957026,0.0002742945,0.0004531597,0.0004756954,0.0003371232],"domain_scores_gemma":[0.9980937,0.0001298532,0.0003248202,0.001211629,0.0001293531,0.0001106405],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.003080637,0.003841578,0.1338851,0.000413632,0.0002388539,0.00006327233,0.03953792,0.0260205,0.1310149,0.07890525,0.0009068511,0.5820915],"study_design_scores_gemma":[0.009762989,0.001494984,0.620171,0.001148575,0.00004507001,0.00001947805,0.001372905,0.1581502,0.1862895,0.007468141,0.01242443,0.001652752],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7249886,0.00005226347,0.2644957,0.001408639,0.0001019074,0.005910703,0.000005518045,0.0001995688,0.002837077],"genre_scores_gemma":[0.5636351,0.000008062391,0.4358368,0.0001153566,0.0000129079,0.00002826539,0.000004162378,0.00001043309,0.000348953],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5804388,"threshold_uncertainty_score":0.9247653,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06736609366608098,"score_gpt":0.3007636642854378,"score_spread":0.2333975706193568,"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."}}