Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Evaluation of serum trace element, biochemical and hematological data of a healthy elderly group residing in So Paulo city, Brazil

In this study, blood serum trace elements, biochemical and hematological parameters were obtained to assess the health status of an elderly population residing in So Paulo city, SP, Brazil. Results obtained showed that more than 93% of the studied individuals presented most of the serum trace element concentrations and of the hematological and biochemical data within the reference values used in clinical laboratories. However, the percentage of elderly presenting recommended low density lipoprotein (LDL) cholesterol concentrations was low (70%). The study indicated positive correlation between the concentrations of Zn and LDL-cholesterol (p < 0.06).

Determination of trace elements in scalp hair of an elderly population by neutron activation analysis

Neutron activation analysis was applied to assess trace elements concentrations in head hair from healthy elderly people living in the Sao Paulo metropolitan area. Concentrations of As, Br, Ca, Cl, Co, Cr, Cu, Fe, K, La, Mn, Na, Sb, Se and, Zn were determined. Comparisons were made between the results obtained for dyed and non-dyed hair as well as for hair from females and males of two different age groups. The results were also compared with range values established by clinical laboratories and published data.

The effect of hearing impairment on the vocal characteristics of older people

Measures of vocal intensity, frequency and harshness were compared for 19 hearing-impaired and 21 normal-hearing people over 60 years of age. Significantly greater comfortable intensity levels were found in the hearing-impaired group, but the other measures of frequency and harshness were not significantly different. A large proportion of the subjects in both groups reported a history of gastro-oesophageal reflux (GER), a condition associated with vocal fold pathology and hoarseness. Comparison of the GER and non-GER subjects on the measures of vocal function showed that the female GER speaker exhibited lower frequency on the vowel /u/ than the non-GER subjects. Clinicians need to be aware of the effect of highly prevalent disorders such as hearing impairment and GER on the voices of elderly speakers.

Effects of high-intensity aerobic interval training vs. moderate exercise on hemodynamic, metabolic and neuro-humoral abnormalities of young normotensive women at high familial risk for hypertension

Exercise training has an important role in the prevention and treatment of hypertension, but its effects on the early metabolic and hemodynamic abnormalities observed in normotensive offspring of hypertensive parents (FH+) have not been studied. We compared high-intensity interval (aerobic interval training, AIT) and moderate-intensity continuous exercise training (CMT) with regard to hemodynamic, metabolic and hormonal variables in FH+ subjects. Forty-four healthy FH+ women (25.0+/-4.4 years) randomized to control (ConFH+) or to a three times per week equal-volume AIT (80-90% of VO(2MAX)) or CMT (50-60% of VO(2MAX)) regimen, and 15 healthy women with normotensive parents (ConFH-; 25.3+/-3.1 years) had their hemodynamic, metabolic and hormonal variables analyzed at baseline and after 16 weeks of follow-up. Ambulatorial blood pressure (ABP), glucose and cholesterol levels were similar among all groups, but the FH+ groups showed higher insulin, insulin sensitivity, carotid-femoral pulse wave velocity (PWV), norepinephrine and endothelin-1 (ET-1) levels and lower nitrite/ nitrate (NOx) levels than ConFH- subjects. AIT and CMT were equally effective in improving ABP (P<0.05), insulin and insulin sensitivity (P<0.001); however, AIT was superior in improving cardiorespiratory fitness (15 vs. 8%; P<0.05), PWV (P<0.01), and BP, norepinephrine, ET-1 and NOx response to exercise (P<0.05). Exercise intensity was an important factor in improving cardiorespiratory fitness and reversing hemodynamic, metabolic and hormonal alterations involved in the pathophysiology of hypertension. These findings may have important implications for the exercise training programs used for the prevention of inherited hypertensive disorder. Hypertension Research (2010) 33, 836-843; doi:10.1038/hr.2010.72; published online 7 May 2010

Reference Values of Tissue Doppler Imaging and Pulsed Doppler Echocardiography for Analysis of Left Ventricular Diastolic Function in Healthy Adults

