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...

BACKGROUND Anecdotal reports suggest waterpipe smoking is becoming common in students in western countries. The aim was to examine prevalence, risk factors, symptoms of addiction, and smoke intake. METHODS This was a cross-sectional survey of students with subsidiary survey of regular waterpipe user and survey of exhaled carbon monoxide (CO) before and after waterpipe smoking in customers of ...

This paper demonstrates the existence of Greater West Bomberai family, bringing Timor-Alor-Pantar language family Lesser Sunda islands into a genealogical unit with Papuan languages western part peninsula in New Guinea. Applying comparative method to increasingly available data from these languages, we demonstrate their relatedness on basis 47 lexical cognate sets largely regular sound correspo...

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.