The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the \glue language" approach to LFG semantics, and in the formulation and parsing of various categorial grammars. These applications call for eecient deduction methods. Although a number of deduction methods for multiplicative linear logic are known, none of them are tabular methods ,...

We consider the Langevin equation with multiplicative noise term which depends on time and space. The corresponding Fokker-Planck equation in Stratonovich approach is investigated. Its formal solution is obtained for an arbitrary multiplicative noise term given by g(x, t) = D(x)T (t), and the behaviors of probability distributions, for some specific functions of D(x), are analyzed. In particula...

Semi-invertible multiplicative ergodic theorems establish the existence of an Oseledets splitting for cocycles of non-invertible linear operators (such as transfer operators) over an invertible base. Using a constructive approach, we establish a semi-invertible multiplicative ergodic theorem that for the first time can be applied to the study of transfer operators associated to the composition ...

A linear transmitter with correlated Gaussian white additive and multiplicative noises and a periodic signal coupled either additively or multiplicatively is considered. The correlations have a weak destructive effect in case of the additive signal and a strong constructive effect in case of the multiplicative one. Analytical results for the linear transmitter with the additive signal agree wit...

We present an approach to linear logic planning where an explicit correspondence between partial order plans and multiplicative exponential linear logic proofs is established. This is performed by extracting partial order plans from sound and complete encodings of planning problems in multiplicative exponential linear logic in a way that exhibits a non-interleaving behavioral concurrency semant...

Standard models for the evaluation of population health, such as the so-called models of aggregate Quality Adjusted Life Years (QALYs), or aggregate Healthy Years Equivalent (HYEs), are usually criticized on equity grounds. We provide in this paper normative justifications for alternative equitysensitive models, such as the so-called models of multiplicative QALYs, multiplicative HYEs, and gene...

A stochastic leapfrog algorithm for the numerical integration of Brownian motion stochastic differential equations with multiplicative noise is proposed and tested. The algorithm has a second-order convergence of moments in a finite time interval and requires the sampling of only one uniformly distributed random variable per time step. The noise may be white or colored. We apply the algorithm t...

Multiplicative calculus, also called non-Newtonian represents an alternative approach to the usual calculus of Newton (1643–1727) and Leibniz (1646–1716). This type was first introduced by Grossman Katz it provides a defined calculation, from start, for positive real numbers only. In this investigation, we propose study symmetrical fractional multiplicative inequalities Simpson type. For this, ...

We consider singular-degenerate, multivalued stochastic fast diffusion equations with multiplicative Lipschitz continuous noise. In particular, this includes the stochastic sign fast diffusion equation arising from the BakTang-Wiesenfeld model for self-organized criticality. A well-posedness framework based on stochastic variational inequalities (SVI) is developed, characterizing solutions to t...

The paper deals with Kalman or H2 smoothing problem for wireless sensor networks WSNs with multiplicative noises. Packet loss occurs in the observation equations, and multiplicative noises occur both in the system state equation and the observation equations. The Kalman smoothers which include Kalman fixed-interval smoother, Kalman fixedlag smoother, and Kalman fixed-point smoother are given by...