332 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

    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

    A Survey on Model-Based Distributed Control and Filtering for Industrial Cyber-Physical Systems

    Get PDF

    Lithium suppression of tau induces brain iron accumulation and neurodegeneration

    Get PDF
    Lithium is a first-line therapy for bipolar affective disorder. However, various adverse effects, including a Parkinson-like hand tremor, often limit its use. The understanding of the neurobiological basis of these side effects is still very limited. Nigral iron elevation is also a feature of Parkinsonian degeneration that may be related to soluble tau reduction. We found that magnetic resonance imaging T2 relaxation time changes in subjects commenced on lithium therapy were consistent with iron elevation. In mice, lithium treatment lowers brain tau levels and increases nigral and cortical iron elevation that is closely associated with neurodegeneration, cognitive loss and parkinsonian features. In neuronal cultures lithium attenuates iron efflux by lowering tau protein that traffics amyloid precursor protein to facilitate iron efflux. Thus, tau- and amyloid protein precursor-knockout mice were protected against lithium-induced iron elevation and neurotoxicity. These findings challenge the appropriateness of lithium as a potential treatment for disorders where brain iron is elevated (for example, Alzheimer’s disease), and may explain lithium-associated motor symptoms in susceptible patients

    SOX2 Co-Occupies Distal Enhancer Elements with Distinct POU Factors in ESCs and NPCs to Specify Cell State

    Get PDF
    SOX2 is a master regulator of both pluripotent embryonic stem cells (ESCs) and multipotent neural progenitor cells (NPCs); however, we currently lack a detailed understanding of how SOX2 controls these distinct stem cell populations. Here we show by genome-wide analysis that, while SOX2 bound to a distinct set of gene promoters in ESCs and NPCs, the majority of regions coincided with unique distal enhancer elements, important cis-acting regulators of tissue-specific gene expression programs. Notably, SOX2 bound the same consensus DNA motif in both cell types, suggesting that additional factors contribute to target specificity. We found that, similar to its association with OCT4 (Pou5f1) in ESCs, the related POU family member BRN2 (Pou3f2) co-occupied a large set of putative distal enhancers with SOX2 in NPCs. Forced expression of BRN2 in ESCs led to functional recruitment of SOX2 to a subset of NPC-specific targets and to precocious differentiation toward a neural-like state. Further analysis of the bound sequences revealed differences in the distances of SOX and POU peaks in the two cell types and identified motifs for additional transcription factors. Together, these data suggest that SOX2 controls a larger network of genes than previously anticipated through binding of distal enhancers and that transitions in POU partner factors may control tissue-specific transcriptional programs. Our findings have important implications for understanding lineage specification and somatic cell reprogramming, where SOX2, OCT4, and BRN2 have been shown to be key factors

    Worldwide comparison of survival from childhood leukaemia for 1995–2009, by subtype, age, and sex (CONCORD-2): a population-based study of individual data for 89 828 children from 198 registries in 53 countries

    Get PDF
    Background Global inequalities in access to health care are reflected in differences in cancer survival. The CONCORD programme was designed to assess worldwide differences and trends in population-based cancer survival. In this population-based study, we aimed to estimate survival inequalities globally for several subtypes of childhood leukaemia. Methods Cancer registries participating in CONCORD were asked to submit tumour registrations for all children aged 0-14 years who were diagnosed with leukaemia between Jan 1, 1995, and Dec 31, 2009, and followed up until Dec 31, 2009. Haematological malignancies were defined by morphology codes in the International Classification of Diseases for Oncology, third revision. We excluded data from registries from which the data were judged to be less reliable, or included only lymphomas, and data from countries in which data for fewer than ten children were available for analysis. We also excluded records because of a missing date of birth, diagnosis, or last known vital status. We estimated 5-year net survival (ie, the probability of surviving at least 5 years after diagnosis, after controlling for deaths from other causes [background mortality]) for children by calendar period of diagnosis (1995-99, 2000-04, and 2005-09), sex, and age at diagnosis (< 1, 1-4, 5-9, and 10-14 years, inclusive) using appropriate life tables. We estimated age-standardised net survival for international comparison of survival trends for precursor-cell acute lymphoblastic leukaemia (ALL) and acute myeloid leukaemia (AML). Findings We analysed data from 89 828 children from 198 registries in 53 countries. During 1995-99, 5-year agestandardised net survival for all lymphoid leukaemias combined ranged from 10.6% (95% CI 3.1-18.2) in the Chinese registries to 86.8% (81.6-92.0) in Austria. International differences in 5-year survival for childhood leukaemia were still large as recently as 2005-09, when age-standardised survival for lymphoid leukaemias ranged from 52.4% (95% CI 42.8-61.9) in Cali, Colombia, to 91.6% (89.5-93.6) in the German registries, and for AML ranged from 33.3% (18.9-47.7) in Bulgaria to 78.2% (72.0-84.3) in German registries. Survival from precursor-cell ALL was very close to that of all lymphoid leukaemias combined, with similar variation. In most countries, survival from AML improved more than survival from ALL between 2000-04 and 2005-09. Survival for each type of leukaemia varied markedly with age: survival was highest for children aged 1-4 and 5-9 years, and lowest for infants (younger than 1 year). There was no systematic difference in survival between boys and girls. Interpretation Global inequalities in survival from childhood leukaemia have narrowed with time but remain very wide for both ALL and AML. These results provide useful information for health policy makers on the effectiveness of health-care systems and for cancer policy makers to reduce inequalities in childhood survival

    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

    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
    corecore