To determine reference values for tissue Doppler imaging (TDI) and pulsed Doppler echocardiography for left ventricular diastolic function analysis in a healthy Brazilian adult population. Observations were based on a randomly selected healthy population from the city of Vitoria, Espirito Santo, Brazil. Healthy volunteers (n = 275, 61.7% women) without prior histories of cardiovascular disease underwent transthoracic echocardiography. We analyzed 175 individuals by TDI and evaluated mitral annulus E`- and A`-waves from the septum (S) and lateral wall (L) to calculate E`/A` ratios. Using pulsed Doppler echocardiography, we further analyzed the mitral E- and A-waves, E/A ratios, isovolumetric relaxation times (IRTs), and deceleration times (DTs) of 275 individuals. Pulsed Doppler mitral inflow mean values for men were as follows: E-wave: 71 +/- 16 cm/sec, A-wave: 68 +/- 15 cm/sec, IRT: 74.8 +/- 9.2 ms, DT: 206 +/- 32.3 ms, E/A ratio: 1.1 +/- 0.3. Pulsed Doppler mitral inflow mean values for women were as follows: E-wave: 76 +/- 17, A-wave: 69 +/- 14 cm/sec, IRT: 71.2 +/- 10.5 ms, DT: 197 +/- 33.3 ms, E/A ratio: 1.1 +/- 0.3. IRT and DT values were higher in men than in women (P = 0.04 and P = 0.007, respectively). TDI values in men were as follows: E`S: 11 +/- 3 cm/sec, A`S: 13 +/- 2 cm/sec, E`S/A`S: 0.89 +/- 0.2, E`L: 14 +/- 3 cm/sec, A`L: 14 +/- 2 cm/sec, E`L/A`L: 1.1 +/- 0.4. E-wave/ E`S ratio: 6.9 +/- 2.2; E-wave / E`L ratio: 4.9 +/- 1.7. In this study, we determined pulsed Doppler and TDI derived parameters for left ventricular diastolic function in a large sample of healthy Brazilian adults. (Echocardiography 2010;27:777-782).

Sequential Changes of Longitudinal and Radial Myocardial Deformation Indices in the Healthy Neonate Heart

Background: Significant hemodynamic changes, including preload and afterload modifications, occur during the transition from the fetal to the neonatal environment. The ductus arteriosus closes, pulmonary vascular resistance decreases, and pulmonary blood flow increases. Strain rate (SR) and strain (e) have been proposed as ultrasound indices for quantifying regional wall deformation. This study was designed to determine if these indices can detect variations in regional deformation between early and late neonatal periods. Methods: Data were obtained from 30 healthy neonates (15 male). The initial study was performed at a mean age of 20.1614 hours (exam 1) and the second at 31.962.9 days (exam 2). Apical and parasternal views were used to quantify regional left ventricular (LV) and right ventricular (RV) longitudinal and radial SR and e, and systolic, early, and late diastolic values were calculated from these curves. A paired-samples t test was performed comparing the two groups. Results: Compared with exam 1, LV radial deformation showed significant reductions in peak systolic e in the basal and mid segments (51615% vs 4669%, P < .01). LV longitudinal deformation behaved similarly, showing significant peak systolic e reductions in all measured segments. Systolic SR showed reductions only in the basal and apical segments of the lateral wall and in the mid portion of the inferior wall (-1.9 +/- 0.5 vs -1.7 +/- 0.3 s(-1) and -1.9 +/- 0.4 vs -1.7 +/- 0.2 s(-1), respectively, P = .03). RV longitudinal free and inferior wall systolic SR and e values were significantly higher in exam 2. Conclusions: LV peak systolic e decreases in exam 2 were possibly due to afterload increase and preload decrease. The lower RV initial deformation indices could be attributed to increased afterload caused by physiologic pulmonary hypertension or immature RV contractile properties. SR seemed to be a more robust index than e and less influenced by preload and afterload hemodynamic alteration. (J Am Soc Echocardiogr 2010;23:294-300.)

The Carvedilol`s Beta-Blockade in Heart Failure and Exercise Training`s Sympathetic Blockade in Healthy Athletes during the Rest and Peak Effort

In recent years, beta-blocker therapy has become a primary pharmacologic intervention in patients with heart failure by blocking the sympathetic activity. To compare the exercise training`s sympathetic blockade in healthy subjects (athletes) and the carvedilol`s sympathetic blockade in sedentary heart failure patients by the evaluation of the heart rate dynamic during an exercise test. A total of 26 optimized and 49 nonoptimized heart failure patients in a stable condition (for, at least, 3 months), 15 healthy athletes and 17 sedentary healthy subjects were recruited to perform a cardiopulmonary exercise test. The heart rate dynamic (rest, reserve, peak and the peak heart rate in relation to the maximum predicted for age) was analyzed and compared between the four groups. The heart rate reserve was the same between optimized (48 +/- 15) and nonoptimized (49 +/- 18) heart failure patients (P < 0.0001). The athletes (188 +/- 9) showed a larger heart rate reserve compared to sedentary healthy subjects (92 +/- 10, P < 0.0001). Athletes and healthy sedentary reached the maximum age-predicted heart ratefor their age, but none of the heart failure patients did. The carvedilol`s sympathetic blockade occurred during the rest and during the peak effort in the same proportion, but the exercise training`s sympathetic blockade in healthy subjects occurred mainly in the rest.

