نتایج جستجو برای: general healthiness
تعداد نتایج: 719120 فیلتر نتایج به سال:
Hoare and He’s Unifying Theories of Programming take a relational view on semantics. The meaning of a non-deterministic, imperative program is described by ‘designs’ composed of two relations. They represent terminating states and relate the initial and final values of the observable variables, respectively. Several ‘healthiness conditions’ are imposed by the theory to obtain properties found 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 (...
Boolean-valued predicates over a state space are isomorphic to its characteristic functions into {0, 1}. Enlarging that range to {−1, 0, 1} allows the definition of extended predicates whose associated transformers generalise the conventional wp and wlp. The correspondingly extended healthiness conditions include the new ‘sub-additivity’, an arithmetic inequality over predicates.
Different front-of-pack (FOP) labelling systems have been developed in Europe by industry and organisations concerned with health promotion. A study (n 2068) was performed to establish the extent to which inclusion of the most prevalent FOP systems--guideline daily amounts (GDA), traffic lights (TL), GDA+TL hybrid (HYB) and health logos (HL)--impact consumer perceptions of healthiness over and ...
Having stateful specifications to track the states of processes, such as the balance of a customer for online shopping or the booking number of a transaction, is needed to verify real-life interacting systems. For safety assurance of distributed IT infrastructures, specifications need to capture states in the presence of asynchronous interactions. We demonstrate that not all specifications are ...
This research demonstrates that global food products suffer from healthiness bias – a tendency to favor local and evaluate them as healthier than equivalent or foreign products. The paper extends previous findings provides empirical evidence the perception of product’s is driver this phenomenon. Results three between-subject experimental design studies indicate (versus foreign) are associated w...
the aim of this study was investigation of the factors affecting the primary choice of consumers in food purchasing in mashhad city by applying cross section data of 201 households in 2012. in this study, 56, 30, and 14% of the consumers chose healthiness of food, price of food, and taste of food, respectively, as the primary preference in food purchase. results of applying multinomial logit mo...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید