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.

Composition of Diesel Particles Influences Acute Pulmonary Toxicity: An Experimental Study in MICE

Ambient particles have been consistently associated with adverse health effects, yielding mainly high cardiorespiratory morbidity and mortality. Diesel engines represent a major source of particles in the urban scenario. We aimed to modify the composition of diesel particles, by means of different extraction procedures, to relate changes in chemical profile to corresponding indicators of respiratory toxicity. Male BALB/c mice were nasally instilled with saline, or with diesel particles, treated or not, and assigned to five groups: saline ( SHAM), intact diesel particles (DEP), and diesel particles previously treated with methanol ( METH), hexane ( HEX), or nitric acid (NA). Elemental composition and organic compounds were analyzed. Twenty-four hours after nasal instillation, respiratory parameters were measured and lung tissue was collected for histological analysis. Static elastance was significantly increased in groups DEP and MET in relation to the other groups. HEX and NA were different from DEP but not significantly different from SHAM and METH groups. The difference between dynamic and static elastance was increased in DEP, METH, and NA treatments; HEX was not statistically different from SHAM. DEP and METH groups presented significantly increased upper airways resistance, while DEP, METH, and NA showed higher peripheral airways resistance values. All groups had a higher total resistance than SHAM. DEP, METH, and NA showed significant increased infiltration of polymorphonuclear cells. In conclusion, diesel particles treated with hexane ( HEX) resulted in a respiratory-system profile very similar to that in SHAM group, indicating that hexane treatment attenuates pulmonary inflammation elicited by diesel particles.

Evaluation of the influence of different types of seats on postural control in individuals with paraplegia

Study design: Cross-sectional study. Objectives: To assess the importance of proprioceptive and vision information on different types of wheelchair seats with regard to postural control in paraplegic individuals during static posture. Setting: Centre of Rehabilitation at the University Hospital/FMRP-USP and Rehabilitation Outpatient Clinic at University Hospital/UNICAMP, Brazil. Methods: This study involved 11 individuals with paraplegia. All individuals were submitted to an evaluation of static balance with their eyes open and closed in three different types of seats: wheelchair seat, foam seat and gel seat. Balance evaluation was performed by using the Polhemus system, in which body displacements and anteroposterior and mediolateral speeds were assessed in a static seated position in the different types of seats. Data were analyzed using analysis of variance. The differences were considered at P<0.05. Results: No statistical differences were found between the three types of seats in terms of displacements and anteroposterior and mediolateral speeds, or between seats with individuals keeping their eyes open or closed (P>0.05). However, it was observed that body displacements were more prominent toward an anteroposterior than a mediolateral direction. Conclusion: This study suggests that individuals with paraplegia tend to exhibit a more anteroposterior body displacement than a mediolateral one, with no significant differences between the types of seats in both situations of eyes open and closed. Spinal Cord (2010) 48, 825-827; doi:10.1038/sc.2010.30; published online 30 March 2010

Temporomandibular disorders and cutaneous allodynia are associated in individuals with migraine

The objective of this study was to estimate and contrast the occurrence of ictal and interictal cutaneous allodynia (CA) in individuals with migraine with and without temporomandibular disorders (TMD). Both TMD and CA are common in migraine and may be associated with migraine transformation from episodic into a chronic form. Herein we hypothesize that TMD contributes to the development of CA and to more severe headaches. In a clinic-based sample of individuals with episodic migraine, the presence of TMD was assessed using the research diagnostic criteria for myofascial or mixed (myofascial and arthralgic) TMD. Ictal CA was quantified using the validated Allodynia Symptom Checklist (ASC-12). The ASC-12 measures CA over the preceding month by asking 12 questions about the frequency of allodynia symptoms during headaches. Interictal CA was assessed in the domains of heat, cold and mechanical static allodynia using quantitative sensory testing. Our sample consists of 55 individuals; 40 (73%) had TMD (23 with myofascial TMD and 17 with the mixed type). CA of any severity (as assessed by ASC-12) occurred in 40% of those without TMD (reference group), 86.9% of those with myofascial TMD (P = 0.041, RR = 3.2, 95% CI = 1.5-7.0) and in 82.3% of those with mixed TMD (P = 0.02, RR = 2.5, 95% CI = 1.2-5.3). Individuals with TMD were more likely to have moderate or severe CA associated with their headaches. Interictally (quantitative sensory testing), thresholds for heat and mechanical nociception were significantly lower in individuals with TMD. Cold nociceptive thresholds were not significantly different in migraine patients with and without TMD. TMDs were also associated with change in extra-cephalic pain thresholds. In logistical regression, TMD remained associated with CA after adjusting for aura, gender and age. TMD and CA are associated in individuals with migraine.

