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.

Plantain and Banana Starches: Granule Structural Characteristics Explain the Differences in Their Starch Degradation Patterns

Different banana cultivars were used to investigate the influences of starch granule structure and hydrolases on degradation. The highest degrees of starch degradation were observed in dessert bananas during ripening. Scanning electron microscopy images revealed smooth granule surface in the green stage in all cultivars, except for Mysore. The small and round granules were preferentially degraded in all of the cultivars. Terra demonstrated a higher degree of crystallinity and a short amylopectin chain length distribution, resulting in high starch content in the ripe stage. Amylose content and the crystallinity index were more strongly correlated than the distribution of amylopectin branch chain lengths in banana starches. alpha- and beta-amylase activities were found in both forms, soluble in the pulp and associated with the starch granule. Starch-phosphorylase was not found in Mysore. On the basis of the profile of alpha-amylase in vitro digestion and the structural characteristics, it could be concluded that the starch of plantains has an arrangement of granules more resistant to enzymes than the starch of dessert bananas.

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.

The synergy between structural stability and DNA-binding controls the antibody production in EPC/DOTAP/DOPE liposomes and DOTAP/DOPE lipoplexes

We present a comparative study of the physico-chemical properties, in vitro cytotoxicity and in vivo antibody production of surface-complexed DNA in EPC/DOTAP/DOPE (50/25/25% molar) liposomes and DOTAP/DOPE (50/50% molar) lipoplexes. The study aims to correlate the biological behavior and structural properties of the lipid carriers. We used DNA-hsp65, whose naked action as a gene vaccine against tuberculosis has already been demonstrated. Additionally, surface-complexed DNA-hsp65 in EPC/DOTAP/DOPE (50/25/25% molar) liposomes was effective as a single-dose tuberculosis vaccine. The results obtained showed that the EPC inclusion stabilized the DOTAP/DOPE structure, producing higher melting temperature and lower zeta potential despite a close mean hydrodynamic diameter. Resemblances in morphologies were identified in both structures, although a higher fraction of loaded DNA was not electrostatically bound in EPC/DOTAP/DOPE. EPC also induced a striking reduction in cytotoxicity, similar to naked DNA-hsp65. The proper immune response lead to a polarized antibody production of the IgG2a isotype, even for the cytotoxic DOTAP/DOPE. However, the antibody production was detected at 15 and 30 days for DOTAP/DOPE and EPC/DOTAP/DOPE, respectively. Therefore, the in vivo antibody production neither correlates with the in vitro cytotoxicity, nor with the structural stability alone. The synergistic effect of the structural stability and DNA electrostatic binding upon the surface of structures account for the immunological effects. By adjusting the composition to generate proper packing and cationic lipid/DNA interaction, we allow for the optimization of liposome formulations for required immunization or gene therapy. In a specific manner, our results contribute to studies on the tuberculosis therapy and vaccination. (C) 2009 Elsevier B.V. All rights reserved.

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.

Structural evaluation of the effects of chronic ethanol ingestion on the testis of Calomys callosus

Chronic exposure to ethanol may results in pathophysiologic changes in cellular function. The present work was designed to investigate the morphology of testis submitted to experimental ethanol ingestion. Experimental animals were divided into two groups. The control group (n = 23) received a solid diet and tap water and the alcoholic group (n = 23) received the same solid diet and ethanol P.A. diluted 20% in water (v/v). After 120 days of treatment, all animals were anesthetized, weighed and sacrificed. Testosterone and luteinizing hormone levels in serum were lower in the alcoholic group than in the control group. Histological and ultrastructural alterations were observed in the testicular alcoholic germinative cells like enormous spaces, lipid droplets accumulation, digestive vacuoles, irregular diameter of the seminiferous tubules and interstitial dilated blood vessels. It was concluded that 20% ethanol provokes lesions on the testis germinative epithelium probably inducing gonadal dysfunction. (C) 2008 Elsevier Ltd. All rights reserved.

IGFR-I expression and structural analysis of the hard palatine mucosa in an ethanol-drinking rat strain (UChA and UChB)

The study analyzed the effects of chronic alcohol ingestion on the ultrastructure of the lining epithelium of the hard palatine mucosa of rats UChA and UChB (lines with voluntary alcohol consumption) in order to contribute to the understanding of the consequences of alcohol abuse for the morphology of the digestive system. Thirty female adult animals aged 120 days were divided into three experimental groups. (1) Ten UChA rats (genetically low ethanol consumer) with voluntary intake of 10% v/v (5.45 g/kg/day) ethanol solution and water. (2) Ten UChB (genetically high ethanol consumer) rats with voluntary intake of 10% v/v (7.16 g/kg/day) ethanol solution and water. (3) Ten Wistar rats with voluntary ad libitum water intake (control group). Both groups received Nuvital pellets ad libitum. The IGFR-I expression was intense in both experimental groups. The epithelial cells of the alcoholic rats UChA and UChB showed many alterations such as the presence of lipid droplets, altered nuclei, nuclei in corneum layer and disrupted mitochondria. It was concluded that ethanol intake induces ultrastructural lesions in the hard palatine mucosa. (C) 2011 Elsevier Ltd. All rights reserved.

Inhibition of Expression of HTLV-1 Structural Genes Mediated by Short Hairpin RNA In Vitro

Background: Human T-lymphotropic virus 1 (HTLV-1) is associated with the T-cell malignancy known as adult T-cell leukemia! lymphoma (ATLL) and with a disorder called HTLV-1-associated myelopathy/tropical spastic paraparesis (HAM/TSP). Currently, the treatment of these diseases is based on symptom relief. RNA interference (RNAi) technology has been described as an efficient mechanism for development of new therapeutic methods. Thus, the aim of this study was to evaluate the inhibition of HTLV-1 structural proteins using short hairpin RNAs (shRNAs) expressed by non-viral vectors. Materials and Methods: Reporter plasmids that express enhanced green fluorescent protein-Gag (EGFP-Gag) and EGFP-Env fusion proteins and vectors that express shRNAs corresponding to the HTLV-1 gag and env genes were constructed. shRNA vectors and reporter plasmids were simultaneously transfected into HEK 293 cells. Results: Fluorescence microscopy, flow cytometry and real-time PCR showed that shRNAs were effective in inhibiting the fusion proteins. Conclusion: These shRNAs are effective against the expression of structural genes and may provide an approach to the development of new therapeutic agents.