Bounded rewriting for linear term rewriting systems has been defined in (I. Durand, G. Sénizergues, M. Sylvestre. Termination of linear bounded term rewriting systems. Proceedings of the 21st International Conference on Rewriting Techniques and Applications) as a restriction of the usual notion of rewriting. We extend here this notion to the whole class of left-linear term rewriting systems, an...

Consider Jacobi random matrix ensembles with the distributions $$c_{k_1,k_2,k_3}\prod_{1\leq i< j \leq N}\left(x_j-x_i\right)^{k_3}\prod_{i=1}^N \left(1-x_i\right)^{\frac{k_1+k_2}{2}-\frac{1}{2}}\left(1+x_i\right)^{\frac{k_2}{2}-\frac{1}{2}} dx$$ of eigenvalues on alcoves $$A:=\{x\in\mathbb R^N| \> -1\leq x_1\le ...\le x_N\leq 1\}.$$ For $(k_1,k_2,k_3)=\kappa\cdot (a,b,1)$ $a,b>0$ fixed, we der...

in this paper, we firstly show that the $n$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $n$-dual operation. as a dual result, the $n$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

  Multiple criteria decision making (MCDM) problem is one of the famous different kinds of decision making problems. In more cases in real situations, determining the exact values for MCDM problems is difficult or impossible. So, the values of alternatives with respect to the criteria or / and the values of criteria weights, are considered as fuzzy values (fuzzy numbers). In such conditions, th...

(a) Prove that there exists a (left-right) inverse σ(t) in K [[t]] to the image of λ(t) if and only if a0 is invertible in K. In this case, prove that the inverse σ(t) is unique. More generally, for every element a0− a1t+ . . . in K [[t]], prove that the element is invertible if and only if a0 is invertible in K, in which case the inverse is unique. (b) Assume that λ(t) ∈ K[t] has an inverse σ(...

Algebraic dichotomy is a generalization of an exponential (see Lin[?]). This paper gives version Hartman-Grobman linearization theorem assuming that linear system admits algebraic dichotomy, which generalizes the Palmer's theorem. Besides, we prove homeomorphism in H&#246;lder continuous (and has inverse). Comparing with more complicate. The leads us to estimates $\int_{-\infty}^{t}e^{-\alpha(t...

Some of the contributions of Chandrasekhar to the field of magnetohydrodynamics are highlighted. Particular emphasis is placed on the Chandrasekhar–Kendall functions that allow a decomposition of a vector field into rightand left-handed contributions. Magnetic energy spectra of both contributions are shown for a new set of helically forced simulations at resolutions higher than what has been av...

vspace{0.2cm} Let $G$ be a graph and $f:V(G)rightarrow {1,2,3,.....left|V(G)right|}$ be a bijection. Let $p_{uv}=f(u)f(v)$ and\ $ d_{uv}= begin{cases} left[frac{f(u)}{f(v)}right] ~~if~~ f(u) geq f(v)\ \ left[frac{f(v)}{f(u)}right] ~~if~~ f(v) geq f(u)\ end{cases} $\ for all edge $uv in E(G)$. For each edge $uv$ assign the label $1$ if $gcd (p_{u...