{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001667206,0.0006296713,0.0006517236,0.001176909,0.000321386,0.0007735126,0.005288627,0.0004462937,0.00006209697],"category_scores_gemma":[0.0002072633,0.0006014593,0.0001756219,0.00108915,0.0006470885,0.001352427,0.001494677,0.0009951968,0.0002136258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004989719,"about_ca_system_score_gemma":0.0004181102,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001508158,"about_ca_topic_score_gemma":0.00003189846,"domain_scores_codex":[0.9952218,0.00006453575,0.0006803529,0.001896049,0.001248957,0.0008883388],"domain_scores_gemma":[0.9961217,0.0002775614,0.0005751203,0.002426726,0.0003491765,0.0002497139],"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.000006074768,0.00003836935,0.0000324843,0.00004234414,0.00001247903,0.00005398849,0.0004938351,0.07250115,0.00007415369,0.05174486,0.00008980429,0.8749105],"study_design_scores_gemma":[0.0002125285,0.000149186,0.000147147,0.000389756,0.00000997876,0.00008072178,1.614113e-7,0.8801417,0.002685278,0.1000929,0.01518158,0.0009091381],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003255518,0.0007068182,0.9877062,0.0008754377,0.003119926,0.0004048651,0.000005486344,0.0002815643,0.006867112],"genre_scores_gemma":[0.01538786,0.00008905867,0.9801509,0.001637386,0.001086321,0.00001709283,0.000004377315,0.00004297989,0.001583989],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8740013,"threshold_uncertainty_score":0.9996437,"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."}}