The goal of this lecture is to discuss more sophisticated time-marching schemes, and in particular, the major distinction between explicit and implicit methods.

• Instructions to approach or avoid fictitious social groups cause changes in implicit evaluations. • These changes are not fully mediated by changes in explicit evaluations. • These changes occur even in the absence of changes in explicit evaluations. • These changes occur even if highly diagnostic incompatible valence information is provided. • These findings constrain current and future mode...

The paper is concerned with stabilization of a scalar delay differention equation ẋ(t)− m ∑ k=1 Ak(t)x[hk(t)] = 0, t ≥ 0, x(ξ) = φ(ξ), ξ < 0, by introducing impulses in certain moments of time x(τj) = Bjx(τj − 0), j = 1, 2, . . . . Explicit stability results are presented both for the equation with positive coefficients and for the equation with Ak being of arbitrary sign. Supported by Israel M...

Recent work suggests that concreteness and imageability play an important role in the meanings of figurative expressions. We investigate this idea in several ways. First, we try to define more precisely the context within which a figurative expression may occur, by parsing a corpus annotated for metaphor. Next, we add both concreteness and imageability as “features” to the parsed metaphor corpu...

Metaphor recognition presents a computational challenge, in part due to metaphoric deviation from literal thinking, and also because of a metaphor’s various linguistic expressions. This article forwards a new computational method, an integrated treatment of metaphor recognition from the computational perspective, which recent related studies have not entirely addressed. The authors differentiat...

The modal logic S4 can be used via a Curry-Howard style correspondence to obtain a λcalculus. Modal (boxed) types are intuitively interpreted as ‘closed syntax of the calculus’. This λ-calculus is called modal type theory — this is the basic case of a more general contextual modal type theory, or CMTT. CMTT has never been given a denotational semantics in which modal types are given denotation ...

flood routing has many applications in engineering projects and helps designers in understanding the flood flow characteristics in river flows. floods are taken unsteady flows that vary by time and location. equations governing unsteady flows in waterways are continuity and momentum equations which in case of one-dimensional flow the saint-venant hypothesis is considered. dynamic wave model as ...

We used event-related potentials (ERPs) to examine the time-course of processing metaphorical and literal sentences in the brain. ERPs were measured to sentence-final (Experiment 1) and mid-sentence (Experiment 2) critical words (CWs) as participants read and made plausibility judgments about familiar nominal metaphors ("A is a B") as well as literal and semantically anomalous sentences of the ...