This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid. For the language thus extended, a calculus of contexts and a logic of contexts are provided. The paper gives definitions, syntax, and operators for context, and introduces an operational semantics for evaluating expr...

Recent studies suggest that lucid dreaming (awareness of dreaming while dreaming) might be associated with increased brain activity over frontal regions during rapid eye movement (REM) sleep. By applying transcranial direct current stimulation (tDCS), we aimed to manipulate the activation of the dorsolateral prefrontal cortex (DLPFC) during REM sleep to induce lucid dreaming. Nineteen participa...

Search activity (SA) is the behavioral and mental activity that is oriented to changes of the environment or of the subject's view and approach to the environment according to personal needs without the definite probability forecast of the outcomes of such activity, but with a regular consideration of the outcomes in the process of active behavior. Dream's lucidity (the subject's realization th...

Lucid dreaming and transpersonal studies are two vigorous and important fields with overlapping interests and much to contribute to one another. Unfortunately, they have remained largely isolated and ignorant of each other, in spite of the fact that lucid dreaming research has significant transpersonal implications. Researchers are now investigating advanced forms of lucidity, finding technolog...

In the recent actuarial literature, several proofs have been given for the fact that if a random vector (X1,X2, . . . ,Xn) with given marginals has a comonotonic joint distribution, the sum X1 +X2 + · · · +Xn is the largest possible in convex order. In this note we give a lucid proof of this fact, based on a geometric interpretation of the support of the comonotonic distribution.

We develop an eductive algorithm for the efficient implementation of Multidimensional Lucid, which includes dimensions as first-class values. By focusing on simple multi-dimensional expressions, we develop a series of operational semantics, ultimately leading to an algorithm that should lead to efficient implementations of Lucid for a variety of physical architectures.

Motor practice in lucid dreams is a form of mental rehearsal where the dreamer can consciously rehearse motor skills in the dream state while being physically asleep. A previous pilot study showed that practice in lucid dreams can improve subsequent performance. This study aimed to replicate those findings with a different task (finger-tapping) and compare the effectiveness of lucid dream pract...