Structurally Defined Conditional Data-Flow Static Analysis

Data flow analysis (DFA) is an important verification technique that computes the effect of data values propagating over program paths. While more precise than flow-insensitive analyses, such an analysis is time-consuming. This paper investigates the acceleration of DFA by structural decomposition of the underlying control flow graph. Specifically, we explore the cost and effectiveness of dividing program paths into subsets by partitioning path suffixes at conditional statements, applying a DFA on each subset, and then combining the resulting invariants. This yields a family of independent DFA problems that are solved in parallel and where the partial results of each problem represent safe program invariants. Empirical evaluations reveal that depending on the DFA type and its conditional implementation the invariants for a large fraction of program points can be computed in less time than traditional DFA. This work suggests a strategy for an “anytime DFA” algorithm: computing safe program invariants as the analysis proceeds

Comparison of three wet-alkaline methods of digestion of biogenic silica in water

Methods for determination of low levels of biogenic silica (0.2–0.4 mg SiO 2 ) in aqueous samples after digestion with three wetalkaline extraction procedures compared favourably in both precision of replicates and recovery of silica utilized by diatoms in budgeted cultures. Leaching samples with 0.2 M NaOH for 10–15 min at 100°C was the least time consuming procedure. Also interference from silicate minerals was lower for this method than leaching with either 0.5 or 5% Na 2 CO 3 for 2 h at 85°C. The use of filters to concentrate samples enables detection of low levels of biogenic silica with colorimetric procedures. Polycarbonate filters are recommended in preference to cellulose acetate or polyvinyl chloride filters for sample collection. Time-course experiments are recommended for establishing digestion times and determining the presence of mineral silicate interference. Wet-alkaline digestion methods are recommended for routine analysis of biogenic silica in suspended matter in preference to infra-red analysis, alkaline fusion and hydrofluoric acid/nitric acid methods.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/74725/1/j.1365-2427.1983.tb00658.x.pd

Protein crystals in adenovirus type 5-infected cells: requirements for intranuclear crystallogenesis, structural and functional analysis

Intranuclear crystalline inclusions have been observed in the nucleus of epithelial cells infected with Adenovirus serotype 5 (Ad5) at late steps of the virus life cycle. Using immuno-electron microscopy and confocal microscopy of cells infected with various Ad5 recombinants modified in their penton base or fiber domains, we found that these inclusions represented crystals of penton capsomers, the heteromeric capsid protein formed of penton base and fiber subunits. The occurrence of protein crystals within the nucleus of infected cells required the integrity of the fiber knob and part of the shaft domain. In the knob domain, the region overlapping residues 489–492 in the FG loop was found to be essential for crystal formation. In the shaft, a large deletion of repeats 4 to 16 had no detrimental effect on crystal inclusions, whereas deletion of repeats 8 to 21 abolished crystal formation without altering the level of fiber protein expression. This suggested a crucial role of the five penultimate repeats in the crystallisation process. Chimeric pentons made of Ad5 penton base and fiber domains from different serotypes were analyzed with respect to crystal formation. No crystal was found when fiber consisted of shaft (S) from Ad5 and knob (K) from Ad3 (heterotypic S5-K3 fiber), but occurred with homotypic S3K3 fiber. However, less regular crystals were observed with homotypic S35-K35 fiber. TB5, a monoclonal antibody directed against the Ad5 fiber knob was found by immunofluorescence microscopy to react with high efficiency with the intranuclear protein crystals in situ. Data obtained with Ad fiber mutants indicated that the absence of crystalline inclusions correlated with a lower infectivity and/or lower yields of virus progeny, suggesting that the protein crystals might be involved in virion assembly. Thus, we propose that TB5 staining of Ad-infected 293 cells can be used as a prognostic assay for the viability and productivity of fiber-modified Ad5 vectors

Immunogenicity Is Not Improved by Increased Antigen Dose or Booster Dosing of Seasonal Influenza Vaccine in a Randomized Trial of HIV Infected Adults

