A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Sources of Dietary Protein in Relation to Blood Pressure in a General Dutch Population

Background - Little is known about the relation of different dietary protein types with blood pressure (BP). We examined whether intake of total, plant, animal, dairy, meat, and grain protein was related to BP in a cross sectional cohort of 20,820 Dutch adults, aged 20–65 y and not using antihypertensive medication. Design - Mean BP levels were calculated in quintiles of energy-adjusted protein with adjustment for age, sex, BMI, education, smoking, and intake of energy, alcohol, and other nutrients including protein from other sources. In addition, mean BP difference after substitution of 3 en% carbohydrates or MUFA with protein was calculated. Results - Total protein and animal protein were not associated with BP (ptrend = 0.62 and 0.71 respectively), both at the expense of carbohydrates and MUFA. Systolic BP was 1.8 mmHg lower (ptrend36 g/d) than in the lowest

A randomized trial of an intervention to improve use and adherence to effective coronary heart disease prevention strategies

<p>Abstract</p> <p>Background</p> <p>Efficacious strategies for the primary prevention of coronary heart disease (CHD) are underused, and, when used, have low adherence. Existing efforts to improve use and adherence to these efficacious strategies have been so intensive that they are impractical for clinical practice.</p> <p>Methods</p> <p>We conducted a randomized trial of a CHD prevention intervention (including a computerized decision aid and automated tailored adherence messages) at one university general internal medicine practice. After obtaining informed consent and collecting baseline data, we randomized patients (men and women age 40-79 with no prior history of cardiovascular disease) to either the intervention or usual care. We then saw them for two additional study visits over 3 months. For intervention participants, we administered the decision aid at the primary study visit (1 week after baseline visit) and then mailed 3 tailored adherence reminders at 2, 4, and 6 weeks. We assessed our outcomes (including the predicted likelihood of angina, myocardial infarction, and CHD death over 10 years (CHD risk) and self-reported adherence) between groups at 3 month follow-up. Data collection occurred from June 2007 through December 2009. All study procedures were IRB approved.</p> <p>Results</p> <p>We randomized 160 eligible patients (81 intervention; 79 control) and followed 96% to study conclusion. Mean predicted CHD risk at baseline was 11.3%. The intervention increased self-reported adherence to chosen risk reducing strategies by 25 percentage points (95% CI 8% to 42%), with the biggest effect for aspirin. It also changed predicted CHD risk by -1.1% (95% CI -0.16% to -2%), with a larger effect in a pre-specified subgroup of high risk patients.</p> <p>Conclusion</p> <p>A computerized intervention that involves patients in CHD decision making and supports adherence to effective prevention strategies can improve adherence and reduce predicted CHD risk.</p> <p>Clinical trials registration number</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT00494052">NCT00494052</a></p

Sodium intake in men and potassium intake in women determine the prevalence of metabolic syndrome in Japanese hypertensive patients: OMEGA Study

Dietary intake affects hypertension and metabolic syndrome (MS) and their management. In Japanese hypertensive patients, little evidence exists regarding the relation between diet and MS. A self-administered lifestyle questionnaire was completed by each patient at the baseline. Three dietary scores were calculated for each patient: sodium intake, potassium intake and soybean/fish intake. The relationships between dietary scores and systolic blood pressure (SBP) and diastolic blood pressure (DBP) were analyzed by multiple regression analysis. The relation between dietary intake of sodium, potassium and soybean/fish, and the presence of MS was evaluated by the Mantel–Haenszel test. A total of 9585 hypertensive patients (mean age, 64.9 years; women, 51.4%) were included in this sub-analysis. High sodium intake was significantly related to increased SBP (P=0.0003) and DBP (P=0.0130). Low potassium intake was significantly related to increased SBP (P=0.0057) and DBP (P=0.0005). Low soybean/fish intake was significantly related to increased SBP (P=0.0133). A significantly higher prevalence of MS was found in men in the highest quartile of sodium intake compared with the lower quartiles (P=0.0026) and in women in the lowest quartile of potassium intake compared with the higher quartiles (P=0.0038). A clear relation between dietary habits and blood pressure was found in Japanese hypertensive patients using a patient-administered questionnaire. Sodium and potassium intake affect MS prevalence. Dietary changes are warranted within hypertension treatment strategies

