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.

Impact of Endovascular Technique in Vascular Surgery Training at a Large University Hospital in Brazil

OBJECTIVES: The aim of this study was to determine the impact of endovascular surgery versus open vascular technique training in a Brazilian teaching service. DESIGN: Cross-sectional study. SETTING: Hospital das Clinicas-Faculty of Medicine University of Sao Paulo, a tertiary institutional hospital Brazil. PARTICIPANTS: We reviewed 1,040 arterial operations performed during 2 distinct time periods: January 1995 to December 1996, and January 2006 to December 2007. Based on the disease treated, the procedures were classified into the following 5 groups: abdominal aortic aneurysms (AAA), aorto-iliac obstructive disease (Al), obstructive disease of the femoropoplitealtibial segment (FP), carotid disease (C), and others (0). The operations were also divided into an endovascular surgery (ES) group and an open surgery (OS) group. We compared the number of open and endovascular procedures for each arterial disease group during both periods. RESULTS: During the 2006-2007 period, 654 patients were treated surgically, whereas over the 1995-1996 period, 386 arterial operations were performed. A. significant increase in endovascular procedures (p < 0.001) was found from the 1995-1996 period to the 2006-201)7 period (35 vs 351, respectively) in all groups, whereas open surgery showed a slight increase in the number of procedures in the AAA and 0 groups only. In the 1995-1996 period, OS was the primary surgical method for all groups, but in the 2006-2007 time frame, OS was performed more frequently than ES only in the AAA and 0 groups. Considering all vascular disease groups, OS was the technique used in 90.9% (351 of 386) of the operations during 1995-1996, whereas in 2006-2007, OS was performed in only 46.3% (303 of 654) of the procedures. CONCLUSIONS: The increase in the number of ES observed over the past decade has had little impact on OS procedures performed at our medical center, not bringing harm to open surgical training. (J Surg 68:19-23. (C) 2011 Association of Program Directors in Surgery. Published by Elsevier Inc. All rights reserved.)

A 12-month randomized controlled trial of balance training in elderly women with ostebporosis: Improvement of quality of life

Objective: Physical and psychological incapacity, including fear of falling is related to decreased satisfaction with life in osteoporosis (OP). The impact of a balance exercise program on improving the quality of life is not well established. We have, therefore, investigated the effect of 12-month Balance Training Program in quality of life, functional balance and falls in elderly OP women. Methods: Sixty consecutive women with senile OP were randomized into a Balance Training Group (BT) of 30 patients and no intervention control group (CG) of 30 patients. The BT program included techniques to improve balance over a period of 12 months (1 h exercise session/week and home-based exercises). The quality of life was evaluated before and at the end of the trial using the Osteoporosis Assessment Questionnaire (OPAQ), functional balance was evaluated by Berg Balance Scale (BBS). Falls in the preceding year were noted and compared to the period of study. Results: The comparison of OPAQ variations (INITIAL-FINAL) revealed a significant improvement in quality of life in all parameters for BT compared to CG: well-being (1.61 +/- 1.44 vs. -1.46 +/- 1.32, p < 0001), physical function (1.30 +/- 1.33 vs. -0.36 +/- 0.82, p < 0.001), psychological status (1.58 +/- 1.36 vs. -1.02 +/- 0.83, p < 0.001), symptoms (2.76 +/- 1.96 vs. -0.63 +/- 0.87, p < 0.001), social interaction (1.01 +/- 1.51 vs. 0.35 +/- 1.08, p < 0.001). Of note, this overall benefit was paralleled by an improvement of BBS (-5.5 +/- 5.67 vs. +0.5 +/- 4.88 p < 0.001) and a reduction of falls in 50% in BT group vs. 26.6% for the CG (RR: 1.88, p < 0.025). Conclusion: The long-term Balance Training Program of OP women provides a striking overall health quality of life improvement in parallel with improving functional balance and reduced falls. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Effects of carbohydrate supplementation on competitive runners undergoing overload training followed by a session of intermittent exercise

