Results 21 to 30 of about 74,240 (211)
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
Anticipated BSDEs Driven by Fractional Brownian Motion with a Time-Delayed Generator
Mathematics, 2023 This article describes a new form of an anticipated backward stochastic differential equation (BSDE) with a time-delayed generator driven by fractional Brownian motion, further known as fractional BSDE, with a Hurst parameter H∈(1/2,1).
Pei Zhang +2 more
doaj +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
Mean-Field and Anticipated BSDEs with Time-Delayed Generator
Mathematics, 2023 In this paper, we discuss a new type of mean-field anticipated backward stochastic differential equation with a time-delayed generator (MF-DABSDEs) which extends the results of the anticipated backward stochastic differential equation to the case of mean-
Pei Zhang +2 more
doaj +1 more source
Nonlinear Differential Equations with Distributed Delay: Some New Oscillatory Solutions
Mathematics, 2022 The oscillation of a class of fourth-order nonlinear damped delay differential equations with distributed deviating arguments is the subject of this research.
Barakah Almarri +3 more
doaj +1 more source
Mathematics, 2020 This paper aims to study the oscillatory properties of fourth-order advanced differential equations with p-Laplacian like operator. By using the technique of Riccati transformation and the theory of comparison with first-order delay equations, we will ...
Omar Bazighifan, Thabet Abdeljawad
doaj +1 more source
Oscillation theorems for second order neutral differential equations
Electronic Journal of Qualitative Theory of Differential Equations, 2011 In this paper new oscillation criteria for the second order neutral differential equations of the form \begin{equation*} \left(r(t)\left[x(t)+p(t)x(\tau(t))\right]'\right)'+q(t)x(\sigma(t))+v(t)x(\eta(t))=0 \tag{$E$}\end{equation*} are presented. Gained
Blanka Baculíková +2 more
doaj +1 more source