نتایج جستجو برای: multiplicative calculus

تعداد نتایج: 76008  

Journal: :Potential Analysis 2021

Abstract We prove absolute continuity of the law solution, evaluated at fixed points in time and space, to a parabolic dissipative stochastic PDE on L 2 ( G ), where is an open bounded domain $\mathbb {R}^{d}$ ℝ d with smooth boundary. The equatio...

Journal: :IJPRAI 2009
Li Wang Lei He Arabinda Mishra Chunming Li

This paper presents a new region-based active contour model in a variational level set formulation for image segmentation. In our model, the local image intensities are described by Gaussian distributions with different means and variances. We define a local Gaussian distribution fitting energy with a level set function and local means and variances as variables. The energy minimization is achi...

Shervin Assari ,

Background: For psychiatric disorders, comorbidity is a rule rather than exception. Thus it is particularly important to study additive and multiplicative effects of multiple mental disorders on suicidal behaviors. Objectives: The aim of this study was to investigate the ethnic differences in multiplicative effects of mental disorders on suicidal ideation among Black adults in the United States...

Journal: :iranian journal of mathematical chemistry 2012
a. iranmanesh m. a. hosseinzadeh i. gutman

todeschini et al. have recently suggested to consider multiplicative variants of additive graphinvariants, which applied to the zagreb indices would lead to the multiplicative zagrebindices of a graph g, denoted by ( ) 1  g and ( ) 2  g , under the name first and secondmultiplicative zagreb index, respectively. these are define as  ( )21 ( ) ( )v v gg g d vand ( ) ( ) ( )( )2 g d v d v gu...

Martindale proved that under some conditions every multiplicative isomorphism between two rings is additive. In this paper, we extend this theorem to a larger class of mappings and conclude that every multiplicative $(alpha, beta)-$derivation is additive.

Journal: :Logical Methods in Computer Science 2021

Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses graphical calculus string diagrams to facilitate reasoning about processes. A significant portion physics, however, involves infinite processes, it is well-known that category all spaces not closed. Thus, a limitation using categories one cannot directly accommodate natural ...

2006
Triet M. Le Luminita A. Vese LUMINITA A. VESE

Abstract. We propose several models to segment images corrupted by additive or multiplicative noise, and by a smooth field (as global intensity inhomogeneity) in a variational curve evolution approach. The proposed energies can be seen as particular K −functionals or J −functionals that arise in the theory of interpolation between spaces. In the additive case, we decompose a data function u0 in...

2011
Thomas Ehrhard

Milner’s π calculus features a clear dichotomy between replicable and non-replicable resources, very much in the spirit of Linear Logic (LL). Analyzing Milner’s encoding of the lazy λ-calculus in the π-calculus, Boudol introduced the λ-calculus with resources [1, 2] where functions can be applied to bags made of replicable and non-replicable arguments. This refinement of the syntax required to ...

Journal: :EURASIP J. Adv. Sig. Proc. 2010
Liang Xiao Lili Huang Zhihui Wei

Multiplicative noise removal is of momentous significance in coherent imaging systems and various image processing applications. This paper proposes a new nonconvex variational model for multiplicative noise removal under the Weberized total variation (TV) regularization framework. Then, we propose and investigate another surrogate strictly convex objective function for Weberized TV regularizat...

1992
Dale Miller

The agent expressions of the π-calculus can be translated into a theory of linear logic in such a way that the reflective and transitive closure of π-calculus (unlabeled) reduction is identified with "entailed-by". Under this translation, parallel composition is mapped to the multiplicative disjunct ("par") and restriction is mapped to universal quantification. Prefixing, non-deterministic choi...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید