Formal probabilistic analysis of detection properties in wireless sensor networks (Q903510): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-014-0304-0
@@ Property / DOI: 10.1007/s00165-014-0304-0 / rank @@
-Normal rank
@@ Property / author @@
-Mohamed Amine Abid
@@ Property / author: Mohamed Amine Abid / rank @@
-Normal rank
@@ Property / author @@
+Mohamed Amine Abid
@@ Property / author: Mohamed Amine Abid / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-014-0304-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2071975066
@@ Property / OpenAlex ID: W2071975066 / rank @@
+Normal rank
@@ Property / cites work @@
+Using theorem proving to verify expectation and variance for discrete random variables
+Normal rank
@@ Property / cites work @@
+Proofs of randomized algorithms in Coq
@@ Property / cites work: Proofs of randomized algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538132
@@ Property / cites work: Q5538132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Chapters of Measure Theory in Isabelle/HOL
@@ Property / cites work: Three Chapters of Measure Theory in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Continuous Probability Distributions
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217794
@@ Property / cites work: Q4217794 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Formalization of the Lebesgue Integration Theory in HOL
+Normal rank
@@ Property / cites work @@
+Formalization of Entropy Measures in HOL
@@ Property / cites work: Formalization of Entropy Measures in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Coverage and Detection of a Randomized Scheduling Algorithm in Wireless Sensor Networks
+Normal rank
@@ Property / cites work @@
+Two and three-dimensional intrusion object detection under randomized scheduling algorithms in sensor networks
+Normal rank
@@ Property / DOI @@
+.1007/S00165-014-0304-0
@@ Property / DOI: 10.1007/S00165-014-0304-0 / rank @@
+Normal rank