Evaluation of dog owners' perceptions concerning radiation therapy

<p>Abstract</p> <p>Background</p> <p>External radiation therapy (RT) has been available for small animals in Sweden since 2006. This study was designed to obtain information on owner experiences and perceptions related to RT of cancer in their dogs. Another survey was used to determine the attitudes about use of RT in a group of Swedish veterinarians. Their responses were analyzed and compared to their level of knowledge of oncology and RT.</p> <p>Methods</p> <p>Owners of all dogs (n = 23) who had undergone RT for malignancy at Jönköping Small Animal Hospital between March 2006 to September 2007 were interviewed. A questionnaire was given to a selected group of veterinarians.</p> <p>Results</p> <p>All 23 owners responded. All owners thought that their dog did well during RT and most that their dog was also fine during the following phase when acute RT-related skin reactions occur and heal. Three owners stated that their dog had pain that negatively impacted quality of life because of radiation dermatitis. Five owners reported that RT positively impacted quality of life of the dog during the first weeks after RT because palliation was achieved. The owners were not disturbed by the efforts required of them. All but one owner (22 of 23) stated that they would make the same decision about RT again if a similar situation occurred. The most important factor for this decision was the chance to delay occurrence of tumour-related discomfort. The chance for cure was of less importance but still essential, followed by expected side effects. Time commitments, travel, number of treatments required and financial cost; all had low impact. The veterinarian survey showed that less background knowledge of small animal oncology/RT was associated with more negative expectations of RT for small animals.</p> <p>Conclusion</p> <p>The results show that for these owners, RT was a worthwhile treatment modality and that the discomfort for the dog was manageable and acceptable relative to the benefits. Improved continuing education about small animal RT in Sweden will likely result in increased evidence-based and positive treatment recommendations concerning RT by veterinarians.</p

MMP-3 in the peripheral serum as a biomarker of knee osteoarthritis, 40 years after open total knee meniscectomy.

BACKGROUND: To explore potential biomarkers in a meniscectomy-induced knee osteoarthritis model, at forty years after meniscectomy. METHODS: We carried out a forty-year study of 53 patients who, as adolescents, underwent open total meniscectomy and assessed two potential synovial and serum biomarkers, namely glycosaminoglycan (GAG) and matrix metalloproteinase-3 (MMP-3). Of the 30 patients available for review, 8 had contralateral knee operations and were excluded. Of the remaining 22 patients, 17 had successful operated knee synovial fluid aspirations and 8 also had successful contralateral control knee aspirations. GAG and MMP3 levels in the synovial fluid and peripheral serum was measured using Alcian blue precipitation and ELISA quantification, respectively. Patients also had their knee radiographs assessed and their radiographic osteoarthritis classified as per the Kellgren-Lawrence and Ahlbӓck systems. RESULTS: At forty years after meniscectomy, synovial MMP-3 levels remain increased (p = 0.0132) while GAG levels were reduced (p = 0.0487) when compared to controls and these two levels correlate inversely. Furthermore, levels of synovial MMP-3 significantly correlated (p = 0.0032, r = 0.7734; p = 0.0256, r = 0.5552) and GAG levels significantly inversely correlated (p = 0.0308, r = - 0.6220; p = 0.0135, r = - 0.6024), respectively, with both radiological scoring systems. Interestingly, we found that the levels of serum MMP-3 correlated only with the synovial fluid levels of MMP-3 in the operated knee and not with the non-operated joint (p = 0.0252, r = 0.7706 vs. p = 0.0764, r = 0.6576). Multiple regression analysis for patient's quality of life based on these biomarkers revealed an almost perfect result with an R2 of 0.9998 and a p value = 0.0087. CONCLUSION: Our results suggest that serum levels of MMP3 could be used as a potential biomarker for knee osteoarthritis, using a simple blood test. Larger cohorts are desirable in order to prove or disprove this finding

