{"id":"W2051625963","doi":"10.1016/j.tcs.2004.11.009","title":"Formal description and analysis of a distributed location service for mobile ad hoc networks","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Mobile Ad Hoc Networks","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada; Neurosurgery Research and Education Foundation","keywords":"Computer science; Computer network; Distributed computing; Wireless Routing Protocol; Optimized Link State Routing Protocol; Routing protocol; Mobile ad hoc network; Wireless ad hoc network; Network packet; Wireless","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.00119311,0.0001631411,0.0003023929,0.0002412988,0.0002859462,0.000260445,0.001223188,0.00007540508,0.000003820883],"category_scores_gemma":[0.00003221034,0.000144184,0.00007923529,0.004768803,0.0009197202,0.00109808,0.0006335908,0.0001132819,0.000001633327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008924553,"about_ca_system_score_gemma":0.0001021821,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003509968,"about_ca_topic_score_gemma":0.00001064797,"domain_scores_codex":[0.9980475,0.00004572453,0.0003621083,0.0006163954,0.0003994055,0.0005288334],"domain_scores_gemma":[0.9982476,0.0001915841,0.0001399416,0.0006702001,0.0005468674,0.0002038676],"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.00002112236,0.00006748572,0.00004502508,0.00001425049,0.00003025943,7.028461e-7,0.0003521664,0.2813957,0.0001051968,0.6627537,0.000003632289,0.05521077],"study_design_scores_gemma":[0.0003864673,0.0003810472,0.003338086,0.00002925904,0.00008516562,0.000006696341,0.000008949628,0.9671926,0.0003320806,0.0280415,0.00003682057,0.0001613361],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09487385,0.0002770629,0.9039483,0.0001935877,0.0001906126,0.0004037538,0.000006917057,0.00008826819,0.00001763916],"genre_scores_gemma":[0.8550008,0.00002695861,0.1446131,0.0002487672,0.00003710653,0.00005090586,0.00001691443,0.000005011123,4.829926e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7601269,"threshold_uncertainty_score":0.5879653,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008857737886663775,"score_gpt":0.2349006979549886,"score_spread":0.2260429600683248,"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."}}