Mental, neurological, and substance use disorders are common, highly disabling, and associated with significant premature mortality. The impact of these disorders on the social and economic well-being of individuals, families, and societies is large, growing, and underestimated. Despite this burden, these disorders have been systematically neglected, particularly in low- and middle-income countries, with pitifully small contributions to scaling up cost-effective prevention and treatment strategies. Systematically compiling the substantial existing knowledge to address this inequity is the central goal of this volume. This evidence-base can help policy makers in resource-constrained settings as they prioritize programs and interventions to address these disorders.

Essential Surgery is part of a nine volume series for Disease Control Priorities which focuses on health interventions intended to reduce morbidity and mortality. The Essential Surgery volume focuses on four key aspects including global financial responsibility, emergency procedures, essential services organization and cost analysis.

Cardiovascular, respiratory, and related conditions cause more than 40 percent of all deaths globally, and their substantial burden is rising, particularly in low- and middle-income countries (LMICs). Their burden extends well beyond health effects to include significant economic and societal consequences. Most of these conditions are related, share risk factors, and have common control measures at the clinical, population, and policy levels. Lives can be extended and improved when these diseases are prevented, detected, and managed. This volume summarizes current knowledge and presents evidence-based interventions that are effective, cost-effective, and scalable in LMICs.

"Atlas is a project of the World Health Organization (WHO) Headquarters, Geneva..." "Mental Health Atlas 2014 is the latest in a series of publications that first appeared in 2001, with subsequent updates published in 2005 and 2011."-- Page 6.

The evaluation of reproductive, maternal, newborn, and child health (RMNCH) by the Disease Control Priorities, Third Edition (DCP3) focuses on maternal conditions, childhood illness, and malnutrition. Specifically, the chapters address acute illness and undernutrition in children, principally under age 5. It also covers maternal mortality, morbidity, stillbirth, and influences to pregnancy and pre-pregnancy. Volume 3 focuses on developments since the publication of DCP2 and will also include the transition to older childhood, in particular, the overlap and commonality with the child development volume. The DCP3 evaluation of these conditions produced three key findings: 1. There is significant difficulty in measuring the burden of key conditions such as unintended pregnancy, unsafe abortion, nonsexually transmitted infections, infertility, and violence against women. 2. Investments in the continuum of care can have significant returns for improved and equitable access, health, poverty, and health systems. 3. There is a large difference in how RMNCH conditions affect different income groups; investments in RMNCH can lessen the disparity in terms of both health and financial risk.

Written by many of the world's leading practitioners in the delivery of mental health care, this book clearly presents the results of scientific research about care and treatment for people with mental illness in community settings. The book presents clear accounts of what is known, extensively referenced, with critical appraisals of the strength of the evidence and the robustness of the conclusions that can be drawn. Improving Mental Health Care adds to our knowledge of the challenge and the solutions and stands to make a significant contribution to global mental health.

In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before the contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.