We present the development of the Lucid language from the Original Lucid of the mid1970s to the TransLucid of today. Each successive version of the language has been a generalisation of previous languages, but with a further understanding of the problems at hand. The Original Lucid (1976), originally designed for purposes of formal verification, was used to formalise the iteration in while-loop...

tutes unsoundness of mind. To constitute a " lucid interval," the party must freely and voluntarily, and without the design of pretending sanity, confess his delusion. After making a few preliminary observations, Lord Brougham observes? " The principles which must govern a case of this description are sufficiently clear, and they may be regarded as well settled by the current of former decision...

2. Ganz JC. The lucid interval associated with epidural bleeding: evolving understanding. J Neurosurg. 2013;118:739-45. 3. Malik NK, Makhdoomi R, Indira B, Shankar S, Sastry K. Posterior fossa extradural hematoma: our experience and review of the literature. Surg Neurol. 2007;68:155-8. 4. Su T, Lee T, Lee T, Cheng C, Lu C. Acute Clinical Deterioration of posterior fossa epidural hematoma: Clini...

In this paper, we give an overview of our current work on introducing context as first-class objects in Lucid. The use of contexts as first class values increases the expressive power of Lucx (Lucid enriched with context). It allows us to write programs in Lucx in a high level of abstraction which is closer to the problem domain. We include a discussion on context theory, representation of cont...

In this paper, we give an overview of our current work on introducing context as first-class objects in Lucid. The use of contexts as first class values increases the expressive power of Lucx (Lucid enriched with context). It allows us to use the paradigm for agent communication, for real-time reactive programming and for constraint programming. We include a discussion on context calculus, repr...

SUMMARY The occurrence of lucid dreaming (dreaming while being conscious that one is dreaming) has been verified for 5 selected subjects who signaled that they knew they were dreaming while continuing to dream during unequivocal REM sleep. The signals consisted of particular dream actions having observable concomitants and were performed in accordance with pre-sleep agreement. The ability of pr...

In this work we summarize biometric evidence as well as file type evidence extraction “exported” as formal Forensic Lucid language expression in the form of higher-order intensional contexts for further case analysis by a system that interprets Forensic Lucid expressions for claim verification and event reconstruction. The digital evidence is exported from the Modular Audio Recognition Framewor...