Explore >> Select a destination


You are here

xorshammer.com
| | almostsuremath.com
17.3 parsecs away

Travel
| | In this post I attempt to give a rigorous definition of integration with respect to Brownian motion (as introduced by Itô in 1944), while keeping it as concise as possible. The stochastic integral can also be defined for a much more general class of processes called semimartingales. However, as Brownian motion is such an important...
| | almostsuremath.com
10.9 parsecs away

Travel
| | I start these notes on stochastic calculus with the definition of a continuous time stochastic process. Very simply, a stochastic process is a collection of random variables $latex {\{X_t\}_{t\ge 0}}&fg=000000$ defined on a probability space $latex {(\Omega,\mathcal{F},{\mathbb P})}&fg=000000$. That is, for each time $latex {t\ge 0}&fg=000000$, $latex {\omega\mapsto X_t(\omega)}&fg=000000$ is a measurable function from $latex...
| | homotopytypetheory.org
15.1 parsecs away

Travel
| | In this blog post I would like to approach dependendent types from a presheaf point of view. This allows us to take the theory of presheaves as an inspiration for results in homotopy type theory. The first result from this direction is a type theoretical variant of the Yoneda lemma, stating that the fiber $latex...
| | cyclostationary.blog
105.8 parsecs away

Travel
| Our toolkit expands to include basic probability theory.