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)

Path Integral Approach to the Non-Relativistic Electron Charge Transfer

A path integral approach has been generalized for the non-relativistic electron charge transfer processes. The charge transfer - the capture of an electron by an ion passing another atom or more generally the problem of rearrangement collisions is formulated in terms of influence functionals. It has been shown that the electron charge transfer process can be treated either as electron transition problem or as elastic scattering of ion and atom in the some effective potential field. The first-order Born approximation for the electron charge transfer cross section has been reproduced to prove the adequacy of the path integral approach for this problem.Comment: 19 pages, 1 figure, to appear in Journal of Physics B: Atomic, Molecular & Optical, vol.34, 200

YAP/TAZ-CDC42 signaling regulates vascular tip cell migration

Angiogenesis and vascular remodeling are essential for the establishment of vascular networks during organogenesis. Here we show that the Hippo signaling pathway effectors YAP and TAZ are required, in a gene dosage-dependent manner, for the proliferation and migration of vascular endothelial cells (ECs) during retinal angiogenesis. Intriguingly, nuclear translocation of YAP and TAZ induced by Lats1/2-deletion blocked endothelial migration and phenocopied Yap/Taz-deficient mutants. Furthermore, overexpression of a cytoplasmic form of YAP (YAPS127D) partially rescued the migration defects caused by loss of YAP and TAZ function. Finally, we found that cytoplasmic YAP positively regulated the activity of the small GTPase CDC42, deletion of which caused severe defects in endothelial migration. These findings uncover a previously unrecognized role of cytoplasmic YAP/TAZ in promoting cell migration by activating CDC42 and provide insight into how Hippo signaling in ECs regulates angiogenesis

Ultra-high resolution X-ray structures of two forms of human recombinant insulin at 100 K

The crystal structure of a commercially available form of human recombinant (HR) insulin, Insugen (I), used in the treatment of diabetes has been determined to 0.92 Å resolution using low temperature, 100 K, synchrotron X-ray data collected at 16,000 keV (λ = 0.77 Å). Refinement carried out with anisotropic displacement parameters, removal of main-chain stereochemical restraints, inclusion of H atoms in calculated positions, and 220 water molecules, converged to a final value of R = 0.1112 and Rfree = 0.1466. The structure includes what is thought to be an ordered propanol molecule (POL) only in chain D(4) and a solvated acetate molecule (ACT) coordinated to the Zn atom only in chain B(2). Possible origins and consequences of the propanol and acetate molecules are discussed. Three types of amino acid representation in the electron density are examined in detail: (i) sharp with very clearly resolved features; (ii) well resolved but clearly divided into two conformations which are well behaved in the refinement, both having high quality geometry; (iii) poor density and difficult or impossible to model. An example of type (ii) is observed for the intra-chain disulphide bridge in chain C(3) between Sγ6–Sγ11 which has two clear conformations with relative refined occupancies of 0.8 and 0.2, respectively. In contrast the corresponding S–S bridge in chain A(1) shows one clearly defined conformation. A molecular dynamics study has provided a rational explanation of this difference between chains A and C. More generally, differences in the electron density features between corresponding residues in chains A and C and chains B and D is a common observation in the Insugen (I) structure and these effects are discussed in detail. The crystal structure, also at 0.92 Å and 100 K, of a second commercially available form of human recombinant insulin, Intergen (II), deposited in the Protein Data Bank as 3W7Y which remains otherwise unpublished is compared here with the Insugen (I) structure. In the Intergen (II) structure there is no solvated propanol or acetate molecule. The electron density of Intergen (II), however, does also exhibit the three types of amino acid representations as in Insugen (I). These effects do not necessarily correspond between chains A and C or chains B and D in Intergen (II), or between corresponding residues in Insugen (I). The results of this comparison are reported

First Results from KamLAND: Evidence for Reactor Anti-Neutrino Disappearance

KamLAND has been used to measure the flux of $\bar{\nu}_e$'s from distant nuclear reactors. In an exposure of 162 ton$\cdot$yr (145.1 days) the ratio of the number of observed inverse $\beta$-decay events to the expected number of events without disappearance is $0.611\pm 0.085 {\rm (stat)} \pm 0.041 {\rm (syst)}$ for $\bar{\nu}_e$ energies $>$ 3.4 MeV. The deficit of events is inconsistent with the expected rate for standard $\bar{\nu}_e$ propagation at the 99.95% confidence level. In the context of two-flavor neutrino oscillations with CPT invariance, these results exclude all oscillation solutions but the `Large Mixing Angle' solution to the solar neutrino problem using reactor $\bar{\nu}_e$ sources.Comment: 6 pages, 6 figure

CTdatabase: a knowledge-base of high-throughput and curated data on cancer-testis antigens

