Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
In this article we prove that given a self-similar interval exchange transformation T(,), whose associated matrix verifies a quite general algebraic condition, there exists an affi...
This paper describes an online learning method of color transformation for interactive object recognition. In order to recognize objects under various lighting conditions, the sys...
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
: We propose a group-theoretical approach to the generalized oscillator algebra A recently investigated in J. Phys. A: Math. Theor. 2010, 43, 115303. The case 0 corresponds to th...
Natig M. Atakishiyev, Maurice R. Kibler, Kurt Bern...