This study evaluated the effects of a micro cycle of overload training (1st-8th day) on metabolic and hormonal responses in male runners with or without carbohydrate supplementation and investigated the cumulative effects of this period on a session of intermittent high-intensity running and maximum-performance-test (9th day). The participants were 24 male runners divided into two groups, receiving 61% of their energy intake as CHO (carbohydrate-group) and 54% in the control-group (CON). The testosterone was higher for the CHO than the CON group after the overload training (694.0 +/- A 54.6 vs. CON 610.8 +/- A 47.9 pmol/l). On the ninth day participants performed 10 x 800 m at mean 3 km velocity. An all-out 1000 m running was performed before and after the 10 x 800 m. Before, during, and after this protocol, the runners received solution containing CHO or the CON equivalent. The performance on 800 m series did not differ in either group between the first and last series of 800 m, but for the all-out 1000 m test the performance decrement was lower for CHO group (5.3 +/- A 1.0 vs. 10.6 +/- A 1.3%). The cortisol concentrations were lower in the CHO group in relation to CON group (22.4 +/- A 0.9 vs. 27.6 +/- A 1.4 pmol/l) and the IGF1/IGFBP3 ratio increased 12.7% in the CHO group. During recovery, blood glucose concentrations remained higher in the CHO group in comparison with the CON group. It was concluded that CHO supplementation possibly attenuated the suppression of the hypothalamic-pituitary-gonadal axis and resulted in less catabolic stress, and thus improved running performance.

Effects of continuous vs. interval exercise training on blood pressure and arterial stiffness in treated hypertension

Exercise is an effective intervention for treating hypertension and arterial stiffness, but little is known about which exercise modality is the most effective in reducing arterial stiffness and blood pressure in hypertensive subjects. Our purpose was to evaluate the effect of continuous vs. interval exercise training on arterial stiffness and blood pressure in hypertensive patients. Sixty-five patients with hypertension were randomized to 16 weeks of continuous exercise training (n=26), interval training (n=26) or a sedentary routine (n=13). The training was conducted in two 40-min sessions a week. Assessment of arterial stiffness by carotid-femoral pulse wave velocity (PWV) measurement and 24-h ambulatory blood pressure monitoring (ABPM) were performed before and after the 16 weeks of training. At the end of the study, ABPM blood pressure had declined significantly only in the subjects with higher basal values and was independent of training modality. PWV had declined significantly only after interval training from 9.44 +/- 0.91 to 8.90 +/- 0.96 m s(-1), P=0.009 (continuous from 10.15 +/- 1.66 to 9.98 +/- 1.81 m s(-1), P-ns; control from 10.23 +/- 1.82 to 10.53 +/- 1.97 m s(-1), P-ns). Continuous and interval exercise training were beneficial for blood pressure control, but only interval training reduced arterial stiffness in treated hypertensive subjects. Hypertension Research (2010) 33, 627-632; doi:10.1038/hr.2010.42; published online 9 April 2010

Effects of Exercise Training on Myocardial Blood Flow Reserve in Patients With Heart Failure and Left Ventricular Systolic Dysfunction

Exercise training has been shown to be effective in improving exercise capacity and quality of life in patients with heart failure and left ventricular (LV) systolic dysfunction. Real-time myocardial contrast echocardiography (RTMCE) is a new technique that allows quantitative analysis of myocardial blood flow (MBF). The aim of this study was to determine the effects of exercise training on MBF in patients with LV dysfunction. We studied 23 patients with LV dysfunction who underwent RTMCE and cardiopulmonary exercise testing at baseline and 4 months after medical treatment (control group, n = 10) or medical treatment plus exercise training (trained group, n = 13). Replenishment velocity (0) and MBF reserves were derived from quantitative RTMCE. The 4-month exercise training consisted of 3 60-minute exercise sessions/week at an intensity corresponding to anaerobic threshold, 10% below the respiratory compensation point. Aerobic exercise training did not change LV diameters, volumes, or ejection fraction. At baseline, no difference was observed in MBF reserve between the control and trained groups (1.89, 1.67 to 1.98, vs 1.81, 1.28 to 2.38, p = 0.38). Four-month exercise training resulted in a significant increase in beta reserve from 1.72 (1.45 to 1.48) to 2.20 (1.69 to 2.77, p <0.001) and an MBF reserve from 1.81 (1.28 to 2.38) to 3.05 (2.07 to 3.93, p <0.001). In the control group, 13 reserve decreased from 1.51 (1.10 to 1.85) to 1.46 (1.14 to 2.33, p = 0.03) and MBF reserve from 1.89 (1.67 to 1.98) to 1.55 (1.11 to 2.27, p <0.001). Peak oxygen consumption increased by 13.8% after 4 months of exercise training and decreased by 1.9% in the control group. In conclusion, exercise training resulted in significant improvement of MBF reserve in patients with heart failure and LV dysfunction. (C) 2010 Elsevier Inc. All rights reserved. (Am J Cardiol 2010;105:243-248)

