A transformation from the source data to a target view is said to be bidirectional if, when the target is altered, the transformation somehow induces a way to reflect the changes back to the source, with the updated source satisfying certain healthiness conditions. Several bidirectional transformation languages have been proposed. In this paper, on the other hand, we aim at making existing tran...

OBJECTIVE To examine the impact of tanned female images on respondents' perceptions of attractiveness, healthiness, and height and weight estimations. METHOD A 3 (light, medium, or dark tan) by 2 (male or female respondent) experimental design. RESULTS Only male respondents perceived the dark-tanned woman as more physically attractive and thinner than both light- and medium-tanned women. Me...

To date, few studies have explored the neurochemical mechanisms supporting individual differences in food preference in humans. Here we investigate how dorsal striatal dopamine, as measured by the positron emission tomography (PET) tracer [(18)F]fluorometatyrosine (FMT), correlates with food-related decision-making, as well as body mass index (BMI) in 16 healthy-weight to moderately obese indiv...

It is not always straightforward to implement a network that is robust enough to be functionally independent of communication delay. In order to specify and verify so called Delay Insensitive networks, numerous models and formalisms have been developed. In this paper we analyze one of the most expressive models. We show how based on rewrite rules we can compute, rather than invent parts of a ne...

Much research has demonstrated that people perceive consumers of "good," low-fat foods as more moral, intelligent, and attractive, and perceive consumers of "bad," high-fat foods as less intelligent, less moral, and less attractive. Little research has contrasted perceptions of omnivores and vegetarians, particularly with respect to morality and gender characteristics. In two between-subject st...

There has been surprisingly little research to date on the supply-side role of food manufacturers on equilibrium health outcomes for consumers. In this letter we consider an oligopoly model in which food processors choose the health composition of manufactured food. We show that price competition between food processors leads to unhealthy food composition in the market equilibrium, even under c...

For a system to be capable of self-healing, the system must be able to detect what has gone wrong and how to correct it. This paper presents a generic modeling framework to facilitate the development of self-healing software systems. A model-based approach is used to categorize software failures and specify their dispositions at the model level. Self-healing is then achieved by transforming the...