A Variant of Higher-Order Anti-Unification

We present a rule-based Huet’s style anti-unification algorithm for simply-typed lambda-terms in ɳ long β normal form, which computes a least general higher-order pattern generalization. For a pair of arbitrary terms of the same type, such a generalization always exists and is unique modulo α equivalence and variable renaming. The algorithm computes it in cubic time within linear space. It has been implemented and the code is freely available

Declining labor force attachment and downward trends in unemployment and participation

The US labor market witnessed two apparently unrelated secular movements in thelast 30 years: a decline in unemployment between the early 1980s and the early 2000s,and a decline in participation since the early 2000s. Using CPS micro data and a stock-flow accounting framework, we show that a substantial, and hitherto unnoticed, factorbehind both trends is a decline in the share of nonparticipants who are at the margin ofparticipation. A lower share of marginal nonparticipants implies a lower unemploymentrate, because marginal nonparticipants enter the labor force mostly through unemployment,while other nonparticipants enter the labor force mostly through employment.

Fine-Tuning Translation Kinetics Selection as the Driving Force of Codon Usage Bias in the Hepatitis A Virus Capsid

Hepatitis A virus (HAV), the prototype of genus Hepatovirus, has several unique biological characteristics that distinguish it from other members of the Picornaviridae family. Among these, the need for an intact eIF4G factor for the initiation of translation results in an inability to shut down host protein synthesis by a mechanism similar to that of other picornaviruses. Consequently, HAV must inefficiently compete for the cellular translational machinery and this may explain its poor growth in cell culture. In this context of virus/cell competition, HAV has strategically adopted a naturally highly deoptimized codon usage with respect to that of its cellular host. With the aim to optimize its codon usage the virus was adapted to propagate in cells with impaired protein synthesis, in order to make tRNA pools more available for the virus. A significant loss of fitness was the immediate response to the adaptation process that was, however, later on recovered and more associated to a re-deoptimization rather than to an optimization of the codon usage specifically in the capsid coding region. These results exclude translation selection and instead suggest fine-tuning translation kinetics selection as the underlying mechanism of the codon usage bias in this specific genome region. Additionally, the results provide clear evidence of the Red Queen dynamics of evolution since the virus has very much evolved to re-adapt its codon usage to the environmental cellular changing conditions in order to recover the original fitness.

Mitochondrial Fatty Acid Oxidation in Obesity

Significance: Current lifestyles with high-energy diets and little exercise are triggering an alarming growth in obesity. Excess of adiposity is leading to severe increases in associated pathologies, such as insulin resistance, type 2 diabetes, atherosclerosis, cancer, arthritis, asthma, and hypertension. This, together with the lack of efficient obesity drugs, is the driving force behind much research. Recent Advances: Traditional anti-obesity strategies focused on reducing food intake and increasing physical activity. However, recent results suggest that enhancing cellular energy expenditure may be an attractive alternative therapy. Critical Issues: This review evaluates recent discoveries regarding mitochondrial fatty acid oxidation (FAO) and its potential as a therapy for obesity. We focus on the still controversial beneficial effects of increased FAO in liver and muscle, recent studies on how to potentiate adipose tissue energy expenditure, and the different hypotheses involving FAO and the reactive oxygen species production in the hypothalamic control of food intake. Future Directions: The present review aims to provide an overview of novel anti-obesity strategies that target mitochondrial FAO and that will definitively be of high interest in the future research to fight against obesity-related disorders. Antioxid. Redox Signal. 00, 000000.