equation 11.89 eq:prob-p-one-sided

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on definition 11.96 Local, global, trials factor ¶
  • depends_on corollary 11.105 Trials factor at high significance ¶
  • depends_on definition 11.100 Upcrossings ¶
    • depends_on definition A.218 The hypotheses ¶
      • depends_on lemma A.220 At each point, field and derivative are independent Gaussians ¶
      • depends_on theorem A.219 Rice's formula ¶
        • depends_on corollary A.227 The stationary case ¶
    • depends_on lemma A.221 Counting identity ¶
    • depends_on theorem A.219 Rice's formula ¶ ↺
    • depends_on theorem 11.101 Davies' bound ¶
      • depends_on corollary 11.105 Trials factor at high significance ¶ ↺
      • depends_on example 11.107 Degrading a local five sigma ¶
    • depends_on theorem 11.103 Level dependence of the mean upcrossing count ¶
      • depends_on corollary 11.105 Trials factor at high significance ¶ ↺
      • depends_on example 11.107 Degrading a local five sigma ¶ ↺
    • depends_on theorem 11.102 Rice's formula ¶
      • depends_on theorem 11.103 Level dependence of the mean upcrossing count ¶ ↺
  • depends_on proposition 113.19 The trials factors of the 2012 result ¶
  • depends_on proposition 11.97 The trials factor is at least one ¶
  • depends_on proposition 11.98 Union bound and the naive estimate ¶
    • depends_on example 11.107 Degrading a local five sigma ¶ ↺