Low-contrast images are viewed with obscured details and unfavorable to the observer. Hence, it is a necessity process such an effect efficiently get lucid as need for clear become global demand. Therefore, statistics-based algorithm of simple complexity introduced in this research color grayscale low contrast. The proposed consists five stages, where first second stages include use two differe...

We summarize the interaction between the theory behind intensional programming, as seen in Lucid; and intensional versioning, as seen in Lemur, Intensional HTML, ISE, VMAKE, etc. These two concepts can be seen to be duals of each other, and they rely on dual notions of store, the warehouse for caching values, and the catalog for providing definitions. Catalogs contain intensional objects, which...

The intermittent assertion technique of Burstall can be formulated and made rigorous in the formal-system/programming-language Lucid, in a very straightforward way. This reinforces the contention that Lucid is a framework within which many sorts of proofs of program properties may be expressed. This paper includes three proofs, all of which are the Lucid versions of intermittent assertion proof...

Intensional Cyberforensics Serguei A. Mokhov, Ph.D.Concordia University, 2013 This work focuses on the application of intensional logic to cyberforensic analysis and itsbenefits and difficulties are compared with the finite-state-automata approach. This workextends the use of the intensional programming paradigm to the modeling and implemen-tation of a cyberforensics investigati...

In this paper we remedy one of the most annoying weaknesses of Lucid and indexical languages in general: the lack of higher-order functions. We describe a simple generalization of the “place-code” approach (as discovered by Ostrum and formalized by Yaghi) which handles programs with functions of arbitrarily high orders; in other words, typed Iswim. A source program P with function definitions (...

When disinherited heirs challenge a will drafted by a person suspected of having dementia, a legal battle may ensue. The "lucid interval," a brief return to competence from a state of dementia, has been invoked in years past to establish the validity of contested wills. Shulman et al., having reviewed the medical and legal literature, make a convincing argument that no such period of competence...

Lucid is both a programming language and a formal system for proving properties of Lucid programs. The programming language is unconventional in many ways, although programs are readily understood as using assignment statements and loops in a “structured” fashion. Semantically, an assignment statement is really an equation between “histories”, and a whole program is simply an unordered set of s...