Variable Elimination in Linear Constraints

Gauss and Fourier have together provided us with the essential techniques for symbolic computation with linear arithmetic constraints over the reals and the rationals. These variable elimination techniques for linear constraints have particular significance in the context of constraint logic programming languages that have been developed in recent years. Variable elimination in linear equations (Guassian Elimination) is a fundamental technique in computational linear algebra and is therefore quite familiar to most of us. Elimination in linear inequalities (Fourier Elimination), on the other hand, is intimately related to polyhedral theory and aspects of linear programming that are not quite as familiar. In addition, the high complexity of elimination in inequalities has forces the consideration of intricate specializations of Fourier's original method. The intent of this survey article is to acquaint the reader with these connections and developments. The latter part of the article dwells on the thesis that variable elimination in linear constraints over the reals extends quite naturally to constraints in certain discrete domains.

Proposed role of w chromosome inactivation and the absence of dosage compensation in avian sex determination

Three features of avian sex chromosomes - female heterogamety (ZZ male, ZW female), the apparently inactive state of the W chromosome, and dose-dependent expression of Z-linked genes - are examined in regard to their possible relation to sex determination. It is proposed that the W chromosome is facultatively heterochromatic and that the Z and W chromosomes carry one or more homologous sex-determination genes. The absence of dosage compensation in ZZ embryos, and W inactivation in ZW embryos, would then bring about a 2n(ZZ)-n(ZW) inequality in the effective copy number of such genes. The absence of dosage compensation of Z-linked genes in ZZ embryos is viewed as a means by which two copies of Z-W homologous sex determination genes are kept active to meet the requirements of testis determination. W inactivation may promote ovarian development by reducing the effective copy number of these genes from 2n to n. If there is a W-specific gene for femaleness, spread of heterochromatization to this gene in cells forming the right gonadal primordium may explain the latter's normally undifferentiated state; reversal of heterochromatization may similarly explain the development of the right gonad into a testis following left ovariectomy.

Synergistic interaction between particular X-chromosome deletions andSex-lethal causes female lethality inDrosophila melanogaster

We studied the effect on female viability of trans-heterozygous combinations of X-chromosome deficiencies and Sxt-(fl), a null allele of Sex-lethal. Twentyfive deficiencies, which together covered 80% of the X chromosome, were tested. Seven of these trans-heterozygous combinations caused significant levels of female lethality. Two of the seven interacting deficiencies include the previously known sex determination genes sans fille and sisterless-a. Four of the remaining uncover X-chromosomal regions that were not hitherto known to contain sex determination genes. These newly identified regions are defined by deficiencies Df(1)RA2 (7D10; 8A4-5), Df(1)KA14 (7F1-2; 8C6), Df(1)C52 (8E; 9C-D) and Df(1)N19 (17A1; 18A2). These four deficiencies were characterized further to determine whether it was the maternal or zygotic dosage that was primarily responsible for the observed lethality of female embryos, daughterless and extra macrochaetae, two known regulators of Sxl, influence the interaction of these deficiencies with Sxl.

Small Ubiquitin-related Modifier Ligase Activity of Mms21 Is Required for Maintenance of Chromosome Integrity during the Unperturbed Mitotic Cell Division Cycle in Saccharomyces cerevisiae

The SUMO ligase activity of Mms21/Nse2, a conserved member of the Smc5/6 complex, is required for resisting extrinsically induced genotoxic stress. We report that the Mms21 SUMO ligase activity is also required during the unchallenged mitotic cell cycle in Saccharomyces cerevisiae. SUMO ligase-defective cells were slow growing and spontaneously incurred DNA damage. These cells required caffeine-sensitive Mec1 kinase-dependent checkpoint signaling for survival even in the absence of extrinsically induced genotoxic stress. SUMO ligase-defective cells were sensitive to replication stress and displayed synthetic growth defects with DNA damage checkpoint-defective mutants such as mec1, rad9, and rad24. MMS21 SUMO ligase and mediator of replication checkpoint 1 gene (MRC1) were epistatic with respect to hydroxyurea-induced replication stress or methyl methanesulfonate-induced DNA damage sensitivity. Subjecting Mms21 SUMO ligase-deficient cells to transient replication stress resulted in enhancement of cell cycle progression defects such as mitotic delay and accumulation of hyperploid cells. Consistent with the spontaneous activation of the DNA damage checkpoint pathway observed in the Mms21-mediated sumoylation-deficient cells, enhanced frequency of chromosome breakage and loss was detected in these mutant cells. A mutation in the conserved cysteine 221 that is engaged in coordination of the zinc ion in Loop 2 of the Mms21 SPL-RING E3 ligase catalytic domain resulted in strong replication stress sensitivity and also conferred slow growth and Mec1 dependence to unchallenged mitotically dividing cells. Our findings establish Mms21-mediated sumoylation as a determinant of cell cycle progression and maintenance of chromosome integrity during the unperturbed mitotic cell division cycle in budding yeast.

