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...

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...

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....

the present study was conducted to investigate the clinical effects and possible side effects of yarrow extract ( achillea millefolium l.) as feed additive on biochemical blood parameters and growth performance of rainbow trout ( oncorhynchus mykiss ). fishes were treated with 0 (control), 0.1, 0.5 and 1% of yarrow extract for 30 days. plasma alanine aminotransferase (alt), aspartate aminotrans...

Active, focused involvement with toys has been associated with later cognitive development (Ruff & Rothbart, 1996; Yarrow, Morgan, Jennings, Harmon, & Gaiter, 1982). A deficit in active toy exploration is a sensitive indicator of risk in infants as young as 1 year (Landry & Chapieski, 1988; Ruff, McCarton, Kurtzberg, & Vaughn, 1984). One-year-olds’ focused exploration is greater during interact...

Cultivation and preservation of yarrow has recently attracted wide attention due to its beneficial properties; however, genetic variation of Achillea species is still relatively unknown. We used RAPD and ISSR markers to assess genetic diversity in 16 accessions of yarrow belonging to two species native to Iran. Seven ISSR and nine RAPD primers generated 187 amplified fragments, of which 1...

The carbonic anhydrase (CA: Carbonate hydrolyase: E.C.4.2.1.1) content from the leaves and flowers of mature yarrow (Achillea millefolium), a plant believed to possess healing qualities, was purified and characterized. The purification levels were 35.58 fold in the leaves and 40.21 fold in the flowers. The optimum temperatures were 25C and 40C for the leaves and flowers, respectively, and optim...