Aerobic Exercise Training-Induced Left Ventricular Hypertrophy Involves Regulatory MicroRNAs, Decreased Angiotensin-Converting Enzyme-Angiotensin II, and Synergistic Regulation of Angiotensin-Converting Enzyme 2-Angiotensin (1-7)

Aerobic exercise training leads to a physiological, nonpathological left ventricular hypertrophy; however, the underlying biochemical and molecular mechanisms of physiological left ventricular hypertrophy are unknown. The role of microRNAs regulating the classic and the novel cardiac renin-angiotensin (Ang) system was studied in trained rats assigned to 3 groups: (1) sedentary; (2) swimming trained with protocol 1 (T1, moderate-volume training); and (3) protocol 2 (T2, high-volume training). Cardiac Ang I levels, Ang-converting enzyme (ACE) activity, and protein expression, as well as Ang II levels, were lower in T1 and T2; however, Ang II type 1 receptor mRNA levels (69% in T1 and 99% in T2) and protein expression (240% in T1 and 300% in T2) increased after training. Ang II type 2 receptor mRNA levels (220%) and protein expression (332%) were shown to be increased in T2. In addition, T1 and T2 were shown to increase ACE2 activity and protein expression and Ang (1-7) levels in the heart. Exercise increased microRNA-27a and 27b, targeting ACE and decreasing microRNA-143 targeting ACE2 in the heart. Left ventricular hypertrophy induced by aerobic training involves microRNA regulation and an increase in cardiac Ang II type 1 receptor without the participation of Ang II. Parallel to this, an increase in ACE2, Ang (1-7), and Ang II type 2 receptor in the heart by exercise suggests that this nonclassic cardiac renin-angiotensin system counteracts the classic cardiac renin-angiotensin system. These findings are consistent with a model in which exercise may induce left ventricular hypertrophy, at least in part, altering the expression of specific microRNAs targeting renin-angiotensin system genes. Together these effects might provide the additional aerobic capacity required by the exercised heart. (Hypertension. 2011;58:182-189.).

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.

Impact of gender on benefits of exercise training on sympathetic nerve activity and muscle blood flow in heart failure

We compared the effects of exercise training on neurovascular control and functional capacity in men and women with chronic heart failure (HF). Forty consecutive HF outpatients from the Heart Institute, University of Sao Paulo, Brazil were divided into the following four groups matched by age: men exercise-trained (n = 12), men untrained (n = 10), women exercise-trained (n = 9), women untrained (n = 9). Maximal exercise capacity was determined from a maximal progressive exercise test on a cycle ergometer. Forearm blood flow was measured by venous occlusion plethysmography. Muscle sympathetic nerve activity (MSNA) was recorded directly using the technique of microneurography. There were no differences between groups in any baseline parameters. Exercise training produced a similar reduction in resting MSNA (P = 0.000002) and forearm vascular resistance (P = 0.0003), in men and women with HF. Peak VO(2) was similarly increased in men and women with HF (P = 0.0003) and VE/VCO(2) slope was significantly decreased in men and women with HF (P = 0.0007). There were no significant changes in left-ventricular ejection fraction in men and women with HF. The benefits of exercise training on neurovascular control and functional capacity in patients with HF are independent of gender.

Effects of Exercise Training in Patients with Chronic Heart Failure and Sleep Apnea

Study Objectives: To test the effects of exercise training on sleep and neurovascular control in patients with systolic heart failure with and without sleep disordered breathing. Design: Prospective interventional study. Setting: Cardiac rehabilitation and exercise physiology unit and sleep laboratory. Patients: Twenty-five patients with heart failure, aged 42 to 70 years, and New York Heart Association Functional Class I-III were divided into 1 of 3 groups: obstructive sleep apnea (n = 8), central sleep apnea (n 9) and no sleep apnea (n = 7). Interventions: Four months of no-training (control) followed by 4 months of an exercise training program (three 60-minute, supervised, exercise sessions per week). Measures and Results: Sleep (polysomnography), microneurography, forearm blood flow (plethysmography), peak VO(2). and quality of life were evaluated at baseline and at the end of the control and trained periods. No significant changes occurred in the control period. Exercise training reduced muscle sympathetic nerve activity (P < 0.001) and increased forearm blood flow (P < 0.01), peak VO(2) (P < 0.01), and quality of life (P < 0.01) in all groups, independent of the presence of sleep apnea. Exercise training improved the apnea-hypopnea index, minimum O(2) saturation, and amount stage 3-4 sleep (P < 0.05) in patients with obstructive sleep apnea but had no significant effects in patients with central sleep apnea. Conclusions. The beneficial effects of exercise training on neurovascular function, functional capacity, and quality of life in patients with systolic dysfunction and heart failure occurs independently of sleep disordered breathing. Exercise training lessens the severity of obstructive sleep apnea but does not affect central sleep apnea in patients with heart failure and sleep disordered breathing.

