Related papers: Refined Transfer
In this paper we study a broad class of distribution functions which is defined by means of reflected generalized beta distribution. This class includes that of Beta-generated distribution as a special case. In particular, we use this class…
We study an extension to Fourier transforms of the old problem on absolute convergence of the re-expansion in the sine (cosine) Fourier series of an absolutely convergent cosine (sine) Fourier series. The results are obtained by revealing…
We present a notion of bounded quantification for refinement types and show how it expands the expressiveness of refinement typing by using it to develop typed combinators for: (1) relational algebra and safe database access, (2)…
We describe three transfer functors P, P', P" of an inverse exact category which arise from three transfer functions. We concentrate on some of the basic results which emerge from the theory of projections in inverse exact categories.
This revisit gives a survey on the analytical methods for the inverse exponential Radon transform which has been investigated in the past three decades from both mathematical interests and medical applications such as nuclear medicine…
Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive applications of refinements to derive a concrete…
A finite Hilbert space can be associated to a periodic phase space, that is, a torus. A finite subgroup of operators corresponding to reflections and translations on the torus form respectively the basis for the discrete Weyl…
Modeling data using manifold values is a powerful concept with numerous advantages, particularly in addressing nonlinear phenomena. This approach captures the intrinsic geometric structure of the data, leading to more accurate descriptors…
A transfer is a group homomorphism from a finite group to an abelian quotient group of a subgroup of the group. In this paper, we explain some of the properties of transfers by using noncommutative determinants. These properties enable us…
Deligne has defined a category which interpolates among the representations of the various symmetric groups. In this paper we show Deligne's category admits a unique nontrivial family of modified trace functions. Such modified trace…
The n-th derivative of a tensor valued function of a tensor is defined by a finite number of coefficients each with closed form expression.
We develop the bivector formalism in higher dimensional Lorentzian spacetimes. We define the Weyl bivector operator in a manner consistent with its boost-weight decomposition. We then algebraically classify the Weyl tensor, which gives rise…
The regularity of refinable functions has been investigated deeply in the past 25 years using Fourier analysis, wavelet analysis, restricted and joint spectral radii techniques. However the shift-invariance of the underlying regular setting…
Extending G\"odel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite…
Session types express and enforce safe communication in concurrent message-passing systems by statically capturing the interaction protocols between processes in the type. Recent works extend session types with arithmetic refinements, which…
In this paper, using some aspects of convex functions, we refine discrete Jensen's inequality via weight functions. Then, using these results, we give some applications in different abstract spaces and obtain some new interesting…
In order to have a multiresolution analysis, the scaling function must be refinable. That is, it must be the linear combination of 2-dilation, $\mathbb{Z}$-translates of itself. Refinable functions used in connection with wavelets are…
This comprehensive review paper delves into the intricacies of advanced Fourier type integral transforms and their mathematical properties, with a particular focus on fractional Fourier transform (FrFT), linear canonical transform (LCT),…
The notion of an equational shell is studied to involve the objects and their environment. Appropriate methods are studied as valid embeddings of refined objects. The refinement process determines the linkages between the variety of…
The aim of our study is to improve the description of suspended sediment transport over wave ripples. We will first show the importance of sediment diffusivity with convective transfer (hereafter called) which is different from the sediment…