Incommensurate-Commensurate Magnetic Phase Transition in SmRu2_{2}Al10_{10}

Magnetic properties of single crystalline SmRu$_{2}$Al$_{10}$ have been investigated by electrical resistivity, magnetic susceptibility, and specific heat. We have confirmed the successive magnetic phase transitions at $T_{\text{N}}=12.3$ K and $T_{\text{M}}=5.6$ K. Resonant x-ray diffraction has also been performed to study the magnetic structures. Below $T_{\text{N}}$, the Sm$^{3+}$ moments order in an incommensurate structure with $q_1=(0, 0.759, 0)$. The magnetic moments are oriented along the orthorhombic $b$ axis, which coincides with the magnetization easy axis in the paramagnetic phase. A very weak third harmonic peak is also observed at $q_3=(0, 0.278, 0)$. The transition at $T_{\text{M}}$ is a lock-in transition to the commensurate structure described by $q_1=(0, 0.75, 0)$. A well developed third harmonic peak is observed at $q_3=(0, 0.25, 0)$. From the discussion of the magnetic structure, we propose that the long-range RKKY interaction plays an important role, in addition to the strong nearest neighbor antiferromagnetic interaction.Comment: 11 pages, 12 figures, accepted in PR

Charge transfer and weak bonding between molecular oxygen and graphene zigzag edges at low temperatures

Electron paramagnetic resonance (EPR) study of air-physisorbed defective carbon nano-onions evidences in favor of microwave assisted formation of weakly-bound paramagnetic complexes comprising negatively-charged O2- ions and edge carbon atoms carrying pi-electronic spins. These complexes being located on the graphene edges are stable at low temperatures but irreversibly dissociate at temperatures above 50-60 K. These EPR findings are justified by density functional theory (DFT) calculations demonstrating transfer of an electron from the zigzag edge of graphene-like material to oxygen molecule physisorbed on the graphene sheet edge. This charge transfer causes changing the spin state of the adsorbed oxygen molecule from S = 1 to S = 1/2 one. DFT calculations show significant changes of adsorption energy of oxygen molecule and robustness of the charge transfer to variations of the graphene-like substrate morphology (flat and corrugated mono- and bi-layered graphene) as well as edges passivation. The presence of H- and COOH- terminated edge carbon sites with such corrugated substrate morphology allows formation of ZE-O2- paramagnetic complexes characterized by small (<50 meV) binding energies and also explains their irreversible dissociation as revealed by EPR.Comment: 28 pages, 8 figures, 2 tables, accepted in Carbon journa

Kondo effect in CeXc_{c} (Xc_{c}=S, Se, Te) studied by electrical resistivity under high pressure

We have measured the electrical resistivity of cerium monochalcogenices, CeS, CeSe, and CeTe, under high pressures up to 8 GPa. Pressure dependences of the antiferromagnetic ordering temperature $T_{N}$, crystal field splitting, and the $\ln T$ anomaly of the Kondo effect have been studied to cover the whole region from the magnetic ordering regime at low pressure to the Fermi liquid regime at high pressure. $T_{N}$ initially increases with increasing pressure, and starts to decrease at high pressure as expected from the Doniach's diagram. Simultaneously, the $\ln T$ behavior in the resistivity is enhanced, indicating the enhancement of the Kondo effect by pressure. It is also characteristic in CeX$_{c}$ that the crystal field splitting rapidly decreases at a common rate of $-12.2$ K/GPa. This leads to the increase in the degeneracy of the $f$ state and further enhancement of the Kondo effect. It is shown that the pressure dependent degeneracy of the $f$ state is a key factor to understand the pressure dependence of $T_{N}$, Kondo effect, magnetoresistance, and the peak structure in the temperature dependence of resistivity.Comment: 9 pages, 5 figures, accepted for publication in J. Phys. Soc. Jp

Reference gene validation for gene expression studies using quantitative RT-PCR during berry development of ‘Aki Queen’ grapes

