definition 11.100 Upcrossings
open in the book ·
parts/02-mathematical-methods/09-probability-statistics.tex:3081
· p. 407
- ground object -- no derivation owed
Rests on
-
depends_on
definition 11.96
Local, global, trials factor
¶
-
depends_on
definition 11.75
$p$-value
¶
-
depends_on
definition 11.74
Hypotheses and tests
¶
- depends_on definition 11.53 Statistical model ¶
-
depends_on
definition 11.74
Hypotheses and tests
¶
- depends_on equation 11.89 eq:prob-p-one-sided ¶
- depends_on equation 11.88 eq:prob-q0 ¶
-
depends_on
definition 11.75
$p$-value
¶
Supports
-
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 ¶ ↺
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Local, global, trials factor | declared | parts/02-mathematical-methods/09-probability-statistics.tex:3086 |
depends_on |
← | The hypotheses | declared | appendices/A-long-proofs.tex:11091 |
depends_on |
← | Counting identity | declared | appendices/A-long-proofs.tex:11221 |
depends_on |
← | Rice's formula | declared | appendices/A-long-proofs.tex:11102 |
depends_on |
← | Davies' bound | declared | parts/02-mathematical-methods/09-probability-statistics.tex:3101 |
depends_on |
← | Level dependence of the mean upcrossing count | declared | parts/02-mathematical-methods/09-probability-statistics.tex:3186 |
depends_on |
← | Rice's formula | declared | parts/02-mathematical-methods/09-probability-statistics.tex:3149 |