We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on speci c program points of interest. Higher-level synchronization constraints on methods in a class may be de ned using these temporal constraints. The con...

An 840-bp fragment of the 18S rRNA gene was used to identify Cryptosporidium spp. recovered from human immunodeficiency virus (HIV)-infected and -uninfected patients from Kenya, Malawi, Brazil, the United Kingdom, and Vietnam. Initial identification was by Ziehl-Neelsen acid-fast staining. Confirmation was by nested PCR, targeting the most polymorphic region of the 18S rRNA gene. Genotyping was...

A survey was conducted over a 22-year period to evaluate the influence of soil texture and land use on the geographical distributions of Rotylenchulus reniformis, Meloidogyne incognita, and Tylenchulus semipenetrans in the lower Rio Grande valley. The distributions of R. reniformis and M. incognita were related to soil texture, whereas T. semipenetrans occurred wherever host plants were present...

R ealization that online communities result in "stickier" E-business relationships is spurring new developments in related collaborative technology platforms. Recent developments in WWW-based collaborative technologies are being heralded as the enablers of the knowledge based E-business enterprises. Research and practice on collaborative technologies for enabling these E-business models can ben...

Geographical range dynamics are driven by the joint effects of abiotic factors, human ecosystem modifications, biotic interactions and the intrinsic organismal responses to these. However, the relative contribution of each component remains largely unknown. Here, we compare the contribution of life-history attributes, broad-scale gradients in climate and geographical context of species' histori...

The aim of this study was the physicochemical characterization traditional cassava flours from Copioba Valley in Reconcavo Baiano (Northeast Brazil). Samples were collected flour houses and analyzed by official methods proximate composition chromatography spectroscopy for fatty acids volatile compounds. Regardless geographical origin (inside outside Valley) processing type (Copioba Common flour...