{"id":"W2071975066","doi":"10.1007/s00165-014-0304-0","title":"Formal probabilistic analysis of detection properties in wireless sensor networks","year":2014,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Energy Efficient Wireless Sensor Networks","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Wireless sensor network; Computer science; Probabilistic logic; Intrusion detection system; HOL; Probabilistic analysis of algorithms; Theory of computation; Randomness; Event (particle physics); Scheduling (production processes); Automated theorem proving; Distributed computing; Theoretical computer science; Algorithm; Computer network; Data mining; Artificial intelligence; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0009123447,0.0002140113,0.0006042024,0.0005977702,0.000124273,0.00005039997,0.0006642745,0.0001147006,0.000001503728],"category_scores_gemma":[0.00007826308,0.0001928107,0.0001924185,0.002216896,0.0001045442,0.0005527408,0.0004075574,0.0002410184,8.838535e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006211682,"about_ca_system_score_gemma":0.00002938924,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001142666,"about_ca_topic_score_gemma":0.0002486738,"domain_scores_codex":[0.9976288,0.0001514111,0.0008079541,0.0003701561,0.0004013545,0.0006403319],"domain_scores_gemma":[0.9984659,0.0002345985,0.0005135255,0.0005018021,0.0002137046,0.00007045548],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001973656,0.00009198632,0.001598588,0.0000567777,0.00007952007,0.000001797424,0.0004305853,0.9396304,0.0007477253,0.02636842,3.370138e-7,0.0309741],"study_design_scores_gemma":[0.0003136718,0.0001789236,0.02021248,0.0001225233,0.00005985804,0.000005217073,0.00004033457,0.9712422,0.007532028,0.00008856752,0.000003870542,0.0002003225],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5151939,0.00001913299,0.4837435,0.000008513372,0.0001392308,0.00009721376,2.268796e-7,0.00006325656,0.000735058],"genre_scores_gemma":[0.9933808,0.000002509003,0.006487085,0.00002018895,0.00008433035,0.000003099359,0.000002943875,0.00001313984,0.000005844432],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.478187,"threshold_uncertainty_score":0.7862592,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008872300102288134,"score_gpt":0.2016832755191182,"score_spread":0.1928109754168301,"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."}}