This paper proposes a syntactic reformulation of the modular approach to Denotational Semantics in [Mog89a, Mog91a]. This reformulation is based on a duality between model constructions and translations of theories (often called relative interpretations), analogous to Gabriel-Ulmer duality. To demonstrate the simplicity and usability of the syntactic reformulation, we give a sample of theories ...

The current research in meat products has been aimed to obtain healthier proposals because of the change lifestyle and routine population. This new point view also changed industry perspective: they are focusing on reformulation a portfolio with appeal. process redefining traditional formulation can negatively affect acceptance product (i.e., taste appearance). However, researchers reported pos...

this study examined and compared the effects of consciousness-raisingwritten corrective feedback in 2 newly-developed levels in terms of marked thirdperson -s acquisition. nine elementary level intact classes, including 191 malelanguage learners within the age range of 11-14 at iran language institute, weretaken as the participants. relying on the participants’ placement test results,previous t...

BACKGROUND Public health action to reduce dietary salt intake has driven substantial reductions in coronary heart disease (CHD) over the past decade, but avoidable socio-economic differentials remain. We therefore forecast how further intervention to reduce dietary salt intake might affect the overall level and inequality of CHD mortality. METHODS We considered English adults, with socio-econ...

Reformulation is ubiquitous in problem solving and is especially common in modeling physical systems. In this paper we examine reformulation techniques in the context of reasoning about physical systems. This paper does not present a general theory of reformulation, but it studies a number of known reformulation techniques to achieve a broad understanding of the space of available reformulation...

This paper proposes an approximate query reformulation framework for integrating multiple ontologies. In order to achieve semantic interoperability in the Semantic Web, multiple ontologies have to be integrated. Ontology integration requires approximation mechanisms, since often no perfectly corresponding ontologies exist. However, most previous research efforts on ontology integration have not...

Bulimia nervosa often follows a chronic and relapsing course. To understand relapse in this disorder, we highlight cognitive processes underlying the binge/purge cycle. Links are drawn between cognitions, causal perceptions, and the binge/purge cycle in a reformulation of the abstinence violation effect with a special focus on attributions. This reformulation is then applied to the lapse-relaps...

Recursive marginal quantization (RMQ) allows the construction of optimal discrete grids for approximating solutions to stochastic differential equations in d dimensions. Product Markovian (PMQ) reduces this problem one-dimensional problems by recursively constructing product quantizers, as opposed a truly quantizer. However, standard Newton–Raphson method used PMQ algorithm suffers from numeric...