Incipient ferroelectricity in 2.3% tensile-strained CaMnO3 films

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

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

Asymptotic behaviour of convex and column-convex lattice polygons with fixed area and varying perimeter

We study the inflated phase of two dimensional lattice polygons, both convex and column-convex, with fixed area A and variable perimeter, when a weight \mu^t \exp[- Jb] is associated to a polygon with perimeter t and b bends. The mean perimeter is calculated as a function of the fugacity \mu and the bending rigidity J. In the limit \mu -> 0, the mean perimeter has the asymptotic behaviour \avg{t}/4 \sqrt{A} \simeq 1 - K(J)/(\ln \mu)^2 + O (\mu/ \ln \mu) . The constant K(J) is found to be the same for both types of polygons, suggesting that self-avoiding polygons should also exhibit the same asymptotic behaviour.Comment: 10 pages, 3 figure

Removing Barriers, Integrating Research, Spreading Excellence: The European Satellite Communications Network of Excellence "SatNEx"

Within the recently launched 6th Research Framework Programme of the European Commission, 21 major players in satellite communications research have joined forces to implement the European Satellite Communications Network of Excellence (SatNEx). The primary goal of SatNEx is to achieve long-lasting integration of the European research in satellite communication and to develop a common base of knowledge, thus contributing to the realization of the European Research Area. This paper discusses the background and motivation for implementation of the network and highlights the SatNEx mission and key objectives. A top-level overview is then provided including a description of the consortium, the Joint Programme of Activities (JPA) and the time schedule with deliverables and milestones. Finally, an update of ongoing work is presented

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

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

Adaptive density estimation for stationary processes

We propose an algorithm to estimate the common density $s$ of a stationary process $X_1,...,X_n$. We suppose that the process is either $\beta$ or $\tau$-mixing. We provide a model selection procedure based on a generalization of Mallows' $C_p$ and we prove oracle inequalities for the selected estimator under a few prior assumptions on the collection of models and on the mixing coefficients. We prove that our estimator is adaptive over a class of Besov spaces, namely, we prove that it achieves the same rates of convergence as in the i.i.d framework

Exact Scaling Functions for Self-Avoiding Loops and Branched Polymers

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

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.

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

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