{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005371463,0.001528973,0.00143512,0.001679299,0.001235581,0.00374594,0.001896094,0.002245428,0.005473839],"category_scores_gemma":[0.02452619,0.001216367,0.001522779,0.0007039781,0.00313345,0.003896666,0.001972586,0.004254373,0.001446483],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001428004,"about_ca_system_score_gemma":0.002754884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002348022,"about_ca_topic_score_gemma":0.002127362,"domain_scores_codex":[0.9934527,0.001542289,0.0004269998,0.001352716,0.002916393,0.0003088279],"domain_scores_gemma":[0.9725986,0.0200716,0.001098844,0.002728011,0.003238464,0.0002645998],"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.001331897,0.0003326268,0.004148074,0.0008658725,0.0002744751,0.0003932109,0.001725241,0.1357537,0.0792375,0.245769,0.003223374,0.526945],"study_design_scores_gemma":[0.0002698363,0.000388439,0.001044028,0.0001737414,0.0001202858,0.0005895087,0.0001227318,0.7649409,0.1429066,0.06536469,0.02386286,0.0002164928],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002856896,0.00009056262,0.9949282,0.0000731719,0.00004880663,0.00004394865,0.00001768296,0.001242534,0.0006982408],"genre_scores_gemma":[0.1270269,0.0002941913,0.8668596,0.00009237127,0.000084122,0.0003580264,0.00006527467,0.0006718464,0.004547612],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005473839,"threshold_uncertainty_score":0.02840739,"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."}}