Program transformations are often not automated because their definitions do not specify the many details needed to implement them correctly in code. We define two, the conversion of Boolean expressions into integer inequalities and the convex hull transformation of disjunctive constraints, using a novel style based on set theory. This treats constraints as syntactic objects, allowing mappings ...

In this paper, the mathematical model of HIV infection for CD8+ T-cells is illustrated. The homotopy analysis method and the Laplace transformations are combined for solving this model. Also, the convergence theorem is proved to demonstrate the abilities of presented method for solving non-linear mathematical models. The numerical results for $N=5, 10$ are presented. Several $hbar$-c...

For most computer controlled systems, especially dependable, real–time systems for critical applications , an effective design process requires an early conceptual and architectural validation prior to the implementation in order to avoid costly re–design cycles. In order to have a guaranteed design quality, all relevant system characteristics have to be checked during this system verification ...

In this paper, Kolmogorov-Sinai entropy is studied using mathematical modeling of an observer $ Theta $. The relative entropy of a sub-$ sigma_Theta $-algebra having finite atoms is defined and then   the ergodic properties of relative  semi-dynamical systems are investigated.  Also,  a relative version of Kolmogorov-Sinai theorem  is given. Finally, it is proved  that the relative entropy of a...

We investigate how common binary mathematical morphology operators can be adapted so that the size of the structuring element can vary across the image pixels. We show that when the structuring elements are balls of a metric, locally adaptable erosion and dilation can be efficiently implemented as a variant of distance transformation algorithms. Opening and closing are obtained by a local thres...

For copies of reports, updates on project activities and other EuroMatrix-related information , contact: