Let $A_1$, $A_2$ be unital Banach algebras and $X$ be an $A_1$-$A_2$- module. Applying the concept of module maps, (inner) modulegeneralized derivations and  generalized first cohomology groups, wepresent several results concerning the relations between modulegeneralized derivations from $A_i$ into the dual space $A^*_i$ (for$i=1,2$) and such derivations  from  the triangular Banach algebraof t...

There are several kinds of hyperrings, for example, Krasnerhyperrings, multiplicative hyperring, general hyperrings and$H_v$-rings. In a multiplicative hyperring, the multiplication isa hyperoperation, while the addition is a binary operation. In this paper, the notion of derivation on multiplicative hyperrings is introduced and some related properties are investigated. {bf Keywords:} multiplic...

Three different derivations of models with multinomial sampling of genotypes in a finite population are presented. The three derivations correspond to the operation of random drift through population regulation, conditioning on the total number of progeny, and culling, respectively. Generations are discrete and nonoverlapping; the diploid population mates at random. Each derivation applies to a...

Let $mathcal{A}$ be a $C^*$-algebra and $Z(mathcal{A})$ the‎ ‎center of $mathcal{A}$‎. ‎A sequence ${L_{n}}_{n=0}^{infty}$ of‎ ‎linear mappings on $mathcal{A}$ with $L_{0}=I$‎, ‎where $I$ is the‎ ‎identity mapping‎ ‎on $mathcal{A}$‎, ‎is called a Lie higher derivation if‎ ‎$L_{n}[x,y]=sum_{i+j=n} [L_{i}x,L_{j}y]$ for all $x,y in  ‎mathcal{A}$ and all $ngeqslant0$‎. ‎We show that‎ ‎${L_{n}}_{n...

This paper focuses on performance bounds for estimating the frequency and the phase of a received signal when the complex amplitude of the signal is nonconstant and unknown. Receivers need to perform such an estimation in many application fi elds, including digital communications, direction-of-arrival estimation, and Doppler radar. While in digital communications the nonconstant complex-signal ...

LetN be a zero-symmetric left near-ring, not necessarily with amultiplicative identity element; and letZ be its multiplicative center. DefineN to be 3-prime if for all a, b ∈ N\{0}, aNb / {0}; and callN 2-torsion-free if N, has no elements of order 2. A derivation onN is an additive endomorphism D of N such that D xy xD y D x y for all x, y ∈ N. A generalized derivation f with associated deriva...

We provide expressions for the bit error rate of various transmit and receive diversity schemes for Orthogonal Frequency-Division Multiplexing (OFDM) systems in the presence of frequency offset, phase noise and channel estimation errors. The derivations are also applicable for a general multiplicative distortion of the received signal. We compare two transmit diversity schemes (space-time and s...

System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. We first map derivations of system BV of the calculus of structures to rewritings in a term rewriting system modulo equality, and then express this rewriting system as a Maude system module. This results in an automated proof search implementation for this system, and provides a recipe for implem...

We consider the valued field K := R((Γ)) of formal series (with real coefficients and monomials in a totally ordered multiplicative group Γ ). We investigate how to endow K with a logarithm l, which satisfies some natural properties such as commuting with infinite products of monomials. In [KM10], we studied derivations on K. Here, we investigate compatibility conditions between the logarithm a...

Multiplicative linear logic (MLL) was introduced in Gi87] as a one-sided sequent calculus: linear negation is a notion that is deened, via De Morgan identities. One obtains proof nets for MLL by identifying derivations in the one-sided calculus that are equal up to a permutation of inference rules. In this paper we consider a similar quotient for the formulation of MLL as a two-sided sequent ca...