Quantification of Regional Left and Right Ventricular Deformation Indices in Healthy Neonates by Using Strain Rate and Strain Imaging

Background: Color Doppler myocardial imaging (CDMI) allows the calculation of local longitudinal or radial strain rate (SR) and strain (epsilon). The aims of this study were to determine the feasibility and reproducibility of longitudinal and radial SR and epsilon in neonates during the first hours of life and to establish reference values. Methods: Data were obtained from 55 healthy neonates (29 male; mean age, 20 +/- 14 hours; mean birth weight, 3,174 +/- 374 g). Apical and parasternal views quantified regional longitudinal and radial SR and epsilon in differing ventricular wall segments. Values at peak systole, early diastole, and late diastole were calculated from the extracted curves. CDMI data acquired at 300 +/- 50 frames/s were analyzed offline. Three consecutive cardiac cycles were measured during normal respiration. The timing of specific systolic or diastolic regional events was determined. Multiple comparisons between walls and segments were made. Results: Left ventricular (LV) longitudinal deformation showed basal differences compared with apical segments within one specific wall. Right ventricular (RV) longitudinal deformation was not homogeneous, with significant differences between basal and apical segments. Longitudinal 3 values were higher in the RV free basal and middle wall segments compared with the left ventricle. In the RV free wall apical segment, longitudinal SR and 3 were maximal. LV systolic SR and epsilon values were higher radially compared with longitudinally (radial peak systolic SR midportion, 2.9 +/- 0.6 s(-1); radial peak systolic epsilon 53.8 +/- 19%; longitudinal peak systolic SR midportion, -1.8 +/- 0.5 s(-1); longitudinal peak systolic epsilon, -24.8 +/- 3%; P < .01). Longitudinal systolic epsilon and SR interobserver variability values were 1.2% and 0.7%, respectively. Conclusion: Ultrasound-based SR and 3 imaging is a practical and reproducible clinical technique in neonates, allowing the calculation of regional longitudinal and radial deformation in RV and LV segments. These regional SR and epsilon indices represent new, noninvasive parameters that can quantify normal neonate regional cardiac function. Independent from visual interpretation, they can be used as reference values for diagnosis in ill neonates. (J Am Soc Echocardiogr 2009;22:369-375.)

Young people's beliefs about intergenerational communication - An initial cross-cultural comparison

This article examines young people's perceptions of their conversations with older people (age 65-85) across nine cultures-five Eastern and four Western. Responses from more than 1,000 participants were entered into a cross-national factor analysis, which revealed four initial factors that underlie perceptions of intergenerational conversations. Elder nonaccommodation was when young participants reported that older people negatively stereotyped the young and did not attend to their communication needs. On the other hand, elder accommodation was when older people were perceived as supportive, attentive and generally encouraging to young people. A third factor was respect/obligation and a fourth factor labeled age-irrelevant positivity described a situation where young people felt conversations with much older people were emotionally positive and satisfying, age did not matter: Examining cross-cultural differences, some East versus West differences were observed, as might be expected, on the basis of simplistic accounts of Eastern collectivism versus Western individualism. However the results challenge commonsense notions of the status of old age in Eastern versus Western cultures. On some dimensions, participants from Korea, Japan, People's Republic of China, Hong Kong, and the Philippines appear to have relatively less positive perceptions of their conversations with older people than the Western cultures-the United States, Australia, New Zealand and Canada. But there was also evidence of considerable cultural variability, particularly among Eastern cultures-variability that has heretofore all too often been glossed over when global comparisons of East versus West are made. A range of explanations for these cultural differences is explored and implications for older people in these societies are also considered.

Subclinic atherosclerosis and cardiovascular risk factors in HIV-infected children: PERI study

