A long line of research has studied the power of conflictdriven clause learning (CDCL) and how it compares to the resolution proof system in which it searches for proofs. It has been shown that CDCL can polynomially simulate resolution even with an adversarially chosen learning scheme as long as it is asserting. However, the simulation only works under the assumption that no learned clauses are...

Plant reproductive trade-offs are thought to be caused by resource limitations or other constraints, but more empirical support for these hypotheses would be welcome. Additionally, quantitative characterization of these trade-offs, as well as consideration of whether they are linear, could yield additional insights. We expanded our flower removal research on lowbush blueberry (Vaccinium angusti...

OBJECTIVE To motivate the role for preference assessment in women's health and to report pilot data addressing the performance of automated time-trade-off (TTO) valuations of current health, which were developed to estimate quality-adjusted life years (QALYs) in the women's health setting. METHODS Values for current health relative to perfect health and death were assessed using an annual tim...

Managing ecosystems for multiple ecosystem services and balancing the well-being of diverse stakeholders involves different kinds of trade-offs. Often trade-offs involve noneconomic and difficult-to-evaluate values, such as cultural identity, employment, the well-being of poor people, or particular species or ecosystem structures. Although trade-offs need to be considered for successful environ...

Tetlock’s sacred value protection model (SVPM) proposed that taboo trade-offs evoke a strong moral reaction in people who resist secular encroachments on their sacred values. This strong moral reaction can be thought of as setting a moral limit on the extent of markets in society. In addition, Tetlock (2000) also suggested that a substantial minority of participants are susceptible to trading o...

Trade-offs have been put forward as essential to the generation and maintenance of diversity. However, variation in trade-offs is often determined at the molecular level, outside the scope of conventional ecological inquiry. In this study, we propose that understanding the intracellular basis for trade-offs in microbial systems can aid in predicting and interpreting patterns of diversity. First...

Central to evolutionary theory is the idea that living organisms face phenotypic and/or genetic trade-offs when allocating resources to competing life-history demands, such as growth, survival, and reproduction. These trade-offs are increasingly considered to be crucial to further our understanding of cancer. First, evidences suggest that neoplastic cells, as any living entities subject to natu...

Trade-offs are thought to impose barriers to phenotypic diversification and may limit the evolutionary responses of organisms to environmental changes. In particular, locomotor trade-offs between endurance or maximal exertion capacity and burst performance capacity have been observed in some species and may constrain the ability of organisms to disperse. Here, we tested for the presence of loco...