Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Demonstration of epithelial-mesenchymal transition in kidney - The contribution of a coupled histochemical and immunohistochemical staining with Periodic Acid-Thionin Schiff

Traditional Periodic Acid Schiff has been extensively used, coupled with immunohistochemistry for epithelia or mesenchymal cells, to highlight renal tubular basement membrane (TBM). We recently tried to perform such technique in a 5/6 nephrectomy model of progressive renal fibrosis to demonstrate TBM disruption as an evidence for epithelial-mesenchymal transdifferentiation. Despite excellent basement membrane staining with traditional fuchsin-Periodic Acid Schiff, the interface between epithelial and mesenchymal cells was frequently blurred when revealed with 3`3 diaminobenzidine tetrachloride-peroxidase. Also, it was inadequate when revealed with alkaline phosphatase-fast red. We devised a triple staining method with Periodic Acid-Thionin Schiff to highlight basement membrane in blue, after double immunostaining for epithelium and mesenchymal cells. Blue basement membrane rendered a brisk contrast and highlighted boundaries between epithelial-mesenchymal interfaces. This method was easy to perform and useful to demonstrate the TBM, yield a clear demonstration of the very focal TBM disruption found in this model of progressive renal fibrosis.

Evolutionary transition to freshwater by ancestral marine palaemonids: evidence from osmoregulation in a tide pool shrimp

The transition from marine/brackish waters to freshwater habitats constitutes a severe osmotic and ionic challenge, and successful invasion has demanded the selection of morphological, physiological, biochemical and behavioral adaptations. We evaluated short-term (1 to 12 h exposure) and long-term (5 d acclimation), anisosmotic extracellular (osmolality, [Na(+), Cl(-)]) and long-term isosmotic intracellular osmoregulatory capability in Palaemon northropi, a neotropical intertidal shrimp. F northropi survives well and osmo- and ionoregulates strongly during short- and long-term exposure to 5-45 parts per thousand salinity, consistent with its rocky tide pool habitat subject to cyclic salinity fluctuations, Muscle total free amino acid (FAA) concentrations decreased by 63% in shrimp acclimated to 5%. salinity, revealing a role in hypoosmotic cell volume regulation; this decrease is mainly a consequence of diminished glycine, arginine and proline. Total FAA contributed 31% to muscle intracellular osmolality at 20 parts per thousand, an isosmotic salinity, and decreased to 13% after acclimation to 5 parts per thousand. Gill and nerve tissue FAA concentrations remained unaltered. These tissue-specific responses reflect efficient anisosmotic and anisoionic extracellular regulatory mechanisms, and reveal the dependence of muscle tissue on intracellular osmotic effectors. FAA concentration is higher in P. northropi than in diadromous and hololimnetic palaemonids, confirming muscle FAA concentration as a good parameter to evaluate the degree of adaptation to dilute media. The osmoregulatory capability of P. northropi may reflect the potential physiological capacity of ancestral marine palaemonids to penetrate into dilute media, and reveals the importance of evaluating osmoregulatory processes in endeavors to comprehend the invasion of dilute media by ancestral marine crustaceans.

Effects of changing blood viscosity and heart rate on vena contracta width as evaluated by color Doppler flow mapping. An in vitro study with a pulsatile flow model

Background: There is only limited knowledge on how the quantification of valvular regurgitation by color Doppler is affected by changing blood viscosity. This study was designed to evaluate the effect of changing blood viscosity on the vena contracta width using an in vitro model of valvular insufficiency capable of providing ample variation in the rate and stroke volume. Methods: We constructed a pulsatile flow model filled with human blood at varying hematocrit (15%, 35%, and 55%) and corresponding blood viscosity (blood/water viscosity: 2.6, 4.8, 9.1) levels in which jets were driven through a known orifice (7 mm(2)) into a 110 mL compliant receiving chamber (compliance: 2.2 mL/mmHg) by a pulsatile pump. In addition, we used variable pump stroke volumes (5, 7.5, and 10 mL) and rates (40, 60, and 80 ppm). Vena contracta region was imaged using a 3.5 MHz transducer. Pressure and volume in the flow model were kept constant during each experimental condition, as well as ultrasound settings. Results: Blood viscosity variation in the experimental range did not induce significant changes in vena contracta dimensions. Also, vena contracta width did not change from normal to low hematocrit and viscosity levels. A very modest increase only in vena contracta dimension was observed at very high level of blood viscosity when hematocrit was set to 55% . Pump rate, in the evaluated range, did not influence vena contracta width. These results in controlled experimental settings suggest that the vena contracta is an accurate quantitative method for quantifying valvular regurgitation even when this condition is associated with anemia, a frequent finding in patients with valvular heart disease.

The influence of erbium:yttrium-aluminum-garnet laser ablation with variable pulse width on morphology and microleakage of composite restorations

The objective of this study was to evaluate the influence of various pulse widths with different energy parameters of erbium:yttrium-aluminum-garnet (Er:YAG) laser (2.94 mu m) on the morphology and microleakage of cavities restored with composite resin. Identically sized class V cavities were prepared on the buccal surfaces of 54 bovine teeth by high-speed drill (n = 6, control, group 1) and prepared by Er:YAG laser (Fidelis 320A, Fotona, Slovenia) with irradiation parameters of 350 mJ/ 4 Hz or 400 mJ/2 Hz and pulse width: group 2, very short pulse (VSP); group 3, short pulse (SP); group 4, long pulse (LP); group 5, very long pulse (VLP). All cavities were filled with composite resin (Z-250-3 M), stored at 37A degrees C in distilled water, polished after 24 h, and thermally stressed (700 cycles/5-55A degrees C). The teeth were impermeabilized, immersed in 50% silver nitrate solution for 8 h, sectioned longitudinally, and exposed to Photoflood light for 10 min to reveal the stain. The leakage was evaluated under stereomicroscope by three different examiners, in a double-blind fashion, and scored (0-3). The results were analyzed by Kruskal-Wallis test (P > 0.05) and showed that there was no significant differences between the groups tested. Under scanning electron microscopy (SEM) the morphology of the cavities prepared by laser showed irregular enamel margins and dentin internal walls, and a more conservative pattern than that of conventional cavities. The different power settings and pulse widths of Er:YAG laser in cavity preparation had no influence on microleakage of composite resin restorations.

The strain-driven pyrochlore to "defect fluorite" phase transition in rare earth sesquioxide stabilized cubic zirconias

The relationship between the ordering characteristic of the pyrochlore structure type and that characteristic of the defect fluorite structure type (immediately on either side of two phase regions separating the two structure types) in a range of rare eath sesquioxide stabilized cubic zirconias is investigated via electron diffraction and imaging. Systematic structural change as a function of composition and relative size of the constituent metal ions is highlighted and a multi-q to single-q = 1/2 [111]* model proposed for the observed pyrochlore to defect fluorite phase transition. Strain introduced into the close-packed {111} metal ion planes of the defect fluorite average structure by the local cation and oxygen vacancy distribution is pointed to as the likely origin of the observed behavior. (C) 2001 Academic Press

Influence of curing protocol on selected properties of light-curing polymers: Degree of conversion, volume contraction, elastic modulus, and glass transition temperature

Objectives. The purpose of this study was to investigate the effect of light-curing protocol on degree of conversion (DC), volume contraction (C), elastic modulus (E), and glass transition temperature (T(g)) as measured on a model polymer. It was a further aim to correlate the measured values with each other. Methods. Different light-curing protocols were used in order to investigate the influence of energy density (ED), power density (PD), and mode of cure on the properties. The modes of cure were continuous, pulse-delay, and stepped irradiation. DC was measured by Raman micro-spectroscopy. C was determined by pycnometry and a density column. E was measured by a dynamic mechanical analyzer (DMA), and T(g) was measured by differential scanning calorimetry (DSC). Data were submitted to two-and three-way ANOVA, and linear regression analyses. Results. ED, PD, and mode of cure influenced DC, C, E, and T(g) of the polymer. A significant positive correlation was found between ED and DC (r = 0.58), ED and E (r = 0.51), and ED and T(g) (r = 0.44). Taken together, ED and PD were significantly related to DC and E. The regression coefficient was positive for ED and negative for PD. Significant positive correlations were detected between DC and C (r = 0.54), DC and E (r = 0.61), and DC and T(g) (r = 0.53). Comparisons between continuous and pulse-delay modes of cure showed significant influence of mode of cure: pulse-delay curing resulted in decreased DC, decreased C, and decreased T(g). Influence of mode of cure, when comparing continuous and step modes of cure, was more ambiguous. A complex relationship exists between curing protocol, microstructure of the resin and the investigated properties. The overall performance of a composite is thus indirectly affected by the curing protocol adopted, and the desired reduction of C may be in fact a consequence of the decrease in DC. (C) 2009 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.