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.

Pediatric epilepsy surgery and sudden unexpected death epilepsy: the contribution of a Brazilian epilepsy surgery program

Individuals with epilepsy are at higher risk of death than those from the general population, and sudden unexpected death in epilepsy (SUDEP) is the most important direct epilepsy-related cause of death. Epilepsies in the pediatric group are more frequently associated with known potentially risk factors for SUDEP, and a treatment resulting in an improved seizure control may also decrease mortality. The aim of this study is to identify the incidence of SUDEP in a group of operated-on children and adolescents. We analyzed 267 patients up to 18 years old, with medically intractable epilepsy submitted to surgery. We considered the age at surgery, the seizure type, the pathological findings, and the seizure outcome. Data were prospectively collected, according to the protocols of our institution`s ethics committee. The percentage of boys was 58.05. A good outcome was achieved in 72.6% of the cases and a bad outcome in 27.4%. Nine patients died during follow-up, six from clinical complications, and one from SUDEP. All patients who died during the long-term follow-up had persisted with refractory postoperative seizures. The patient who died from SUDEP died during a generalized tonic-clonic seizure. Of the patients, 72.6% had excellent postoperative outcome, and one patient died of SUDEP. All patients who died had had disabling seizures` persistence. The surgical treatment of epilepsy in children and adolescents is an efficient therapy for the medically intractable symptomatic epilepsies and also for the reduction of mortality and SUDEP risks.

Impact of a program for the prevention of traffic accidents in a Southern Brazilian city: a model for implementation in a developing country

Background: Traffic accidents constitute the main cause of death in the first decades of life. Traumatic brain injury is the event most responsible for the severity of these accidents. The SBN started an educational program for the prevention of traffic accidents, adapted from the American model ""Think First"" to the Brazilian environment, since 1995, with special effort devoted to the prevention of TBI by using seat belts and motorcycle helmets. The objective of the present study was to set up a traffic accident prevention program based on the adapted Think First and to evaluate its impact by comparing epidemiological variables before and after the beginning of the program. Methods: The program was executed in Maringa city, from September 2004 to August 2005, with educational actions targeting the entire population, especially teenagers and young adults. The program was implemented by building a network of information facilitators and multipliers inside the organized civil society, with widespread population dissemination. To measure the impact of the program, a specific software was developed for the storage and processing of the epidemiological variables. Results: The results showed a reduction of trauma severity due to traffic accidents after the execution of the program, mainly TBI. Conclusions: The adapted Think First was systematically implemented and its impact measured for the first time in Brazil, revealing the usefulness of the program for reducing trauma and TBI severity in traffic accidents through public education and representing a standardized model of implementation in a developing country. (C) 2009 Elsevier Inc. All rights reserved.

Heart failure disease management program experience in 4,545 heart failure admissions to a community hospital

Background Disease management programs (DMPs) are developed to address the high morbi-mortality and costs of congestive heart failure (CHF). Most studies have focused on intensive programs in academic centers. Washington County Hospital (WCH) in Hagerstown, MD, the primary reference to a semirural county, established a CHF DMP in 2001 with standardized documentation of screening and participation. Linkage to electronic records and state vital statistics enabled examination of the CHF population including individuals participating and those ineligible for the program. Methods All WCH inpatients with CHF International Classification of Diseases, Ninth Revision code in any position of the hospital list discharged alive. Results Of 4,545 consecutive CHF admissions, only 10% enrolled and of those only 52.2% made a call. Enrollment in the program was related to: age (OR 0.64 per decade older, 95% CI 0.58-0.70), CHF as the main reason for admission (OR 3.58, 95% CI 2.4-4.8), previous admission for CHF (OR 1.14, 95% CI 1.09-1.2), and shorter hospital stay (OR 0.94 per day longer, 95% CI 0.87-0.99). Among DMP participants mortality rates were lowest in the first month (80/1000 person-years) and increased subsequently. The opposite mortality trend occurred in nonenrolled groups with mortality in the first month of 814 per 1000 person-years in refusers and even higher in ineligible (1569/1000 person-years). This difference remained significant after adjustment. Re-admission rates were lower among participants who called consistently (adjusted incidence rate ratio 0.62, 95% CI 0.52-0.77). Conclusion Only a small and highly select group participated in a low-intensity DMP for CHF in a community-based hospital. Design of DMPs should incorporate these strong selective factors to maximize program impact. (Am Heart J 2009; 15 8:459-66.)