We prove that (1) for any complete lattice $L$, the set $\mathcal {D}(L)$ of all non-empty saturated compact subsets Scott space $L$ is a Heyting algebra (with reverse inclusion order); and (2) if latti

OBJECTIVE Drinking and driving is a primary cause of traffic fatalities and it has been suggested that binge drinkers comprise a major portion of those drivers involved in drinking and driving accidents. Although several experimental studies have investigated the driving behavior of binge drinkers (particularly college students and/or young adults) under the influence of alcohol, few studies ha...

Pharmacia 0480-2551 Association of Pharmacists Miroslav Sober Miro.sober@gmail. com 1990 1x NO Professional Bosnian/English NO Table 2. Indexed journals in Bosnia and Herzegovina in the year the 2011 0 5 10 15 20 25 30 35 40 45

This paper proposes the Turing stream cipher. Turing offers up to 256-bit key strength, and is designed for extremely efficient software implementation.It combines an LFSR generator based on that of SOBER [21] with a keyed mixing function reminiscent of a block cipher round. Aspects of the block mixer round have been derived from Rijndael [6], Twofish [23], tc24 [24] and SAFER++ [17].

The aim of this work was to study the allelopathic effect of 3 extracts viz 3%,5% and 10% prepared from leaves of GM (insect resistance) and non GM maize on physiology of succeeding crop wheat (Triticum aestivum L.). The extracts prepared from GM maize significantly decreased chlorophyll a content but significantly increased chlorophyll b content as compared with untreated control. Content of c...

In this note we show that quotients of countably based spaces (qcb spaces) and topological predomains as introduced by M. Schröder and A. Simpson are not closed under sobrification. As a consequence replete topological predomains need not be sober, i.e. in general repletion is not given by sobrification. Our counterexample also shows that a certain tentative “equalizer construction” of repletio...