๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On an equivalence between continuation and stack semantics

โœ Scribed by Bruce Russell

Publisher
Springer-Verlag
Year
1977
Tongue
English
Weight
515 KB
Volume
8
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An exact equivalence between the discret
An exact equivalence between the discrete- and continuous-time formulations of the Kalman filter
โœ M.W.A. Smith; A.P. Roberts ๐Ÿ“‚ Article ๐Ÿ“… 1978 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 636 KB

It is shown that if the definition of the covariance of a white noise sequence in discrete-time is derived from the accepted mathematical description for the covariance of a white noise process in continuous-time, compatibility between the discreteand continuous-time versions of the Kalman filter is

The equivalence between uniqueness and c
The equivalence between uniqueness and continuous dependence of solutions for FBSDEs with continuous monotone coefficients
โœ Feng Zhang ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 498 KB

In this paper we study one kind of coupled forward-backward stochastic differential equation. With some particular choice for the coefficients, if one of them satisfies a uniform growth condition and they are accordingly monotone, then we obtain the equivalence between the uniqueness of solution and