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.

Performance of Brazilian long and short IQCODE on the screening of dementia in elderly people with low education

Background: Dementia screening in elderly people with low education can be difficult to implement. For these subjects, informant reports using the long (L) (26 items) and short (C) (16 items) versions of the Informant Questionnaire on Cognitive Decline in the Elderly (IQCODE) can be useful. The objective of the present study was to investigate the performance of Brazilian versions of the IQCODE L, S and a new short version (SBr) (15 items) in comparison with the Mini-mental State Examination (MMSE) for dementia screening in elderly people with low education. Methods: Thirty-four patients with mild to moderate dementia, diagnosed according to ICD-10 criteria, and 57 controls were evaluated and divided into three groups based on their socioeconomic status and level of education. Patients were evaluated using the MMSE and the informants were interviewed using the IQCODE by interviewers blind to the clinical diagnosis. Results: Education was correlated with MMSE results (r = 0.280, p = 0.031), but not with the versions of the IQCODE. The performance of the instruments, evaluated by the ROC curves, was very similar, with good internal consistency (Cronbach`s alpha = 0.97). MMSE correctly classified 85.7% of the subjects while the three IQCODE versions (L, S and SBr) correctly classified 91.2% of the subjects. Conclusions: The long, short and the new short Brazilian IQCODE versions can be useful as a screening tool for mild and moderate patients with dementia in Brazil. The IQCODE is not biased by schooling, and it seems to be an adequate instrument for samples with low levels of education.

The frequency of anti-beta(2)-glycoprotein I antibodies is low and these antibodies are associated with pulmonary hypertension in mixed connective tissue disease

The objective of this study is to evaluate the prevalence of antiphospholipid antibodies, mainly anti-beta(2)-glycoprotein I (anti-beta(2)-GPI), and their possible clinical and laboratory relevance in mixed connective tissue disease (MCTD). This study included 39 consecutive patients with MCTD (Kasukawa`s criteria) from January, 2005, to March, 2007, and compared them with 21 age- and sex-matched healthy controls. IgG and IgM anticardiolipin (aCL) and anti-beta(2)-GPI were measured by ELISA. Lupus anticoagulant (LA) was detected by functional coagulation tests. Medium to high titres of aCL and anti-beta(2)-GPI antibodies were found in sera from four (10.2%) MCTD patients. One of these patients was found to be positive for IgM aCL, IgM anti-beta(2)-GPI and LA antibodies simultaneously. Additionally, this patient had a previous history of foetal loss in the second trimester and new-onset pulmonary arterial hypertension (PAH). The other three patients had none of the manifestations of antiphospholipid syndrome (APS) or PAH. The mean value of IgG anti-beta(2)-GPI was higher among those MCTD patients with PAH than in the group without PAH (34.2 +/- 46.8 vs 12.3 +/- 9.1, P = 0.018). None of the controls were positive for antiphospholipid antibodies. High to moderate titres of anti-beta(2)-GPI as well as APS were rare in MCTD, and these antibodies may be correlated with the development of PAH in these patients. Lupus (2009) 18, 618-621.

A study of actinic cheilitis treatment by two low-morbidity CO(2) laser vaporization one-pass protocols

Therapeutic approaches to chronic actinic cheilitis focus on the removal or destruction of diseased epithelium. The CO(2) laser has become an important therapeutic alternative, achieving clinical resolution in around 90% of patients. Although many laser physical parameters have been reported, some are known for their low potential for scar induction without compromising the success of the results. The aim of this clinicohistological study was to compare the therapeutic responses to two low-morbidity protocols involving a single laser pass. A total of 40 patients with chronic multicentric and microscopically proven disease were randomly submitted to two conservative CO(2) laser protocols using a bilateral comparative model. The degree of histological atypia of the epithelium was determined in 26 patients both pre- and postoperatively for both protocols. Other histological phenomena were assessed in addition to this central analysis parameter. Clinical recurrence occurred in 12.5% of patients for each protocol, together with a significant reduction in the degree of epithelial atypia (p < 0.001), which was occasionally complete. However, no difference was found between the protocols (p > 0.05). Using these morphological parameters it was not possible to determine whether postoperative epithelial atypias in part of the sample were reactive or residual in nature. A few patients may show minor postoperative lesions. Due to their potential to achieve clinical and importantly microscopic resolution, the studied protocols may be used for mild through moderate dysplastic epithelium and clinically diffuse disease.

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.

Study of the Extent of the Information of Cardiologists from Sao Paulo City, Brazil, Regarding a Low-Prevalence Entity: Brugada Syndrome

Objective: To determine the degree of knowledge that cardiologists from Sao Paulo, Brazil, have regarding a low-prevalent entity associated with a high rate of sudden death-Brugada syndrome. Methods: Two hundred forty-four cardiologists were interviewed by an instrument divided in two parts: in the first, we recorded gender, age, and data related to academic profile. The second-answered only by the professionals that manifested having some degree of knowledge on the syndrome-had 28 questions that evaluated their knowledge. The answers were spontaneous and they did not have a chance to consult. We used uni- and multivariate analysis on the average percentage of right and wrong answers, and the influence of the academic profile. Results: The predominant gender was the male gender (61.1%), the average age was 44.32 +/- 10.83 years, 40% with more than 20 years after obtaining their degree, 44% were educated in public institutions, 69% had a residency in cardiology, 20% had overseas practice, 12% had postdegree, 41% were linked to an educational institution, 24% with publication(s) in an indexed journal, 17.2% were authors of chapters in books, 2.5% had edited books, and 10% were linked to the Brazilian Society of Cardiac Arrhythmias. The average percentage of right answers was 45.7%. Conclusion: The sample studied revealed a little knowledge on the entity. A residency in cardiology was the factor of greater significance in the percentage of right answers. Other significant factors were the link of the interviewed person to an educational institution, or the Brazilian Society of Cardiac Arrhythmias, and having a specialist degree.

