Nominal Unification of Higher Order Expressions with Recursive Let

A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in non-deterministic polynomial time. We also explore specializations like nominal letrec-matching for plain expressions and for DAGs and determine the complexity of corresponding unification problems.Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534

Cluster Lenses

Clusters of galaxies are the most recently assembled, massive, bound structures in the Universe. As predicted by General Relativity, given their masses, clusters strongly deform space-time in their vicinity. Clusters act as some of the most powerful gravitational lenses in the Universe. Light rays traversing through clusters from distant sources are hence deflected, and the resulting images of these distant objects therefore appear distorted and magnified. Lensing by clusters occurs in two regimes, each with unique observational signatures. The strong lensing regime is characterized by effects readily seen by eye, namely, the production of giant arcs, multiple-images, and arclets. The weak lensing regime is characterized by small deformations in the shapes of background galaxies only detectable statistically. Cluster lenses have been exploited successfully to address several important current questions in cosmology: (i) the study of the lens(es) - understanding cluster mass distributions and issues pertaining to cluster formation and evolution, as well as constraining the nature of dark matter; (ii) the study of the lensed objects - probing the properties of the background lensed galaxy population - which is statistically at higher redshifts and of lower intrinsic luminosity thus enabling the probing of galaxy formation at the earliest times right up to the Dark Ages; and (iii) the study of the geometry of the Universe - as the strength of lensing depends on the ratios of angular diameter distances between the lens, source and observer, lens deflections are sensitive to the value of cosmological parameters and offer a powerful geometric tool to probe Dark Energy. In this review, we present the basics of cluster lensing and provide a current status report of the field.Comment: About 120 pages - Published in Open Access at: http://www.springerlink.com/content/j183018170485723/ . arXiv admin note: text overlap with arXiv:astro-ph/0504478 and arXiv:1003.3674 by other author

Spatial Pattern of Standing Timber Value across the Brazilian Amazon

The Amazon is a globally important system, providing a host of ecosystem services from climate regulation to food sources. It is also home to a quarter of all global diversity. Large swathes of forest are removed each year, and many models have attempted to predict the spatial patterns of this forest loss. The spatial patterns of deforestation are determined largely by the patterns of roads that open access to frontier areas and expansion of the road network in the Amazon is largely determined by profit seeking logging activities. Here we present predictions for the spatial distribution of standing value of timber across the Amazon. We show that the patterns of timber value reflect large-scale ecological gradients, determining the spatial distribution of functional traits of trees which are, in turn, correlated with timber values. We expect that understanding the spatial patterns of timber value across the Amazon will aid predictions of logging movements and thus predictions of potential future road developments. These predictions in turn will be of great use in estimating the spatial patterns of deforestation in this globally important biome

Stress-Induced Reinstatement of Drug Seeking: 20 Years of Progress

In human addicts, drug relapse and craving are often provoked by stress. Since 1995, this clinical scenario has been studied using a rat model of stress-induced reinstatement of drug seeking. Here, we first discuss the generality of stress-induced reinstatement to different drugs of abuse, different stressors, and different behavioral procedures. We also discuss neuropharmacological mechanisms, and brain areas and circuits controlling stress-induced reinstatement of drug seeking. We conclude by discussing results from translational human laboratory studies and clinical trials that were inspired by results from rat studies on stress-induced reinstatement. Our main conclusions are (1) The phenomenon of stress-induced reinstatement, first shown with an intermittent footshock stressor in rats trained to self-administer heroin, generalizes to other abused drugs, including cocaine, methamphetamine, nicotine, and alcohol, and is also observed in the conditioned place preference model in rats and mice. This phenomenon, however, is stressor specific and not all stressors induce reinstatement of drug seeking. (2) Neuropharmacological studies indicate the involvement of corticotropin-releasing factor (CRF), noradrenaline, dopamine, glutamate, kappa/dynorphin, and several other peptide and neurotransmitter systems in stress-induced reinstatement. Neuropharmacology and circuitry studies indicate the involvement of CRF and noradrenaline transmission in bed nucleus of stria terminalis and central amygdala, and dopamine, CRF, kappa/dynorphin, and glutamate transmission in other components of the mesocorticolimbic dopamine system (ventral tegmental area, medial prefrontal cortex, orbitofrontal cortex, and nucleus accumbens). (3) Translational human laboratory studies and a recent clinical trial study show the efficacy of alpha-2 adrenoceptor agonists in decreasing stress-induced drug craving and stress-induced initial heroin lapse

