In this paper, we introduce the notion of symmetric bi-derivations of a B-algebra and investigate some related properties. We study the notion of symmetric bi-derivations of a 0-commutative B-algebra and state some related properties.

Let X be a nonempty set, and let $\mathfrak{F}=\{Y_i:i{\in}I\}$ be a family of nonempty subsets of X with the properties that $X={\bigcup}_{i{\in}I}Y_i$, and $Y_i{\cap}Y_j={\emptyset}$ for all $i,j{\in}I$ with $i{\neq}j$. Let ${\emptyset}{\neq}J{\subseteq}I$, and let $T^{(J)}_{\mathfrak{F}}(X)=\{{\alpha}{\in}T(X):{\forall}i{\in}I{\exists}_j{\in}J,Y_i{\alpha}{\subseteq}Y_j\}$. Then $T^{(J)}_{\mathfrak{F}}(X)$ is a subsemigroup of the semigroup $T(X,Y^{(J)})$ of functions on X having ranges contained in $Y^{(J)}$, where $Y^{(J)}:={\bigcup}_{i{\in}J}Y_i$. For each ${\alpha}{\in}T^{(J)}_{\mathfrak{F}}(X)$, let ${\chi}^{({\alpha})}:I{\rightarrow}J$ be defined by $i{\chi}^{({\alpha})}=j{\Leftrightarrow}Y_i{\alpha}{\subseteq}Y_j$. Next, we define two congruence relations ${\chi}$ and $\widetilde{\chi}$ on $T^{(J)}_{\mathfrak{F}}(X)$ as follows: $({\alpha},{\beta}){\in}{\chi}{\Leftrightarrow}{\chi}^{({\alpha})}={\chi}^{({\beta})}$ and $({\alpha},{\beta}){\in}\widetilde{\chi}{\Leftrightarrow}{\chi}^{({\alpha})}{\mid}_J={\chi}^{({\alpha})}{\mid}_J$. We begin this paper by studying the regularity of the quotient semigroups $T^{(J)}_{\mathfrak{F}}(X)/{\chi}$ and $T^{(J)}_{\mathfrak{F}}(X)/{\widetilde{\chi}}$, and the semigroup $T^{(J)}_{\mathfrak{F}}(X)$. For each ${\alpha}{\in}T_{\mathfrak{F}}(X):=T^{(I)}_{\mathfrak{F}}(X)$, we see that the equivalence class [${\alpha}$] of ${\alpha}$ under ${\chi}$ is a subsemigroup of $T_{\mathfrak{F}}(X)$ if and only if ${\chi}^{({\alpha})}$ is an idempotent element in the full transformation semigroup T(I). Let $I_{\mathfrak{F}}(X)$, $S_{\mathfrak{F}}(X)$ and $B_{\mathfrak{F}}(X)$ be the sets of functions in $T_{\mathfrak{F}}(X)$ such that ${\chi}^{({\alpha})}$ is injective, surjective and bijective respectively. We end this paper by investigating the regularity of the subsemigroups [${\alpha}$], $I_{\mathfrak{F}}(X)$, $S_{\mathfrak{F}}(X)$ and $B_{\mathfrak{F}}(X)$ of $T_{\mathfrak{F}}(X)$.

In this paper we study the regularity of inside (or outside) (${\theta},{\phi}$)-derivations in BCI-algebras X and prove that let $d_{({\theta},{\phi})}:X{\rightarrow}X$ be an inside (${\theta},{\phi}$)-derivation of X. If there exists a ${\alpha}{\in}X$ such that $d_{({\theta},{\phi})}(x){\ast}{\theta}(a)=0$, then $d_{({\theta},{\phi})}$ is regular for all $x{\in}X$. It is also shown that if X is a BCK-algebra, then every inside (or outside) (${\theta},{\phi}$)-derivation of X is regular. Furthermore the concepts of ${\theta}$-ideal, ${\phi}$-ideal and invariant inside (or outside) (${\theta},{\phi}$)-derivations of X are introduced and their related properties are investigated. Finally we obtain the following result: If $d_{({\theta},{\phi})}:X{\rightarrow}X$ is an outside (${\theta},{\phi}$)-derivation of X, then $d_{({\theta},{\phi})}$ is regular if and only if every ${\theta}$-ideal of X is $d_{({\theta},{\phi})}$-invariant.

The purpose of this paper is to introduce some new class of rings that are closely related to the classes of sharp domains, pseudo-Dededkind domains, TV domains and finite character domains. A ring R is called a ${\phi}$-sharp ring if whenever for nonnil ideals I, A, B of R with $I{\supseteq}AB$, then I = A'B' for nonnil ideals A', B' of R where $A^{\prime}{\supseteq}A$ and $B^{\prime}{\supseteq}B$. We proof that a ${\phi}$-Dedekind ring is a ${\phi}$-sharp ring and we get some properties that by them a ${\phi}$-sharp ring is a ${\phi}$-Dedekind ring.

