Results 1 to 10 of about 7,423,126 (192)

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ė, Stanislovas Norgėla   +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, Zohreh Eskandari, Zakieh Avazzadeh   +2 more
doaj   +1 more source

Mathematical Modeling and Stability Analysis of a Delayed Carbon Absorption-Emission Model Associated with China’s Adjustment of Industrial Structure

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

Smith Normal Form in Combinatorics [PDF]

, 2015
This paper surveys some combinatorial aspects of Smith normal form, and more generally, diagonal form. The discussion includes general algebraic properties and interpretations of Smith normal form, critical groups of graphs, and Smith normal form of ...
Stanley, Richard P.
core   +1 more source

Justification for inclusion dependency normal form [PDF]

, 1999
Functional dependencies (FDs) and inclusion dependencies (INDs) are the most fundamental integrity constraints that arise in practice in relational databases.
Levene, Mark, Vincent, Millist W.
core   +3 more sources

Dynamic analysis of a Leslie–Gower-type predator–prey system with the fear effect and ratio-dependent Holling III functional response

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

The exp-log normal form of types [PDF]

, 2016
Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the sum type ...
Ahmad A., Balat V., Dougherty D., Friedman H., Ghani N., Hardy G. H.   +5 more
core   +4 more sources

Turing–Hopf bifurcation and spatiotemporal patterns in a Gierer–Meinhardt system with gene expression delay

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, Hongbin Wang, Weihua Jiang   +2 more
doaj   +1 more source