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.

Understanding the genetic diversity, spatial genetic structure and mating system at the hierarchical levels of fruits and individuals of a continuous Theobroma cacao population from the Brazilian Amazon

Understanding the mating patterns of populations of tree species is a key component of ex situ genetic conservation. In this study, we analysed the genetic diversity, spatial genetic structure (SGS) and mating system at the hierarchical levels of fruits and individuals as well as pollen dispersal patterns in a continuous population of Theobroma cacao in Para State, Brazil. A total of 156 individuals in a 0.56 ha plot were mapped and genotyped for nine microsatellite loci. For the mating system analyses, 50 seeds were collected from nine seed trees by sampling five fruits per tree (10 seeds per fruit). Among the 156 individuals, 127 had unique multilocus genotypes, and the remaining were clones. The population was spatially aggregated; it demonstrated a significant SGS up to 15m that could be attributed primarily to the presence of clones. However, the short seed dispersal distance also contributed to this pattern. Population matings occurred mainly via outcrossing, but selfing was observed in some seed trees, which indicated the presence of individual variation for self-incompatibility. The matings were also correlated, especially within ((r) over cap (p(m)) = 0.607) rather than among the fruits ((r) over cap (p(m)) = 0.099), which suggested that a small number of pollen donors fertilised each fruit. The paternity analysis suggested a high proportion of pollen migration (61.3%), although within the plot, most of the pollen dispersal encompassed short distances (28m). The determination of these novel parameters provides the fundamental information required to establish long-term ex situ conservation strategies for this important tropical species. Heredity (2011) 106, 973-985; doi:10.1038/hdy.2010.145; published online 8 December 2010

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.

Intracultural Diversity in Food Knowledge in Southern Brazil

This research explores the social distribution of food knowledge in Ribeirao Preto, a city in the state of Sao Paulo, Brazil. Through an analysis of the distribution of individual expertise in regard to the cultural model of food along the dimensions of healthfulness, practicality, and prestige, this research demonstrates that knowledge of the cultural model of food is most strongly shared in the upper class of the city. Qualitative and quantitative ethnographic research suggests that the social patterning of health-related food knowledge in Ribeirao Preto may serve to maintain class distinction.

Natural Host Relationships and Genetic Diversity of Rodent-Associated Hantaviruses in Southeastern Brazil

Objective: Hantaviruses are rodent-borne RNA viruses that have caused hantavirus cardiopulmonary syndrome in several Brazilian regions. In the present study, geographical distribution, seroprevalence, natural host range, and phylogenetic relations of rodent-associated hantaviruses collected from seven counties of Southeastern Brazil were evaluated. Methods: ELISA, RT-PCR and phylogenetic analysis were used in this study. Results: Antibodies to hantavirus were detected in Bolomys lasiurus, Akodon sp. and Oligoryzomys sp., performing an overall seroprevalence of 5.17%. All seropositive rodents were associated with grasslands or woods surrounded by sugar cane fields. Phylogenetic analysis of partial S- and M-segment sequences showed that viral sequences isolated from B. lasiurus specimens clustered with Araraquara virus. However, a sequence from Akodon sp. shared 100% similarity with Argentinian/Chilean viruses based on the partial S- segment amino acid sequence. Conclusion: These results indicate that there are associations between rodent reservoirs and hantaviruses in some regions of Southeastern Brazil, and suggest the existence of additional hantavirus genetic diversity and host ecology in these areas. Copyright (C) 2008 S. Karger AG, Basel