In order to understand the gene regulation during berry development and examine the effect of abscisic acid (ABA) on gene expression related to berry maturation, we evaluated the validity of four housekeeping genes, elongation factor 1-α (EF1-α), glyceraldehyde-3-phosphate dehydrogenase (GAPDH), ubiquitin-conjugating enzyme (UBC), and 60S ribosomal protein L40-1 (VvUbiquitin1), as references by using 'Aki Queen' grapes with and without ABA treatment. The main contribution of this study is that a gene expression analysis using GAPDH as a reference gene will help to elucidate the berry development process and the physiological effects of ABA on berry maturation of 'Aki Queen' grapes

Afadin requirement for cytokine expressions in keratinocytes during chemically induced inflammation in mice

Afadin is a filamentous actin-binding protein and a mediator of nectin signaling. Nectins are Ig-like cell adhesion molecules, and the nectin family is composed of four members, nectin-1 to nectin-4. Nectins show homophilic and heterophilic interactions with other nectins or proteins on adjacent cells. Nectin signaling induces formation of cell-cell junctions and is required for the development of epithelial tissues, including skin. This study investigated the role of afadin in epithelial tissue development and established epithelium-specific afadin-deficient (CKO) mice. Although showing no obvious abnormality in the skin development and homeostasis, the mice showed the reduced neutrophil infiltration into the epidermis during chemical-induced inflammation with 12-O-tetradecanoylphorbol 13-acetate (TPA). Immunohistochemical and quantitative real-time PCR analyses showed that the expression levels of cytokines including Cxcl2, Il-1{beta} and Tnf-{alpha} were reduced in CKO keratinocytes compared with control keratinocytes during TPA-induced inflammation. Primary-cultured skin keratinocytes from CKO mice also showed reduced expression of these cytokines and weak activation of Rap1 compared with those from control mice after the TPA treatment. These results suggested a remarkable function of afadin, which was able to enhance cytokine expression through Rap1 activation in keratinocytes during inflammation

Radiosynthesis of 1-[2-[18F]Fluoro-1-(hydroxymethyl)-Ethoxy]methyl-2-Nitroimidazole([18F]FENI)

開始ページ、終了ページ: 冊子体のページ付

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryptographic protocols or more recently on Java Bytecode programs. This algorithm computes a tree automaton which represents a (regular) over approximation of the set of reachable terms by rewriting initial terms. This approach is limited by the lack of information about rewriting relation between terms. Actually, terms in relation by rewriting are in the same equivalence class: there are recognized by the same state in the tree automaton. Our objective is to produce an automaton embedding an abstraction of the rewriting relation sufficient to prove temporal properties of the term rewriting system. We propose to extend the algorithm to produce an automaton having more equivalence classes to distinguish a term or a subterm from its successors w.r.t. rewriting. While ground transitions are used to recognize equivalence classes of terms, epsilon-transitions represent the rewriting relation between terms. From the completed automaton, it is possible to automatically build a Kripke structure abstracting the rewriting sequence. States of the Kripke structure are states of the tree automaton and the transition relation is given by the set of epsilon-transitions. States of the Kripke structure are labelled by the set of terms recognized using ground transitions. On this Kripke structure, we define the Regular Linear Temporal Logic (R-LTL) for expressing properties. Such properties can then be checked using standard model checking algorithms. The only difference between LTL and R-LTL is that predicates are replaced by regular sets of acceptable terms

Geosynthetic sorption sheet --Another function of geosynthetics?

This paper discusses a novel geosynthetics sorption sheet that provides both sorption and traditional geosynthetic functions. In particular, the geosynthetic sorption sheet facilitates both water drainage and chemical barrier function. In this paper, batch sorption tests are used to evaluate the sheet's attenuation performance. The results of soil tank tests involving a 110 x 80 x 12 cm tank are also discussed. A key finding was the higher sorbed extent of arsenate compared with arsenite. The sheet absorbed more than 80% of the arsenic when it was contacted for 15 minutes with 0.1 mg/L of arsenate. Based on the soil tank test, ground particles surrounding the sheet are more important to seepage water distribution than the sheet itself