background: type 1 diabetes (t1d) is a t cell mediated autoimmune disease targeting the insulin-producing β cells within pancreatic islets. autoimmune diseases may develop as a consequence of altered balance between regulatory (tregs) and autoreactive t cells. objectives: to evaluate treg cells frequency and suppressive function in the peripheral blood of newly diagnosed t1d patients in compari...

in this paper we classify fuzzy subgroups of a rank-3 abelian group $g = mathbb{z}_{p^n} + mathbb{z}_p + mathbb{z}_p$ for any fixed prime $p$ and any positive integer $n$, using a natural equivalence relation given in cite{mur:01}. we present and prove explicit polynomial formulae for the number of (i) subgroups, (ii) maximal chains of subgroups, (iii) distinct fuzzy subgroups, (iv) non-isomorp...

An equivalence relation, called structural bisimilarity, is given for labeled Place-Transition nets. In contrast to behavioral bisimilarity of nets, this equivalence only depends upon the structure of the nets considered, that is, their places and transitions and the way these are connected. It does not involve any conversion to transition systems. Algorithms are given for reducing a net to its...

For a contractive iterated function system (IFS), it is known that there natural hyperbolic graph structure (augmented tree) on the symbolic space of IFS reflects relationship among neighboring cells, and its boundary with Gromov metric Hölder equivalent to attractor K [14], [26], [28]. This setup was taken up study probabilistic potential theory [21], [20], bi-Lipschitz equivalence [29]. In th...

Kripke Structures and Labelled Transition Systems are the two most prominent semantic models used in concurrency theory. Both models are commonly believed to be equi-expressive. One can find many ad-hoc embeddings of one of these models into the other. We build upon the seminal work of De Nicola and Vaandrager that firmly established the correspondence between stuttering equivalence in Kripke S...

Notions of equivalence which are stronger than standard equivalence in the sense that they also take potential modifications of the available information into account have received considerable interest in nonmonotonic reasoning. In this paper we focus on equivalence notions in argumentation. More specifically, we establish a number of new results about the relationships among various equivalen...