Effects of Inspiratory Muscle Training on Muscular and Pulmonary Function After Bariatric Surgery in Obese Patients

This study seeks to assess the effect of inspiratory muscle training (IMT) on pulmonary function, respiratory muscle strength, and endurance in morbidly obese patients submitted to bariatric surgery. Thirty patients were randomly assigned to sham muscular training, or to IMT with a threshold device (40% of maximum inspiratory pressure, MIP), for 30 min/day, from the 2nd until 30th postoperative (PO) day. All of them were submitted to a standard respiratory kinesiotherapy and early deambulation protocol. Data on spirometry, maximum static respiratory pressures, and respiratory muscle endurance were collected on the PO days 2, 7, 14, and 30 in a blinded matter. IMT enabled increases in PO MIP and endurance, and an earlier recovery of the spirometry parameters FEV(1), PEF, and FEF(25-75%). Comparing to preoperative values, MIP was increased by 13% at the 30th PO day in the trained group, whereas control group had a reduction of 8%, with higher values for the IMT group (30th PO, IMT-130.6 +/- 22.9 cmH(2)O; controls-112.9 +/- 25.1 cmH(2)O; p < 0.05). Muscular endurance at the 30th PO day was increased in the trained group comparing to preoperative value (61.5 +/- 39.6 s vs 114.9 +/- 55.2 s; p < 0.05), a finding not observed in the control group (81.7 +/- 44.3 vs 95.2 +/- 42.0 s). IMT improves inspiratory muscle strength and endurance and accounts for an earlier recovery of pulmonary airflows in morbidly obese patients submitted to bariatric surgery.

The bed nucleus of the stria terminalis modulates exercise-evoked cardiovascular responses in rats

Dynamic exercise evokes sustained cardiovascular changes, which are characterized by blood pressure and heart rate (HR) increases. Although it is well accepted that there is a central nervous system (CNS) mediation of cardiovascular adjustments during dynamic exercise, information on the role of specific CNS structures is limited. The bed nucleus of the stria terminalis (BST) is a forebrain structure known to be involved in central cardiovascular control. Based on this, we tested the hypothesis that BST modulates HR and mean arterial pressure (MAP) responses evoked when rats are submitted to dynamic exercise. Male Wistar rats were tested at three levels of exercise (0.4, 0.8 and 1 km h-1) on a rodent treadmill before and after BST treatment with CoCl(2), a non-selective neurotransmission blocker. Bilateral microinjection of CoCl(2) (1 nmol in 100 nl artificial cerebrospinal fluid) into the BST reduced the pressor response to exercise at 0.4 km h-1 as well as the tachycardic responses evoked by exercise at 0.4, 0.8 and 1 km h-1. The BST treatment with CoCl(2) did not affect baseline MAP or HR, suggesting a lack of tonic BST influence on cardiovascular parameters at rest. Moreover, BST treatment with CoCl(2) did not affect motor performance in the open-field test, which indicates that effects of BST inhibition on cardiovascular responses to dynamic exercise are not due to changes in motor activity. The present results suggest that local neurotransmission in the BST modulates exercise-related cardiovascular adjustments. Data indicate that BST facilitates pressor and tachycardic responses evoked by dynamic exercise in rats.

