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.

Toxoplasma gondii: The severity of toxoplasmic encephalitis in C57BL/6 mice is associated with increased ALCAM and VCAM-1 expression in the central nervous system and higher blood-brain barrier permeability

In order to investigate the differential ALCAM, ICAM-1 and VCAM-1 adhesion molecules mRNA expression and the blood-brain barrier (BBB) permeability in C57BL/6 and BALB/c mice in Toxoplasma gondii infection, animals were infected with ME-49 strain. It was observed higher ALCAM on day 9 and VCAM-1 expression on days 9 and 14 of infection in the central nervous system (CNS) of C57BL/6 compared to BALB/c mice. The expression of ICAM-1 was high and similar in the CNS of both lineages of infected mice. In addition, C57BL/6 presented higher BBB permeability and higher IFN-gamma and iNOS expression in the CNS compared to BALB/c mice. The CNS of C578L/6 mice presented elevated tissue pathology and parasitism. In conclusion, our data suggest that the higher adhesion molecules expression and higher BBB permeability contributed to the major inflammatory cell infiltration into the CNS of C57BL/6 mice that was not efficient to control the parasite. (C) 2010 Elsevier Inc. All rights reserved.

Increased Vascular Permeability, Angiogenesis and Wound Healing Induced by the Serum of Natural Latex of the Rubber Tree Hevea brasiliensis

Increases in vascular permeability and angiogenesis are crucial events to wound repair, tumoral growth and revascularization of tissues submitted to ischemia. An increased vascular permeability allows a variety of cytokines and growth factors to reach the damaged tissue. Nevertheless, the angiogenesis supply tissues with a wide variety of nutrients and is also important to metabolites clearance. It has been suggested that the natural latex from Hevea brasiliensis showed wound healing properties and angiogenic activity. Thus, the purpose of this work was to characterize its angiogenic activity and its effects on vascular permeability and wound healing. The serum fraction of the latex was separated from the rubber with reduction of the pH. The activity of the dialyzed serum fraction on the vascular permeability injected in subcutaneous tissue was assayed according Mile`s method. The angiogenic activity was determined using a chick embryo chorioallantoic membrane assay and its effects on the wound-healing process was determined by the rabbit ear dermal ulcer model. The serum fraction showed evident angiogenic effect and it was effective in enhancing vascular permeability. In dermal ulcers, this material significantly accelerated wound healing. Moreover, the serum fraction boiled and treated with proteases lost these activities. These results are in accordance with the enhancement of wound healing observed in clinical trials carried out with a biomembrane prepared with the same natural latex. Copyright (C) 2009 John Wiley & Sons, Ltd.

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.

Reconstruction of mandibular segmental defects using the guided-bone regeneration technique with polylactide membranes and/or autogenous bone graft: A preliminary study on the influence of membrane permeability

Purpose: Bone maintenance after mandibular reconstruction with autogenous iliac crest may be disappointing due to extensive resorption in the long term. The potential of the guided-bone regeneration (GBR) technique to enhance the healing process in segmental defects lacks comprehensive scientific documentation. This study aimed to investigate the influence of polylactide membrane permeability on the fate of iliac bone graft (BG) used to treat mandibular segmental defects. Materials and Methods: Unilateral 10-mm-wide segmental defects were created through the mandibles of 34 mongrel dogs. All defects were mechanically stabilized, and the animals were divided into 6 treatment groups: control, BG alone, microporous membrane (poly L/DL-lactide 80/20%) (Mi); Mi plus BG; microporous laser-perforated (15 cm(2) ratio) membrane (Mip), and Mip plus BG. Calcein fluorochrome was injected intravenously at 3 months, and animal euthanasia was carried out at 6 months postoperatively. Results: Histomorphometry showed that BG protected by Mip was consistently related to larger amounts of bone compared with other groups (P <= .0001). No difference was found between defects treated with Mip alone and BG alone. Mi alone rendered the least bone area and reduced the amount of grafted bone to control levels. Data from bone labeling indicated that the bone formation process was incipient in the BG group at 3 months postoperatively regardless of whether or not it was covered by membrane. In contrast, GBR with Mip tended to enhance bone formation activity at 3 months. Conclusions: The use of Mip alone could be a useful alternative to BG. The combination of Mip membrane and BG efficiently delivered increased bone amounts in segmental defects compared with other treatment modalities. (C) 2008 American Association of Oral and Maxillofacial Surgeons.

INCREASED SARCOLEMMAL PERMEABILITY AS AN EARLY EVENT IN EXPERIMENTAL SEPTIC CARDIOMYOPATHY: A POTENTIAL ROLE FOR OXIDATIVE DAMAGE TO LIPIDS AND PROTEINS

This study describes increased sarcolemmal permeability and myofilamentar damage that occur together with lipid peroxidation and protein nitration in the myocardium in severe sepsis induced by cecal ligation and puncture. Male C57BL/6 mice were submitted to moderate and severe septic injury and sham operation. Using light and laser confocal microscopy, diffuse foci of myocytolysis associated with focal disruption of the actin/myosin contractile apparatus could be seen in hearts with severe septic injury. The myocardial expressions of the sarcomeric proteins myosin and actin were downregulated by both severe and moderate injuries. The detection of albumin staining in the cytoplasm of myocytes to evaluate sarcolemmal permeability provided evidence of severe and mild injury of the plasma membrane in hearts with severe and moderate septic injury, respectively. The administration of a superoxide scavenger caused marked reduction of sarcolemmal permeability, indicating the involvement of free radicals in its genesis. On electron microscopy, these changes were seen to correspond to spread blocks of a few myocytes with fragmentation and dissolution of myofibrils, intracellular edema, and, occasionally, rupture of the sarcolemma. In addition, oxidative damage to lipids, using anti-4-hydroxynonenal, an indicator of oxidative stress and disruption of plasma membrane lipids, and to proteins, using antinitrotyrosine, a stable biomarker of peroxynitrite-mediated protein nitration, was demonstrated. These findings make plausible the hypothesis that increased sarcolemmal permeability might be a primary event in myocardial injury in severe sepsis possibly due to oxidative damage to lipids and proteins that could precede phenotypic changes that characterize a septic cardiomyopathy.