Objectives To compare carotid intima-media thickness (cIMT) of children and adolescents with and without HIV infection and to determine associations among independent socio-demographic, clinical or cardiovascular variables and cIMT in HIV-infected children and adolescents. Patients and methods This is a matched case-control study comparing 83 HIV-infected and 83 healthy children and adolescents. Clinical and laboratorial parameters, cIMT and echocardiogram were measured. Results The cIMT was higher in HIV-infected individuals (median 480 mu m; interquartile range 463-518 mu m) compared with controls (426 mu m; range 415-453 mu m, P < 0.001). In addition, the HIV-infected group showed higher levels of high-sensitive C-reactive protein (medians 1.0 mg/l vs. 0.4 mg/l, P < 0.001), glycated hemoglobin (6.1 +/- 0.9 vs. 5.7 +/- 0.8%, P= 0.028) and triglycerides (medians 0.9 vs. 0.8 mmol/l, P= 0.031). Finally, this group showed lower levels of total and high-density lipoprotein-cholesterol. After multivariate analysis, increased cIMT was positively associated with stavudine use [odds ratio (OR): 18.9, P=0.005], left atrial/aorta index (OR: 15.6, P=0.019), suprailiac skinfold (OR: 7.9, P=0.019), tachypnea (OR: 5.9, P=0.031), CD8 lymphocyte count (OR: 5.7, P=0.033) and CD4 T-lymphocyte count (OR: 5.5, P=0.025). cIMT increment was negatively associated with total cholesterol (OR: 0.2, P=0.025) and with CD8 zenith (OR: 0.1, P=0.007). Conclusion In this sample of children and adolescents, having HIV infection was associated with increased cIMT and elevated prevalence of cardiovascular risk factors. These findings suggest that this group should be included in cardiovascular prevention programs.

Neural activity changes to emotional stimuli in healthy individuals under chronic use of clomipramine

Previous functional magnetic resonance imaging (fMRI) studies examined neural activity responses to emotive stimuli in healthy individuals after acute/subacute administration of antidepressants. We now report the effects of repeated use of the antidepressant clomipramine on fMRI data acquired during presentation of emotion-provoking and neutral stimuli on healthy volunteers. A total of 12 volunteers were evaluated with fMRI after receiving low doses of clomipramine for 4 weeks and again after 4 weeks of washout. Fear-, happiness-, anger-provoking and neutral pictures from the International Affective Picture System (IAPS) were used. Data analysis was performed with statistical parametric mapping (P < 0.05). Paired t-test comparisons for each condition between medicated and unmedicated states showed, to negative valence paradigms, decrease in brain activity in the amygdala when participants were medicated. We also demonstrated, across both positive and negative valence paradigms, consistent decreases in brain activity in the medicated state in the anterior cingulate gyrus and insula. This is the first report of modulatory effects of repeated antidepressant use on the central representation of somatic states in response to emotions of both negative and positive valences in healthy individuals. Also, our results corroborate findings of antidepressant-induced temporolimbic activity changes to emotion-provoking stimuli obtained in studies of subjects treated acutely with such agents.

Long-term cannabis use and mental healthy

The mental health consequences of the daily or near-dailyuseof cannabisoveryearsand decades remain uncertain, and are likely to remain so for some time given the difficul ties involved in investigating them. Never theless, there is sufficient evidence that its effects are neither as benign as proponents of its legalisation often argue, nor as malign as some partisans of continued prohibition claim (Hall et a!, 1994).

Relationship between use of technology and employment rates for people with physical disabilities in Australia: Implications for education and training programmes

This study examined the impact of computer and assistive device use on the employment status and vocational modes of people with physical disabilities in Australia. A survey was distributed to people over 15 years in age with physical disabilities living in the Brisbane area. Responses were received from 82 people, including those with spinal cord injuries, cerebral palsy and muscular dystrophy. Of respondents 46 were employed, 22 were unemployed, and 12 were either students or undertaking voluntary work. Three-quarters of respondents used a computer in their occupations, while 15 used assistive devices. Using logistic regression analysis it was found that gender, education, level of computer skill and computer training were significant predictors of employment outcomes. Neither the age of respondent nor use of assistive software were significant predictors. From information obtained in this study guidelines for a training programme designed to maximize the employability of people with physical disabilities were developed.

ELECTROMYOGRAPHY AND KINEMATIC CHANGES OF GAIT CYCLE AT DIFFERENT CADENCES IN DIABETIC NEUROPATHIC INDIVIDUALS

Introduction: Changes in gait cadence caused by challenging situations in daily life might induce higher demand for strength and propulsion in diabetic neuropathic (DN) subjects. Methods: Forty-six subjects (healthy and DN) walked at two cadences (self-selected and 25% higher). Kinematic and electromyographic data were obtained from lower limbs and compared across the gait cycle. Results: DN subjects showed a delayed peak in plantarflexor activity along the whole cycle (irrespective of cadence) compared with healthy subjects. However, during the imposed cadence, DN individuals showed reduced ankle range of motion along the entire cycle compared with the self-selected condition and healthy individuals walking at both cadences (P = 0.002). Conclusions: These findings suggest that when diabetic individuals face a new challenging situation that induces a higher demand for muscle strength and propulsion, the necessary range of motion and neuromuscular control around distal joints are insufficient. Muscle Nerve 44: 258-268, 2011