Results 21 to 30 of about 74,153 (309)
Synchronization in Fractional-Order Complex-Valued Delayed Neural Networks
Entropy, 2018 This paper discusses the synchronization of fractional order complex valued neural networks (FOCVNN) at the presence of time delay. Synchronization criterions are achieved through the employment of a linear feedback control and comparison theorem of ...
Weiwei Zhang +3 more
doaj +1 more source
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers [PDF]
, 1999 The role of decision procedures is often essential in theorem proving. Decision procedures can reduce the search space of heuristic components of a prover and increase its abilities.
Bundy, Alan +5 more
core +1 more source
Comparison theorems for oscillation and non-oscillation of perturbed Euler type equations [PDF]
Opuscula MathematicaThe aim of this paper is to present two comparison theorems. These results enable to describe the oscillation behavior of second order Euler type half-linear differential equations with perturbations in both terms using previously obtained oscillation ...
Petr Hasil +2 more
doaj +1 more source
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
New oscillation results to fourth order delay differential equations with damping
Electronic Journal of Qualitative Theory of Differential Equations, 2016 This paper is concerned with the oscillation of the linear fourth order delay differential equation with damping \begin{equation*} \left(r_3(t)\left(r_2(t)\left(r_1(t)y'(t)\right)'\right)'\right)'+p(t)y'(t)+q(t)y(\tau(t))=0 \end{equation*} under the ...
Jozef Džurina +2 more
doaj +1 more source
Axioms, 2022 This article revisits the stability property of a symbiotic model of commensalism with Michaelis–Menten type harvesting in the first commensal populations.
Lili Xu +3 more
doaj +1 more source
On a comparison theorem for parabolic equations with nonlinear boundary conditions
Advances in Nonlinear Analysis, 2022 In this article, a new type of comparison theorem for some second-order nonlinear parabolic systems with nonlinear boundary conditions is given, which can cover classical linear boundary conditions, such as the homogeneous Dirichlet or Neumann boundary ...
Kita Kosuke, Ôtani Mitsuharu
doaj +1 more source
Comparison theorem of one-dimensional stochastic hybrid delay systems
, 2008 The comparison theorem of stochastic differential equations has been investigated by many authors. However, little research is available on the comparison theorem of stochastic hybrid systems, which is the topic of this paper.
Yuan, Chenggui +6 more
core +1 more source
Comparison Theorems for Gibbs Measures [PDF]
Journal of Statistical Physics, 2014 The Dobrushin comparison theorem is a powerful tool to bound the difference between the marginals of high-dimensional probability distributions in terms of their local specifications. Originally introduced to prove uniqueness and decay of correlations of Gibbs measures, it has been widely used in statistical mechanics as well as in the analysis of ...
Rebeschini, Patrick, van Handel, Ramon
openaire +3 more sources
, 2008 This paper deals with a class of backward stochastic differential equations with Poisson jumps and with random terminal times. We prove the existence and uniqueness result of adapted solution for such a BSDE under the assumption of non-Lipschitzian ...
Mao, X. +5 more
core +1 more source