In this paper we introduce SFP M , a category of SFP domains which provides very satisfactory domain-models, i.e. "partializations", of separable Stone spaces (2-Stone spaces). More speciΓΏcally, SFP M is a subcategory of SFP ep , closed under direct limits as well as many constructors, such as lifti
β¦ LIBER β¦
Enriched categories and models for spaces of evolving states
β Scribed by Timothy Porter
- Book ID
- 108281463
- Publisher
- Elsevier Science
- Year
- 2008
- Tongue
- English
- Weight
- 439 KB
- Volume
- 405
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A category of compositional domain-model
β
Fabio Alessi; Paolo Baldan; Furio Honsell
π
Article
π
2003
π
Elsevier Science
π
English
β 463 KB
A State Space Transformation Can Yield I
β
Rajasekhar Ramakrishnan; Janak D. Ramakrishnan
π
Article
π
2010
π
Springer
π
English
β 516 KB
Filtering and smoothing of state vector
β
S. J. Koopman; J. Durbin
π
Article
π
2003
π
John Wiley and Sons
π
English
β 135 KB
On a topological model for the category
β
Mehmet Sait EroΗ§lu
π
Article
π
1989
π
Elsevier Science
π
English
β 632 KB
State space models for estimating and fo
β
Cristina Rueda; Pilar RodrΓguez
π
Article
π
2010
π
Elsevier Science
π
English
β 727 KB
Filtering and smoothing algorithms for s
β
R. Kohn; C.F. Ansley
π
Article
π
1989
π
Elsevier Science
π
English
β 790 KB
The paper reviews and generalizes recent filtering and smoothing algorithms for observations generated by a state model. In particular the paper discusses the modified Kalman filter derived by Ansley and Kohn (1985) and Kohn and Ansley (1986) to deal with state space models having partially diffuse