The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures. Nelson and Oppen presented conditions that imply decidability (or polynomial-time decidability) of $\mathrm{CSP}(T_1 \cup T_2)$ under the assumption that $\mathr...

The ADAM33 gene is associated with the pathophysiology of Chronic Obstructive Pulmonary Disease (COPD) and atherosclerosis. In this study we investigated all-cause, COPD and cardiovascular mortality, in relation to single nucleotide polymorphisms (SNPs) in ADAM33 (Q_1, S_1, S_2, T_1 and T_2) that were genotyped in 1,390 subjects from the Vlagtwedde/Vlaardingen cohort. Participants were examined...

This paper provides short proofs of two fundamental theorems of finite semigroup theory whose previous proofs were significantly longer, namely the two-sided Krohn-Rhodes decomposition theorem and Henckell's aperiodic pointlike theorem, using a new algebraic technique that we call the merge decomposition. A prototypical application of this technique decomposes a semigroup $T$ into a two-sided s...

suppose $f$ is a map from a non-empty finite set $x$ to a finite group $g$. define the map $zeta^f_g: glongrightarrow mathbb{n}cup {0}$ by $gmapsto |f^{-1}(g)|$. in this article, we show that for a suitable choice of $f$, the map $zeta^f_g$ is a character. we use our results to show that the solution function for the word equation $w(t_1,t_2,dots,t_n)=g$ ($gin g$) is a character, where $w(t_1,t...

‎a ring $r$ is strongly clean provided that every element‎ ‎in $r$ is the sum of an idempotent and a unit that commutate‎. ‎let‎ ‎$t_n(r,sigma)$ be the skew triangular matrix ring over a local‎ ‎ring $r$ where $sigma$ is an endomorphism of $r$‎. ‎we show that‎ ‎$t_2(r,sigma)$ is strongly clean if and only if for any $ain‎ ‎1+j(r)‎, ‎bin j(r)$‎, ‎$l_a-r_{sigma(b)}‎: ‎rto r$ is surjective‎. ‎furt...

‎A ring $R$ is strongly clean provided that every element‎ ‎in $R$ is the sum of an idempotent and a unit that commutate‎. ‎Let‎ ‎$T_n(R,sigma)$ be the skew triangular matrix ring over a local‎ ‎ring $R$ where $sigma$ is an endomorphism of $R$‎. ‎We show that‎ ‎$T_2(R,sigma)$ is strongly clean if and only if for any $ain‎ ‎1+J(R)‎, ‎bin J(R)$‎, ‎$l_a-r_{sigma(b)}‎: ‎Rto R$ is surjective‎. ‎Furt...

Quantitative structure activity relationship (QSAR) studies of twenty four 5-cyano, N1, 6disubstituted, 2-thiouracil derivatives were performed for their central nervous system (CNS) depressant (locomotor) activity using VlifeMDS3.5 software. Partial least square (PLS) linear regression analysis coupled with stepwise variable selection method was applied to derive QSAR models which were further...

 Suppose $f$ is a map from a non-empty finite set $X$ to a finite group $G$. Define the map $zeta^f_G: Glongrightarrow mathbb{N}cup {0}$ by $gmapsto |f^{-1}(g)|$. In this article, we show that for a suitable choice of $f$, the map $zeta^f_G$ is a character. We use our results to show that the solution function for the word equation $w(t_1,t_2,dots,t_n)=g$ ($gin G$) is a character, where $w(t_1,...