Results 1 to 10 of about 2,594,554 (146)
Normal form of formulas of pure hybrid logic
Lietuvos Matematikos Rinkinys, 2021 In this paper,we study a transformationof pure hybrid logic formulae,which do not have binding operator, into an equivalent normal form, which does not have any satisfiability operators in the scope of another satisfiability operator.
Daiva Aleknavičiūtė +1 more
doaj +1 more source
Dynamics and Bifurcations of a Discrete-Time Moran-Ricker Model with a Time Delay
Mathematics, 2023 This study investigates the dynamics of limited homogeneous populations based on the Moran-Ricker model with time delay. The delay in density dependence caused the preceding generation to consume fewer resources, leading to a decrease in the required ...
Bo Li, Zimeng Yuan, Zohreh Eskandari
doaj +1 more source
Dynamic Analysis of a COVID-19 Vaccination Model with a Positive Feedback Mechanism and Time-Delay
Mathematics, 2022 As the novel coronavirus pandemic has spread globally since 2019, most countries in the world are conducting vaccination campaigns. First, based on the traditional SIR infectious disease model, we introduce a positive feedback mechanism associated with ...
Xin Ai, Xinyu Liu, Yuting Ding, Han Li
doaj +1 more source
Dynamical Behaviors of an SIR Epidemic Model with Discrete Time
Fractal and Fractional, 2022 Analytically and numerically, the study examines the stability and local bifurcations of a discrete-time SIR epidemic model. For this model, a number of bifurcations are studied, including the transcritical, flip bifurcations, Neimark–Sacker bifurcations,
Bo Li +2 more
doaj +1 more source
Mathematics, 2022 Global warming has brought about enormous damage, therefore, some scholars have begun to conduct in-depth research on peak carbon dioxide emissions and carbon neutrality.
Leilei Han, Haokun Sui, Yuting Ding
doaj +1 more source
Nonlinear Analysis, 2022 In this paper, we extend a Leslie–Gower-type predator–prey system with ratio-dependent Holling III functional response considering the cost of antipredator defence due to fear.
Hongyu Chen, Chunrui Zhang
doaj +1 more source
Nonlinear Analysis, 2021 In this paper, we consider the dynamics of delayed Gierer–Meinhardt system, which is used as a classic example to explain the mechanism of pattern formation. The conditions for the occurrence of Turing, Hopf and Turing–Hopf bifurcation are established by
Shuangrui Zhao +2 more
doaj +1 more source
Handling equivalence classes of Optimality-Theoretic tableaux
Journal of Language Modelling, 2015 Many Optimality-Theoretic tableaux contain exactly the same information, and equivalence-preserving operations on them have been an object of study for some two decades.
Igor Yanovich
doaj +1 more source
Global stability and bifurcation analysis of a delayed predator-prey system with prey immigration
Electronic Journal of Qualitative Theory of Differential Equations, 2016 A delayed predator-prey system with a constant rate immigration is considered. Local and global stability of the equilibria are studied, a fixed point bifurcation appears near the boundary equilibrium and Hopf bifurcation occurs near the positive ...
Gang Zhu, Junjie Wei
doaj +1 more source
Stability and Hopf-bifurcation analysis of an unidirectionally coupled system
Electronic Journal of Qualitative Theory of Differential Equations, 2011 In this paper, the stability and existence of periodic solutions for an unidirectionally coupled nonlinear system with delays are investigated by combining the linear stability theory and the embedding technique of asymptotically autonomous semiflows ...
Gang Zhu, Junjie Wei
doaj +1 more source