The vision of Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle. An essential prerequisite is the availability of proper transformation languages allowing not only code generation but also augmentation, migration or translation of models themselves. Current approaches, however, lack convenient facilities for debugging and ensuring the understandin...

In previous work [23,24], a fast systematic method for minimization of the Boolean functions was presented. Such method is a simple because there is no need for any visual representation such as Karnough map or arrangement technique such as Tabulation method. Furthermore, it is very easy and fast for programming. In addition, it is suitable for boolean function with large number of variables (m...

Effective transcript profiling in animal systems requires isolation of homogenous tissue or cells followed by faithful mRNA amplification. Linear amplification based on cDNA synthesis and in vitro transcription is reported to maintain representation of mRNA levels, however, quantitative data demonstrating this as well as a description of inherent limitations is lacking. We show that published p...

Motivated by the Category Embedding Theorem, as applied to convergent automorphisms [BOst11], we unify and extend the multivariate regular variation literature by a reformulation in the language of topological dynamics. Here the natural setting are metric groups, seen as normed groups (mimicking normed vector spaces). We brie‡y study their properties as a preliminary to establishing that the Un...

In this study, we propose two descriptors on color and texture for content based segmentation. The descriptors are called “the most similar colors in the same neighborhood” and “the most similar textures in the same neighborhood“, respectively. These descriptors are applied on a multi-level segmentation algorithm proposed by the authors of this study [1]. The segmentation algorithm decomposes t...