We first give the constructions of (Jordan) higher derivations on a trivial extension algebra and then we provide some sufficient conditions under which a Jordan higher derivation on a trivial extension algebra is a higher derivation. We then proceed to the trivial generalized matrix algebras as a special trivial extension algebra. As an application we characterize the construction of Jordan higher derivations on a triangular algebra. We also provide some illuminating examples of Jordan higher derivations on certain trivial extension algebras which are not higher derivations.

We present a short and very elementary proof that each finite BCK-algebra is solvable. It is a positive answer to the question posed in [4].

Quantum graph of Sierpinski gasket type with attached leads in an electric eld is considered. We study the dependence of the transmission coecient via the wave number of the quantum particle. It has strongly resonance character. The in uence of the amplitude and the orientation of the electric eld on the coecient is investigated.

The aim of this paper is to present the classical sets of sequences and related matrix transformations with respect to the b-metric. Also, we introduce the relationships between these sets and their classical forms with corresponding properties including convergence and completeness. Further we determine the duals of the new spaces and characterize matrix transformations on them into the sets of b-bounded, b-convergent and b-null sequences.

The paper deals with the problem of meromorphic functions sharing a small function with its differential polynomials and improves the results of Liu and Gu [9], Lahiri and Sarkar [8], Zhang [13] and Zhang and Yang [14] and also answer some open questions posed by Kit-Wing Yu [16]. In this paper we provide some examples to show that the conditions in our results are the best possible.

We obtain similar types of conclusions as that of $Br{\ddot{u}}ck$ [1] for two differential polynomials which in turn radically improve and generalize several existing results. Moreover a number of examples have been exhibited to justify the necessity or sharpness of some conditions used in the paper. At last we pose an open problem for future research.

Motivated essentially by Brychkov's work [1], we evaluate some new integrals involving hypergeometric function and the logarithmic function (including those obtained by Brychkov[1], Choi and Rathie [3]), which are expressed explicitly in terms of Gamma, Psi and Hurwitz zeta functions suitable for numerical computations.

A remarkably large number of integrals whose integrands are associated, in particular, with a variety of special functions, for example, the hypergeometric and generalized hypergeometric functions have been recorded. Here we aim at presenting certain (presumably) new and (potentially) useful integral formulas whose integrands are involved in a product of $_2F_1$, Srivastava polynomials, and $Kamp{\acute{e}}$ de $F{\acute{e}}riet$ functions. The main results are derived with the help of some known definite integrals obtained earlier by Qureshi et al. [4]. Some interesting special cases of our main results are also considered.

By employing a refined version of the $P{\acute{o}}lya$ type integral inequality and other techniques, the authors establish some inequalities and absolute monotonicity for modified Bessel functions of the first kind with nonnegative integer order.

In this paper, we study half lightlike submanifolds M of an indefinite Kaehler manifold $\bar{M}$ of quasi-constant curvature such that the characteristic vector field ${\zeta}$ of $\bar{M}$ is tangent to M. First, we provide a new result for such a half lightlike submanifold. Next, we investigate a statical half lightlike submanifold M of $\bar{M}$ subject such that (1) the screen distribution S(TM) is totally umbilical or (2) M is screen conformal.

In this study, by using Laplace and normal Laplace operators, we give some characterizations for the Darboux instantaneous rotation vector field of the curves in the Euclidean 3-space $E^3$. Further, we give necessary and sufficient conditions for unit speed space curves to have 1-type Darboux vectors. Moreover, we obtain some characterizations of helices according to Darboux vector.

Let $f:M{\rightarrow}M$ be a diffeomorphism on a closed $C^{\infty}\;d({\geq}2)$ dimensional manifold M. For $C^1$-generic f, if a diffeomorphism f satisfies the local star condition on a transitive set, then it is hyperbolic.

In this work, we study on subdivision schemes reproducing polynomials and build a symmetric subdivision scheme reproducing polynomials of a certain predetermined degree, which is a slight variant of the family of Deslauries-Dubic interpolatory ones. Related to polynomial reproduction, a necessary and sufficient condition for a subdivision scheme to reproduce polynomials of degree L was recently established under the assumption of non-singularity of subdivision schemes. In case of stepwise polynomial reproduction, we give a characterization for a subdivision scheme to reproduce stepwise all polynomials of degree ${\leq}L$ without the assumption of non-singularity. This characterization shows that we can investigate the polynomial reproduction property only by checking the odd and even masks of the subdivision scheme. The minimal-support condition being relaxed, we present explicitly a general formula for the mask of (2n + 4)-point symmetric subdivision scheme with two parameters that reproduces all polynomials of degree ${\leq}2n+1$. The uniqueness of such a symmetric subdivision scheme is proved, provided the two parameters are given arbitrarily. By varying the values of the parameters, this scheme is shown to become various other well known subdivision schemes, ranging from interpolatory to approximating.

We derive a closed-form expression for the price of a European quanto call option when both foreign and domestic interest rates follow the Vasicek's short rate model.