By means of two stratifications of experimental days of the Whitetop Project-into categories E and W and into categories air mass and frontal-the effects of cloud seeding on precipitation downwind, upwind, and to the sides, up to 180 miles from the seeding line, were investigated. No significant effects were found for W and frontal days. On the other hand, for E and airmass days, significant an...

Seeding has been critical for obtaining diffraction-quality crystals for many structures. In this article, applications and recommendations for seeding are presented based on examples from our laboratory and other groups. The implementation of seeding in high-throughput crystallization, robotics, and other emerging technologies is also discussed.

Novel mechanized silica nanoparticles incorporating a peptide-based molecular shuttle as a photo-responsive interlocked gatekeeper of nanocontainers are described including the uptake and delivery studies of a model cargo.

The self-complexation of mono-benzimidazole functionalized β-cyclodextrins was investigated. The unique molecular structure employed as supramolecular nanovalves were installed on the external surface of mesoporous silica to assemble mechanized silica nanoparticles, which showed pH-triggered release property.

Several agronomic benefits can result from fall seeding of canola (Brassica spp.), but extensive research data are lacking on the potential impact of this practice on infestations of root maggots (Delia spp.) (Diptera: Anthomyiidae), which are major pests of the crop in western Canada. Field experiments making up 13 location by year combinations were conducted in central Alberta, Canada, from 1...

Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on ee-ciently solving domain-speciic problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher complexity than those confronted by each c...

Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher complexity than those confronted by each...