The following article has above all a practical orientation. The various possibilities for the application of lucid dreaming in sports training are presented and briefly illustrated. These theses are based on findings from experiments with experienced lucid dreamers who were instructed to carry out various routine and sport-related actions while lucid-dreaming, with the object of observing the ...

The relationship between time in dreams and real time has intrigued scientists for centuries. The question if actions in dreams take the same time as in wakefulness can be tested by using lucid dreams where the dreamer is able to mark time intervals with prearranged eye movements that can be objectively identified in EOG recordings. Previous research showed an equivalence of time for counting i...

Research on the neural correlates of lucid dreaming has recently gained more underlying data. By exploring seven studies that investigated the neural basis of lucid dreaming, this essay sought to examine which neural correlates are associated with lucid dreaming and how proposed neural correlates relate to phenomenological aspects. Dorsolateral prefrontal cortex (DLPFC) was judged as the region...

This paper presents the programming language Lucid, both its syntax and semantics, and discusses some possible ways of thinking about the operational behavior of Lucid programs. (The actual operational behavior is really completely different, but we find that having some sort of operational ideas is often very useful when designing Lucid programs.) This paper does not consider the manipulation ...

Message Driven Computation (MIX) is a model of computation with which we haw been eqerimenting at the Illinois Institute of Technology. It is our h i r e to prove the viability of MDC in practice for the expression of parallel algorithms and the implementation of ficnctional and datajlbw programming hguuges. In the following pages we &cuss our implementation of the Lucid programming language in...

This paper criticizes the widespread idea that knowledge bases in AI systems should be complete and that representations should be \model-like." The arguments in favor of such representations are less cogent and more ambiguous than they appear at rst. Levesque's suggestion that representations should be \vivid" is extremely restrictive, particularly in its uniform imposition of a closed-world a...