{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:JPF3P5U7XWGDJRYV2SOYJGAH7D","short_pith_number":"pith:JPF3P5U7","schema_version":"1.0","canonical_sha256":"4bcbb7f69fbd8c34c715d49d849807f8c491992349041a1d29ddc6968de44d74","source":{"kind":"arxiv","id":"1307.8208","version":1},"attestation_state":"computed","paper":{"title":"Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NI"],"primary_cat":"cs.LO","authors_text":"Canada), Maissa Elleuch (Sfax University, Mohamed Abid (Sfax University, Montreal, Osman Hasan (Concordia University, Sfax, Sofi\\`ene Tahar (Concordia University, Tunisia)","submitted_at":"2013-07-31T03:28:11Z","abstract_excerpt":"Wireless Sensor Networks (WSNs) have been widely explored for forest fire detection, which is considered a fatal threat throughout the world. Energy conservation of sensor nodes is one of the biggest challenges in this context and random scheduling is frequently applied to overcome that. The performance analysis of these random scheduling approaches is traditionally done by paper-and-pencil proof methods or simulation. These traditional techniques cannot ascertain 100% accuracy, and thus are not suitable for analyzing a safety-critical application like forest fire detection using WSNs. In this"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1307.8208","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-07-31T03:28:11Z","cross_cats_sorted":["cs.NI"],"title_canon_sha256":"5ae0391ffba6ed1cf229fc6d9991b902da6b5e8765e7c82b2b63a99be20fb44a","abstract_canon_sha256":"1bb949b6becedb6eb6dd3c098e152e148f0412fbfe23cdf3ecbcb9a4d0a7bbd8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:17:02.020161Z","signature_b64":"jlaTl8E1Q/R1FFwnD9wIdLOlwSKQy4uTJUo9U1wtS5ZMD9d4wvO4LcJfCpgHhLOpCjpp5Qgfx3i1UFkSCIa/BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4bcbb7f69fbd8c34c715d49d849807f8c491992349041a1d29ddc6968de44d74","last_reissued_at":"2026-05-18T03:17:02.019460Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:17:02.019460Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NI"],"primary_cat":"cs.LO","authors_text":"Canada), Maissa Elleuch (Sfax University, Mohamed Abid (Sfax University, Montreal, Osman Hasan (Concordia University, Sfax, Sofi\\`ene Tahar (Concordia University, Tunisia)","submitted_at":"2013-07-31T03:28:11Z","abstract_excerpt":"Wireless Sensor Networks (WSNs) have been widely explored for forest fire detection, which is considered a fatal threat throughout the world. Energy conservation of sensor nodes is one of the biggest challenges in this context and random scheduling is frequently applied to overcome that. The performance analysis of these random scheduling approaches is traditionally done by paper-and-pencil proof methods or simulation. These traditional techniques cannot ascertain 100% accuracy, and thus are not suitable for analyzing a safety-critical application like forest fire detection using WSNs. In this"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.8208","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1307.8208","created_at":"2026-05-18T03:17:02.019586+00:00"},{"alias_kind":"arxiv_version","alias_value":"1307.8208v1","created_at":"2026-05-18T03:17:02.019586+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.8208","created_at":"2026-05-18T03:17:02.019586+00:00"},{"alias_kind":"pith_short_12","alias_value":"JPF3P5U7XWGD","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"JPF3P5U7XWGDJRYV","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"JPF3P5U7","created_at":"2026-05-18T12:27:49.015174+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D","json":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D.json","graph_json":"https://pith.science/api/pith-number/JPF3P5U7XWGDJRYV2SOYJGAH7D/graph.json","events_json":"https://pith.science/api/pith-number/JPF3P5U7XWGDJRYV2SOYJGAH7D/events.json","paper":"https://pith.science/paper/JPF3P5U7"},"agent_actions":{"view_html":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D","download_json":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D.json","view_paper":"https://pith.science/paper/JPF3P5U7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1307.8208&json=true","fetch_graph":"https://pith.science/api/pith-number/JPF3P5U7XWGDJRYV2SOYJGAH7D/graph.json","fetch_events":"https://pith.science/api/pith-number/JPF3P5U7XWGDJRYV2SOYJGAH7D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D/action/storage_attestation","attest_author":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D/action/author_attestation","sign_citation":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D/action/citation_signature","submit_replication":"https://pith.science/pith/JPF3P5U7XWGDJRYV2SOYJGAH7D/action/replication_record"}},"created_at":"2026-05-18T03:17:02.019586+00:00","updated_at":"2026-05-18T03:17:02.019586+00:00"}