A Bayesian model for multi-feature contact matrices that uses tensor structures and contingency table theory to satisfy structural constraints and impute missing contact features, validated on simulations and US/German survey data.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
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.
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.
citing papers explorer
-
Bayesian Modeling and Prediction of Generalized Contact Matrices
A Bayesian model for multi-feature contact matrices that uses tensor structures and contingency table theory to satisfy structural constraints and impute missing contact features, validated on simulations and US/German survey data.
-
Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
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.
-
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.