Isabelle/HOL proofs establish conservation, monotonicity, compartment bounds, and threshold conditions for the SIR ODE by bridging AFP local flows to global forward solutions with reusable scalar lemmas.
Van den Driessche and James Watmough
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
roles
method 1polarities
use method 1representative citing papers
Protective behavior driven by disease information can either suppress or prolong mosquito-borne epidemics and may generate recurrent damped waves, with the net effect depending on transmission parameters and host composition.
A temperature-driven reaction-diffusion model qualitatively reproduces the spatial spread patterns of Usutu virus in Germany and neighboring countries.
An optimal control formulation is presented for minimizing a cost functional subject to an SIR-type system modeling criminal activity with preventive, rehabilitative, and other policy interventions.
citing papers explorer
-
A model for mosquito-borne epidemic outbreaks with information-dependent protective behaviour
Protective behavior driven by disease information can either suppress or prolong mosquito-borne epidemics and may generate recurrent damped waves, with the net effect depending on transmission parameters and host composition.
-
A temperature-driven diffusion model of Usutu virus spread in Germany with spillover into neighbouring countries
A temperature-driven reaction-diffusion model qualitatively reproduces the spatial spread patterns of Usutu virus in Germany and neighboring countries.