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.

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.

Attachment style and coping resources as predictors of coping strategies in the transition to parenthood

The relations among adult attachment style, coping resources, appraised strain, and coping strategies were examined in a prospective study of married couples having their first child (N = 92). Attachment and coping resources were measured during the second trimester of pregnancy, and parenting strain and coping strategies were assessed when the babies were about 6 weeks old. Results supported a theoretical model proposing that attachment is predictive of coping resources and appraised strain, and that attachment, resources, and strain are predictive of coping strategies. Results also highlighted the complexity of associations among attachment, stress, and coping: Gender differences in mean scores and predictive associations were obtained, and some interactions were found between resources and strain in predicting coping strategies. The findings support the utility of integrating theories of attachment and coping in explaining couples' adjustment to important developmental transitions.