{"id":"W1500724058","doi":"10.1007/11609773_17","title":"Piecewise FIFO Channels Are Analyzable","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"FIFO (computing and electronics); Piecewise; Computer science; Mathematics; Programming language; Mathematical analysis","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.0004189111,0.0008724183,0.0004426917,0.001179739,0.0008351814,0.002760559,0.0006879843,0.0007478365,0.008075953],"category_scores_gemma":[0.002948859,0.0007662939,0.000636817,0.0009732521,0.001616115,0.004250829,0.001194505,0.002582009,0.00110915],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007642654,"about_ca_system_score_gemma":0.0006581204,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006036932,"about_ca_topic_score_gemma":0.0004582786,"domain_scores_codex":[0.9994633,0.00006551776,0.00002788393,0.0001123761,0.0002005075,0.0001305068],"domain_scores_gemma":[0.998429,0.0009322991,0.0001565742,0.0002731882,0.0001449452,0.00006388311],"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.0001609742,0.00002855887,0.0002580949,0.0001132356,0.00001294862,0.0001577289,0.0002305418,0.009692895,0.009644956,0.9502673,0.001412103,0.02802073],"study_design_scores_gemma":[0.0000275089,0.00004350302,0.000195164,0.00005273749,0.00005507101,0.0003201437,0.0001220268,0.04737847,0.01653085,0.9223637,0.012874,0.00003671351],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09283078,0.000744738,0.8322231,0.0003861049,0.000247977,0.00008651966,0.0002937708,0.001934498,0.07125258],"genre_scores_gemma":[0.8772599,0.001225455,0.08451578,0.0001431988,0.0001443153,0.0001579191,0.0002814377,0.0005338688,0.03573812],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008075953,"threshold_uncertainty_score":0.02701676,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02948864342716397,"score_gpt":0.2767743904493601,"score_spread":0.2472857470221961,"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."}}