{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009229672,0.0009303418,0.0006105519,0.00193496,0.0007518328,0.002855476,0.002412548,0.0009901102,0.002084777],"category_scores_gemma":[0.02659732,0.0008171728,0.001827375,0.001236658,0.004601414,0.004465505,0.002151797,0.002317235,0.0002568205],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002273283,"about_ca_system_score_gemma":0.00185846,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001535713,"about_ca_topic_score_gemma":0.001170459,"domain_scores_codex":[0.9901857,0.003211778,0.0006035061,0.001056151,0.004196964,0.0007458435],"domain_scores_gemma":[0.9568796,0.03426282,0.003611351,0.002161157,0.002743445,0.0003416474],"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.00006755629,0.0001234813,0.001760696,0.0002073094,0.00007862613,0.0003247815,0.000272626,0.2438709,0.005967075,0.7355833,0.0005035274,0.01124019],"study_design_scores_gemma":[0.00002561461,0.0000481201,0.000237218,0.00003389174,0.00003417033,0.00009670496,0.00003359241,0.7821041,0.004674298,0.2110141,0.001676829,0.00002131358],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01518989,0.0001154077,0.9821839,0.0002619706,0.00002959305,0.00005311187,0.00005241851,0.0002831897,0.001830557],"genre_scores_gemma":[0.7830647,0.0003532481,0.2142106,0.0002187217,0.0001718137,0.0002889585,0.0001461747,0.0001819302,0.001363838],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009229672,"threshold_uncertainty_score":0.04881179,"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."}}