Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567): Difference between revisions

@@ Property / describes a project that uses @@
+INTOPT_90
@@ Property / describes a project that uses: INTOPT_90 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2478/v10006-009-0040-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2098978323
@@ Property / OpenAlex ID: W2098978323 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of deterministic and stochastic SIS and SIR models in discrete time
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+Q4885375
@@ Property / cites work: Q4885375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4873544
@@ Property / cites work: Q4873544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673635
@@ Property / cites work: Q4673635 / rank @@
+Normal rank
@@ Property / cites work @@
+Global stability of an SEIS epidemic model with recruitment and a varying total population size
+Normal rank
@@ Property / cites work @@
+Hopf bifurcation in epidemic models with a latent period and nonpermanent immunity
+Normal rank
@@ Property / cites work @@
+Q4445267
@@ Property / cites work: Q4445267 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative analyses of communicable disease models
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous global search: continuous problems
@@ Property / cites work: Rigorous global search: continuous problems / rank @@
+Normal rank
@@ Property / cites work @@
+Global dynamics of a SEIR model with varying total population size
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for parametric ODEs
+Normal rank
@@ Property / cites work @@
+Influence of nonlinear incidence rates upon the behavior of SIRS epidemiological models
+Normal rank
@@ Property / cites work @@
+Q4036851
@@ Property / cites work: Q4036851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3125536
@@ Property / cites work: Q3125536 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient control of the dependency problem based on Taylor model methods
+Normal rank
@@ Property / cites work @@
+Q4808034
@@ Property / cites work: Q4808034 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank
@@ Property / cites work @@
+An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
+Normal rank
@@ Property / cites work @@
+On Taylor Model Based Integration of ODEs
@@ Property / cites work: On Taylor Model Based Integration of ODEs / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor forms -- use and limits.
@@ Property / cites work: Taylor forms -- use and limits. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976536
@@ Property / cites work: Q3976536 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2930567