Dietary Protein and Blood Pressure: A Systematic Review

Background - Elevated blood pressure (BP), which is a major risk factor for cardiovascular disease, is highly prevalent worldwide. Recently, interest has grown in the role of dietary protein in human BP. We performed a systematic review of all published scientific literature on dietary protein, including protein from various sources, in relation to human BP. Methodology/Principal Findings - We performed a MEDLINE search and a manual search to identify English language studies on the association between protein and blood pressure, published before June 2010. A total of 46 papers met the inclusion criteria. Most observational studies showed no association or an inverse association between total dietary protein and BP or incident hypertension. Results of biomarker studies and randomized controlled trials indicated a beneficial effect of protein on BP. This beneficial effect may be mainly driven by plant protein, according to results in observational studies. Data on protein from specific sources (e.g. from fish, dairy, grain, soy, and nut) were scarce. There was some evidence that BP in people with elevated BP and/or older age could be more sensitive to dietary protein. Conclusions/Significance - In conclusion, evidence suggests a small beneficial effect of protein on BP, especially for plant protein. A blood pressure lowering effect of protein may have important public health implications. However, this warrants further investigation in randomized controlled trials. Furthermore, more data are needed on protein from specific sources in relation to BP, and on the protein-BP relation in population subgroup

Molecular and cellular mechanisms underlying the evolution of form and function in the amniote jaw.

The amniote jaw complex is a remarkable amalgamation of derivatives from distinct embryonic cell lineages. During development, the cells in these lineages experience concerted movements, migrations, and signaling interactions that take them from their initial origins to their final destinations and imbue their derivatives with aspects of form including their axial orientation, anatomical identity, size, and shape. Perturbations along the way can produce defects and disease, but also generate the variation necessary for jaw evolution and adaptation. We focus on molecular and cellular mechanisms that regulate form in the amniote jaw complex, and that enable structural and functional integration. Special emphasis is placed on the role of cranial neural crest mesenchyme (NCM) during the species-specific patterning of bone, cartilage, tendon, muscle, and other jaw tissues. We also address the effects of biomechanical forces during jaw development and discuss ways in which certain molecular and cellular responses add adaptive and evolutionary plasticity to jaw morphology. Overall, we highlight how variation in molecular and cellular programs can promote the phenomenal diversity and functional morphology achieved during amniote jaw evolution or lead to the range of jaw defects and disease that affect the human condition

X-ray fluorescence analysis of long-term changes in the levels and distributions of trace elements in the rat brain following mechanical injury

This paper describes the results of the application of X-ray fluorescence microscopy to the qualitative, topographic and quantitative elemental analysis of nervous tissue from rats with neocortical brain injury. The tissue samples were analyzed with a 15 μm beam defined by the size of the polycapillary focus. Raster scanning of the samples generated 2D cartographies, revealing the distributions of elements such as P, S, Cl, K, Ca, Fe, Cu, and Zn. Special emphasis was placed on the analysis of the areas neighboring the lesion site and the hippocampal formation tissue. The results obtained for rats with mechanical brain injuries were compared with those recorded for controls and animals with pilocarpine-induced seizures. There were no significant differences in the elemental compositions of gray and white matter between injured and uninjured brain hemispheres. A higher level of Ca was observed in the gray matter of both of the hemispheres in brains with neocortical injuries. A similar relation was noticed for Fe in the white matter. A comparative study of hippocampal formation tissue showed a statistically significant decrease in the mass per unit area of P in the dentate gyrus (DG) and the hilus (H) of DG for animals with brain lesions in comparison with the control group. Analogous relations were found for Cu in the DG and Zn in sector 3 of Ammon’s horn (CA3) and the DG. It is important to note that identical changes in the same areas were observed for animals with pilocarpine-induced seizures in our previous study