Transcorneal Electrical Stimulation for Patients with Retinitis Pigmentosa: A Prospective, Randomized, Sham-Controlled Exploratory Study

PURPOSE. To assess the safety of transcorneal electrical stimulation (TES) and explore its efficacy in various subjective and objective parameters of visual function in patients with retinitis pigmentosa (RP). METHODS. Twenty-four patients in this prospective, randomized, partially blinded, good-clinical-practice study underwent TES (5-ms biphasic pulses; 20 Hz; DTL electrodes) 30 minutes per week for 6 consecutive weeks. The patients were randomly assigned to one of three groups: sham, 66%, or 150% of individual electrical phosphene threshold (EPT). Visual acuity (VA), visual field (VF; kinetic, static), electroretinography (Ganzfeld, multifocal), dark-adaptation (DA), color discrimination, and EPTs were assessed at all visits or four times, according to the study plan. RESULTS. TES using DTL electrodes was tolerated well; all patients finished the study. Two adverse (foreign body sensation), but no serious adverse events were encountered. There was a tendency for most functional parameters to improve (8/18) or to remain constant (8/18) in the 150% group. VF area and scotopic b-wave amplitude reached statistical significance (P < 0.027 and P < 0.001, respectively). Only desaturated color discrimination and VF mean sensitivity decreased. There was no obvious trend in the 66% group. CONCLUSIONS. TES was found to be safe in RP patients. Positive trends were discovered, but due to the small sample size of this exploratory study, statistical significance was reached only for VF area and scotopic b-wave amplitude. Further studies with larger sample sizes and longer duration are needed to confirm the findings and to define optimal stimulation parameters. (ClinicalTrials.gov number, NCT00804102.) (Invest Ophthalmol Vis Sci. 2011;52:4485-4496) DOI:10.1167/iovs.10-6932

High-pressure phase diagram of the drug mitotane in compressed and/or supercritical CO(2)

This work provides experimental phase diagram of mitotane, a drug used in the chemotherapy treatment of adrenocortical carcinoma, in compressed and/or supercritical CO(2). The synthetic-static method in a high-pressure variable-volume view cell coupled with a transmitted-light intensity probe was used to measure the solid-fluid (SF) equilibrium data. The phase equilibrium experiments were determined in temperature ranging from (298.2 to 333.1) K and pressure up to 22 MPa. Peng-Robinson equation of state (PR-EoS) with classical mixing rule was used to correlate the experimental data. Excellent agreement was found between experimental and calculated values. (C) 2009 Elsevier Ltd. All rights reserved.

Electrocardiographic Alterations During Endosseous Implant Placement Performed with Local Anesthetic Agents

Purpose: The purpose of this study was to analyze electrocardiographic alterations during dental implant surgeries when local anesthetic agents were used. Materials and Methods: Twenty implants were placed in 18 healthy patients. An electrocardiogram and Wincardio software were used to gather recordings from 12 static leads every 2 minutes, continuously record coronary artery (D2) derivations, and automatically measure the following electrocardiographic parameters: heart rate, duration and amplitude of the P wave, PR segment duration, ST segment deviation, QRS complex duration, and duration of the RR, QT, and corrected QT (QTc) intervals. Results: Analysis of variance of the values obtained at the different stages showed significant differences (P < .05) for the heart rate and for the duration of the RR and QT intervals. The heart rate increased during the anesthesia, incision, and bone drilling stages, reaching a peak during drilling. Duration of the RR and QT intervals decreased during the incision and drilling stages. Among the electrocardiographic parameters individually assessed, several altered values were found for the duration of the P wave, the QRS complex, and the QT and QTc intervals. Sinusal tachycardia and bradycardia, sinusal arrhythmia, supraventricular extrasystole, ventricular extrasystole, and T-wave inversion were detected. Conclusion: Dental implant placement surgery may induce electrocardiographic alterations. The most frequently found arrhythmias were extrasystole and sinusal tachycardia. The anesthesia, incision, and bone drilling stages exhibited the highest heart rate values and the shortest durations of the RR and QT intervals. INT J ORAL MAXILLOFAC IMPLANTS 2009;24:412-418

