{"id":"W2016647275","doi":"10.1016/j.entcs.2009.06.022","title":"Probabilistic Analysis of Wireless Systems Using Theorem Proving","year":2009,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automated theorem proving; Probabilistic logic; Probabilistic analysis of algorithms; Wireless; General Packet Radio Service; GSM; HOL; Theoretical computer science; Distributed computing; Computer network; Programming language; Telecommunications","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.009156946,0.001260348,0.0009078896,0.002194552,0.001108101,0.003307978,0.002395075,0.00103154,0.003366013],"category_scores_gemma":[0.02272398,0.0006590714,0.003031463,0.001582553,0.004074654,0.004513673,0.002852648,0.002741517,0.0006504758],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00183665,"about_ca_system_score_gemma":0.00245995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001933214,"about_ca_topic_score_gemma":0.001317187,"domain_scores_codex":[0.991733,0.003413958,0.0004905102,0.0006703793,0.003181875,0.0005102934],"domain_scores_gemma":[0.9779107,0.01856355,0.0009632081,0.001436039,0.0009959545,0.0001306494],"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.00004491832,0.0000730696,0.0009199591,0.0004229696,0.000121961,0.0003833379,0.0003210117,0.1642002,0.003708624,0.7824332,0.00128707,0.04608373],"study_design_scores_gemma":[0.00004287256,0.00004649181,0.0002397283,0.00007342171,0.00005870875,0.0001652661,0.00004725598,0.4189722,0.005920342,0.5686565,0.0057433,0.0000338823],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001657626,0.0001061099,0.9967837,0.0001198997,0.00001300435,0.00003274062,0.00002726281,0.0002479649,0.001011701],"genre_scores_gemma":[0.2284958,0.001311657,0.7674782,0.0002593499,0.0002133307,0.0003630603,0.0002403925,0.000205828,0.001432353],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009156946,"threshold_uncertainty_score":0.0484271,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01475132019386853,"score_gpt":0.2924607097555175,"score_spread":0.277709389561649,"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."}}