No correlation and low agreement of imaging and inflammatory atherosclerosis` markers in familial hypercholesterolemia

Our purpose was to study the determinants of coronary and carotid subclinical atherosclerosis, aortic stiffness and their relation with inflammatory biomarkers in familial hypercholesterolemia (FH) subjects. Furthermore, we evaluated the agreement degree of imaging and inflammatory markers` severity used for coronary heart disease (CHD) prediction. Coronary calcium scores (CCS), carotid intima media thickness (IMT), carotid-femoral pulse wave velocity (PWV), C reactive protein (CRP) and white blood cells count (WBC) were determined in 89 FH patients (39 +/- 14 years, mean LDL-C=279 mg/dl) and in 31 normal subjects (NL). The following values were considered as imaging and biomarkers` severity: CCS > 75th% for age and sex, IMT > 900 mu m, PWV > 12 m/s, and CRP > 3 mg/l. Coronary artery calcification (CAC) prevalence and severity, IMT, PWV and WBC values were higher in FH than in NL (all parameters, p < 0.05). After multivariate analysis, the following variables were considered independent determinants of (1) IMT: systolic blood pressure, 10-year CHD risk by Framingham risk scores (FRS) and apolipoprotein B (r(2)=0.33); (2) PWV: age (r(2)=0.35); (3) CAC as a continuous variable: male gender and LDL-cholesterol year score (LYS) (r(2)=0.32); (4) presence of CAC as dichotomous variable: FRS (p=0.0027) and LYS (p=0.0228). With the exception of a moderate agreement degree between IMT and PWV severity (kappa=0.5) all other markers had only a slight agreement level (kappa < 0.1). In conclusion, clinical parameters poorly explained IMT, CAC and PWV variability in FH subjects. Furthermore, imaging markers and inflammatory biomarkers presented a poor agreement degree of their severity for CHD prediction. (C) 2007 Elsevier Ireland Ltd. All rights reserved.

Low DNA HTLV-2 proviral load among women in Sao Paulo city

Background: HTLV-2 infections are almost always asymptomatic, and diseases associated with the infection are rarely reported. Little information is available on the relationship between HTLV-2 proviral load and gender or expression of disease, especially among patients with HlV-1 co-infection. Methods: We studied 77 HTLV-2-infected subjects followed in our clinic for the last 9 years; 53 (69%) of them were co-infected with HIV-1. HTLV-2 DNA proviral load (PVL) was measured by real time PCR, a test with a sensitivity of 10 in 10(4) PBMCs. Results: Six of 53 HTLV-2/HIV-1 cases had a myelopathy (all of them had undetectable PVL of HTLV-2). Only 3 of 35 women (2 out of 3 co-infected with HIV) had a detectable PVL, whereas 10 of 42 men had a detectable PVL. Regardless of their HIV status women had significantly lower PVL than men (10 vs. 43 CopieS/10(4) PBMCs, p < 0.05). Conclusions: We noticed the occurrence of myelopathy in HTLV-2/HIV-1 co-infected patients, with undetectable HTLV-2 viral load. There was a sex difference in viral load for HTLV-2, what may be the result in mode of transmission or acquisition of the virus. (c) 2008 Elsevier B. V. All rights reserved.

Effects of low level laser therapy (808 nm) on physical strength training in humans

Recent studies have investigated whether low level laser therapy (LLLT) can optimize human muscle performance in physical exercise. This study tested the effect of LLLT on muscle performance in physical strength training in humans compared with strength training only. The study involved 36 men (20.8 +/- 2.2 years old), clinically healthy, with a beginner and/or moderate physical activity training pattern. The subjects were randomly distributed into three groups: TLG (training with LLLT), TG (training only) and CG (control). The training for TG and TLG subjects involved the leg-press exercise with a load equal to 80% of one repetition maximum (1RM) in the leg-press test over 12 consecutive weeks. The LLLT was applied to the quadriceps muscle of both lower limbs of the TLG subjects immediately after the end of each training session. Using an infrared laser device (808 nm) with six diodes of 60 mW each a total energy of 50.4 J of LLLT was administered over 140 s. Muscle strength was assessed using the 1RM leg-press test and the isokinetic dynamometer test. The muscle volume of the thigh of the dominant limb was assessed by thigh perimetry. The TLG subjects showed an increase of 55% in the 1RM leg-press test, which was significantly higher than the increases in the TG subjects (26%, P = 0.033) and in the CG subjects (0.27%, P < 0.001). The TLG was the only group to show an increase in muscle performance in the isokinetic dynamometry test compared with baseline. The increases in thigh perimeter in the TLG subjects and TG subjects were not significantly different (4.52% and 2.75%, respectively; P = 0.775). Strength training associated with LLLT can increase muscle performance compared with strength training only.