Background SUPPORT tools consist of 18 articles addressing the health policy-makers so that they can learn how to make evidence-informed health policies. These tools have been particularly recommended for developing countries. The present study tries to explain the process of evidence utilization for developing policy documents in the Iranian Ministry of Health and Medical Education (MoHME) and...

Proof-Carrying Code (PCC) allows a code producer to provide to a host a program along with its formal safety proof. The proof attests a certain safety policy enforced by the code, and can be mechanically checked by the host. While this language-based approach to code certification is very general in principle, existing PCC systems have only focused on programs whose safety proofs can be automat...

The paper aims at addressing the problem of what makes specific aiding to decide within public policy making problem situations. Under such a perspective it analyses some basic concepts such as “public policy”, “deliberation”, “legitimation”, “accountability” and shows the necessity to expand the concept of rationality which is expected to be behind the acceptability of a public policy. We then...

Health reform is the outcome of dispersed policy initiatives in different sectors, at different levels and across time. Policy work which can drive coherent health reform needs to operate across the governance structures as well as the institutions that comprise healthcare systems. Building policy capacity to support health reform calls for clarity regarding the nature of such policy work and t...

As recently pointed out by the Institute of Medicine, the existing pandemic mitigation models lack the dynamic decision support capability. We develop a large-scale simulation-driven optimization model for generating dynamic predictive distribution of vaccines and antivirals over a network of regional pandemic outbreaks. The model incorporates measures of morbidity, mortality, and social distan...