{"id":"W2056248271","doi":"10.4204/eptcs.122.1","title":"Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection","year":2013,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Energy Efficient Wireless Sensor Networks","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Wireless sensor network; Probabilistic logic; Scheduling (production processes); Fire detection; Disjoint sets; Probabilistic analysis of algorithms; Upper and lower bounds; Efficient energy use","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.004879338,0.0007381819,0.0004953523,0.001119317,0.0007355791,0.002030823,0.001493294,0.0009013166,0.001932358],"category_scores_gemma":[0.01431311,0.0005085887,0.001669863,0.0007602891,0.002888268,0.002751708,0.001207688,0.001476943,0.000339962],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001977695,"about_ca_system_score_gemma":0.002359099,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002075591,"about_ca_topic_score_gemma":0.001749926,"domain_scores_codex":[0.9956363,0.001526805,0.0002710501,0.0005153616,0.00177995,0.0002705336],"domain_scores_gemma":[0.9885315,0.008504977,0.001258619,0.0007434677,0.000832128,0.0001293422],"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.00006943638,0.0001025272,0.001767809,0.0002550504,0.00007333552,0.0004457592,0.0002679293,0.4388785,0.01146016,0.532236,0.0007782486,0.01366518],"study_design_scores_gemma":[0.00001851331,0.00005101852,0.0003732826,0.00003781235,0.00002913408,0.0001689439,0.00004130833,0.8584392,0.002925544,0.135434,0.002462078,0.00001914074],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01122582,0.0001322394,0.9857864,0.0003120177,0.00002732922,0.00008324483,0.00007247316,0.0001087078,0.002251704],"genre_scores_gemma":[0.6076117,0.0007212811,0.3882003,0.0002911969,0.0001348871,0.000691818,0.0002636346,0.0001161527,0.001969011],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004879338,"threshold_uncertainty_score":0.0258047,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004363880737275489,"score_gpt":0.2098156737022676,"score_spread":0.2054517929649921,"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."}}