Isolation of an 800 kb contiguous DNA fragment encompassing a 3.5-cM region of chromosome 1 in Arabidopsis using YAC clones

The apetalal mutation of Arabidopsis affects floral meristem identity and the development of sepal and petal primordia of the flower. We mapped the available RFLP markers on chromosome 1 that are in the general vicinity of apetalal on a fine structure map and then chose the closest RFLP as a starting point for contiguous DNA (contig) generation. We report here a contig of about 800 kilobases (kb) that spans a 3.5 cM region of chromosome 1. We used genomic libraries of Arabidopsis prepared in yeast artificial chromosome (YAC) vectors and the detailed characterization of 19 YACs is reported. RFLPs displayed by the end fragments from the walk were mapped to align and correlate the genetic and physical maps for this region of chromosome 1. In this segment of the genome, 1 cM corresponds to a little over 200 kb of physical distance.

Angelman Syndrome Protein UBE3A Interacts with Primary Microcephaly Protein ASPM, Localizes to Centrosomes and Regulates Chromosome Segregation

Many proteins associated with the phenotype microcephaly have been localized to the centrosome or linked to it functionally. All the seven autosomal recessive primary microcephaly (MCPH) proteins localize at the centrosome. Microcephalic osteodysplastic primordial dwarfism type II protein PCNT and Seckel syndrome (also characterized by severe microcephaly) protein ATR are also centrosomal proteins. All of the above findings show the importance of centrosomal proteins as the key players in neurogenesis and brain development. However, the exact mechanism as to how the loss-of-function of these proteins leads to microcephaly remains to be elucidated. To gain insight into the function of the most commonly mutated MCPH gene ASPM, we used the yeast two-hybrid technique to screen a human fetal brain cDNA library with an ASPM bait. The analysis identified Angelman syndrome gene product UBE3A as an ASPM interactor. Like ASPM, UBE3A also localizes to the centrosome. The identification of UBE3A as an ASPM interactor is not surprising as more than 80% of Angelman syndrome patients have microcephaly. However, unlike in MCPH, microcephaly is postnatal in Angelman syndrome patients. Our results show that UBE3A is a cell cycle regulated protein and its level peaks in mitosis. The shRNA knockdown of UBE3A in HEK293 cells led to many mitotic abnormalities including chromosome missegregation, abnormal cytokinesis and apoptosis. Thus our study links Angelman syndrome protein UBE3A to ASPM, centrosome and mitosis for the first time. We suggest that a defective chromosome segregation mechanism is responsible for the development of microcephaly in Angelman syndrome.

Unimolecular HCl elimination from 1,2-dichloroethane: A single pulse shock tube and ab initio study

Thermal decomposition of 1,2-dichloroethane (1,2-DCE) has been studied in the temperature range of 10501175 K behind reflected shock waves in a single pulse shock tube. The unimolecular elimination of HCl is found to be the major channel through which 1,2-DCE decomposes under these conditions. The rate constant for the unimolecular elimination of HCl from 1,2-dichloroethane is found to be 10(13.98+/-0.80) exp(-57.8+/-2.0/RT) s(-1), where the activation energy is given in kcal mol(-1) and is very close to that value for CH3CH2Cl (EC). Ab initio (HF and MP2) and DFT calculations have been carried out to find the activation barrier and the structure of the transition state for this reaction channel from both EC and 1,2-DCE. The preexponential factors calculated at various levels of theory (BF/6-311++G**, MP2/6-311++G**, and B3LYP/6-311++G**) are (approximate to10(15) s(-1)) significantly larger than the experimental results. If the torsional mode in the ground state is treated as free internal rotation the preexponential factors reduce significantly, giving excellent agreement with experimental values. The DFT results are in excellent (fortuitous?) agreement with the experimental value for activation energy for 1,2-DCE while the MP2 and HF results seem to overestimate the barrier. However, DFT results for EC is 4.5 kcal mol(-1) less than the previously reported experimental values. At all levels, theory predicts an increase in HCI elimination barrier on beta-Cl substitution on EC.

