interpretation: computing on properties readInt(x) if x>0 : x:= pred(x) x:= succ(x) writeInt(x) Q: Is output pos? A: abstractly interpret domain Int by Sign = {neg , zero, pos , any }: readSign(x) if isPos(x): x:= pred(x) x:= succ(x) writeSign(x) where succ(pos) = pos succ(zero) = pos succ(neg) = any succ(any) = any and pred(neg) = neg pred(zero) = neg pred(pos) = any pred(any) = any Calculate ...

This study explores whether exposure to advertisements that focus on the negative effects of tobacco industry advertising and promotion at the point of sale (anti-POS advertising) influence: (i) attitude toward POS advertising; (ii) perceived impact of POS advertising on youth smoking; and (iii) support for a ban on tobacco promotion at the POS among adult non-smokers in New York. Data are from...

A finite group G is said to be a POS-group if for each x in G the cardinality of the set {y in G | o(y) = o(x)} is a divisor of the order of G. In this paper we study the structure of POS-groups with some cyclic Sylow subgroups.

PURPOSE Age-related macular degeneration (AMD) is accompanied by increased complement activation, and by lipofuscin accumulation in retinal pigment epithelial (RPE) cells due to incomplete degradation of photoreceptor outer segments (POS). The influence of POS, ultraviolet (UV)-irradiated POS and human complement sera (HCS) on cytokine secretion from RPE cells was therefore examined. METHODS ...

The present-day architecture of the present era represents the emergence of ethical issues arisingfrom the ideas of the " Modern individual-oriented" and "Pos tmodern being oriented", such as the consideration of personal interes ts and the reduction of human relations. Therefore, the exis tence of such shortcomings requires the identification of an architecture that considers the individ...

Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem...

Survival under stress, such as exposure to hypoxia, anoxia, freezing, dehydration, air exposure of water breathing organisms, and estivation, is commonly associated to enhanced endogenous antioxidants, a phenomenon coined "preparation for oxidative stress" (POS). The regulation of free radical metabolism seems to be crucial under these selective pressures, since this response is widespread amon...