Observation of magnetization reversal in epitaxial Gd0.67Ca0.33MnO3 thin films

High quality epitaxial thin films of Gd0.67Ca0.33MnO3 have been deposited onto (100) SrTiO3 substrates by pulsed-laser deposition. Enhanced properties in comparison with bulk samples were observed. The magnetic transition temperature (Tc) of the as-grown films is much higher than the corresponding bulk values. Most interestingly, magnetization measurements performed under small applied fields, exhibit magnetization reversals below Tc, no matter whether the film is field-cooled (FC) or zero-field-cooled (ZFC). A rapid magnetization reversal occurs at 7 K when field cooled, while as for the ZFC process the magnetization decreases gradually with increasing temperatures, taking negative values above 7 K and changing to positive values again, above 83 K. In higher magnetic fields the magnetization does not change sign. The reversal mechanism is discussed in terms of a negative exchange f-d interaction and magnetic anisotropy, this later enhanced by strain effects induced by the lattice mismatch between the film and the substrate.Comment: 16 pages, 4 figure

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t. reduction for every CTRS, while they are complete w.r.t. reduction. Here, soundness w.r.t. reduction means that every reduction sequence of the corresponding unraveled TRS, of which the initial and end terms are over the original signature, can be simulated by the reduction of the original CTRS. In this paper, we show that an optimized variant of Ohlebusch's unraveling for a deterministic CTRS is sound w.r.t. reduction if the corresponding unraveled TRS is left-linear or both right-linear and non-erasing. We also show that soundness of the variant implies that of Ohlebusch's unraveling. Finally, we show that soundness of Ohlebusch's unraveling is the weakest in soundness of the other unravelings and a transformation, proposed by Serbanuta and Rosu, for (normal) deterministic CTRSs, i.e., soundness of them respectively implies that of Ohlebusch's unraveling.Comment: 49 pages, 1 table, publication in Special Issue: Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA'11)

Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude

Zinc-gallium oxynitride powders: effect of the oxide precursor synthesis route

International audienceZinc-gallium oxynitride powders (ZnGaON) were synthesized by nitridation of ZnGa2O4 oxide precursor obtained by polymeric precursors (PP) and solid state reaction (SSR) methods and the influence of the synthesis route of ZnGa2O4 on the final compound ZnGaON was investigated. Crystalline single phase ZnGa2O4 was obtained at 1100 oC / 12 h by SSR and at 600 oC / 2 h by PP with different grain sizes and specific surface areas according to the synthesis route. After nitridation, ZnGaON oxynitrides with a GaN würtzite-type structure were obtained in both cases, however at lower temperatures for PP samples. The microstructure and the specific surface area were strongly dependent on the oxide synthesis method and on the nitridation temperature (42 m2g-1 and 5 m2g-1 for PP and SSR oxides treated at 700 °C, respectively). The composition analyses showed a strong loss of Zn for the PP samples, favored by the increase of ammonolysis temperature and by the higher specific surface area

Language Definitions as Rewrite Theories

(To appear in Springer LNCS)International audienceK is a formal framework for defining the operational semantics of programming languages. It includes software tools for compiling K language definitions to Maude rewrite theories, for executing programs in the defined languages based on the Maude rewriting engine, and for analyzing programs by adapting various Maude analysis tools. A recent extension to the K tool suite is an automatic transformation of language definitions that enables the symbolic execution of programs, i.e., the execution of programs with symbolic inputs. In this paper we investigate the theoretical relationships between K language definitions and their translations to Maude, between symbolic extensions of K definitions and their Maude encodings, and how the relations between K definitions and their symbolic extensions are reflected on their respective representations in Maude. These results show, in particular, how analyses performed with Maude tools can be formally lifted up to the original language definitions

Postural development in school children: a cross-sectional study

