Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Cultural Consonance, a 5HT2A Receptor Polymorphism, and Depressive Symptoms: A Longitudinal Study of Gene x Culture Interaction in Urban Brazil

In this study in urban Brazil we examine, as a predictor of depressive symptoms, the interaction between a single nucleotide polymorphism in the 2A receptor in the serotonin system (-1438G/A) and cultural consonance in family life, a measure of the degree to which an individual perceives her family as corresponding to a widely shared cultural model of the prototypical family. A community sample of 144 adults was followed over a 2-year-period. Cultural consonance in family life was assessed by linking individuals` perceptions of their own families with a shared cultural model of the family derived from cultural consensus analysis. The -1438G/A polymorphism in the 2A serotonin receptor was genotyped using a standard protocol for DNA extracted from leukocytes. Covariates included age, sex, socioeconomic status, and stressful life events. Cultural consonance in family life was prospectively associated with depressive symptoms. In addition, the interaction between genotype and cultural consonance in family life was significant. For individuals with the A/A variant of the -1438G/A polymorphism of the 2A receptor gene, the effect of cultural consonance in family life on depressive symptoms over a 2-year-period was larger (beta = -0.533, P < 0.01) than those effects for individuals with either the G/A (beta = -0.280, P < 0.10) or G/G (beta = -0.272, P < 0.05) variants. These results are consistent with a process in which genotype moderates the effects of culturally meaningful social experience on depressive symptoms. Am. J. Hum. Biol. 21:91-97, 2009. (C) 2008 Wiley-Liss, Inc.

Cultural consonance and adult body composition in urban Brazil

In previous research in Brazil, we found socioeconomic and gender differences in body mass and percent body fat, consistent with a model in which individuals in higher socioeconomic strata, especially women, could achieve a cultural ideal of body size and shape. In this article, using new data, we examine these processes more precisely using measures of cultural consonance. Cultural consonance refers to the degree to which individuals approximate, in their own beliefs and behaviors, the shared prototypes for belief and behavior encoded in cultural models. We have found higher cultural consonance in several domains to be associated with health outcomes. Furthermore, there tends to be a general consistency in cultural consonance across domains. Here we suggest that measures of body composition can be considered indicators of individuals` success in achieving cultural ideals of the body, and that cultural consonance in several domains will be associated with body composition. Using waist circumference as an outcome, smaller waist size was associated with higher cultural consonance in lifestyle (beta = -0.311, P < 0.01) and higher cultural consonance in the consumption of high prestige foods (beta = -0.260, P < 0.01) for women (n = 161), but not for men (n = 106), controlling for age, family income, tobacco use, and dietary intake of protein and carbohydrates. Similar results were obtained using the body mass index and weight as outcomes, while there were no associations with height. These results help to illuminate the cultural mediation of body composition.

Iron Fortification Strategies for the Control of Childhood Anemia in Brazil

This article presents data on the fortification of foods, necessary as an important public health approach for the success in reducing anemia. The use of food vehicles, iron salts and their costs, as well as recent work on iron fortification of foods in Brazil are reviewed. Recent research serves as a cornerstone for countries that attempt to implement permanent, long-lasting iron fortification programs aimed at the prevention of anemia considering cultural habits, type of iron salts and at-risk groups.