Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore generates linear constraints that pinpoint the desired quantitative invariants. We evaluate our technique by several case studies with polynomial quantitative loop invariants in the experiments

Estimation and inference under economic restrictions

Estimation of economic relationships often requires imposition of constraints such as positivity or monotonicity on each observation. Methods to impose such constraints, however, vary depending upon the estimation technique employed. We describe a general methodology to impose (observation-specific) constraints for the class of linear regression estimators using a method known as constraint weighted bootstrapping. While this method has received attention in the nonparametric regression literature, we show how it can be applied for both parametric and nonparametric estimators. A benefit of this method is that imposing numerous constraints simultaneously can be performed seamlessly. We apply this method to Norwegian dairy farm data to estimate both unconstrained and constrained parametric and nonparametric models

Characterization of deposits formed on diesel injectors in field test and from thermal oxidative degradation of n-hexadecane in a laboratory reactor

Solid deposits from commercially available high-pressure diesel injectors (HPDI) were analyzed to study the solid deposition from diesel fuel during engine operation. The structural and chemical properties of injector deposits were compared to those formed from the thermal oxidative stressing of a diesel fuel range model compound, n-hexadecane at 160°C and 450 psi for 2.5 h in a flow reactor. Both deposits consist of polyaromatic compounds (PAH) with oxygen moieties. The similarities in structure and composition of the injector deposits and n-hexadecane deposits suggest that laboratory experiments can simulate thermal oxidative degradation of diesel in commercial injectors. The formation of PAH from n-hexadecane showed that aromatization of straight chain alkanes and polycondensation of aromatic rings was possible at temperatures as low as 160°C in the presence of oxygen. A mechanism for an oxygen-assisted aromatization of cylcoalkanes is proposed

Fumarate Analogs Act as Allosteric Inhibitors of the Human Mitochondrial NAD(P)+-Dependent Malic Enzyme

Human mitochondrial NAD(P)+-dependent malic enzyme (m-NAD(P)-ME) is allosterically activated by the four-carbon trans dicarboxylic acid, fumarate. Previous studies have suggested that the dicarboxylic acid in a trans conformation around the carbon-carbon double bond is required for the allosteric activation of the enzyme. In this paper, the allosteric effects of fumarate analogs on m-NAD(P)-ME are investigated. Two fumarate-insensitive mutants, m-NAD(P)-ME_R67A/R91A and m-NAD(P)-ME_K57S/E59N/K73E/D102S, as well as c-NADP-ME, were used as the negative controls. Among these analogs, mesaconate, trans-aconitate, monomethyl fumarate and monoethyl fumarate were allosteric activators of the enzyme, while oxaloacetate, diethyl oxalacetate, and dimethyl fumarate were found to be allosteric inhibitors of human m-NAD(P)-ME. The IC50 value for diethyl oxalacetate was approximately 2.5 mM. This paper suggests that the allosteric inhibitors may impede the conformational change from open form to closed form and therefore inhibit m-NAD(P)-ME enzyme activity

A Genetic Strategy for Stochastic Gene Activation with Regulated Sparseness (STARS)

It remains a challenge to establish a straightforward genetic approach for controlling the probability of gene activation or knockout at a desired level. Here, we developed a method termed STARS: stochastic gene activation with genetically regulated sparseness. The stochastic expression was achieved by two cross-linked, mutually-exclusive Cre-mediated recombinations. The stochastic level was further controlled by regulating Cre/lox reaction kinetics through varying the intrachromosomal distance between the lox sites mediating one of the recombinations. In mammalian cell lines stably transfected with a single copy of different STARS transgenes, the activation/knockout of reporter genes was specifically controlled to occur in from 5% to 50% of the cell population. STARS can potentially provide a convenient way for genetic labeling as well as gene expression/knockout in a population of cells with a desired sparseness level

Probing Chemical Space with Alkaloid-Inspired Libraries

Screening of small molecule libraries is an important aspect of probe and drug discovery science. Numerous authors have suggested that bioactive natural products are attractive starting points for such libraries, due to their structural complexity and sp3-rich character. Here, we describe the construction of a screening library based on representative members of four families of biologically active alkaloids (Stemonaceae, the structurally related cyclindricine and lepadiformine families, lupin, and Amaryllidaceae). In each case, scaffolds were based on structures of the naturally occurring compounds or a close derivative. Scaffold preparation was pursued following the development of appropriate enabling chemical methods. Diversification provided 686 new compounds suitable for screening. The libraries thus prepared had structural characteristics, including sp3 content, comparable to a basis set of representative natural products and were highly rule-of-five compliant

Combination schemes for turning point prediction

We propose new forecast combination schemes for predicting turning points of business cycles. The combination schemes deal with the forecasting performance of a given set of models and possibly providing better turning point predictions. We consider turning point predictions generated by autoregressive (AR) and Markov-Switching AR models, which are commonly used for business cycle analysis. In order to account for parameter uncertainty we consider a Bayesian approach to both estimation and prediction and compare, in terms of statistical accuracy, the individual models and the combined turning point predictions for the United States and Euro area business cycles

Fumarate Reductase Activity Maintains an Energized Membrane in Anaerobic Mycobacterium tuberculosis