AT(1) receptor participates in the cardiac hypertrophy induced by resistance training in rats

Resistance training is accompanied by cardiac hypertrophy, but the role of the renin-angiotensin system (RAS) in this response is elusive. We evaluated this question in 36 male Wistar rats divided into six groups: control (n = 6); trained (n = 6); control + losartan (10 mg.kg(-1).day(-1), n = 6); trained + losartan (n = 6); control + high-salt diet (1%, n = 6); and trained + high-salt diet (1%, n = 6). High salt was used to inhibit the systemic RAS and losartan to block the AT(1) receptor. The exercise protocol consisted of: 4 x 12 bouts, 5x/wk during 8 wk, with 65-75% of one repetition maximum. Left ventricle weight-to-body weight ratio increased only in trained and trained + high-salt diet groups (8.5% and 10.6%, P < 0.05) compared with control. Also, none of the pathological cardiac hypertrophy markers, atrial natriuretic peptide, and alpha MHC (alpha-myosin heavy chain)-to-beta MHC ratio, were changed. ACE activity was analyzed by fluorometric assay (systemic and cardiac) and plasma renin activity (PRA) by RIA and remained unchanged upon resistance training, whereas PRA decreased significantly with the high-salt diet. Interestingly, using Western blot analysis and RT-PRC, no changes were observed in cardiac AT(2) receptor levels, whereas the AT(1) receptor gene (56%, P < 0.05) and protein (31%, P < 0.05) expressions were upregulated in the trained group. Also, cardiac ANG II concentration evaluated by ELISA remained unchanged (23.27 +/- 2.4 vs. 22.01 +/- 0.8 pg/mg, P > 0.05). Administration of a subhypotensive dose of losartan prevented left ventricle hypertrophy in response to the resistance training. Altogether, we provide evidence that resistance training-induced cardiac hypertrophy is accompanied by induction of AT(1) receptor expression with no changes in cardiac ANG II, which suggests a local activation of the RAS consistent with the hypertrophic response.

Double-blind, Randomized placebo controlled trial of fulvestrant compared with exemestane after prior nonsteroidal aromatase inhibitor therapy in postmenopausal women with hormone receptor-positive, advanced breast cancer: Results from EFECT

Purpose The third-generation nonsteroidal aromatase inhibitors (AIs) are increasingly used as adjuvant and first-line advanced therapy for postmenopausal, hormone receptor-positive (HR +) breast cancer. Because many patients subsequently experience progression or relapse, it is important to identify agents with efficacy after AI failure. Materials and Methods Evaluation of Faslodex versus Exemestane Clinical Trial (EFECT) is a randomized, double-blind, placebo controlled, multicenter phase III trial of fulvestrant versus exemestane in postmenopausal women with HR + advanced breast cancer (ABC) progressing or recurring after nonsteroidal AI. The primary end point was time to progression (TTP). A fulvestrant loading-dose (LD) regimen was used: 500 mg intramuscularly on day 0, 250 mg on days 14, 28, and 250 mg every 28 days thereafter. Exemestane 25 mg orally was administered once daily. Results A total of 693 women were randomly assigned to fulvestrant (n = 351) or exemestane ( n = 342). Approximately 60% of patients had received at least two prior endocrine therapies. Median TTP was 3.7 months in both groups ( hazard ratio = 0.963; 95% CI, 0.819 to 1.133; P = .6531). The overall response rate ( 7.4% v 6.7%; P = .736) and clinical benefit rate ( 32.2% v 31.5%; P = .853) were similar between fulvestrant and exemestane respectively. Median duration of clinical benefit was 9.3 and 8.3 months, respectively. Both treatments were well tolerated, with no significant differences in the incidence of adverse events or quality of life. Pharmacokinetic data confirm that steady-state was reached within 1 month with the LD schedule of fulvestrant. Conclusion Fulvestrant LD and exemestane are equally active and well-tolerated in a meaningful proportion of postmenopausal women with ABC who have experienced progression or recurrence during treatment with a nonsteroidal AI.