The risk of poor vaccine immunogenicity and more severe influenza disease in HIV necessitate strategies to improve vaccine efficacy.A randomized, multi-centered, controlled, vaccine trial with three parallel groups was conducted at 12 CIHR Canadian HIV Trials Network sites. Three dosing strategies were used in HIV infected adults (18 to 60 years): two standard doses over 28 days, two double doses over 28 days and a single standard dose of influenza vaccine, administered prior to the 2008 influenza season. A trivalent killed split non-adjuvanted influenza vaccine (Fluviral™) was used. Serum hemagglutinin inhibition (HAI) activity for the three influenza strains in the vaccine was measured to assess immunogenicity.297 of 298 participants received at least one injection. Baseline CD4 (median 470 cells/µL) and HIV RNA (76% of patients with viral load <50 copies/mL) were similar between groups. 89% were on HAART. The overall immunogenicity of influenza vaccine across time points and the three influenza strains assessed was poor (Range HAI ≥ 40 =  31-58%). Double dose plus double dose booster slightly increased the proportion achieving HAI titre doubling from baseline for A/Brisbane and B/Florida at weeks 4, 8 and 20 compared to standard vaccine dose. Increased immunogenicity with increased antigen dose and booster dosing was most apparent in participants with unsuppressed HIV RNA at baseline. None of 8 serious adverse events were thought to be immunization-related.Even with increased antigen dose and booster dosing, non-adjuvanted influenza vaccine immunogenicity is poor in HIV infected individuals. Alternative influenza vaccines are required in this hyporesponsive population.ClinicalTrials.gov NCT00764998

IRS-2 Deficiency Impairs NMDA Receptor-Dependent Long-term Potentiation

The beneficial effects of insulin and insulin-like growth factor I on cognition have been documented in humans and animal models. Conversely, obesity, hyperinsulinemia, and diabetes increase the risk for neurodegenerative disorders including Alzheimer's disease (AD). However, the mechanisms by which insulin regulates synaptic plasticity are not well understood. Here, we report that complete disruption of insulin receptor substrate 2 (Irs2) in mice impairs long-term potentiation (LTP) of synaptic transmission in the hippocampus. Basal synaptic transmission and paired-pulse facilitation were similar between the 2 groups of mice. Induction of LTP by high-frequency conditioning tetanus did not activate postsynaptic N-methyl-D-aspartate (NMDA) receptors in hippocampus slices from Irs2−/− mice, although the expression of NR2A, NR2B, and PSD95 was equivalent to wild-type controls. Activation of Fyn, AKT, and MAPK in response to tetanus stimulation was defective in Irs2−/− mice. Interestingly, IRS2 was phosphorylated during induction of LTP in control mice, revealing a potential new component of the signaling machinery which modulates synaptic plasticity. Given that IRS2 expression is diminished in Type 2 diabetics as well as in AD patients, these data may reveal an explanation for the prevalence of cognitive decline in humans with metabolic disorders by providing a mechanistic link between insulin resistance and impaired synaptic transmission

A meta-analysis of long-term effects of conservation agriculture on maize grain yield under rain-fed conditions

Conservation agriculture involves reduced tillage, permanent soil cover and crop rotations to enhance soil fertility and to supply food from a dwindling land resource. Recently, conservation agriculture has been promoted in Southern Africa, mainly for maize-based farming systems. However, maize yields under rain-fed conditions are often variable. There is therefore a need to identify factors that influence crop yield under conservation agriculture and rain-fed conditions. Here, we studied maize grain yield data from experiments lasting 5 years and more under rain-fed conditions. We assessed the effect of long-term tillage and residue retention on maize grain yield under contrasting soil textures, nitrogen input and climate. Yield variability was measured by stability analysis. Our results show an increase in maize yield over time with conservation agriculture practices that include rotation and high input use in low rainfall areas. But we observed no difference in system stability under those conditions. We observed a strong relationship between maize grain yield and annual rainfall. Our meta-analysis gave the following findings: (1) 92% of the data show that mulch cover in high rainfall areas leads to lower yields due to waterlogging; (2) 85% of data show that soil texture is important in the temporal development of conservation agriculture effects, improved yields are likely on well-drained soils; (3) 73% of the data show that conservation agriculture practices require high inputs especially N for improved yield; (4) 63% of data show that increased yields are obtained with rotation but calculations often do not include the variations in rainfall within and between seasons; (5) 56% of the data show that reduced tillage with no mulch cover leads to lower yields in semi-arid areas; and (6) when adequate fertiliser is available, rainfall is the most important determinant of yield in southern Africa. It is clear from our results that conservation agriculture needs to be targeted and adapted to specific biophysical conditions for improved impact

