The subtyping relation in the polymorphic second-order-calculus was introduced by John C. Mitchell in 1988. It is known that this relation is undecidable, but all known proofs of this fact strongly depend on the distributivity axiom. Nevertheless it has been conjectured that this axiom does not innuence the undecidability. The present paper shows undecidability of subtyping when we remove distr...

The paper reviewed empirical studies on children’s school achievements. The contributions of parenting attitude and style were examined in relation to children’s school achievement. A strong relationship between children’s school achievement and parenting attitude and style was reported in the paper. Findings from the review revealed that authoritative parenting styles were associated with high...

Obesity has become a pandemic threat in the latest 30 years. The trend of the prevalence of overweight and obesity has got an overall increase in every part of the world, regardless of ethnicity, life-style and social ties. High food intake, genetic, and sedentary have been related to obesity; it has been also hypothesized that gut microbiota could have an impact on the complex mechanism underl...

1 Author for correspondence ([email protected]) ABSTRACT Almost all Web searches are carried out while the user is sitting at a conventional desktop computer, connected to the Internet. Although online, handheld, mobile search offers new possibilities, the fastpaced, focused style of interaction may not be appropriate for all user search needs. In this paper, we explore an alterative, relaxed styl...

This study investigated the abusive behavior and parenting styles of 7 rhesus macaque mothers with infants born in 2 consecutive years. All subjects lived in captive social groups and were observed during the first 12 weeks of infant life. With the exception of 1 individual, mothers were generally consistent in the frequency with which they abused their successive infants. Similarities were als...