Inter-Homolog Crossing-Over and Synapsis in Arabidopsis Meiosis Are Dependent on the Chromosome Axis Protein AtASY3

In this study we have analysed AtASY3, a coiled-coil domain protein that is required for normal meiosis in Arabidopsis. Analysis of an Atasy3-1 mutant reveals that loss of the protein compromises chromosome axis formation and results in reduced numbers of meiotic crossovers (COs). Although the frequency of DNA double-strand breaks (DSBs) appears moderately reduced in Atasy3-1, the main recombination defect is a reduction in the formation of COs. Immunolocalization studies in wild-type meiocytes indicate that the HORMA protein AtASY1, which is related to Hop1 in budding yeast, forms hyper-abundant domains along the chromosomes that are spatially associated with DSBs and early recombination pathway proteins. Loss of AtASY3 disrupts the axial organization of AtASY1. Furthermore we show that the AtASY3 and AtASY1 homologs BoASY3 and BoASY1, from the closely related species Brassica oleracea, are co-immunoprecipitated from meiocyte extracts and that AtASY3 interacts with AtASY1 via residues in its predicted coiled-coil domain. Together our results suggest that AtASY3 is a functional homolog of Red1. Since studies in budding yeast indicate that Red1 and Hop1 play a key role in establishing a bias to favor inter-homolog recombination (IHR), we propose that AtASY3 and AtASY1 may have a similar role in Arabidopsis. Loss of AtASY3 also disrupts synaptonemal complex (SC) formation. In Atasy3-1 the transverse filament protein AtZYP1 forms small patches rather than a continuous SC. The few AtMLH1 foci that remain in Atasy3-1 are found in association with the AtZYP1 patches. This is sufficient to prevent the ectopic recombination observed in the absence of AtZYP1, thus emphasizing that in addition to its structural role the protein is important for CO formation

Parathyroid Hormone versus Bisphosphonate Treatment on Bone Mineral Density in Osteoporosis Therapy: A Meta-Analysis of Randomized Controlled Trials

BACKGROUND: Bisphosphonates and parathyroid hormone (PTH) represent the antiresorptive and anabolic classes of drugs for osteoporosis treatment. Bone mineral density (BMD) is an essential parameter for the evaluation of anti-osteoporotic drugs. The aim of this study was to evaluate the effects of PTH versus bisphosphonates on BMD for the treatment of osteoporosis. METHODS/PRINCIPAL FINDINGS: We performed a literature search to identify studies that investigated the effects of PTH versus bisphosphonates treatment on BMD. A total of 7 articles were included in this study, representing data on 944 subjects. The pooled data showed that the percent change of increased BMD in the spine is higher with PTH compared to bisphosphonates (WMD = 5.90, 95% CI: 3.69-8.10, p<0.01,). In the hip, high dose (40 µg) PTH (1-34) showed significantly higher increments of BMD compared to alendronate (femoral neck: WMD = 5.67, 95% CI: 3.47-7.87, p<0.01; total hip: WMD = 2.40, 95%CI: 0.49-4.31, p<0.05). PTH treatment has yielded significantly higher increments than bisphosphonates with a duration of over 12 months (femoral neck: WMD = 5.67, 95% CI: 3.47-7.86, p<0.01; total hip: WMD = 2.40, 95% CI: 0.49-4.31, P<0.05) and significantly lower increments at 12 months (femoral neck: WMD = -1.05, 95% CI: -2.26-0.16, p<0.01; total hip: WMD: -1.69, 95% CI: -3.05-0.34, p<0.05). In the distal radius, a reduction in BMD was significant between PTH and alendronate treatment. (WMD = -3.68, 95% CI: -5.57-1.79, p<0.01). DISCUSSION: Our results demonstrated that PTH significantly increased lumbar spine BMD as compared to treatment with bisphosphonates and PTH treatment induced duration- and dose-dependent increases in hip BMD as compared to bisphosphonates treatment. This study has also disclosed that for the distal radius, BMD was significantly lower from PTH treatment than alendronate treatment

