281 research outputs found

    Proposals for evaluating the regularity of a scientist'sresearch output

    No full text
    Evaluating the career of individual scientists according to their scientific output is a common bibliometric problem. Two aspects are classically taken into account: overall productivity and overall diffusion/impact, which can be measured by a plethora of indicators that consider publications and/or citations separately or synthesise these two quantities into a single number (e.g. h-index). A secondary aspect, which is sometimes mentioned in the rules of competitive examinations for research position/promotion, is time regularity of one researcher's scientific output. Despite the fact that it is sometimes invoked, a clear definition of regularity is still lacking. We define it as the ability of generating an active and stable research output over time, in terms of both publications/ quantity and citations/diffusion. The goal of this paper is introducing three analysis tools to perform qualitative/quantitative evaluations on the regularity of one scientist's output in a simple and organic way. These tools are respectively (1) the PY/CY diagram, (2) the publication/citation Ferrers diagram and (3) a simplified procedure for comparing the research output of several scientists according to their publication and citation temporal distributions (Borda's ranking). Description of these tools is supported by several examples

    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

    A two-layered mechanical model of the rat esophagus. Experiment and theory

    Get PDF
    BACKGROUND: The function of esophagus is to move food by peristaltic motion which is the result of the interaction of the tissue forces in the esophageal wall and the hydrodynamic forces in the food bolus. The structure of the esophagus is layered. In this paper, the esophagus is treated as a two-layered structure consisting of an inner collagen-rich submucosa layer and an outer muscle layer. We developed a model and experimental setup for determination of elastic moduli in the two layers in circumferential direction and related the measured elastic modulus of the intact esophagus to the elastic modulus computed from the elastic moduli of the two layers. METHODS: Inflation experiments were done at in vivo length and pressure-diameters relations were recorded for the rat esophagus. Furthermore, the zero-stress state was taken into consideration. RESULTS: The radius and the strain increased as function of pressure in the intact as well as in the individual layers of the esophagus. At pressures higher than 1.5 cmH(2)O the muscle layer had a larger radius and strain than the mucosa-submucosa layer. The strain for the intact esophagus and for the muscle layer was negative at low pressures indicating the presence of residual strains in the tissue. The stress-strain curve for the submucosa-mucosa layer was shifted to the left of the curves for the muscle layer and for the intact esophagus at strains higher than 0.3. The tangent modulus was highest in the submucosa-mucosa layer, indicating that the submucosa-mucosa has the highest stiffness. A good agreement was found between the measured elastic modulus of the intact esophagus and the elastic modulus computed from the elastic moduli of the two separated layers

    An environmentally benign antimicrobial nanoparticle based on a silver-infused lignin core

    Get PDF
    Silver nanoparticles have antibacterial properties, but their use has been a cause for concern because they persist in the environment. Here, we show that lignin nanoparticles infused with silver ions and coated with a cationic polyelectrolyte layer form a biodegradable and green alternative to silver nanoparticles. The polyelectrolyte layer promotes the adhesion of the particles to bacterial cell membranes and, together with silver ions, can kill a broad spectrum of bacteria, including Escherichia coli, Pseudomonas aeruginosa and quaternary-amine-resistant Ralstonia sp. Ion depletion studies have shown that the bioactivity of these nanoparticles is time-limited because of the desorption of silver ions. High-throughput bioactivity screening did not reveal increased toxicity of the particles when compared to an equivalent mass of metallic silver nanoparticles or silver nitrate solution. Our results demonstrate that the application of green chemistry principles may allow the synthesis of nanoparticles with biodegradable cores that have higher antimicrobial activity and smaller environmental impact than metallic silver nanoparticles

    Activin/Nodal Inhibition Alone Accelerates Highly Efficient Neural Conversion from Human Embryonic Stem Cells and Imposes a Caudal Positional Identity

    Get PDF
    Background Neural conversion from human embryonic stem cells (hESCs) has been demonstrated in a variety of systems including chemically defined suspension culture, not requiring extrinsic signals, as well as in an adherent culture method that involves dual SMAD inhibition using Noggin and SB431542 (an inhibitor of activin/nodal signaling). Previous studies have also determined a role for activin/nodal signaling in development of the neural plate and anterior fate specification. We therefore sought to investigate the independent influence of SB431542 both on neural commitment of hESCs and positional identity of derived neural progenitors in chemically defined substrate-free conditions. Methodology/Principal Findings We show that in non-adherent culture conditions, treatment with SB431542 alone for 8 days is sufficient for highly efficient and accelerated neural conversion from hESCs with negligible mesendodermal, epidermal or trophectodermal contamination. In addition the resulting neural progenitor population has a predominantly caudal identity compared to the more anterior positional fate of non-SB431542 treated cultures. Finally we demonstrate that resulting neurons are electro-physiologically competent. Conclusions This study provides a platform for the efficient generation of caudal neural progenitors under defined conditions for experimental study

    Study of Muscle Cell Dedifferentiation after Skeletal Muscle Injury of Mice with a Cre-Lox System

    Get PDF
    Background: Dedifferentiation of muscle cells in the tissue of mammals has yet to be observed. One of the challenges facing the study of skeletal muscle cell dedifferentiation is the availability of a reliable model that can confidentially distinguish differentiated cell populations of myotubes and non-fused mononuclear cells, including stem cells that can coexist within the population of cells being studied. Methodology/Principal Findings: In the current study, we created a Cre/Lox-β-galactosidase system, which can specifically tag differentiated multinuclear myotubes and myotube-generated mononuclear cells based on the activation of the marker gene, β-galactosidase. By using this system in an adult mouse model, we found that β-galactosidase positive mononuclear cells were generated from β-galactosidase positive multinuclear myofibers upon muscle injury. We also demonstrated that these mononuclear cells can develop into a variety of different muscle cell lineages, i.e., myoblasts, satellite cells, and muscle derived stem cells. Conclusions/Significance: These novel findings demonstrated, for the first time, that cellular dedifferentiation of skeletal muscle cells actually occurs in mammalian skeletal muscle following traumatic injury in vivo. © 2011 Mu et al

    A Small Peptide Modeled after the NRAGE Repeat Domain Inhibits XIAP-TAB1-TAK1 Signaling for NF-κB Activation and Apoptosis in P19 Cells

    Get PDF
    In normal growth and development, apoptosis is necessary to shape the central nervous system and to eliminate excess neurons which are not required for innervation. In some diseases, however, apoptosis can be either overactive as in some neurodegenerative disorders or severely attenuated as in the spread of certain cancers. Bone morphogenetic proteins (BMPs) transmit signals for regulating cell growth, differentiation, and apoptosis. Responding to BMP receptors stimulated from BMP ligands, neurotrophin receptor-mediated MAGE homolog (NRAGE) binds and functions with the XIAP-TAK1-TAB1 complex to activate p38MAPK and induces apoptosis in cortical neural progenitors. NRAGE contains a unique repeat domain that is only found in human, mouse, and rat homologs that we theorize is pivotal in its BMP MAPK role. Previously, we showed that deletion of the repeat domain inhibits apoptosis, p38MAPK phosphorylation, and caspase-3 cleavage in P19 neural progenitor cells. We also showed that the XIAP-TAB1-TAK1 complex is dependent on NRAGE for IKK-α/β phosphorylation and NF-κB activation. XIAP is a major inhibitor of caspases, the main executioners of apoptosis. Although it has been shown previously that NRAGE binds to the RING domain of XIAP, it has not been determined which NRAGE domain binds to XIAP. Here, we used fluorescence resonance energy transfer (FRET) to determine that there is a strong likelihood of a direct interaction between NRAGE and XIAP occurring at NRAGE's unique repeat domain which we also attribute to be the domain responsible for downstream signaling of NF-κB and activating IKK subunits. From these results, we designed a small peptide modeled after the NRAGE repeat domain which we have determined inhibits NF-κB activation and apoptosis in P19 cells. These intriguing results illustrate that the paradigm of the NRAGE repeat domain may hold promising therapeutic strategies in developing pharmaceutical solutions for combating harmful diseases involving excessive downstream BMP signaling, including apoptosis

    The use of microbubbles to target drug delivery

    Get PDF
    Ultrasound-mediated microbubbles destruction has been proposed as an innovative method for noninvasive delivering of drugs and genes to different tissues. Microbubbles are used to carry a drug or gene until a specific area of interest is reached, and then ultrasound is used to burst the microbubbles, causing site-specific delivery of the bioactive materials. Furthermore, the ability of albumin-coated microbubbles to adhere to vascular regions with glycocalix damage or endothelial dysfunction is another possible mechanism to deliver drugs even in the absence of ultrasound. This review focuses on the characteristics of microbubbles that give them therapeutic properties and some important aspects of ultrasound parameters that are known to influence microbubble-mediated drug delivery. In addition, current studies involving this novel therapeutical application of microbubbles will be discussed

    Genetic Heterogeneity of Hepatitis C Virus in Association with Antiviral Therapy Determined by Ultra-Deep Sequencing

    Get PDF
    The hepatitis C virus (HCV) invariably shows wide heterogeneity in infected patients, referred to as a quasispecies population. Massive amounts of genetic information due to the abundance of HCV variants could be an obstacle to evaluate the viral genetic heterogeneity in detail.Using a newly developed massive-parallel ultra-deep sequencing technique, we investigated the viral genetic heterogeneity in 27 chronic hepatitis C patients receiving peg-interferon (IFN) α2b plus ribavirin therapy.Ultra-deep sequencing determined a total of more than 10 million nucleotides of the HCV genome, corresponding to a mean of more than 1000 clones in each specimen, and unveiled extremely high genetic heterogeneity in the genotype 1b HCV population. There was no significant difference in the level of viral complexity between immediate virologic responders and non-responders at baseline (p = 0.39). Immediate virologic responders (n = 8) showed a significant reduction in the genetic complexity spanning all the viral genetic regions at the early phase of IFN administration (p = 0.037). In contrast, non-virologic responders (n = 8) showed no significant changes in the level of viral quasispecies (p = 0.12), indicating that very few viral clones are sensitive to IFN treatment. We also demonstrated that clones resistant to direct-acting antivirals for HCV, such as viral protease and polymerase inhibitors, preexist with various abundances in all 27 treatment-naïve patients, suggesting the risk of the development of drug resistance against these agents.Use of the ultra-deep sequencing technology revealed massive genetic heterogeneity of HCV, which has important implications regarding the treatment response and outcome of antiviral therapy
    corecore