Metabolic manipulation in chronic heart failure: study protocol for a randomised controlled trial

<p>Abstract</p> <p>Background</p> <p>Heart failure is a major cause of morbidity and mortality in society. Current medical therapy centres on neurohormonal modulation with angiotensin converting enzyme inhibitors and β-blockers. There is growing evidence for the use of metabolic manipulating agents as adjunctive therapy in patients with heart failure. We aim to determine the effect of perhexiline on cardiac energetics and alterations in substrate utilisation in patients with non-ischaemic dilated cardiomyopathy.</p> <p>Methods</p> <p>A multi-centre, prospective, randomised double-blind, placebo-controlled trial of 50 subjects with non-ischaemic dilated cardiomyopathy recruited from University Hospital Birmingham NHS Foundation Trust and Cardiff and Vale NHS Trust. Baseline investigations include magnetic resonance spectroscopy to assess cardiac energetic status, echocardiography to assess left ventricular function and assessment of symptomatic status. Subjects are then randomised to receive 200 mg perhexiline maleate or placebo daily for 4 weeks with serum drug level monitoring. All baseline investigations will be repeated at the end of the treatment period. A subgroup of patients will undergo invasive investigations with right and left heart catheterisation to calculate respiratory quotient, and mechanical efficiency. The primary endpoint is an improvement in the phosphocreatine to adenosine triphosphate ratio at 4 weeks. Secondary end points are: i) respiratory quotient; ii) mechanical efficiency; iii) change in left ventricular (LV) function.</p> <p>Trial Registration</p> <p>ClinicalTrials.gov: <a href="http://www.clinicaltrials.gov/ct2/show/NCT00841139">NCT00841139</a></p> <p>ISRCTN: <a href="http://www.controlled-trials.com/ISRCTN2887836">ISRCTN2887836</a></p

Swearing, Euphemisms, and Linguistic Relativity

Participants read aloud swear words, euphemisms of the swear words, and neutral stimuli while their autonomic activity was measured by electrodermal activity. The key finding was that autonomic responses to swear words were larger than to euphemisms and neutral stimuli. It is argued that the heightened response to swear words reflects a form of verbal conditioning in which the phonological form of the word is directly associated with an affective response. Euphemisms are effective because they replace the trigger (the offending word form) by another word form that expresses a similar idea. That is, word forms exert some control on affect and cognition in turn. We relate these findings to the linguistic relativity hypothesis, and suggest a simple mechanistic account of how language may influence thinking in this context

The estrogen receptor-α A908G (K303R) mutation occurs at a low frequency in invasive breast tumors: results from a population-based study

INTRODUCTION: Evidence suggests that alterations in estrogen signaling pathways, including estrogen receptor-α (ER-α), occur during breast cancer development. A point mutation in ER-α (nucleotide A908G), producing an amino acid change from lysine to arginine at codon 303 (K303R) results in receptor hypersensitivity to estrogen. This mutation was initially reported in one-third of hyperplastic benign breast lesions, although several recent studies failed to detect it in benign or malignant breast tissues. METHODS: We screened 653 microdissected, newly diagnosed invasive breast tumors from patients in the Carolina Breast Cancer Study, a population-based case-control study of breast cancer in African American and white women in North Carolina, for the presence of the ER-α A908G mutation by using single-strand conformational polymorphism (SSCP) analysis and (33)P-cycle sequencing. RESULTS: We detected the ER-α A908G mutation in 37 of 653 (5.7%) breast tumors. The absence of this mutation in germline DNA confirmed it to be somatic. Three tumors exhibited only the mutant G base at nucleotide 908 on sequencing, indicating that the wild-type ER-α allele had been lost. The ER-α A908G mutation was found more frequently in higher-grade breast tumors (odds ratio (OR) 2.83; 95% confidence interval (CI) 1.09 to 7.34, grade II compared with grade I), and in mixed lobular/ductal tumors (OR 2.10; 95% CI 0.86 to 5.12) compared with ductal carcinomas, although the latter finding was not statistically significant. CONCLUSION: This population-based study, the largest so far to screen for the ER-α A908G mutation in breast cancer, confirms the presence of the mutant in invasive breast tumors. The mutation was associated with higher tumor grade and mixed lobular/ductal breast tumor histology