Unhealthy processed food products are increasingly dominating over healthy foods, making food and nutrition environments unhealthier. Development and implementation of strong government healthy food policies is currently being circumvented in many countries by powerful food industry lobbying. In order to increase accountability of both governments and the private sector for their actions, and i...

Hoare and He’s unifying theories of programming (UTP) provide a collection of relational models that can be used to study and compare several programming paradigms. In this paper, we add to the UTP a theory of pointers and records that provides a model for objects and sharing in languages like Java and C++. Our work is based on the hierarchical addressing scheme used to refer to record fields (...

This paper describes pMeasure, a tool for measuring large scale networks, particularly the Internet, from end to end. As the Internet grows in size and complexity, fine-grained, precise and timely measurements are needed to ensure its healthiness and ultimately benefit those mission-critical applications deployed on the Internet. The existing measurement infrastructures are unable to satisfy th...

This paper introduces techniques to organise predicate-semantic models in a hierarchical structure so that a new model can inherit the laws of more abstract ones. Generic composition is used to simplify the manipulation of predicates. Necessary restrictions are imposed on the definition of each model so that the inheritance relation can be established by checking a few conditions on the healthi...

An important issue in research into access to healthy food is how best to compare the price of foods. The appropriate metric for comparison has been debated at length, with proponents variously stating that food prices should be compared in terms of their energy content, their edible mass, or their typical portion size. In this article we assessed the impact of using different food price metric...

This paper considers the evolution of thinking about poverty since Rowntree's classic study of poverty in England at the turn of the last century. It highlights the progressive broadening ofthe definition and measurement of poverty, from command over market-purchased goods (income) to other dimensions ofliving standards such as longevity, literacy and healthiness, and , most recently, to concer...

This study aims to categorise the clean and healthy lifestyles applied in Cot Sibati, Blang Krueng Village. The research subjects were ten 7 8 years-old children. data collection method was descriptive qualitative, i.e. interview, observation documentation. Given that only three out of eight indicators met requirements, results indicated both living habit level fairly poor. It could be conclude...

One of the major key clinical indicators hospital performance is length stay (LOS). This denominator calculated in averages. The role this measure could be dual (as medical outcome or financial health indicator). Regardless, it can also observed as either positive negative variable depending on how measured. By study, LOS was assessed both counts: a and hospital. investigator concludes, after t...

Objective: Nutrition is important not only in terms of ideal growth the baby, but also being determinant healthiness during infancy, childhood, and adulthood adopting healthy eating habits that continue lifetime. The aim this study to evaluate level knowledge misapplications mothers about babies' feeding habits. 
 Materials Metods: This was planned as an analytical cross-sectional applied ...

A theory of programming is intended to help in the construction of programs that provably meet their speci cations. It starts with a complete lattice of speci cations, used as a domain for the semantics of the programming language. The operators of the language are de ned as monotonic functions over this domain. This paper presents a method which enables us to derive an enriched semantics for t...