Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The specification of the transformation rules is based on the concrete syntax of sequence diagrams and state machines. We introduc...

The research presented in this paper deals with analytic p-valent functions related to the generalized probability distribution open unit disk U. Using Hadamard product or convolution, function fs(z) is defined as involving an and expressed terms of functions. Neighborhood properties for are established. Further, by applying a previously introduced linear transformation using extended Libera in...

In selecting an optional alternative in an environment of multiple attribute group decision making, different attributes of the alternative are often considered as with quantitative and qualitative information. Consequently, decision making problems may include preference information in different formats. In this paper, a lattice-based linguistic-valued weighted aggregation (LVWA) operator is p...

In this preliminary work, I provide the outline of an argument (leaving the full proof to a future publication) that there exists a valid renormalization group blocking transformation which converts the continuum fermion action into a Ginsparg-Wilson lattice action. I construct the blocking for the massless overlap operator as a specific example, indicating how other Ginsparg-Wilson lattice Dir...

The usability of model transformation languages depends on the level of abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel operator for our model transformation language GReAT that allows the concise specification of complex model (graph) rewriting operations that manipulate entire subgraphs. In this paper we show how the new op...

We provide a complete spectral characterization of the double commutation method for general Sturm-Liouville operators which inserts any finite number of prescribed eigenvalues into spectral gaps of a given background operator. Moreover, we explicitly determine the transformation operator which links the background operator to its doubly commuted version (resulting in extensions and considerabl...

A method for embedded object detection with radar echo data by means of wavelet analysis of MRA: MultiResolution Analysis, in particular, three dimensional wavelet transformations is proposed. In order to improve embedded object detecting capability, not only one dimensional radar echo data but also three dimensional data are used. Through a comparison between one dimensional edge detection wit...

This article presents a squeezing transformation for quantum systems associated to finite vector spaces. The physical idea of squeezing here is taken from the action of the usual squeezing operator over wave functions defined on a real line, that is, a transformation capable to diminish (or enhance) the mean square deviation of a centered distribution. As it is discussed, the definition of such...

The acoustic scattering operator on the real line is mapped to a Schrödinger operator under the Liouville transformation. The potentials in the image are characterized precisely in terms of their scattering data, and the inverse transformation is obtained as a simple, linear quadrature. An existence theorem for the associated Harry Dym flows is proved, using the scattering method. The scatterin...

By means of a unitary transformation scheme, the Coulomb-Dirac operator for two electrons in a central potential is transformed into a pseudo-relativistic operator which allows for the decoupling of the electron and positron degrees of freedom to arbitrary order n in the potential strength. In case of n = 2, relative boundedness properties and positivity of the resulting operator are shown for ...