1,498 research outputs found

    Incipient ferroelectricity in 2.3% tensile-strained CaMnO3 films

    Full text link
    Epitaxial CaMnO3 films grown with 2.3% tensile strain on (001)-oriented LaAlO3 substrates are found to be incipiently ferroelectric below 25 K. Optical second harmonic generation (SHG) was used for the detection of the incipient polarization. The SHG analysis reveals that CaMnO3 crystallites with in-plane orientation of the orthorhombic b axis contribute to an electric polarization oriented along the orthorhombic a (resp.\ c) axis in agreement with the predictions from density functional calculations

    A Case Study in Matching Test and Proof Coverage

    Get PDF
    AbstractThis paper studies the complementarity of test and deductive proof processes for Java programs specified in JML (Java Modeling Language). The proof of a program may be long and difficult, especially when automatic provers give up. When a theorem is not automatically proved, there are two possibilities: either the theorem is correct and there are not enough pieces of information to deal with the proof, or the theorem is incorrect. In order to discriminate between those two alternatives, testing techniques can be used. Here, we present experiments around the use of the JACK tool to prove Java programs annotated with JML assertions. When JACK fails to decide proof obligations, we use a combinatorial testing tool, TOBIAS, to produce large test suites that exercise the unproved program parts. The key issue is to establish the relevance of the test suite with respect to the unproved proof obligations. Therefore, we use code coverage techniques: our approach takes advantage of the statement orientation of the JACK tool to compare the statements involved in the unproved proof obligations and the statements covered by the test suite. Finally, we ensure our confidence within the test suites, by evaluating them on mutant program killing exercises. These techniques have been put into practice and are illustrated by a simple case study

    Phenotypic Correlations Between Juvenile-Mature Wood Density and Growth in Black Spruce

    Get PDF
    Phenotypic correlations between juvenile-mature wood density and growth were examined based on increment core samples from two plantations, a provenance test and a commercial plantation, of black spruce [Picea mariana (Mill.) B.S.P.]. The ring density components are significantly correlated to their respective ring width components: earlywood and ring densities are negatively correlated to ring and earlywood widths, respectively, while ring and latewood densities are positively correlated to latewood width. These hold true in both juvenile and mature wood. However, the correlation between ring width and ring density decreases with increasing age. This suggests that the correlation between wood density and growth rate tends to lessen as the tree ages. For each character, the correlation between juvenile and mature wood is significant but moderate. Thus, juvenile wood characters are only indicative of mature wood ones. On the other hand, trees with 12 growth rings from the pith were good predictors of wood density and radial growth of the whole tree. Individual growth rings from the juvenile-mature wood transition zone can be used to predict to some extent the wood density of either mature wood or the whole tree

    Exact Scaling Functions for Self-Avoiding Loops and Branched Polymers

    Full text link
    It is shown that a recently conjectured form for the critical scaling function for planar self-avoiding polygons weighted by their perimeter and area also follows from an exact renormalization group flow into the branched polymer problem, combined with the dimensional reduction arguments of Parisi and Sourlas. The result is generalized to higher-order multicritical points, yielding exact values for all their critical exponents and exact forms for the associated scaling functions.Comment: 5 pages; v2: factors of 2 corrected; v.3: relation with existing theta-point results clarified, some references added/update

    Integrability as a consequence of discrete holomorphicity: the Z_N model

    Full text link
    It has recently been established that imposing the condition of discrete holomorphicity on a lattice parafermionic observable leads to the critical Boltzmann weights in a number of lattice models. Remarkably, the solutions of these linear equations also solve the Yang-Baxter equations. We extend this analysis for the Z_N model by explicitly considering the condition of discrete holomorphicity on two and three adjacent rhombi. For two rhombi this leads to a quadratic equation in the Boltzmann weights and for three rhombi a cubic equation. The two-rhombus equation implies the inversion relations. The star-triangle relation follows from the three-rhombus equation. We also show that these weights are self-dual as a consequence of discrete holomorphicity.Comment: 11 pages, 7 figures, some clarifications and a reference adde

    Anti-vascular endothelial growth factor acts on retinal microglia/macrophage activation in a rat model of ocular inflammation.

    Get PDF
    PURPOSE: To evaluate whether anti-vascular endothelial growth factor (VEGF) neutralizing antibodies injected in the vitreous of rat eyes influence retinal microglia and macrophage activation. To dissociate the effect of anti-VEGF on microglia and macrophages subsequent to its antiangiogenic effect, we chose a model of acute intraocular inflammation. METHODS: Lewis rats were challenged with systemic lipopolysaccharide (LPS) injection and concomitantly received 5 µl of rat anti-VEGF-neutralizing antibody (1.5 mg/ml) in the vitreous. Rat immunoglobulin G (IgG) isotype was used as the control. The effect of anti-VEGF was evaluated at 24 and 48 h clinically (uveitis scores), biologically (cytokine multiplex analysis in ocular media), and histologically (inflammatory cell counts on eye sections). Microglia and macrophages were immunodetected with ionized calcium-binding adaptor molecule 1 (IBA1) staining and counted based on their differential shapes (round amoeboid or ramified dendritiform) on sections and flatmounted retinas using confocal imaging and automatic quantification. Activation of microglia was also evaluated with inducible nitric oxide synthase (iNOS) and IBA1 coimmunostaining. Coimmunolocalization of VEGF receptor 1 and 2 (VEGF-R1 and R2) with IBA1 was performed on eye sections with or without anti-VEGF treatment. RESULTS: Neutralizing rat anti-VEGF antibodies significantly decreased ocular VEGF levels but did not decrease the endotoxin-induced uveitis (EIU) clinical score or the number of infiltrating cells and cytokines in ocular media (interleukin [IL]-1β, IL-6, tumor necrosis factor [TNF]-α, and monocyte chemoattractant protein [MCP]-1). Eyes treated with anti-VEGF showed a significantly decreased number of activated microglia and macrophages in the retina and the choroid and decreased iNOS-positive microglia. IBA1-positive cells expressed VEGF-R1 and R2 in the inflamed retina. CONCLUSIONS: Microglia and macrophages expressed VEGF receptors, and intravitreous anti-VEGF influenced the microglia and macrophage activation state. Taking into account that anti-VEGF drugs are repeatedly injected in the vitreous of patients with retinal diseases, part of their effects could result from unsuspected modulation of the microglia activation state. This should be further studied in other ocular pathogenic conditions and human pathology

    TransCom N2O model inter-comparison - Part 2:Atmospheric inversion estimates of N2O emissions

    Get PDF
    This study examines N2O emission estimates from five different atmospheric inversion frameworks based on chemistry transport models (CTMs). The five frameworks differ in the choice of CTM, meteorological data, prior uncertainties and inversion method but use the same prior emissions and observation data set. The posterior modelled atmospheric N2O mole fractions are compared to observations to assess the performance of the inversions and to help diagnose problems in the modelled transport. Additionally, the mean emissions for 2006 to 2008 are compared in terms of the spatial distribution and seasonality. Overall, there is a good agreement among the inversions for the mean global total emission, which ranges from 16.1 to 18.7 TgN yr(-1) and is consistent with previous estimates. Ocean emissions represent between 31 and 38% of the global total compared to widely varying previous estimates of 24 to 38%. Emissions from the northern mid- to high latitudes are likely to be more important, with a consistent shift in emissions from the tropics and subtropics to the mid- to high latitudes in the Northern Hemisphere; the emission ratio for 0-30A degrees N to 30-90A degrees N ranges from 1.5 to 1.9 compared with 2.9 to 3.0 in previous estimates. The largest discrepancies across inversions are seen for the regions of South and East Asia and for tropical and South America owing to the poor observational constraint for these areas and to considerable differences in the modelled transport, especially inter-hemispheric exchange rates and tropical convective mixing. Estimates of the seasonal cycle in N2O emissions are also sensitive to errors in modelled stratosphere-to-troposphere transport in the tropics and southern extratropics. Overall, the results show a convergence in the global and regional emissions compared to previous independent studies

    Atmospheric transport and chemistry of trace gases in LMDz5B: evaluation and implications for inverse modelling

    Get PDF
    Representation of atmospheric transport is a major source of error in the estimation of greenhouse gas sources and sinks by inverse modelling. Here we assess the impact on trace gas mole fractions of the new physical parameterizations recently implemented in the atmospheric global climate model LMDz to improve vertical diffusion, mesoscale mixing by thermal plumes in the planetary boundary layer (PBL), and deep convection in the troposphere. At the same time, the horizontal and vertical resolution of the model used in the inverse system has been increased. The aim of this paper is to evaluate the impact of these developments on the representation of trace gas transport and chemistry, and to anticipate the implications for inversions of greenhouse gas emissions using such an updated model. Comparison of a one-dimensional version of LMDz with large eddy simulations shows that the thermal scheme simulates shallow convective tracer transport in the PBL over land very efficiently, and much better than previous versions of the model. This result is confirmed in three-dimensional simulations, by a much improved reproduction of the radon-222 diurnal cycle. However, the enhanced dynamics of tracer concentrations induces a stronger sensitivity of the new LMDz configuration to external meteorological forcings. At larger scales, the inter-hemispheric exchange is slightly slower when using the new version of the model, bringing them closer to observations. The increase in the vertical resolution (from 19 to 39 layers) significantly improves the representation of stratosphere/troposphere exchange. Furthermore, changes in atmospheric thermodynamic variables, such as temperature, due to changes in the PBL mixing modify chemical reaction rates, which perturb chemical equilibriums of reactive trace gases. One implication of LMDz model developments for future inversions of greenhouse gas emissions is the ability of the updated system to assimilate a larger amount of high-frequency data sampled at high-variability stations. Others implications are discussed at the end of the paper

    Choroidal mast cells in retinal pathology: a potential target for intervention.

    Get PDF
    Mast cells are important in the initiation of ocular inflammation, but the consequences of mast cell degranulation on ocular pathology remain uncharacterized. We induced mast cell degranulation by local subconjunctival injection of compound 48/80. Initial degranulation of mast cells was observed in the choroid 15 minutes after the injection and increased up to 3 hours after injection. Clinical signs of anterior segment inflammation paralleled mast cell degranulation. With the use of optical coherence tomography, dilation of choroidal vessels and serous retinal detachments (SRDs) were observed and confirmed by histology. Subconjunctival injection of disodium cromoglycate significantly reduced the rate of SRDs, demonstrating the involvement of mast cell degranulation in posterior segment disorders. The infiltration of polymorphonuclear and macrophage cells was associated with increased ocular media concentrations of tumor necrosis factor-α, CXCL1, IL-6, IL-5, chemokine ligand 2, and IL-1β. Analysis of the amounts of vascular endothelial growth factor and IL-18 showed an opposite evolution of vascular endothelial growth factor compared with IL-18 concentrations, suggesting that they regulate each other's production. These findings suggest that the local degranulation of ocular mast cells provoked acute ocular inflammation, dilation, increased vascular permeability of choroidal vessels, and SRDs. The involvement of mast cells in retinal diseases should be further investigated. The pharmacologic inhibition of mast cell degranulation may be a potential target for intervention

    The Serine 814 of TRPC6 Is Phosphorylated under Unstimulated Conditions

    Get PDF
    TRPC are nonselective cation channels involved in calcium entry. Their regulation by phosphorylation has been shown to modulate their routing and activity. TRPC6 activity increases following phosphorylation by Fyn, and is inhibited by protein kinase G and protein kinase C. A previous study by our group showed that TRPC6 is phosphorylated under unstimulated conditions in a human embryonic kidney cells line (HEK293). To investigate the mechanism responsible for this phosphorylation, we used a MS/MS approach combined with metabolic labeling and showed that the serine at position 814 is phosphorylated in unstimulated cells. The mutation of Ser814 into Ala decreased basal phosphorylation but did not modify TRPC6 activity. Even though Ser814 is within a consensus site for casein kinase II (CK2), we showed that CK2 is not involved in the phosphorylation of TRPC6 and does not modify its activity. In summary, we identified a new basal phosphorylation site (Ser814) on TRPC6 and showed that CK2 is not responsible for the phosphorylation of this site
    corecore