{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001954017,0.0003002529,0.0005469765,0.0005629309,0.0003574163,0.0003715346,0.002204983,0.0001381762,0.000007826328],"category_scores_gemma":[0.0001686855,0.0002657914,0.0002050556,0.007367231,0.001260201,0.00123124,0.0005900546,0.0003676504,0.000003585268],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003387638,"about_ca_system_score_gemma":0.0001727915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002470757,"about_ca_topic_score_gemma":0.00003560019,"domain_scores_codex":[0.9956542,0.00003373706,0.0006607639,0.001069439,0.0007037686,0.001878083],"domain_scores_gemma":[0.9979529,0.0004328638,0.0002764718,0.0004526084,0.0006870152,0.0001981226],"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.00001967423,0.00008391048,0.0007086006,0.00002613345,0.00004191005,4.745478e-7,0.0002060243,0.1089044,0.0007630333,0.8664415,0.00001015351,0.02279419],"study_design_scores_gemma":[0.0002839874,0.000483095,0.003801693,0.00004361531,0.00005164818,0.00001038494,0.000009048726,0.9321788,0.001852664,0.060986,0.00001375791,0.0002853109],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4465919,0.00002709536,0.552371,0.0001371407,0.0001481536,0.0004763201,4.78879e-7,0.00009882383,0.0001490548],"genre_scores_gemma":[0.9509242,0.000008462789,0.04863543,0.0001127305,0.0001271589,0.0001686894,0.00000161712,0.00001604808,0.000005635082],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8232744,"threshold_uncertainty_score":0.9999794,"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."}}