Results 1 to 10 of about 352,737 (185)
Efficient CSL Model Checking Using Stratification [PDF]
Logical Methods in Computer Science, 2012 For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996.
Lijun Zhang +3 more
doaj +7 more sources
𝑘-parameter semigroups of measure-preserving transformations [PDF]
Transactions of the American Mathematical Society, 1973 An individual ergodic theorem is proved for semigroups of measure-preserving transformations depending on k real parameters, which generalizes N. Wiener’s ergodic theorem.
Norberto A. Fava
openalex +3 more sources
Fourier Transforms and Measure-Preserving Transformations [PDF]
Proceedings of the American Mathematical Society, 1974 There exists a continuous function f f on the real line, vanishing at infinity, such that, for every measure-preserving transformation h h , the composition f ∘ h f \circ h fails to be a Fourier transform.
O. Carruth McGehee
openalex +2 more sources
Approximation theories for measure preserving transformations [PDF]
Transactions of the American Mathematical Society, 1944 Not ...
Paul R. Halmos
openalex +3 more sources
Evaluating Geostationary Satellite-Based Approaches for NDVI Gap Filling in Polar-Orbiting Satellite Observations [PDF]
SensorsThe Normalized Difference Vegetation Index (NDVI) derived from polar-orbiting satellites is widely used for vegetation monitoring; however, its temporal continuity is often limited by cloud contamination and fixed revisit cycles.
Han-Sol Ryu +3 more
doaj +2 more sources
Generating Dense Subgroups of Measure Preserving Transformations [PDF]
Proceedings of the American Mathematical Society, 1981 Except for a set of first category, all pairs of measure preserving transformations generate a dense subgroup of G, the group of all invertible measure preserving transformations of the unit interval when G has the weak topology. Consider G the group of invertible (Lebesgue) measure preserving transformations of the unit interval onto itself.
V. S. Prasad
openalex +2 more sources
On measure-preserving rank one transformations [PDF]
Transactions of the Moscow Mathematical Society, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
V. V. Ryzhikov
openalex +4 more sources
Infinite measure preserving transformations with Radon MSJ [PDF]
Israel Journal of Mathematics, 2018 Final, slightly corrected, version, to appear in Isr.
Alexandre I. Danilenko
openalex +4 more sources
Spectral Properties for Invertible Measure Preserving Transformations [PDF]
Canadian Journal of Mathematics, 1973 An invertible measure preserving transformation T on the unit interval I generates a unitary operator U on the space L2(I) of Lebesque square integrable functions given by (Uf)(x) = f(Tx) for all f in L2(I) and x in I. By definitionfor all f , g in L2(I), the bar denoting complex conjugation.
Jean-Marc Belley
openalex +3 more sources
On invariants for measure preserving transformations [PDF]
Fundamenta Mathematicae, 2001 This paper applies the theory of definable equivalence relations developed in descriptive set theory to the study of the isomorphism relation among measure preserving transformations. Two invertible measure preserving transformations on the unit interval \(\sigma_1\) and \(\sigma_2\) are isomorphic if there exists another such transformation \(\pi ...
Greg Hjorth
openalex +3 more sources