We consider singularly perturbed nonlinear Schrödinger equations − ε∆u+ V (x)u = f(u), u > 0, v ∈ H(R ) (0.1) where V ∈ C(RN ,R) and f is a nonlinear term which satisfies the so-called Berestycki-Lions conditions. We assume that there exists a bounded domain Ω ⊂ RN such that m0 ≡ inf x∈Ω V (x) < inf x∈∂Ω V (x)

Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, memory management, concurrency, etc. Subtyping is traditionally invariant w.r.t. contexts, which has often proven inflexible in some situations. Recent work has introduced restricted forms of subtype variance and unknow...

Let A be a well-formed formula of first-order modal logic whose only free variable is x. We shall use the following abbreviations: Mat(A) for (x)[OA * 0~A] Form(A) for (x)[DA vD-i] Ban(A) for ((x)DA) v ((x)U~A) Pred(A) for Form(A) v Mat(A). We read Mat(A), FormjA), and Ban(A) respectively as: "A is material", "A is formal", and "A is banal"; Pred(A) is the assertion of the Principle of Predica-...

Many existing algorithms for model checking of infinite-state systems operate on constraints which are used to represent (potentially infinite) sets of states. A general powerful technique which can be employed for proving termination of these algorithms is that of well quasi-orderings. Several methodologies have been proposed for derivation of new well quasi-ordered constraint systems. However...

Because of the "all-or-none" character of nervous activity, neural events and the relations among them can be treated by means of propositional logic. I t is found that the behavior of every net can be described in these terms, with the addition of more complicated logical means for nets containing circles; and that for any logical expression satisfying certain conditions, one can find a net be...

Suppose we are given a set W of logical structures, or possible worlds, a set of logical formulas called possible data and a logical formula φ. We then consider the classification problem of determining in the limit and almost always correctly whether a possible world M satisfies φ, from a complete enumeration of the possible data that are true in M. One interpretation of almost always correctl...

Each of the previous three articles in this series has examined one of the three main traditions of humour theory; those based around incongruity, superiority and the release of energy. We have seen that each of these theoretical traditions sheds some light upon humour and laughter, but also that all fail in their overly ambitious task of offering a fully comprehensive theory. This has not dete...

in six parts: (i) intrinsic and extrinsic factors regulating neuronal activity, (ii) contributions to the physiology and pathology of movements, (iii) the physiological basis of consciousness, (iv) some aspects of autonomic physiology, (v) integrations, and (vi) applications. The first two sections could be better organized. His sentences are frequently cumbersome, as witness: "This survey has ...

INTRODUCTION Existential suffering in patients with serious illness significantly impacts quality of life, yet it remains a challenge to define, assess, and manage adequately. Improving upon understanding and practice in the existential domain is a topic of interest for palliative care providers. METHODS As a quality improvement project, our palliative care team created an existential assessm...