Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with pr.probability
Search options not deleted
user 82487
Theory and applications of probability and stochastic processes: e.g. central limit theorems, large deviations, stochastic differential equations, models from statistical mechanics, queuing theory.
5
votes
2
answers
199
views
Products of double-negation sublocales (and probability distributions on them)
In locale theory, one can produce from any locale $A$ its double negation sublocale $A_{\neg\neg}$ via the nucleus which maps an open $U$ of $A$ to $\neg \neg U$, which is the interior of the closure …
- 50.6k
5
votes
0
answers
253
views
Uniqueness of localic analogue of Radon-Nikodym derivatives
In classical probability theory, Radon-Nikodym derivatives are unique up to measure-0 sets of the background measure. I am wondering whether the following statement, intended to state an analogue of t …
- 303
0
votes
Defining measures over frames in place of $\sigma$-algebras
In fact, the analogue of measures for frames has in fact been studied under the name "valuations." As far as I'm aware, concept and name originates from the following papers:
Claire Jones and Gordon …
- 303
3
votes
Products of double-negation sublocales (and probability distributions on them)
I just want to expand on Simon's answers. Simon was correct regarding my mistaken interest in probability distributions over double-negation locales.
Measures, Randomness, and Sublocales by Alex Simp …
- 303