Risk factors associated with eating disorders in Mexican preadolescents with normal weight

This study aimed to identify the differences in body self-esteem, general self-esteem and eating attitudes in a representative sample of children, aged 9-12 years, attending school in México DF. The logistic regression model incorporated the variables of sex, general self-esteem, BMI, age and discrepancy between the perceived image and the ideal image. Participants with an increased risk of eating disorders were girls: a) with less general self-esteem; b) BMI at the upper range of normal weight; c) greater negative discrepancy between perceived and ideal image; d) aged 11-12 years. Higher general self-esteem would act as a protector for eating disorders, while the desire for a thinner ideal body would be a risk factor.     

Relationship between productivity and efficiency in research funding for Spanish regions

Quality is a major current needs and requirements for any university system. The funding that universities receive a relevant influence on the scientific productivity of these. Thus the main objective of this study is to classify the Spanish regions in terms of scientific productivity and economic efficiency of their universities. It followed the same procedure used to prepare the 2009 ranking of research productivity in Spanish universities. The results show that there are differences in the classifications made on the basis of productivity and efficiency in the investigation. The more efficient Spanish regions in managing its resources to obtain research results are Catalonia, Asturias, Aragon, and Cantabria. From the results, each region can compare their situation with the rest and analyze strengths and weaknesses in research in terms of resources.     

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

We present a coinductive definition of models for modal logics and show that it provides a homogeneous framework in which it is possible to include different modal languages ranging from classical modalities to operators from hybrid and memory logics. Moreover, results that had to be proved separately for each different language—but whose proofs were known to be mere routine—now can be proved in a general way. We show, for example, that we can have a unique definition of bisimulation for all these languages, and prove a single invariance-under-bisimulation theorem.We then use the new framework to investigate normal forms for modal logics. The normal form we introduce may have a smaller modal depth than the original formula, and it is inspired by global modalities like the universal modality and the satisfiability operator from hybrid logics. These modalities can be extracted from under the scope of other operators. We provide a general definition of extractable modalities and show how to compute extracted normal forms. As it is the case with other classical normal forms—e.g., the conjunctive normal form of propositional logic—the extracted normal form of a formula can be exponentially bigger than the original formula, if we require the two formulas to be equivalent. If we only require equi-satisfiability, then every modal formula has an extracted normal form which is only polynomially bigger than the original formula, and it can be computed in polynomial time.