In this paper we show that probabilistic termination of concurrent program is in many cases much simpler than the "f~" one. For a wide class of definitions of probabilistic termination we may express termination by rrf arithmetic formula, whereas the "fair" termination can be expressed only by rrf secqnd order arithmetic formula. Proof of "fair" termination usually needs induction on recursive ...

Endodontic irrigation aims to clean and disinfect the root canal system. Passive ultrasonic irrigation (PUI) is based on the use of an ultrasound-activated instrument into the root canal filled with irrigant. The aim of this study was to evaluate, ex vivo, the effectiveness of PUI in eliminating Enterococcus faecalis from root canals. Seventy-five extracted human single-root teeth were used. Af...

Irrigation delivers about 2,600 km of water to the land surface each year, or about 2% of annual precipitation over land. We investigated how this redistribution of water affects the global climate, focusing on its effects on near-surface temperatures. Using the Community Atmosphere Model (CAM) coupled to the Community Land Model (CLM), we compared global simulations with and without irrigation...

BACKGROUND The aim of this study was to compare manual needle irrigation (MNI), RinsEndo (RE), and passive ultrasonic irrigation (PUI), and assess the effect of gravity on extrusion from the apex in vitro. MATERIAL AND METHODS The distobuccal roots of molars were used and the canals were instrumented up to F2. Teeth were mounted on models, which permitted visualization and manipulation of the...

Irrigation in the Mediterranean is of vital importance for food security, employment and economic development. This study systematically assesses how climate change and increases in atmospheric CO2 concentrations may affect irrigation requirements in the Mediterranean region by 2080–2090. Future demographic change and technological improvements in irrigation systems are taken into account, as i...

AIM To compare the ability of syringe irrigation and ultrasonic irrigation to remove artificially placed dentine debris from simulated canal irregularities within prepared root canals. METHODOLOGY After canal enlargement, twelve canines were split longitudinally into two halves. On the wall of one half of each root canal a standard groove of 4 mm in length, 0.2 mm in width and 0.5 mm in depth...

The effects of cultivar mixture cropping on yield, biomass, and water use efficiency (WUE) in winter wheat (Triticum aestivum L.) were investigated under non-irrigation (W0, no irrigation during growth stage), one time irrigation (W1, irrigation applied at stem elongation) and two times irrigation (W2, irrigation applied at stem elongation and anthesis) conditions. Nearly 90% of cultivar mixtur...

Loess Plateau is a typical rain-fed farming region, facing the threat of drought. Irrigation method is among the most important factors affecting jujube quality. This study investigated the response of Ziziphus jujuba Mill. cv. Lizao quality to three different irrigation methods (drip-, pipe- and surge spring root irrigation) combining two water levels (20 m(3)/hm(2) and 120 m(3)/hm(2)). The ef...