Deterministic pushdown transducers are studied with respect to their ability compute reversible transductions, that is, transform inputs into outputs in a way. This means the also backward deterministic and thus able uniquely step computation back forth. The families of transductions computed classified regard four types length-preserving as well property working reversibly. It turns out accura...

Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus Communicating Systems (CCS). In its original formulation, each process equipped with memory that records performed actions, then used to reverse computations. More recently, abstract models RCCS have proposed in literature, basically, by directly ...

objective: although coronary artery disease (cad) is the leading cause of death in type 2 diabetic patients, it is frequently asymptomatic. myocardial perfusion imaging (mpi) is reported to show ischemia in a significant number of asymptomatic diabetic patients. we studied the prevalence and severity of myocardial perfusion defects in asymptomatic diabetic patients and its clinical impact. meth...

Background: Yazd has important potential role in treatment of infertility and promotion of sexual health in south of Iran. Long term usefulness of reversible contraceptives (LTURC) is the most cost-effective contraceptives between women. This study aimed to assess the reproductive aged women's knowledge, attitudes, and factors associated with use of LTURC. Materials and Methods: This cross...

Let $R$ be an associative ring with identity. A ring $R$ is called reversible if $ab=0$, then $ba=0$ for $a,bin R$. The quasi-zero-divisor graph of $R$, denoted by $Gamma^*(R)$ is an undirected graph with all nonzero zero-divisors of $R$ as vertex set and two distinct vertices $x$ and $y$ are adjacent if and only if there exists $0neq rin R setminus (mathrm{ann}(x) cup mathrm{ann}(y))$ such tha...

let $r$ be an associative ring with identity and $z^*(r)$ be its set of non-zero zero divisors.  the zero-divisor graph of $r$, denoted by $gamma(r)$, is the graph whose vertices are the non-zero  zero-divisors of  $r$, and two distinct vertices $r$ and $s$ are adjacent if and only if $rs=0$ or $sr=0$.  in this paper, we bring some results about undirected zero-divisor graph of a monoid ring ov...