{"id":"W3024074289","doi":"10.1145/373243.360221","title":"What packets may come","year":2001,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Bell (Canada)","funders":"","keywords":"Computer science; TRACE (psycholinguistics); Protocol (science); Specification language; Construct (python library); Network packet; Point (geometry); Programming language; Theoretical computer science; Computer network","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.003193457,0.0007438106,0.0007172211,0.001195209,0.003689851,0.008138766,0.001932571,0.003101176,0.03932753],"category_scores_gemma":[0.01354782,0.0007041969,0.00094367,0.001629313,0.001718825,0.01371874,0.003243063,0.002843357,0.009306798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002019979,"about_ca_system_score_gemma":0.001824378,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003838363,"about_ca_topic_score_gemma":0.002828188,"domain_scores_codex":[0.9975154,0.000599836,0.0001787419,0.0005276448,0.0007298057,0.0004486433],"domain_scores_gemma":[0.9938697,0.00239329,0.0004858688,0.001525632,0.001016581,0.0007090057],"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.0007680545,0.0001886277,0.007553639,0.0003553789,0.00007071029,0.001797369,0.00151933,0.006334058,0.001383096,0.6828048,0.1207474,0.1764776],"study_design_scores_gemma":[0.00006825039,0.0001066402,0.001360913,0.0002382166,0.00007923854,0.0009754625,0.002081819,0.02165442,0.00305225,0.5386153,0.431685,0.000082404],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.07246007,0.0116024,0.3488236,0.1275857,0.01288628,0.0008865976,0.01161305,0.00588866,0.4082537],"genre_scores_gemma":[0.6198288,0.009622726,0.1022519,0.01847242,0.004150994,0.0006926521,0.009159482,0.00175917,0.2340619],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03932753,"threshold_uncertainty_score":0.1315637,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06032250214397428,"score_gpt":0.3319133247227106,"score_spread":0.2715908225787363,"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."}}