Regular model checking is an exploration technique for infinite state systems where spaces are represented as regular languages and transition relations expressed using rational over (or finite) strings. We extend the paradigm to permit use of more powerful relations: class relations, which a strict subset. language monadic second-order logic (MSO) on strings specify such adopt streaming string...

Oxygen consumption (MO2) and ammonium excretion rates were recorded monthly over 2 yr for the regular Antarctic echinoid Sterechinus neumayeri to investigate metabolic activity in relation to seasonal food limitation (i.e. phytoplankton standing stock) at Adelaide Island (67° 34’ S, 68° 07’ W). Phytoplankton standing stock showed a brief but intense summer bloom and extended winter minima chara...

Let $R$ be an associative ring with identity. An element $x in R$ is called $mathbb{Z}G$-regular (resp. strongly $mathbb{Z}G$-regular) if there exist $g in G$, $n in mathbb{Z}$ and $r in R$ such that $x^{ng}=x^{ng}rx^{ng}$ (resp. $x^{ng}=x^{(n+1)g}$). A ring $R$ is called $mathbb{Z}G$-regular (resp. strongly $mathbb{Z}G$-regular) if every element of $R$ is $mathbb{Z}G$-regular (resp. strongly $...

In this paper, the concept of k-regular fuzzy matrix as a general- ization of regular matrix is introduced and some basic properties of a k-regular fuzzy matrix are derived. This leads to the characterization of a matrix for which the regularity index and the index are identical. Further the relation between regular, k-regular and regularity of powers of fuzzy matrices are dis- cussed.

semi-regular locales are extensions of the classical semiregularspaces. we investigate the conditions such that semi-regularizationis a functor. we also investigate the conditions such that semi-regularizationis a reflection or coreflection.

this work is devoted to give a charcaterization of a pomonoid $s$such that all cyclic $s$-posets are regular injective.

the concept of algebraic hyperstructures introduced by marty as a generalization of ordinary algebraic structures. in an ordinary algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. the concept of ?-semihyperrings is a generalization of semirings, a generalization of semihyper rings and a generalizat...

in this paper, the notion of fuzzy n-polygroups (fn -polygroups) is introduced and some related properties are investigated. in this regards, the concepts of normal  f-subpolygroups and homomorphisms of fn-polygroups are adopted. also, the quotient of fn-polygroups by defining regular relations are studied. finally, the classical isomorphism theorems of groups are generalized to fn-polygroups p...