Effect of cantilever length and framework alloy on the stress distribution of mandibular-cantilevered implant-supported prostheses

The purpose of this in vitro study was to analyze the stress distribution on components of a mandibular-cantilevered implant-supported prosthesis with frameworks cast in cobalt-chromium (Co-Cr) or palladium-silver (Pd-Ag) alloys, according to the cantilever length. Frameworks were fabricated on (Co-Cr) and (Pd-Ag) alloys and screwed into standard abutments positioned on a master-cast containing five implant replicas. Two linear strain gauges were fixed on the mesial and distal aspects of each abutment to capture deformation. A vertical static load of 100 N was applied to the cantilever arm at the distances of 10, 15, and 20 mm from the center of the distal abutment and the absolute values of specific deformation were recorded. Different patterns of abutment deformation were observed according to the framework alloy. The Co-Cr alloy framework resulted in higher levels of abutment deformation than the silver-palladium alloy framework. Abutment deformation was higher with longer cantilever extensions. Physical properties of the alloys used for framework interfere with abutment deformations patterns. Excessively long cantilever extensions must be avoided. To cite this article:Jacques LB, Moura MS, Suedam V, Souza EAC, Rubo JH. Effect of cantilever length and framework alloy on the stress distribution of mandibular-cantilevered implant-supported prostheses.Clin. Oral Impl. Res. 20, 2009; 737-741.doi: 10.1111/j.1600-0501.2009.01712.x.

Fracture resistance of endodontically treated teeth with different heights of crown ferrule restored with prefabricated carbon fiber post and composite resin core by intermittent loading

This study evaluated the fracture resistance of endodontically treated teeth restored with prefabricated carbon fiber posts and varying quantities of coronal dentin. Sixty freshly extracted upper canines were randomly divided into groups of 10 teeth each. The specimens were exposed to 250,000 cycles in a controlled chewing simulator. All intact specimens were subjected to a static load (N) in a universal testing machine at 45 degrees to the long axis. Data were analyzed by 1-way analysis of variance and Tukey test (alpha = .05). Significant differences (P < .001) were found among the mean fracture forces of the test groups (positive control, 0 mm, 1 mm, 2 mm, 3 mm, and negative control groups: 1022.82 N, 1008.22 N, 1292.52 N, 1289.19 N, 1255.38 N, and 1582.11, respectively). These results suggested that the amount of coronal dentin did not significantly increase the fracture resistance of endodontically treated teeth restored with prefabricated carbon fiber post and composite resin core. (Oral Surg Oral Med Oral Pathol Oral Radiol Endod 2008;106:e52-e57)

Timing and duration of the last interglacial inferred from high resolution U-series chronology of stalagmite growth in Southern Hemisphere

High-precision Th-230-U-238 ages for a stalagmite from Newdegate Cave in southern Tasmania, Australia define a rare record of precipitation between 100 and 155 ka before the present. The fastest stalagmite growth occurred between 129.2 +/- 1.6 and 122.1 +/- 2.0 ka (similar to 61.5 mm/ka), coinciding with a time of prolific coral growth from Western Australia (128-122 ka). This is the first high-resolution continental record in the Southern Hemisphere that can be compared and correlated with the marine record. Such correlation shows that in southern Australia the onset of full interglacial sea level and the initiation of highest precipitation on land were synchronous. The stalagmite growth rate between 129.2 and 142.2 ka (similar to 5.9 mm/ka) was lower than that between 142.2 and 154.5 ka (similar to 18.7 mm/ka), implying drier conditions during the Penultimate Deglaciation, despite rising temperature and sea level. This asymmetrical precipitation pattern is caused by latitudinal movement of subtropical highs and an associated Westerly circulation, in response to a changing Equator-to-Pole temperature gradient. Both marine and continental records in Australia strongly suggest that the insolation maximum between 126 and 128 ka at 65 degreesN was directly responsible for the maintenance of full Last Interglacial conditions, although the triggers that initiated Penultimate Deglaciation (at similar to 142 ka) remain unsolved. (C) 2001 Elsevier Science B.V. All rights reserved.

