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.

Genetic analysis of forest species Eugenia uniflora L. through of newly developed SSR markers

Nine microsatellite loci for genetic analysis of three populations of the tropical tree Eugenia uniflora L. (pitanga or Brazilian cherry) from fragments of semideciduous forest were developed. We used the technique of building a (GA)(n) and (CA)(n) microsatellite-enriched library by capture with streptavidin-coated magnetic beads. We assessed the polymorphism of seven microsatellites in 84 mature trees found in three areas (Ribeir (a) over tildeo Preto, Tambau and S (a) over tildeo Jose do Rio Pardo), highly impacted by the agricultural practices, in a large region among Pardo river and Mogi-Guacu river basins, in state of S (a) over tildeo Paulo, Brazil. All loci were polymorphic, and the number of alleles was high, ranging from 6 to 24, with a mean of 14.4. All stands showed the same high level of genetic diversity (mean H(E) = 0.83) and a low genetic differentiation (mean F(ST) = 0.031), indicating that genetic diversity was higher within rather than among populations. Seven of the nine loci were highly variable, and sufficiently informative for E. uniflora. It was concluded that these new SSR markers can be efficiently used for gene flow studies.

Ticks (Acari : ixodidae) infesting wild birds in an Atlantic forest area in the state of Sao Paulo, Brazil, with isolation of Rickettsia from the tick Amblyomma longirostre

During field work in Nazare Paulista, state of Sao Paulo, Brazil, we found 13 (56.5%) of 23 birds (mostly Passeriformes) to be infested by 28 larvae and I nymph of Amblyomma spp. Two larvae were reared to the adult stage, being taxonomically identified as Amblyomma parkeri Fonseca and Aragao, whereas five larvae and one nymph were identified as Amblyomma longirostre Koch. All six A. longirostre specimens were shown to be infected by rickettsia, as demonstrated by polymerase chain reaction (PCR) targeting two rickettsial genes (gltA and ompA) or isolation of rickettsia in cell culture from one of the ticks. This isolate was designated as strain AL, which was established in Vero cell culture and was molecularly characterized by DNA sequencing fragments of the rickettsial genes gltA, htrA, ompA, and ompB. Phylogenetic analyses inferred from ompA and ompB partial sequences showed a high degree of similarity of strain AL with Rickettsia sp. strain ARANHA, previously detected by PCR in A. longirostre ticks from Rondonia, northern Brazil. We conclude that strain AL is a new rickettsia genotype belonging to the same species of strain ARANHA, which are closely related to Candidatus `R. amblyomniii`. Further studies should elucidate if strains AL and ARANHA are different strains of Candidatus `R. amblyommii` or are a new species.