C++ templates are already recognized as a powerful linguistic mechanism, whose usefulness transcends the realization of traditional generic containers. In the same venue, this paper reports on a somewhat surprising application of templates—for computing the symbolic derivative of expression. Specifically, we describe a software package based on templates, called SEMT, which allows the programme...

The TAG adjunction operation operates by splitting a tree at one node, which we will call the adjunction site. In the resulting structure, the sub-trees above and below the adjunction site are separated by, and connected with, the auxiliary tree used in the composition. As the adjunction site is thus split into two nodes, with a copy in each subtree, a natural way of formalizing the adjunction ...

Let H be an infinite--dimensional Hilbert space and K(H) be the set of all compact operators on H. We will adopt spectral theorem for compact self-adjoint operators, to investigate of higher derivation and higher Jordan derivation on K(H) associated with the following cauchy-Jencen type functional equation 2f(frac{T+S}{2}+R)=f(T)+f(S)+2f(R) for all T,S,Rin K(H).

Let H be an innite dimensional Hilbert space and K(H) be the set of all compactoperators on H. We will adopt spectral theorem for compact self-adjoint operators, to investigate ofhigher derivation and higher Jordan derivation on K(H) associated with the following Cauchy-Jensentype functional equation 2f((T + S)/2+ R) = f(T ) + f(S) + 2f(R) for all T, S, R are in K(...

Let $X$ be a Banach space of $dim X > 2$ and $B(X)$ be the space of bounded linear operators on X. If $L : B(X)to B(X)$ be a Lie higher derivation on $B(X)$, then there exists an additive higher derivation $D$ and a linear map $tau : B(X)to FI$ vanishing at commutators $[A, B]$ for all $A, Bin B(X)$ such that $L = D + tau$.

In this paper, we introduce the notions of $(odot, oplus)$-derivations and $(ominus, odot)$-derivations for $MV$-algebras and discuss some related results. We study the connection between these derivations on an $MV$-algebra $A$ and the derivations on its boolean center. We characterize the isotone $(odot, oplus)$-derivations and prove that $(ominus, odot)$-derivations are isotone. Finally we d...

‎let $r$ be a noncommutative prime ring of‎ ‎characteristic different from $2$‎, ‎$u$ the utumi quotient ring of $r$‎, ‎$c$ $(=z(u))$ the extended centroid‎ ‎of $r$‎. ‎let $0neq ain r$ and $f(x_1,ldots,x_n)$ a multilinear‎ ‎polynomial over $c$ which is noncentral valued on $r$‎. ‎suppose‎ ‎that $g$ and $h$ are two nonzero generalized derivations of $r$‎ ‎such that $a(h(f(x))f(x)-f(x)g(f(x)))in ...

this paper investigates the nature of absolutive case and the syntactic mechanisms underlying its licensing. to this end, two recent minimalist approaches to the syntactic derivation of ergative structure will be introduced. drawing on evidence from the syntactic derivation of clauses with intransitive complex predicates in kurdish, it will be established that the absolutive case is checked by ...

Let $mathcal{A}$ be a Banach algebra and $mathcal{M}$ be a Banach $mathcal{A}$-bimodule. We say that a linear mapping $delta:mathcal{A} rightarrow mathcal{M}$ is a generalized $sigma$-derivation whenever there exists a $sigma$-derivation $d:mathcal{A} rightarrow mathcal{M}$ such that $delta(ab) = delta(a)sigma(b) + sigma(a)d(b)$, for all $a,b in mathcal{A}$. Giving some facts concerning general...