The potency of the immune response has still to be harnessed effectively to combat human cancers. However, the discovery of T-cell targets in melanomas and other tumors has raised the possibility that cancer vaccines can be used to induce a therapeutically effective immune response against cancer. The targets, cancer-testis (CT) antigens, are immunogenic proteins preferentially expressed in normal gametogenic tissues and different histological types of tumors. Therapeutic cancer vaccines directed against CT antigens are currently in late-stage clinical trials testing whether they can delay or prevent recurrence of lung cancer and melanoma following surgical removal of primary tumors. CT antigens constitute a large, but ill-defined, family of proteins that exhibit a remarkably restricted expression. Currently, there is a considerable amount of information about these proteins, but the data are scattered through the literature and in several bioinformatic databases. The database presented here, CTdatabase (http://www.cta.lncc.br), unifies this knowledge to facilitate both the mining of the existing deluge of data, and the identification of proteins alleged to be CT antigens, but that do not have their characteristic restricted expression pattern. CTdatabase is more than a repository of CT antigen data, since all the available information was carefully curated and annotated with most data being specifically processed for CT antigens and stored locally. Starting from a compilation of known CT antigens, CTdatabase provides basic information including gene names and aliases, RefSeq accession numbers, genomic location, known splicing variants, gene duplications and additional family members. Gene expression at the mRNA level in normal and tumor tissues has been collated from publicly available data obtained by several different technologies. Manually curated data related to mRNA and protein expression, and antigen-specific immune responses in cancer patients are also available, together with links to PubMed for relevant CT antigen articles

Biological and Structural Characterization of a Host-Adapting Amino Acid in Influenza Virus

Two amino acids (lysine at position 627 or asparagine at position 701) in the polymerase subunit PB2 protein are considered critical for the adaptation of avian influenza A viruses to mammals. However, the recently emerged pandemic H1N1 viruses lack these amino acids. Here, we report that a basic amino acid at position 591 of PB2 can compensate for the lack of lysine at position 627 and confers efficient viral replication to pandemic H1N1 viruses in mammals. Moreover, a basic amino acid at position 591 of PB2 substantially increased the lethality of an avian H5N1 virus in mice. We also present the X-ray crystallographic structure of the C-terminus of a pandemic H1N1 virus PB2 protein. Arginine at position 591 fills the cleft found in H5N1 PB2 proteins in this area, resulting in differences in surface shape and charge for H1N1 PB2 proteins. These differences may affect the protein's interaction with viral and/or cellular factors, and hence its ability to support virus replication in mammals

Methane exchange in a boreal forest estimated by gradient method

Forests are generally considered to be net sinks of atmospheric methane (CH4) because of oxidation by methanotrophic bacteria in well-aerated forests soils. However, emissions from wet forest soils, and sometimes canopy fluxes, are often neglected when quantifying the CH4 budget of a forest. We used a modified Bowen ratio method and combined eddy covariance and gradient methods to estimate net CH4 exchange at a boreal forest site in central Sweden. Results indicate that the site is a net source of CH4. This is in contrast to soil, branch and leaf chamber measurements of uptake of CH4. Wetter soils within the footprint of the canopy are thought to be responsible for the discrepancy. We found no evidence for canopy emissions per se. However, the diel pattern of the CH4 exchange with minimum emissions at daytime correlated well with gross primary production, which supports an uptake in the canopy. More distant source areas could also contribute to the diel pattern; their contribution might be greater at night during stable boundary layer conditions

Diversity in Protein Glycosylation among Insect Species

status: publishe

Combined effects of a third-generation bisphosphonate, zoledronic acid with other anticancer agents against murine osteosarcoma

Bisphosphonates (BPs) are widely used to treat bone diseases and also appear to possess direct antitumour activity. We have previously reported that third-generation BPs such as zoledronic acid (ZOL) and minodronic acid (YM529) synergistically augment the effects of anticancer agents in various cancer cells. Recently, we have also reported the antitumour effects of YM529 on murine osteosarcoma cells. As YM529 has not been clinically available, we herein focused on the anti-osteosarcoma effects of ZOL which is clinically available. In addition to ZOL alone, we evaluated the concurrent or sequential combined effects of ZOL with other anticancer agents against murine osteosarcoma cell lines. ZOL showed almost same anti-osteosarcoma activity compared with YM529 and more sensitive growth inhibitory effects against osteosarcoma cells than normal cells. Moreover, ZOL acted synergistically in vitro when administered concurrently with paclitaxel (PAC) or gemcitabine (GEM), not only in wild-type osteosarcoma cells but also in P-glycoprotein (P-gp)-overexpressing osteosarcoma cells, which were much less sensitive against each anticancer agent. Furthermore, 24 h of ZOL pretreatment significantly augmented the sensitivity of doxorubicin (DOX), PAC or GEM against osteosarcoma cells. These findings suggest that combined administration of ZOL with other anticancer agents may improve the osteosarcoma treatment