PHASE I/II STUDY OF ERLOTINIB COMBINED WITH CISPLATIN AND RADIOTHERAPY IN PATIENTS WITH LOCALLY ADVANCED SQUAMOUS CELL CARCINOMA OF THE HEAD AND NECK

Purpose: Erlotinib, an oral tyrosine kinase inhibitor, is active against head-and-neck squamous cell carcinoma (HNSCC) and possibly has a synergistic interaction with chemotherapy and radiotherapy. We investigated the safety and efficacy of erlotinib added to cisplatin and radiotherapy in locally advanced HNSCC. Methods and Materials: In this Phase I/II trial 100 mg/m(2) of cisplatin was administered on Days 8, 29, and 50, and radiotherapy at 70 Gy was started on Day 8. During Phase I, the erlotinib dose was escalated (50 mg, 100 mg, and 150 mg) in consecutive cohorts of 3 patients, starting on Day 1 and continuing during radiotherapy. Dose-limiting toxicity was defined as any Grade 4 event requiring radiotherapy interruptions. Phase 11 was initiated 8 weeks after the last Phase I enrollment. Results: The study accrued 9 patients in Phase I and 28 in Phase II; all were evaluable for efficacy and safety. No dose-limiting toxicity occurred in Phase I, and the recommended Phase 11 dose was 150 mg. The most frequent nonhematologic toxicities were nausea/vomiting, dysphagia, stomatitis, xerostomia and in-field dermatitis, acneiform rash, and diarrhea. Of the 31 patients receiving a 150-mg daily dose of erlotinib, 23 (74%; 95% confidence interval, 56.8%-86.3%) had a complete response, 3 were disease free after salvage surgery, 4 had inoperable residual disease, and 1 died of sepsis during treatment. With a median 37 months` follow-up, the 3-year progression-free and overall survival rates were 61% and 72%, respectively. Conclusions: This combination appears safe, has encouraging activity, and deserves further studies in locally advanced HNSCC. (C) 2010 Elsevier Inc.

Treatment of advanced hepatocellular carcinoma with very low levels of amplitude-modulated electromagnetic fields

BACKGROUND: Therapeutic options for patients with advanced hepatocellular carcinoma (HCC) are limited. There is emerging evidence that the growth of cancer cells may be altered by very low levels of electromagnetic fields modulated at specific frequencies. METHODS: A single-group, open-label, phase I/II study was performed to assess the safety and effectiveness of the intrabuccal administration of very low levels of electromagnetic fields amplitude modulated at HCC-specific frequencies in 41 patients with advanced HCC and limited therapeutic options. Three-daily 60-min outpatient treatments were administered until disease progression or death. Imaging studies were performed every 8 weeks. The primary efficacy end point was progression-free survival >= 6 months. Secondary efficacy end points were progression-free survival and overall survival. RESULTS: Treatment was well tolerated and there were no NCI grade 2, 3 or 4 toxicities. In all, 14 patients (34.1%) had stable disease for more than 6 months. Median progression-free survival was 4.4 months (95% CI 2.1-5.3) and median overall survival was 6.7 months (95% CI 3.0-10.2). There were three partial and one near complete responses. CONCLUSION: Treatment with intrabuccally administered amplitude-modulated electromagnetic fields is safe, well tolerated, and shows evidence of antitumour effects in patients with advanced HCC. British Journal of Cancer (2011) 105, 640-648. doi:10.1038/bjc.2011.292 www.bjcancer.com Published online 9 August 2011 (C) 2011 Cancer Research UK

A compact shock-assisted free-piston driver for impulse facilities

A free-piston driver that employs entropy-raising shock processes with diaphragm rupture has been constructed, which promises significant theoretical advantages over isentropic compression. Results from a range of conditions with helium and argon driver gases are reported. Significant performance gains were achieved in some test cases. Heat losses are shown to have a strong effect on driver processes. Measurements compare well with predictions from a quasi-one-dimensional numerical code.