BACKGROUND: Little information on quantitative sagittal plane postural alignment and evolution in children exists. The objectives of this study are to document the evolution of upright, static, sagittal posture in children and to identify possible critical phases of postural evolution (maturation). METHODS: A total of 1084 children (aged 4–12 years) received a sagittal postural evaluation with the Biotonix postural analysis system. Data were retrieved from the Biotonix internet database. Children were stratified and analyzed by years of age with n = 36 in the youngest age group (4 years) and n = 184 in the oldest age group (12 years). Children were analyzed in the neutral upright posture. Variables measured were sagittal translation distances in millimeters of: the knee relative to the tarsal joint, pelvis relative to the tarsal joint, shoulder relative to the tarsal joint, and head relative to the tarsal joint. A two-way factorial ANOVA was used to test for age and gender effects on posture, while polynomial trend analyses were used to test for increased postural displacements with years of age. RESULTS: Two-way ANOVA yielded a significant main effect of age for all 4 sagittal postural variables and gender for all variables except head translation. No age × gender interaction was found. Polynomial trend analyses showed a significant linear association between child age and all four postural variables: anterior head translation (p < 0.001), anterior shoulder translation (p < 0.001), anterior pelvic translation (p < 0.001), anterior knee translation (p < 0.001). Between the ages of 11 and 12 years, for anterior knee translation, T-test post hoc analysis revealed only one significant rough break in the continuity of the age related trend. CONCLUSION: A significant linear trend for increasing sagittal plane postural translations of the head, thorax, pelvis, and knee was found as children age from 4 years to 12 years. These postural translations provide preliminary normative data for the alignment of a child's sagittal plane posture

Clinical laboratory reference values amongst children aged 4 weeks to 17 months in Kilifi, Kenya: A cross sectional observational study

Reference intervals for clinical laboratory parameters are important for assessing eligibility, toxicity grading and management of adverse events in clinical trials. Nonetheless, haematological and biochemical parameters used for clinical trials in sub-Saharan Africa are typically derived from industrialized countries, or from WHO references that are not region-specific. We set out to establish community reference values for haematological and biochemical parameters amongst children aged 4 weeks to 17 months in Kilifi, Kenya. We conducted a cross sectional study nested within phase II and III trials of RTS, S malaria vaccine candidate. We analysed 10 haematological and 2 biochemical parameters from 1,070 and 423 community children without illness prior to experimental vaccine administration. Statistical analysis followed Clinical and Laboratory Standards Institute EP28-A3c guidelines. 95% reference ranges and their respective 90% confidence intervals were determined using non-parametric methods. Findings were compared with published ranges from Tanzania, Europe and The United States. We determined the reference ranges within the following age partitions: 4 weeks to <6 months, 6 months to less than <12 months, and 12 months to 17 months for the haematological parameters; and 4 weeks to 17 months for the biochemical parameters. There were no gender differences for all haematological and biochemical parameters in all age groups. Hb, MCV and platelets 95% reference ranges in infants largely overlapped with those from United States or Europe, except for the lower limit for Hb, Hct and platelets (lower); and upper limit for platelets (higher) and haematocrit(lower). Community norms for common haematological and biochemical parameters differ from developed countries. This reaffirms the need in clinical trials for locally derived reference values to detect deviation from what is usual in typical children in low and middle income countries

Multivariate Protein Signatures of Pre-Clinical Alzheimer's Disease in the Alzheimer's Disease Neuroimaging Initiative (ADNI) Plasma Proteome Dataset

Background: Recent Alzheimer's disease (AD) research has focused on finding biomarkers to identify disease at the pre-clinical stage of mild cognitive impairment (MCI), allowing treatment to be initiated before irreversible damage occurs. Many studies have examined brain imaging or cerebrospinal fluid but there is also growing interest in blood biomarkers. The Alzheimer's Disease Neuroimaging Initiative (ADNI) has generated data on 190 plasma analytes in 566 individuals with MCI, AD or normal cognition. We conducted independent analyses of this dataset to identify plasma protein signatures predicting pre-clinical AD. Methods and Findings: We focused on identifying signatures that discriminate cognitively normal controls (n = 54) from individuals with MCI who subsequently progress to AD (n = 163). Based on p value, apolipoprotein E (APOE) showed the strongest difference between these groups (p = 2.3×10−13). We applied a multivariate approach based on combinatorial optimization ((α,β)-k Feature Set Selection), which retains information about individual participants and maintains the context of interrelationships between different analytes, to identify the optimal set of analytes (signature) to discriminate these two groups. We identified 11-analyte signatures achieving values of sensitivity and specificity between 65% and 86% for both MCI and AD groups, depending on whether APOE was included and other factors. Classification accuracy was improved by considering “meta-features,” representing the difference in relative abundance of two analytes, with an 8-meta-feature signature consistently achieving sensitivity and specificity both over 85%. Generating signatures based on longitudinal rather than cross-sectional data further improved classification accuracy, returning sensitivities and specificities of approximately 90%. Conclusions: Applying these novel analysis approaches to the powerful and well-characterized ADNI dataset has identified sets of plasma biomarkers for pre-clinical AD. While studies of independent test sets are required to validate the signatures, these analyses provide a starting point for developing a cost-effective and minimally invasive test capable of diagnosing AD in its pre-clinical stages