The ability to orchestrate different transformations in a flexible and reliable manner is a major challenge in MDE. Most of the current work on model transformations seems essentially operational and executable in nature. Such incomplete view on the composition issue provides suitable answers to a wide range of practical needs. However it does not cover the entire problem’s spectrum. In this ar...

Human-robot interfaces can be challenging and tiresome because of misalignments in the control and view relationships. The human user must mentally transform (e.g., rotate or translate) desired robot actions to required inputs at the interface. These mental transformations can increase task difficulty and decrease task performance. This chapter discusses how to improve task performance by decre...

One hundred years ago, in 1908, Hermann Minkowski completed his proof that Maxwell’s equations are covariant under Lorentz transformations. During this process, he introduced a four-dimensional space called the Minkowskian space. In 1949, P. A. M. Dirac showed the Minkowskian space can be handled with the light-cone coordinate system with squeeze transformations. While the squeeze is one of the...

As part of the Petri Net Baukastenn Pad99b] the Expert View presents mathematical concepts and results of Petri net theory in a structured and application oriented way. Consistent formal Petri net techniques and transformations between these are main issues. We introduce the notions of formal Petri net techniques, abstract Petri net frames, instantiations, and transformations. These notions are...

We propose a two-step approach for transformation ordering which combines the use of optimization-intensive CAD techniques with knowledge-based user-driven search strategy. The first step is development of basic building blocks which target small sets of transformations which are well suited for optimization intensive CAD treatment. Next, transformation orderings are developed using knowledge a...

In this article, several advanced connected transformations from mathematical morphology for computational neuroanatomy applications are developed. In particular, brain is separated from the skull in MRI T1 using morphological connected openings. The use of connected transformations allow the preservation of regions, without introduce new information. As a result, the segmented brains preserve ...

In this article, we address the design of avionic applications based on an approach, which relies on model refinement. This study is done within the synchronous framework, which has solid mathematical foundations enabling formal methods for specification, verification and analysis, transformations, etc. In the proposed approach, we first consider a functional description of a given application ...

In this article we apply a recently invented analytical real-space renormalization group formulation which is based on numerical concepts of the density matrix renormalization group. Within a rigorous mathematical framework we construct non-perturbative renormalization group transformations for the spin1 2 XXX Heisenberg model in the finite temperature regime. The developed renormalization grou...

In this paper we reconsider the concept of Berge equilibrium. In a recent work, [Colman, A. M., Körner, T., Musy, O. and Tazdaït, T. [2011] Mutual support in games: Some properties of Berge equilibria, Journal of Mathematical Psychology 55, 166–175]. proposed a correspondence for two-player games between Berge and Nash equilibria by permutation of the utility functions. We define here more gene...

the main purpose of this paper is to define a new regular matrix by using fibonacci numbers and to investigate its matrix domain in the classical sequence spaces $ell _{p},ell _{infty },c$ and $c_{0}$, where $1leq p