Ab initio, DFT and transition state theory calculations on 1,2-HF, HCI and CIF elimination reactions from CH2F-CH2Cl

This paper reports ab intio, DFT and transition state theory (TST) calculations on HF, HCI and CIF elimination reactions from CH2Cl-CH2F molecule. Both the ground state and the transition state for HX elimination reactions have been optimized at HF, MP2 and DFT calculations with 6-31G*, 6-31G** and 6-311++G** basis sets. In addition, CCSD(T) single point calculations were carried out with MP2/6-311++G** optimized geometry for more accurate determination of the energies of the minima and transition state, compared to the other methods employed here. Classical barriers are converted to Arrhenius activation energy by TST calculations for comparisons with experimental results. The pre-exponential factors, A, calculated at all levels of theory are significantly larger than the experimental values. For activation energy, E-a DFT gives good results for HF elimination, within 4-8 W mol(-1) from experimental values. None of the methods employed, including CCSD(T), give comparable results for HCI elimination reactions. However, rate constants calculated by CCSD(T) method are in very good agreement with experiment for HCI elimination and they are in reasonable agreement for HF elimination reactions. Due to the strong correlation between A and E., the rate constants could be fit to a lower A and E-a (as given by experimental fitting, corresponding to a tight TS) or to larger A and E-a (as given by high level ab initio calculations, corresponding to a loose TS). The barrier for CIF elimination is determined to be 607 U mol(-1) at HF level and it is unlikely to be important for CH2FCH2Cl. Results for other CH2X-CH2Y (X,Y = F/Cl) are included for comparison.

The inactive X chromosome in the human female is enriched in 5-methylcytosine to an unusual degree and appears to contain more of this modified nucleotide than the remainder of the genome

By employing a procedure that combines ELISA and photoacoustic spectroscopy, we have examined the content of 5-methylcytosine (m(5)C) in DNA of individuals who differed from one another in the number of X chromosomes in their genomes. The results show that the human inactive X chromosome (Xi) contains very high amounts of this modified nucleotide. We estimate that in the 46,XX female there is more m(5)C in Xi (similar to3.6 x 10(7)) than in all the remaining chromosomes put together (similar to2.1 x 10(7)). Our results also suggest that nearly one-fifth of all cytosines in Xi are methylated and that, in addition to CpG methylation, there is extensive non-CpG methylation as well.

A Multilevel inverter structure with cascaded two level and three level inverters for IM drive with CMV elimination and DC link capacitor voltage balancing

Common mode voltage (CMV) variations in PWM inverter-fed drives generate unwanted shaft and bearing current resulting in early motor failure. Multilevel inverters reduce this problem to some extent, with higher number of levels. But the complexity of the power circuit increases with an increase in the number of inverter voltage levels. In this paper a five-level inverter structure is proposed for open-end winding induction motor (IM) drives, by cascading only two conventional two-level and three-level inverters, with the elimination of the common mode voltage over the entire modulation range. The DC link power supply requirement is also optimized by means of DC link capacitor voltage balancing, with PWM control, using only inverter switching state redundancies. The proposed power circuit gives a simple power bus structure.

A five level inverter scheme with common mode volatge elimination by cascading conventional two level and three level NPC inverters for an induction motor drive

Common-mode voltage generated by the PWM inverter causes shaft voltage, bearing current and ground leakage current in induction motor drive system, resulting in an early motor failure. This paper presents a common-mode elimination scheme for a five-level inverter with reduced power circuit complexity. The proposed scheme is realised by cascading conventional two-level and conventional NPC three-level inverters in conjunction with an open-end winding three-phase induction motor drive and the common-mode voltage (CMV) elimination is achieved by using only switching states that result in zero CMV, for the entire modulation range.

Adaptive Harmonic Elimination Technique in Single Phase PWM Inverters

High frequency PWM inverters produce an output voltage spectrum at the fundamental reference frequency and around the switching frequency. Thus ideally PWM inverters do not introduce any significant lower order harmonics. However, in real systems, due to dead-time effect, device drops and other non-idealities lower order harmonics are present. In order to attenuate these lower order harmonics and hence to improve the quality of output current, this paper presents an \emph{adaptive harmonic elimination technique}. This technique uses an adaptive filter to estimate a particular harmonic that is to be attenuated and generates a voltage reference which will be added to the voltage reference produced by the current control loop of the inverter. This would have an effect of cancelling the voltage that was producing the particular harmonic. The effectiveness and the limitations of the technique are verified experimentally in a single phase PWM inverter in stand-alone as well as g rid interactive modes of operation.