a major problem of arid and semi-arid regions is environmental stresses like salinity and drought. to study the effect of artichoke germination under different levels of salinity and drought, two separate experiments were performed. the experimental treatments included different salinity levels of nacl (0, 50, 100, 150 mm) and five drought levels by peg (0, 10%, 15%, 20% and 25%) with three rep...

We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the design principles used to develop Yarrow. We then discuss the ways that PRNGs can fail in practice, which motivates our discussion of the components of Yarrow and how they make Yarrow secure. Next, we define a specif...

In this paper we report our research on building Yarrow an intelligent web meta-search engine. The predominant feature of Yarrow is that in contrast to the lack of adaptive learning features in existing metasearch engines, Yarrow is equipped with a practically efficient on-line learning algorithm so that it is capable of helping the user to search for the desired documents with as little feedba...

A major problem of arid and semi-arid regions is environmental stresses like salinity and drought. To study the effect of Artichoke germination under different levels of salinity and drought, two separate experiments were performed. The experimental treatments included different salinity levels of NaCl (0, 50, 100, 150 mM) and five drought levels by PEG (0, 10%, 15%, 20% and 25%) with three rep...

Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. Yarrow has been designed as a exible environment for experimentation with various typed lambda calculi. It ooers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concentrat...

Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. Yarrow has been designed as a flexible environment for experimentation with various typed lambda calculi. It offers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concent...

A major problem of arid and semi-arid regions is environmental stresses like salinity and drought. To study the effect of Artichoke germination under different levels of salinity and drought, two separate experiments were performed. The experimental treatments included different salinity levels of NaCl (0, 50, 100, 150 mM) and five drought levels by PEG (0, 10%, 15%, 20% and 25%) with three rep...

Yarrow is an interactive proof assistant based on the theory of Pure Type Systems, a family of typed lambda calculi. It ooers both graphical and textual interfaces. It has been coded entirely in Haskell, making use of the Fudget library for the graphical interface. In this paper we concentrate on the software architecture of Yarrow, in particular the coupling of user interface and proof engine....

Model studies of the influence lectin-containing extracts medicinal plants St. John's wort (Hypericum perforatum L.), common yarrow (Achillea millefolium marigold (Calendula officinalis L.) and dwarf evergreen (Helichrysum arenarium (L.) Moench.) on growth development wheat, oat, barley rye at beginning their ontogenesis. They testify to specificity action in relation model objects, which is pr...