75 research outputs found
SCIL - Symbolic Constraints in Integer Linear Programming
We describe SCIL. SCIL introduces symbolic constraints into branch-and-cut-and-price algorithms for integer linear programs. Symbolic constraints are known from constraint programming and contribute significantly to the expressive power, ease of use, and efficiency of constraint programs
Recommended from our members
The Drosophila Forkhead Transcription Factor FOXO Mediates the Reduction in Cell Number Associated with Reduced Insulin Signaling
Background: Forkhead transcription factors belonging to the FOXO subfamily are negatively regulated by protein kinase B (PKB) in response to signaling by insulin and insulin-like growth factor in Caenorhabditis elegans and mammals. In Drosophila, the insulin-signaling pathway regulates the size of cells, organs, and the entire body in response to nutrient availability, by controlling both cell size and cell number. In this study, we present a genetic characterization of dFOXO, the only Drosophila FOXO ortholog. Results: Ectopic expression of dFOXO and human FOXO3a induced organ-size reduction and cell death in a manner dependent on phosphoinositide (PI) 3-kinase and nutrient levels. Surprisingly, flies homozygous for dFOXO null alleles are viable and of normal size. They are, however, more sensitive to oxidative stress. Furthermore, dFOXO function is required for growth inhibition associated with reduced insulin signaling. Loss of dFOXO suppresses the reduction in cell number but not the cell-size reduction elicited by mutations in the insulin-signaling pathway. By microarray analysis and subsequent genetic validation, we have identified d4E-BP, which encodes a translation inhibitor, as a relevant dFOXO target gene. Conclusion: Our results show that dFOXO is a crucial mediator of insulin signaling in Drosophila, mediating the reduction in cell number in insulin-signaling mutants. We propose that in response to cellular stresses, such as nutrient deprivation or increased levels of reactive oxygen species, dFOXO is activated and inhibits growth through the action of target genes such as d4E-BP
Modularity and hormone sensitivity of the Drosophila melanogaster insulin receptor/target of rapamycin interaction proteome
First systematic analysis of the evolutionary conserved InR/TOR pathway interaction proteome in Drosophila.Quantitative mass spectrometry revealed that 22% of identified protein interactions are regulated by the growth hormone insulin affecting membrane proximal as well as intracellular signaling complexes.Systematic RNA interference linked a significant fraction of network components to the control of dTOR kinase activity.Combined biochemical and genetic data suggest dTTT, a dTOR-containing complex required for cell growth control by dTORC1 and dTORC2 in vivo
- …