26,027 research outputs found

    Personal area technologies for internetworked services

    Get PDF

    Scalars, Vectors and Tensors from Metric-Affine Gravity

    Get PDF
    The metric-affine gravity provides a useful framework for analyzing gravitational dynamics since it treats metric tensor and affine connection as fundamentally independent variables. In this work, we show that, a metric-affine gravity theory composed of the invariants formed from non-metricity, torsion and curvature tensors can be decomposed into a theory of scalar, vector and tensor fields. These fields are natural candidates for the ones needed by various cosmological and other phenomena. Indeed, we show that the model accommodates TeVeS gravity (relativistic modified gravity theory), vector inflation, and aether-like models. Detailed analyses of these and other phenomena can lead to a standard metric-affine gravity model encoding scalars, vectors and tensors.Comment: 13 p

    Approximating Weighted Duo-Preservation in Comparative Genomics

    Full text link
    Motivated by comparative genomics, Chen et al. [9] introduced the Maximum Duo-preservation String Mapping (MDSM) problem in which we are given two strings s1s_1 and s2s_2 from the same alphabet and the goal is to find a mapping π\pi between them so as to maximize the number of duos preserved. A duo is any two consecutive characters in a string and it is preserved in the mapping if its two consecutive characters in s1s_1 are mapped to same two consecutive characters in s2s_2. The MDSM problem is known to be NP-hard and there are approximation algorithms for this problem [3, 5, 13], but all of them consider only the "unweighted" version of the problem in the sense that a duo from s1s_1 is preserved by mapping to any same duo in s2s_2 regardless of their positions in the respective strings. However, it is well-desired in comparative genomics to find mappings that consider preserving duos that are "closer" to each other under some distance measure [19]. In this paper, we introduce a generalized version of the problem, called the Maximum-Weight Duo-preservation String Mapping (MWDSM) problem that captures both duos-preservation and duos-distance measures in the sense that mapping a duo from s1s_1 to each preserved duo in s2s_2 has a weight, indicating the "closeness" of the two duos. The objective of the MWDSM problem is to find a mapping so as to maximize the total weight of preserved duos. In this paper, we give a polynomial-time 6-approximation algorithm for this problem.Comment: Appeared in proceedings of the 23rd International Computing and Combinatorics Conference (COCOON 2017

    On Multiphase-Linear Ranking Functions

    Full text link
    Multiphase ranking functions (MΦRFs\mathit{M{\Phi}RFs}) were proposed as a means to prove the termination of a loop in which the computation progresses through a number of "phases", and the progress of each phase is described by a different linear ranking function. Our work provides new insights regarding such functions for loops described by a conjunction of linear constraints (single-path loops). We provide a complete polynomial-time solution to the problem of existence and of synthesis of MΦRF\mathit{M{\Phi}RF} of bounded depth (number of phases), when variables range over rational or real numbers; a complete solution for the (harder) case that variables are integer, with a matching lower-bound proof, showing that the problem is coNP-complete; and a new theorem which bounds the number of iterations for loops with MΦRFs\mathit{M{\Phi}RFs}. Surprisingly, the bound is linear, even when the variables involved change in non-linear way. We also consider a type of lexicographic ranking functions, LLRFs\mathit{LLRFs}, more expressive than types of lexicographic functions for which complete solutions have been given so far. We prove that for the above type of loops, lexicographic functions can be reduced to MΦRFs\mathit{M{\Phi}RFs}, and thus the questions of complexity of detection and synthesis, and of resulting iteration bounds, are also answered for this class.Comment: typos correcte

    Combined overexpression of chitinase and defensin genesin transgenic tomato enhances resistance to Botrytis cinerea

    Get PDF
    The rice chitinase gene (CHI), the alfalfa defensin gene (alfAFP) and their bivalent gene (CHI-AFP) were introduced into tomato line Micro-Tom via Agrobacterium-mediated gene transfer method. Transformants were obtained and confirmed by GFP, PCR and Southern blot hybridization. One to four copies of transgene were integrated into the tomato nuclear genome. Transcription levels of chitinase, alfAFP and their bivalent gene CHI-AFP in various transgenic lines were determined using Northern blotand Western blot analysis. Performance test of resistance analyses to Botrytis cinerea with T1 generation transgenic tomato lines showed the transgenic lines exhibited higher resistance to the pathogens infected than that of the non-transgenic plants and the resistance levels were related toexpression levels of the transgene, showing dosage-effect. The transgenic tomato harboring CHI-AFP cassette showed the highest disease resistance; it suggested that co-transformation with alfAFP and chitinase gene was more effective than individual transformations on the resistance to B. cinerea. Some independent lines with high disease resistance, low variability and stable expression of transgenes could be selected for the further studies and molecular breeding

    Anti-HIV-1 activity of cellulose acetate phthalate: Synergy with soluble CD4 and induction of "dead-end" gp41 six-helix bundles

    Get PDF
    BACKGROUND: Cellulose acetate phthalate (CAP), a promising candidate microbicide for prevention of sexual transmission of the human immunodeficiency virus type 1 (HIV-1) and other sexually transmitted disease (STD) pathogens, was shown to inactivate HIV-1 and to block the coreceptor binding site on the virus envelope glycoprotein gp120. It did not interfere with virus binding to CD4. Since CD4 is the primary cellular receptor for HIV-1, it was of interest to study CAP binding to HIV-1 complexes with soluble CD4 (sCD4) and its consequences, including changes in the conformation of the envelope glycoprotein gp41 within virus particles. METHODS: Enzyme-linked immunosorbent assays (ELISA) were used to study CAP binding to HIV-1-sCD4 complexes and to detect gp41 six-helix bundles accessible on virus particles using antibodies specific for the α-helical core domain of gp41. RESULTS: 1) Pretreatment of HIV-1 with sCD4 augments subsequent binding of CAP; 2) there is synergism between CAP and sCD4 for inhibition of HIV-1 infection; 3) treatment of HIV-1 with CAP induced the formation of gp41 six-helix bundles. CONCLUSIONS: CAP and sCD4 bind to distinct sites on HIV-1 IIIB and BaL virions and their simultaneous binding has profound effects on virus structure and infectivity. The formation of gp41 six-helical bundles, induced by CAP, is known to render the virus incompetent for fusion with target cells thus preventing infection
    corecore