A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, canonical models – used to define the semantics of non-framed programs – are no longer appropriate....

Abstract A holonomic knot is a knot in 3-space which arises as the 2-jet extension of a smooth function on the circle. A holonomic knot associated to a generic function is naturally framed by the blackboard framing of the knot diagram associated to the 1-jet extension of the function. There are two classical invariants of framed knot diagrams: the Whitney index (rotation number) W and the self ...

In this paper we compare & analyze on high rise building, in included the reactions of seismic effect wind. past years many research done Analysis building with and without shear walls. All same work for little (G+10) The current consist correlation between framed wall presence wind force, earthquake etc For design buildings, reinforcement concrete structural walls or are higher resisting m...

Messages that frame a target behavior in terms of its benefits (gain frame) or costs (loss frame) have been widely and successfully used for health promotion and risk reduction. However, the impact of framed messages on decisions to have sex and sexual risk, as well as moderators of these effects, has remained largely unexplored. We used a computerized laboratory task to test the effects of fra...

OBJECTIVES Messages designed to motivate participation in physical activity usually emphasize the benefits of physical activity (gain-framed) as well as the costs of inactivity (loss-framed). The framing implications of prospect theory suggest that the effectiveness of these messages could be enhanced by providing gain-framed information only. We compared the effectiveness of gain-, loss-, and ...

The spi-calculus, proposed by Abadi and Gordon, is a process calculus based on the π-calculus and is intended for reasoning about the behaviour of cryptographic protocols. We consider the finite-control fragment of the spi-calculus, showing it to be Turing-powerful (a result which is joint work with Josva Kleist, Uwe Nestmann, and Björn Victor.) Next, we restrict our attention to finite (non-re...

BACKGROUND Message framing has been an important focus in health communication research, yet prior meta-analyses found limited support for using framing to increase persuasiveness of health messages. PURPOSE This meta-analysis distinguished the outcomes used to assess the persuasive impact of framed messages (attitudes, intentions, or behavior). METHODS One hundred eighty-nine effect sizes ...

This research investigates the convenience of structural identification tools to detect rocking motion tendency, using as input response ambient vibrations. The ratio and spectrum are proposed original highlight its frequency content. procedure allows detection quantification only building vertical records in both cases vibration earthquake. First, three-dimensional finite element models reinfo...