Results 31 to 40 of about 188,818 (285)
Bakry-Emery Calculus For Diffusion With Additional Multiplicative Term
, 2021 We extend the Gamma_2 calculus of Bakry and Emery to include a Carre du champ operator with multiplicative term, providing results which allow to analyse inhomogeneous ...
Roberto, Cyril, Zegarlinski, B.
core +3 more sources
Labelled Lambda-calculi with Explicit Copy and Erase [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 We present two rewriting systems that define labelled explicit substitution lambda-calculi. Our work is motivated by the close correspondence between Levy's labelled lambda-calculus and paths in proof-nets, which played an important role in the ...
Maribel Fernández, Nikolaos Siafakas
doaj +1 more source
On noncommutative extensions of linear logic [PDF]
Logical Methods in Computer Science, 2019 Pomset logic introduced by Retor\'e is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus.
Sergey Slavnov
doaj +1 more source
Detection of multiplicative noise in stationary random processes using second- and higher order statistics [PDF]
, 2000 This paper addresses the problem of detecting the presence of colored multiplicative noise, when the information process can be modeled as a parametric ARMA process.
Coulon, Martial +2 more
core +1 more source
On Katugampola Fractional Multiplicative Hermite-Hadamard-Type Inequalities
MathematicsThis paper presents a novel framework for Katugampola fractional multiplicative integrals, advancing recent breakthroughs in fractional calculus through a synergistic integration of multiplicative analysis. Motivated by the growing interest in fractional
Wedad Saleh +3 more
doaj +1 more source
Regularization of positive definite matrix fields based on multiplicative calculus
, 2012 Multiplicative calculus provides a natural framework in problems involving positive images and positivity preserving operators. In increasingly important, complex imaging frameworks, such as diffusion tensor imaging, it complements standard calculus in a
Bronstein, A.M. +4 more
core +2 more sources
On the multiplicative Legendre equation
Journal of Taibah University for Science, 2022 When exponentials are employed to model procedures and efficacies appearing in real life, an additive derivative of this type of function does not exist.
Sertac Goktas
doaj +1 more source
Classical BI: Its Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2010 We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI.
James Brotherston, Cristiano Calcagno
doaj +1 more source
Cramer–Rao lower bounds for change points in additive and multiplicative noise [PDF]
, 2004 The paper addresses the problem of determining the Cramer–Rao lower bounds (CRLBs) for noise and change-point parameters, for steplike signals corrupted by multiplicative and/or additive white noise. Closed-form expressions for the signal and noise CRLBs
Ferrari, André +2 more
core +1 more source
Journal of Inequalities and ApplicationsThe present article intends to give a comprehensive survey of recent developments in the literature on multiplicative fractional integral inequalities.
Thabet Abdeljawad +4 more
doaj +1 more source