Model transformations play a significant role in Model-Driven Engineering. However, their reuse mechanisms have yet to receive much attention. In this paper, we propose a comparison framework for rule inheritance in model-to-model transformation languages, and provide an in-depth evaluation of prominent representatives of imperative, declarative and hybrid transformation languages. The framewor...

Two fundamental issues about the relation between the deformed Heisenberg-Weyl algebra in noncommutative space and the undeformed one in commutative space are elucidated. First the un-equivalency theorem between two algebras is proved: the deformed algebra related to the undeformed one by a non-orthogonal similarity transformation is explored; furthermore, non-existence of a unitary similarity ...

A star-triangle mapping transformation is used to establish an exact correspondence between the spin-1/2 Ising model on the Shastry-Sutherland (orthogonal-dimer) lattice and respectively, the spin-1/2 Ising model on a bathroom tile (4-8) lattice. Exact results for the critical temperature and spontaneous magnetization are obtained and compared with corresponding results on the regular Ising lat...

In this paper we consider transformations of sequences of orthogonal polynomials associated with a Hermitian linear functional L using spectral transformations of the corresponding C-function FL. We show that a rational spectral transformation of FL with polynomial coefficients is a finite composition of four canonical spectral transformations.

A star-triangle mapping transformation is used to establish an exact correspondence between the spin-1/2 Ising model on the Shastry-Sutherland (orthogonal-dimer) lattice and respectively, the spin-1/2 Ising model on a bathroom tile (4-8) lattice. Exact results for the critical temperature and spontaneous magnetization are obtained and compared with corresponding results on the regular Ising lat...

In this paper we propose a new linear multiuser detector for synchronous CDMA systems. Speci.cally, the received signal is demodulated using an orthogonal multiuser (OMU) receiver that is matched to a set of orthogonal vectors that are closest in a least-squares sense to the signature vectors. We show that this approach is equivalent to optimally whitening the noise component in the output of t...

In the integration of geodetic networks with different geodetic coordinate systems, the similarity transformation seems to be the most suitable method because the geodetic coordinate systems are designated to be Cartesian (orthogonal). However, this method may always not be practical to use in most surveying works demanding such high accuracies as the coordinates used in the transformation are ...

Strongly sequential constructor systems admit a very eecient algorithm to compute normal forms. Thatte found a transformation that allows us to simulate any orthogonal system with a constructor system. Unfortunately, this transformation does not generally preserve strong se-quentiality. On the other hand, the class of forward-branching systems contains the class of strongly sequential construct...

The concept of a linear ordered orthogonal array is introduced, and its equivalent geometrical configuration is determined when its strength is 3 and 4. Existence of such geometrical configurations is investigated. They are also useful in the study of (T, M, S)-nets.

The rational Krylov sequence (RKS) method is a generalization of Arnoldi's method. It constructs an orthogonal reduction of a matrix pencil into an upper Hessenberg pencil. The RKS method is useful when the matrix pencil may be eeciently factored. This article considers approximately solving the resulting linear systems with iterative methods. We show that a Cayley transformation leads to a mor...