1,233 research outputs found

    In-vivo optical detection of cancer using chlorin e6 – polyvinylpyrrolidone induced fluorescence imaging and spectroscopy

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Photosensitizer based fluorescence imaging and spectroscopy is fast becoming a promising approach for cancer detection. The purpose of this study was to examine the use of the photosensitizer chlorin e6 (Ce6) formulated in polyvinylpyrrolidone (PVP) as a potential exogenous fluorophore for fluorescence imaging and spectroscopic detection of human cancer tissue xenografted in preclinical models as well as in a patient.</p> <p>Methods</p> <p>Fluorescence imaging was performed on MGH human bladder tumor xenografted on both the chick chorioallantoic membrane (CAM) and the murine model using a fluorescence endoscopy imaging system. In addition, fiber optic based fluorescence spectroscopy was performed on tumors and various normal organs in the same mice to validate the macroscopic images. In one patient, fluorescence imaging was performed on angiosarcoma lesions and normal skin in conjunction with fluorescence spectroscopy to validate Ce6-PVP induced fluorescence visual assessment of the lesions.</p> <p>Results</p> <p>Margins of tumor xenografts in the CAM model were clearly outlined under fluorescence imaging. Ce6-PVP-induced fluorescence imaging yielded a specificity of 83% on the CAM model. In mice, fluorescence intensity of Ce6-PVP was higher in bladder tumor compared to adjacent muscle and normal bladder. Clinical results confirmed that fluorescence imaging clearly captured the fluorescence of Ce6-PVP in angiosarcoma lesions and good correlation was found between fluorescence imaging and spectral measurement in the patient.</p> <p>Conclusion</p> <p>Combination of Ce6-PVP induced fluorescence imaging and spectroscopy could allow for optical detection and discrimination between cancer and the surrounding normal tissues. Ce6-PVP seems to be a promising fluorophore for fluorescence diagnosis of cancer.</p

    Conformational transition of FGFR kinase activation revealed by site-­specific unnatural amino acid reporter and single molecule FRET

    Get PDF
    Protein kinases share significant structural similarity; however, structural features alone are insufficient to explain their diverse functions. Thus, bridging the gap between static structure and function requires a more detailed understanding of their dynamic properties. For example, kinase activation may occur via a switch-like mechanism or by shifting a dynamic equilibrium between inactive and active states. Here, we utilize a combination of FRET and molecular dynamics (MD) simulations to probe the activation mechanism of the kinase domain of Fibroblast Growth Factor Receptor (FGFR). Using genetically-encoded, site-specific incorporation of unnatural amino acids in regions essential for activation, followed by specific labeling with fluorescent moieties, we generated a novel class of FRET-based reporter to monitor conformational differences corresponding to states sampled by non phosphorylated/inactive and phosphorylated/active forms of the kinase. Single molecule FRET analysis in vitro, combined with MD simulations, shows that for FGFR kinase, there are populations of inactive and active states separated by a high free energy barrier resulting in switch-like activation. Compared to recent studies, these findings support diversity in features of kinases that impact on their activation mechanisms. The properties of these FRET-based constructs will also allow further studies of kinase dynamics as well as applications in vivo

    Conformational transition of FGFR kinase activation revealed by site-specific unnatural amino acid reporter and single molecule FRET

    Get PDF
    Protein kinases share significant structural similarity; however, structural features alone are insufficient to explain their diverse functions. Thus, bridging the gap between static structure and function requires a more detailed understanding of their dynamic properties. For example, kinase activation may occur via a switch-like mechanism or by shifting a dynamic equilibrium between inactive and active states. Here, we utilize a combination of FRET and molecular dynamics (MD) simulations to probe the activation mechanism of the kinase domain of Fibroblast Growth Factor Receptor (FGFR). Using genetically-encoded, site-specific incorporation of unnatural amino acids in regions essential for activation, followed by specific labeling with fluorescent moieties, we generated a novel class of FRET-based reporter to monitor conformational differences corresponding to states sampled by non phosphorylated/inactive and phosphorylated/active forms of the kinase. Single molecule FRET analysis in vitro, combined with MD simulations, shows that for FGFR kinase, there are populations of inactive and active states separated by a high free energy barrier resulting in switch-like activation. Compared to recent studies, these findings support diversity in features of kinases that impact on their activation mechanisms. The properties of these FRET-based constructs will also allow further studies of kinase dynamics as well as applications in vivo

    Steering in computational science: mesoscale modelling and simulation

    Full text link
    This paper outlines the benefits of computational steering for high performance computing applications. Lattice-Boltzmann mesoscale fluid simulations of binary and ternary amphiphilic fluids in two and three dimensions are used to illustrate the substantial improvements which computational steering offers in terms of resource efficiency and time to discover new physics. We discuss details of our current steering implementations and describe their future outlook with the advent of computational grids.Comment: 40 pages, 11 figures. Accepted for publication in Contemporary Physic

    Invariant Synthesis for Incomplete Verification Engines

    Full text link
    We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. Our experiments show that our invariant synthesis framework based on non-provability information can both effectively synthesize inductive invariants and adequately strengthen contracts across a large suite of programs

    Non-polynomial Worst-Case Analysis of Recursive Programs

    Full text link
    We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of nonrecursive programs. First, we apply ranking functions to recursion, resulting in measure functions. We show that measure functions provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in nonpolynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas' Lemma, and Handelman's Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form O(nlogn)\mathcal{O}(n\log n) as well as O(nr)\mathcal{O}(n^r) where rr is not an integer. We present experimental results to demonstrate that our approach can obtain efficiently worst-case bounds of classical recursive algorithms such as (i) Merge-Sort, the divide-and-conquer algorithm for the Closest-Pair problem, where we obtain O(nlogn)\mathcal{O}(n \log n) worst-case bound, and (ii) Karatsuba's algorithm for polynomial multiplication and Strassen's algorithm for matrix multiplication, where we obtain O(nr)\mathcal{O}(n^r) bound such that rr is not an integer and close to the best-known bounds for the respective algorithms.Comment: 54 Pages, Full Version to CAV 201

    Smc5/6: a link between DNA repair and unidirectional replication?

    Get PDF
    Of the three structural maintenance of chromosome (SMC) complexes, two directly regulate chromosome dynamics. The third, Smc5/6, functions mainly in homologous recombination and in completing DNA replication. The literature suggests that Smc5/6 coordinates DNA repair, in part through post-translational modification of uncharacterized target proteins that can dictate their subcellular localization, and that Smc5/6 also functions to establish DNA-damage-dependent cohesion. A nucleolar-specific Smc5/6 function has been proposed because Smc5/6 yeast mutants display penetrant phenotypes of ribosomal DNA (rDNA) instability. rDNA repeats are replicated unidirectionally. Here, we propose that unidirectional replication, combined with global Smc5/6 functions, can explain the apparent rDNA specificity

    An extracellular steric seeding mechanism for Eph-ephrin signaling platform assembly

    Get PDF
    Erythropoetin-producing hepatoma (Eph) receptors are cell-surface protein tyrosine kinases mediating cell-cell communication. Upon activation, they form signaling clusters. We report crystal structures of the full ectodomain of human EphA2 (eEphA2) both alone and in complex with the receptor-binding domain of the ligand ephrinA5 (ephrinA5 RBD). Unliganded eEphA2 forms linear arrays of staggered parallel receptors involving two patches of residues conserved across A-class Ephs. eEphA2-ephrinA5 RBD forms a more elaborate assembly, whose interfaces include the same conserved regions on eEphA2, but rearranged to accommodate ephrinA5 RBD. Cell-surface expression of mutant EphA2s showed that these interfaces are critical for localization at cell-cell contacts and activation-dependent degradation. Our results suggest a 'nucleation' mechanism whereby a limited number of ligand-receptor interactions 'seed' an arrangement of receptors which can propagate into extended signaling arrays

    Transcription profiling reveals potential mechanisms of dysbiosis in the oral microbiome of rhesus macaques with chronic untreated SIV infection.

    Get PDF
    A majority of individuals infected with human immunodeficiency virus (HIV) have inadequate access to antiretroviral therapy and ultimately develop debilitating oral infections that often correlate with disease progression. Due to the impracticalities of conducting host-microbe systems-based studies in HIV infected patients, we have evaluated the potential of simian immunodeficiency virus (SIV) infected rhesus macaques to serve as a non-human primate model for oral manifestations of HIV disease. We present the first description of the rhesus macaque oral microbiota and show that a mixture of human commensal bacteria and "macaque versions" of human commensals colonize the tongue dorsum and dental plaque. Our findings indicate that SIV infection results in chronic activation of antiviral and inflammatory responses in the tongue mucosa that may collectively lead to repression of epithelial development and impact the microbiome. In addition, we show that dysbiosis of the lingual microbiome in SIV infection is characterized by outgrowth of Gemella morbillorum that may result from impaired macrophage function. Finally, we provide evidence that the increased capacity of opportunistic pathogens (e.g. E. coli) to colonize the microbiome is associated with reduced production of antimicrobial peptides

    Estimating the Associations between Big Five Personality Traits, Testosterone, and Cortisol

    Get PDF
    OBJECTIVE: Hormones are often conceptualized as biological markers of individual differences and have been associated with a variety of behavioral indicators and characteristics, such as mating behavior or acquiring and maintaining dominance. However, before researchers create strong theoretical models for how hormones modulate individual and social behavior, information on how hormones are associated with dominant models of personality is needed. Although there have been some studies attempting to quantify the associations between personality traits, testosterone, and cortisol, there are many inconsistencies across these studies. METHODS: In this registered report, we examined associations between testosterone, cortisol, and Big Five personality traits. We aggregated 25 separate samples to yield a single sample of 3964 (50.3% women; 27.7% of women were on hormonal contraceptives). Participants completed measures of personality and provided saliva samples for testosterone and cortisol assays. RESULTS: The results from multi-level models and meta-analyses revealed mostly weak, non-significant associations between testosterone or cortisol and personality traits. The few significant effects were still very small in magnitude (e.g., testosterone and conscientiousness: r = −0.05). A series of moderation tests revealed that hormone-personality associations were mostly similar in men and women, those using hormonal contraceptives or not, and regardless of the interaction between testosterone and cortisol (i.e., a variant of the dual-hormone hypothesis). CONCLUSIONS: Altogether, we did not detect many robust associations between Big Five personality traits and testosterone or cortisol. The findings are discussed in the context of biological models of personality and the utility of examining heterogeneity in hormone-personality associations
    corecore