Catabolite repression of phosphoenolpyruvate carboxykinase by a zinc finger protein under biotin- and pyruvate carboxylase-deficient conditions in Pichia pastoris

We have identified a methanol- and biotin-starvation-inducible zinc finger protein named ROP [repressor of phosphoenolpyruvate carboxykinase (PEPCK)] in the methylotrophic yeast Pichia pastoris. When P. pastoris strain GS115 (wild-type, WT) is cultured in biotin-deficient, glucose-ammonium (Bio(-)) medium, growth is suppressed due to the inhibition of anaplerotic synthesis of oxaloacetate, catalysed by the biotin-dependent enzyme pyruvate carboxylase (PC). Deletion of ROP results in a strain (Delta ROP) that can grow under biotin-deficient conditions due to derepression of a biotin- and PC-independent pathway of anaplerotic synthesis of oxaloacetate. Northern analysis as well as microarray expression profiling of RNA isolated from WT and Delta ROP strains cultured in Bio(-) medium indicate that expression of the phosphoenolpyruvate carboxykinase gene (PEPCK) is induced in Delta ROP during biotin- or PC-deficiency even under glucose-abundant conditions. There is an excellent correlation between PEPCK expression and growth of Delta ROP in Bio(-) medium, suggesting that ROP-mediated regulation of PEPCK may have a crucial role in the biotin- and PC-independent growth of the Delta ROP strain. To our knowledge, ROP is the first example of a zinc finger transcription factor involved in the catabolite repression of PEPCK in yeast cells cultured under biotin- or PC-deficient and glucose-abundant conditions.

Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

Molybdenum trioxide catalyzed oxidative cross-dehydrogenative coupling of benzylic sp(3) C-H bonds: synthesis of alpha-aminophosphonates under aerobic conditions

Molybdenum trioxide (MoO3) catalyzed efficient oxidative cross-dehydrogenative-coupling (CDC) method for C-H functionalization of N-aryl tetrahydroisoquinolines has been explored. This user-friendly method of synthesizing alpha-aminophosphonates employs 1.1 equiv of dialkyl-H-phosphonate under aerobic condition. Formation of new C-P bonds from unfunctionalized starting materials under environmentally benign conditions provides an excellent avenue for the synthesis of biologically active alpha-aminophosphonates. (C) 2012 Elsevier Ltd. All rights reserved.

Reactive power optimization with different objectives in large power systems including HVDC systems and FACTS devices

Present day power systems are growing in size and complexity of operation with inter connections to neighboring systems, introduction of large generating units, EHV 400/765 kV AC transmission systems, HVDC systems and more sophisticated control devices such as FACTS. For planning and operational studies, it requires suitable modeling of all components in the power system, as the number of HVDC systems and FACTS devices of different type are incorporated in the system. This paper presents reactive power optimization with three objectives to minimize the sum of the squares of the voltage deviations (ve) of the load buses, minimization of sum of squares of voltage stability L-indices of load buses (¿L2), and also the system real power loss (Ploss) minimization. The proposed methods have been tested on typical sample system. Results for Indian 96-bus equivalent system including HVDC terminal and UPFC under normal and contingency conditions are presented.

Novel and efficient protocol for the syntheses of N-1 substituted thiohydantoin and a bicyclothiohydantoin under solvent-free conditions

A novel approach for the synthesis of N-1 substituted thiohydantoin has been developed to give quantitative yields of the desired products. The efficient synthesis of bis-thiohydantoin derivative and bicyclothiohydantoin has extended scope and applicability of present method. Solvent-free conditions and very easy work-up procedure make the reaction convenient and eco-friendly. All the products were characterized by spectroscopic techniques and elemental analysis, and finally the structure of representative ;compound was also confirmed by X-ray crystallography. (C) 2012 Elsevier Ltd. All rights reserved.

Reactivity of Bispropargyl Sulfones under Basic Conditions: Interplay Between Garratt-Braverman and Schmittel/Myers-Saito Cyclization Pathway

The preference for GarrattBraverman (GB) over MyersSaito (MS) and Schmittel (SCM) cyclizations has recently been demonstrated in sulfones capable of undergoing all three of the processes. As the GB cyclization is a self-quenching process, there is a need to change the selectivity to the non-self-quenching MS or SCM pathway so as to enhance the DNA-cleaving efficiency that operates through the radical-mediated process. Herein we report a conformational constraint-based strategy developed by using computations (M06-2X/6-31+G*) to switch the selectivity from GB to MS/SCM pathway which also results in greater DNA-cleavage activity. The preference for GB could be brought back by easing the constraint with the help of spacers.

Sensitivity of polyvinylidene fluoride films to mechanical vibration modes and impact after optimizing stretching conditions

The β-phase of polyvinylidene fluoride (PVDF) is well known for its piezoelectric properties. PVDF films have been developed using solvent cast method. The films thus produced are in α-phase. The α-phase is transformed to piezoelectric β-phase when the film is hot-stretched with various different stretching factors at various different temperatures. The films are then characterized in terms of their mechanical properties and surface morphological changes during the transformation from α- to β-phases by using X-ray diffraction, differential scanning calorimeter, Raman spectra, Infrared spectra, tensile testing, and scanning electron microscopy. The films showed increased crystallinity with stretching at temperature up to 80°C. The optimum conditions to achieve β-phase have been discussed in detail. The fabricated PVDF sensors have been tested for free vibration and impact on plate structure, and its response is compared with conventional piezoelectric wafer type sensor. The resonant and antiresonant peaks in the frequency response of PVDF sensor match well with that of lead zirconate titanate wafer sensors. Effective piezoelectric properties and the variations in the frequency response spectra due to free vibration and impact loading conditions are reported. POLYM. ENG. SCI., 2012. © 2012 Society of Plastics Engineers.

Continuum theory of edge states of topological insulators: variational principle and boundary conditions

We develop a continuum theory to model low energy excitations of a generic four-band time reversal invariant electronic system with boundaries. We propose a variational energy functional for the wavefunctions which allows us to derive natural boundary conditions valid for such systems. Our formulation is particularly suited for developing a continuum theory of the protected edge/surface excitations of topological insulators both in two and three dimensions. By a detailed comparison of our analytical formulation with tight binding calculations of ribbons of topological insulators modelled by the Bernevig-Hughes-Zhang (BHZ) Hamiltonian, we show that the continuum theory with a natural boundary condition provides an appropriate description of the low energy physics.

General-sum stochastic games: Verifiability conditions for Nash equilibria

Unlike zero-sum stochastic games, a difficult problem in general-sum stochastic games is to obtain verifiable conditions for Nash equilibria. We show in this paper that by splitting an associated non-linear optimization problem into several sub-problems, characterization of Nash equilibria in a general-sum discounted stochastic games is possible. Using the aforementioned sub-problems, we in fact derive a set of necessary and sufficient verifiable conditions (termed KKT-SP conditions) for a strategy-pair to result in Nash equilibrium. Also, we show that any algorithm which tracks the zero of the gradient of the Lagrangian of every sub-problem provides a Nash strategy-pair. (c) 2012 Elsevier Ltd. All rights reserved.

A QUADRATIC C degrees INTERIOR PENALTY METHOD FOR LINEAR FOURTH ORDER BOUNDARY VALUE PROBLEMS WITH BOUNDARY CONDITIONS OF THE CAHN-HILLIARD TYPE

We develop a quadratic C degrees interior penalty method for linear fourth order boundary value problems with essential and natural boundary conditions of the Cahn-Hilliard type. Both a priori and a posteriori error estimates are derived. The performance of the method is illustrated by numerical experiments.