Photoelastic Stress Analysis of Different Designs of Cement-Retained Fixed Partial Dentures on Morse Taper Oral Implants

There is no consensus in literature regarding the best plan for prosthetic rehabilitation with partial multiple adjacent implants to minimize stress generated in the bone-implant interface. The aim of this study was to evaluate the biomechanical behavior of cemented fixed partial dentures, splinted and nonsplinted, on Morse taper implants and with different types of coating material (ceramic and resin), using photoelastic stress analysis. A photoelastic model of an interposed edentulous space, missing a second premolar and a first molar, and rehabilitated with 4 different types of cemented crowns and supported by 2 adjacent implants was used. Groups were as follows: UC, splinted ceramic crowns; IC, nonsplinted ceramic crowns; UR, splinted resin crowns; and IR, nonsplinted resin crowns. Different vertical static loading conditions were performed: balanced occlusal load, 10 kgf; simultaneous punctiform load on the implanted premolar and molar, 10 kgf; and alternate punctiform load on the implanted premolar and molar, 5 kgf. Changes in stress distribution were analyzed in a polariscope, and digital photographs were taken of each condition to allow comparison of stress pattern distribution around the implants. Cementation of the fixed partial dentures generated stresses between implants. Splinted restorations distributed the stresses more evenly between the implants than nonsplinted when force was applied. Ceramic restorations presented better distribution of stresses than resin restorations. Based on the results obtained, it was concluded that splinted ceramic restorations promote better stress distribution around osseointegrated implants when compared with nonsplinted crowns; metal-ceramic restorations present less stress concentration and magnitude than metal-plastic restorations.

Trends in cigarette smoking in 36 populations from the early 1980s to the mid-1990s: Findings from the WHO MONICA Project

Objectives. This report analyzes cigarette smoking over 10 years in populations in the World Health Organization (WHO) MONICA Project (to monitor trends and determinants of cardiovascular disease). Methods. Over 300 000 randomly selected subjects aged 25 to 64 years participated in surveys conducted in geographically defined populations. Results. For men, smoking prevalence decreased by more than 5% in 16 of the 36 study populations, remained static in most others, but increased in Beijing. Where prevalence decreased, this was largely due to higher proportions of never smokers in the younger age groups rather than to smokers quitting. Among women, smoking prevalence increased by more than 5% in 6 populations and decreased by more than 5% in 9 populations. For women, smoking tended to increase in populations with low prevalence and decrease in populations with higher prevalence; for men, the reverse pattern was observed. Conclusions. These data illustrate the evolution of the smoking epidemic in populations and provide the basis for targeted public health interventions to support the WHO priority for tobacco control.

Hemiplegic shoulder pain: defining the problem and its management

Purpose: Hemiplegic shoulder pain can affect up to 70% of stroke patients and can have an adverse impact on rehabilitation outcomes. This article aims to review the literature on the suggested causes of hemiplegic shoulder pain and the therapeutic techniques that can be used to prevent or treat it. On the basis of this review, the components of an optimal management programme for hemiplegic shoulder pain are explored. Method: English language articles in the CINAHL and MEDLINE databases between 1990 and 2000 were reviewed. These were supplemented by citation tracking and manual searches. Results: A management programme for hemiplegic shoulder pain could comprise the following components: provision of an external support for the affected upper limb when the patient is seated, careful positioning in bed, daily static positional stretches, motor retraining and strapping of the scapula to maintain postural tone and symmetry. Conclusions: Research is required to evaluate the effectiveness of the components of the proposed management programme for the prevention and treatment of hemiplegic shoulder pain and to determine in what combination they achieve the best outcomes.