Global climate forcing of aerosols embodied in international trade

International trade separates regions consuming goods and services from regions where goods and related aerosol pollution are produced. Yet the role of trade in aerosol climate forcing attributed to different regions has never been quantified. Here, we contrast the direct radiative forcing of aerosols related to regions’ consumption of goods and services against the forcing due to emissions produced in each region. Aerosols assessed include black carbon, primary organic aerosol, and secondary inorganic aerosols, including sulfate, nitrate and ammonium. We find that global aerosol radiative forcing due to emissions produced in East Asia is much stronger than the forcing related to goods and services ultimately consumed in that region because of its large net export of emissions-intensive goods. The opposite is true for net importers such as Western Europe and North America: global radiative forcing related to consumption is much greater than the forcing due to emissions produced in these regions. Overall, trade is associated with a shift of radiative forcing from net importing to net exporting regions. Compared to greenhouse gases such as carbon dioxide, the short atmospheric lifetimes of aerosols cause large localized differences between consumption- and production-related radiative forcing. International efforts to reduce emissions in the exporting countries will help alleviate trade-related climate and health impacts of aerosols while lowering global emissions

Role of Hypothalamic Melanocortin System in Adaptation of Food Intake to Food Protein Increase in Mice

The hypothalamic melanocortin system—the melanocortin receptor of type 4 (MC4R) and its ligands: α-melanin-stimulating hormone (α-MSH, agonist, inducing hypophagia), and agouti-related protein (AgRP, antagonist, inducing hyperphagia)—is considered to play a central role in the control of food intake. We tested its implication in the mediation of the hunger-curbing effects of protein-enriched diets (PED) in mice. Whereas there was a 20% decrease in food intake in mice fed on the PED, compared to mice fed on an isocaloric starch-enriched diet, there was a paradoxical decrease in expression of the hypothalamic proopiomelanocortin gene, precursor of α-MSH, and increase in expression of the gene encoding AgRP. The hypophagia effect of PED took place in mice with invalidation of either MC4R or POMC, and was even strengthened in mice with ablation of the AgRP-expressing neurons. These data strongly suggest that the hypothalamic melanocortin system does not mediate the hunger-curbing effects induced by changes in the macronutrient composition of food. Rather, the role of this system might be to defend the body against the variations in food intake generated by the nutritional environment

Compensatory Development and Costs of Plasticity: Larval Responses to Desiccated Conspecifics

Understanding constraints on phenotypic plasticity is central to explaining its evolution and the evolution of phenotypes in general, yet there is an ongoing debate on the classification and relationships among types of constraints. Since plasticity is often a developmental process, studies that consider the ontogeny of traits and their developmental mechanisms are beneficial. We manipulated the timing and reliability of cues perceived by fire salamander larvae for the future desiccation of their ephemeral pools to determine whether flexibility in developmental rates is constrained to early ontogeny. We hypothesized that higher rates of development, and particularly compensation for contradictory cues, would incur greater endogenous costs. We found that larvae respond early in ontogeny to dried conspecifics as a cue for future desiccation, but can fully compensate for this response in case more reliable but contradictory cues are later perceived. Patterns of mortality suggested that endogenous costs may depend on instantaneous rates of development, and revealed asymmetrical costs of compensatory development between false positive and false negative early information. Based on the results, we suggest a simple model of costs of development that implies a tradeoff between production costs of plasticity and phenotype-environment mismatch costs, which may potentially underlie the phenomenon of ontogenetic windows constraining plasticity