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.

Low-dose estrogen therapy does not change postexercise hypotension, sympathetic nerve activity reduction, and vasodilation in healthy postmenopausal women

The aim of this study was to determine whether estrogen therapy enhances postexercise muscle sympathetic nerve activity (MSNA) decrease and vasodilation, resulting in a greater postexercise hypotension. Eighteen postmenopausal women received oral estrogen therapy (ET; n = 9, 1 mg/day) or placebo (n = 9) for 6 mo. They then participated in one 45-min exercise session (cycle ergometer at 50% of oxygen uptake peak) and one 45-min control session (seated rest) in random order. Blood pressure (BP, oscillometry), heart rate (HR), MSNA (microneurography), forearm blood flow (FBF, plethysmography), and forearm vascular resistance (FVR) were measured 60 min later. FVR was calculated. Data were analyzed using a two-way ANOVA. Although postexercise physiological responses were unaltered, HR was significantly lower in the ET group than in the placebo group (59 +/- 2 vs. 71 +/- 2 beats/min, P < 0.01). In both groups, exercise produced significant decreases in systolic BP (145 +/- 3 vs. 154 +/- 3 mmHg, P = 0.01), diastolic BP (71 +/- 3 vs. 75 +/- 2 mmHg, P = 0.04), mean BP (89 +/- 2 vs. 93 +/- 2 mmHg, P = 0.02), MSNA (29 +/- 2 vs. 35 +/- 1 bursts/min, P < 0.01), and FVR (33 +/- 4 vs. 55 +/- 10 units, P = 0.01), whereas it increased FBF (2.7 +/- 0.4 vs. 1.6 +/- 0.2 ml (.) min(-1) (.) 100 ml(-1), P = 0.02) and did not change HR (64 +/- 2 vs. 65 +/- 2 beats/min, P = 0.3). Although ET did not change postexercise BP, HR, MSNA, FBF, or FVR responses, it reduced absolute HR values at baseline and after exercise.

Nutritional recommendation alone does not change the obesity profile of health professionals

Objective: To evaluate the frequency of overweight and obesity in health professionals, before and after a single specialized dietary recommendation. Methods: Anthropometric measures of 579 workers of a general hospital in the city of Sao Paulo, Brazil were taken. The weight (f), height (h) and waist circumference (wc) were interpreted according to the WHO and NCEP ATP III guidelines. Nutrition specialist provided dietary and behavioral recommendations. The entire sample underwent a new evaluation one year later. Results: At the first evaluation, 79 employees presente WC >= 102 cm (male) or WC >= 88 cm (female). The association between WC >= 102 cm (men) or WC >= 88 cm (women) and BMI >= 30 kg/m(2) was found in 12.8 % (69 subjects). The BMI distribution per age group indicated that the increase in overweight and obesity was directly proportional to the age increase. Physical activities were not practiced by 75% of the subjects studied. A year later, the evaluation indicated lack of statistical differences regarding the BMI and waist circumference of the sample and only 2.8% started to practice a physical activity. Conclusion: Dietary recommendation alone failed to promote changes in the eating habits of health professionals who work at a general hospital or to encourage them to practice exercise.

Post-craniotomy headache: characteristics, behaviour and effect on quality of life in patients operated for treatment of supratentorial intracranial aneurysms

We prospectively studied headache characteristics during 6 months after craniotomy performed for treatment of cerebral aneurysms in 79 patients. Semistructured interviews, headache diaries, the Hospital Anxiety and Depression Scale and the Epworth Sleepiness Scales, the Short Form-36 Health Survey (SF-36) and McGill Pain Questionnaire were used. Seventy-two patients had headaches, half before the fifth day after surgery. Changes were observed in headache diagnosis, side and site in the postoperative period. Headache frequency increased immediately after surgery and then decreased over time. Headache frequency was associated with depressive and anxiety symptoms. Pain intensity was higher in women and in patients with more anxiety symptoms. An incidence of post-craniotomy headache of 40% was observed according to International Headache Society classification criteria, 10.7% of the acute and 29.3% of the chronic type. The bodily pain domain of the SF-36 was worse in patients with more anxiety symptoms. Greater frequencies of headache were associated with lower scores on bodily pain and social functioning.

Change in expression of miR-let7c, miR-100, and miR-218 from high grade localized prostate cancer to metastasis

Objective: MicroRNAs (miRNAs) are small noncoding regulatory RNAs (19-25 nucleotides) that play a major role in regulation of gene expression. They are responsible for the control of fundamental cellular processes that has been reported to be involved in human tumorigenesis. The characterization of miRNA profiles in human tumors is crucial for the understanding of carcinogenesis processes, finding of new tumor markers, and discovering of specific targets for the development of innovative therapies. The aim of this study is to find miRNAs involved in prostate cancer progression comparing the profile of miRNA expressed by localized high grade carcinoma and bone metastasis. Material and methods: Two groups of tumors where submitted to analyses. The first is characterized by 18 patients who underwent radical prostatectomy for treatment of localized high grade prostate carcinoma (PC) with mean Gleason score 8.6, all staged pT3. The second group is composed of 4 patients with metastatic, androgen-independent prostate carcinoma, and 2 PC cell lines. LNCaP derived from a metastatic PC to a lymph node, and another derived from an obstructive, androgen-independent PC (PcBRA1). Expression analysis of 14 miRNAs was carried out using quantitative RT-PCR. Results: miR-let7c, miR-100, and miR-218 were significantly overexpressed by all localized high GS, pT3 PC in comparison with metastatic carcinoma. (35.065 vs. 0.996 P < 0.001), (55.550 vs. 8.314, P = 0.010), and (33.549 vs. 2.748, P = 0.001), respectively. Conclusion: We hypothesize that miR-let7c, miR-100, and miR-218 may be involved in the process of metastasization of PC, and their role as controllers of the expression of RAS, c-myc, Laminin 5 beta 3, THAP2, SMARCA5, and BAZ2A should be matter of additional studies. (C) 2011 Elsevier Inc. All rights reserved.