Related papers: Operators for Space and Time in BeSpaceD
In this report, we present example data sets and collections for the BeSpaceD platform. BeSpaceD is a spatio-temporal modelling and reasoning software framework. We describe the content of a number of the data sets and how the data was…
We investigate some types of composition operators, linear and not, and conditions for some spaces to be mapped into themselves and for the operators to satisfy some good properties.
We describe our formal methods-based spatial reasoning framework BeSpaceD and its application in decision support for industrial automation. In particular we are supporting analysis and decisions based on formal models for industrial plant…
We construct phase space localizing operators in all dimensions. These are frequency localized variants of the conditional expectation operator related to a dyadic stopping time. Our construction is an improvement over the so-called phase…
We study moment rearrangement invariant spaces, which contain as particular cases the generalized Grand Lebesgue Spaces, and provide norm estimates for some operators, not necessarily linear, acting between some measurable rearrangement…
We present a new programming paradigm which can be useful, in particular, for implementing window interfaces and parallel algorithms. This paradigm allows a user to define operators which can contain nested operators. The new paradigm is…
In this work we study some general classes of pseudodifferential operators whose symbols are defined in terms of phase space estimates.
In this paper, we introduce and study frame of operators in quaternionic Hilbert spaces as a generalization of g frames which in turn generalized various notions like Pseduo frames, bounded quasi-projectors and frame of subspaces (fusion…
We study families of time-frequency localization operators and derive a new characterization of modulation spaces. This characterization relates the size of the localization operators to the global time-frequency distribution. As a…
Continuing earlier investigations, we analyze the convergence of operator splitting procedures combined with spatial discretization and rational approximations.
We introduce superdensity operators as a tool for analyzing quantum information in spacetime. Superdensity operators encode spacetime correlation functions in an operator framework, and support a natural generalization of Hilbert space…
In this technical report we summarise the spatio-temporal features and present the core operators of FocusST specification framework. We present the general idea of these operators, using a Steam Boiler System example to illustrate how the…
In this work we present a theoretical model for differentiable programming. We construct an algebraic language that encapsulates formal semantics of differentiable programs by way of Operational Calculus. The algebraic nature of Operational…
We introduce localization operators on weighted Bergman and Fock spaces and show that, under a natural scaling of symbols and window functions, localization operators on the weighted Bergman space $A_{\beta r^2}^2$ converge, in the weak…
We study weighted composition operators acting between Fock spaces. The following results are obtained: (1) Criteria for the boundedness and compactness; (2) Characterizations of compact differences and essential norm; (3) Complete…
We introduce an operator valued Short-Time Fourier Transform for certain classes of operators with operator windows, and show that the transform acts in an analogous way to the Short-Time Fourier Transform for functions, in particular…
In this paper we introduce and study some Hilbert-type operators acting from the function spaces into the sequence spaces. We give some sufficient and necessary conditions for the boundedness and compactness of these Hilbert-type operators.…
We obtain criteria for the boundedness and compactness of weighted composition operators between different Fock spaces in $\mathbb{C}^n$. We also give estimates for essential norm of these operators.
In this paper we characterize some basic properties of composition operators on the spaces of harmonic Bloch functions. First we provide some equivalent conditions for boundedness and compactness of composition operators. Then by using…
Many studies have been conducted on statistical convergence, and it remains an area of active research. Since its introduction, statistical convergence has found applications many fields. Nevertheless, there is a shortage of research…