{"id":"W2227373513","doi":"","title":"Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b","year":2006,"lang":"fr","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Physics","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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.01917921,0.0006116843,0.00053395,0.0002601404,0.0007486201,0.00108171,0.003000035,0.0006196069,0.0000833725],"category_scores_gemma":[0.002782014,0.0006913498,0.0002662285,0.001547019,0.0006919567,0.00142683,0.00104325,0.0008258517,0.0002758964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007233401,"about_ca_system_score_gemma":0.0009015927,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006636455,"about_ca_topic_score_gemma":0.002499579,"domain_scores_codex":[0.9764133,0.0190524,0.001241644,0.001496843,0.0008152876,0.0009805395],"domain_scores_gemma":[0.9902375,0.002458359,0.001094228,0.003520299,0.002377057,0.0003125715],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004382573,0.002374463,0.007730658,0.0006655018,0.00004108597,0.0000153247,0.01467823,0.0007473319,0.01003885,0.7822288,0.004807767,0.1766281],"study_design_scores_gemma":[0.001396048,0.000007440272,0.03429209,0.00177334,0.00007939767,0.0002677627,0.0001611563,0.5480638,0.1043411,0.04189152,0.2666343,0.001092068],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01571539,0.0004090154,0.8989106,0.01696457,0.0002737566,0.006718671,0.0000571415,0.0004474731,0.06050333],"genre_scores_gemma":[0.1213226,0.0001045812,0.8185794,0.0001510158,0.0001683009,0.005079383,0.0001455217,0.00009913585,0.0543501],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7403373,"threshold_uncertainty_score":0.9999784,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0191646421385794,"score_gpt":0.2575796435969476,"score_spread":0.2384150014583682,"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."}}