Oxygen depletion of Mycobacterium tuberculosis engages the DosR regulon that coordinates an overall down-regulation of metabolism while up-regulating specific genes involved in respiration and central metabolism. We have developed a chemostat model of M. tuberculosis where growth rate was a function of dissolved oxygen concentration to analyze metabolic adaptation to hypoxia. A drop in dissolved oxygen concentration from 50 mmHg to 0.42 mmHg led to a 2.3 fold decrease in intracellular ATP levels with an almost 70-fold increase in the ratio of NADH/NAD+. This suggests that re-oxidation of this co-factor becomes limiting in the absence of a terminal electron acceptor. Upon oxygen limitation genes involved in the reverse TCA cycle were upregulated and this upregulation was associated with a significant accumulation of succinate in the extracellular milieu. We confirmed that this succinate was produced by a reversal of the TCA cycle towards the non-oxidative direction with net CO2 incorporation by analysis of the isotopomers of secreted succinate after feeding stable isotope (13C) labeled precursors. This showed that the resulting succinate retained both carbons lost during oxidative operation of the TCA cycle. Metabolomic analyses of all glycolytic and TCA cycle intermediates from 13C-glucose fed cells under aerobic and anaerobic conditions showed a clear reversal of isotope labeling patterns accompanying the switch from normoxic to anoxic conditions. M. tuberculosis encodes three potential succinate-producing enzymes including a canonical fumarate reductase which was highly upregulated under hypoxia. Knockout of frd, however, failed to reduce succinate accumulation and gene expression studies revealed a compensatory upregulation of two homologous enzymes. These major realignments of central metabolism are consistent with a model of oxygen-induced stasis in which an energized membrane is maintained by coupling the reductive branch of the TCA cycle to succinate secretion. This fermentative process may offer unique targets for the treatment of latent tuberculosis

Thermodynamics-Based Models of Transcriptional Regulation by Enhancers: The Roles of Synergistic Activation, Cooperative Binding and Short-Range Repression

Quantitative models of cis-regulatory activity have the potential to improve our mechanistic understanding of transcriptional regulation. However, the few models available today have been based on simplistic assumptions about the sequences being modeled, or heuristic approximations of the underlying regulatory mechanisms. We have developed a thermodynamics-based model to predict gene expression driven by any DNA sequence, as a function of transcription factor concentrations and their DNA-binding specificities. It uses statistical thermodynamics theory to model not only protein-DNA interaction, but also the effect of DNA-bound activators and repressors on gene expression. In addition, the model incorporates mechanistic features such as synergistic effect of multiple activators, short range repression, and cooperativity in transcription factor-DNA binding, allowing us to systematically evaluate the significance of these features in the context of available expression data. Using this model on segmentation-related enhancers in Drosophila, we find that transcriptional synergy due to simultaneous action of multiple activators helps explain the data beyond what can be explained by cooperative DNA-binding alone. We find clear support for the phenomenon of short-range repression, where repressors do not directly interact with the basal transcriptional machinery. We also find that the binding sites contributing to an enhancer's function may not be conserved during evolution, and a noticeable fraction of these undergo lineage-specific changes. Our implementation of the model, called GEMSTAT, is the first publicly available program for simultaneously modeling the regulatory activities of a given set of sequences

Induction of Erythroid Differentiation in Human Erythroleukemia Cells by Depletion of Malic Enzyme 2

Malic enzyme 2 (ME2) is a mitochondrial enzyme that catalyzes the conversion of malate to pyruvate and CO2 and uses NAD as a cofactor. Higher expression of this enzyme correlates with the degree of cell de-differentiation. We found that ME2 is expressed in K562 erythroleukemia cells, in which a number of agents have been found to induce differentiation either along the erythroid or the myeloid lineage. We found that knockdown of ME2 led to diminished proliferation of tumor cells and increased apoptosis in vitro. These findings were accompanied by differentiation of K562 cells along the erythroid lineage, as confirmed by staining for glycophorin A and hemoglobin production. ME2 knockdown also totally abolished growth of K562 cells in nude mice. Increased ROS levels, likely reflecting increased mitochondrial production, and a decreased NADPH/NADP+ ratio were noted but use of a free radical scavenger to decrease inhibition of ROS levels did not reverse the differentiation or apoptotic phenotype, suggesting that ROS production is not causally involved in the resultant phenotype. As might be expected, depletion of ME2 induced an increase in the NAD+/NADH ratio and ATP levels fell significantly. Inhibition of the malate-aspartate shuttle was insufficient to induce K562 differentiation. We also examined several intracellular signaling pathways and expression of transcription factors and intermediate filament proteins whose expression is known to be modulated during erythroid differentiation in K562 cells. We found that silencing of ME2 leads to phospho-ERK1/2 inhibition, phospho-AKT activation, increased GATA-1 expression and diminished vimentin expression. Metabolomic analysis, conducted to gain insight into intermediary metabolic pathways that ME2 knockdown might affect, showed that ME2 depletion resulted in high orotate levels, suggesting potential impairment of pyrimidine metabolism. Collectively our data point to ME2 as a potentially novel metabolic target for leukemia therapy