Given an arbitrary Petri net structure which may have uncontrollable and unobservable transitions and may be unbounded, the procedure described in this paper generates a supervisor for liveness enforcement. The supervisor is specified as a conjunction of linear marking inequalities. For all initial markings satisfying the linear marking inequalities, the supervised Petri net is live. Moreover, ...

Published in this issue of the REVISTA ESPAÑOLA DE CARDIOLOGÍA, “Variations Among Spanish Regions in the Use of Three Cardiovascular Technologies,” by FitchWarner, García de Yébenes, Lázaro and de Mercado, and Belaza-Santurde.1 The authors highlight a statistical finding in their article: the linear dependency of the use of three therapeutic cardiovascular technologies (percutaneous coronary in...

Received 7 September 2006 Revised 30 November 2006 Accepted 6 December 2006 Unhealthy lifestyle contributes significantly to the burden of disease. Scarce medical resources that could alternatively be spent on interventions to prevent or cure sufferings for which no one is to blame, are spent on prevention or treatment of (the risk of) disease that could be avoided through individual lifestyle ...

Background The importance of the social determinants of health (SDH) and barriers to the access and utilization of healthcare have been widely recognized but not previously studied in the context of universal healthcare coverage (UHC) in Brazil and other developing countries. Objective To evaluate a set of proposed indicators of SDH and barriers to the access and utilization of healthcare - pro...

BACKGROUND The human papillomavirus (HPV) vaccine offers an opportunity to reduce health inequalities associated with cervical cancer provided the vaccine is delivered equitably at population level. Method We reviewed evidence of inequalities in HPV vaccine uptake in young women after undertaking a comprehensive search of databases from inception to March 2012. Studies that compared HPV vaccina...

This article critically analyzes and quantified the extent to which social determinants of health explains inequalities regarding maternal mortality in Nigeria. Evidence suggests that is predominant developing countries. formed rationale using Nigeria as a case study for critical analysis. showed relationship between status/determinants, outcomes Using analytical approach, this shows access goo...

In this paper, we establish some Bernstein type inequalities for the complex polynomial. Our results constitute generalizations and refinements of some well-known polynomial inequalities.

Abstract Like in most Western countries, regional health inequalities are also present the Netherlands. Explaining these is necessary for policymakers to target interventions reduce them. Regional usually attributed demographic and socio-economic factors, while lifestyle psychosocial factors increasingly shown impact individuals’ health. Therefore, this study analyses role of lifestyle, lonelin...