1,494 research outputs found
Kleene Algebras and Semimodules for Energy Problems
With the purpose of unifying a number of approaches to energy problems found
in the literature, we introduce generalized energy automata. These are finite
automata whose edges are labeled with energy functions that define how energy
levels evolve during transitions. Uncovering a close connection between energy
problems and reachability and B\"uchi acceptance for semiring-weighted
automata, we show that these generalized energy problems are decidable. We also
provide complexity results for important special cases
Accelerated Data-Flow Analysis
Acceleration in symbolic verification consists in computing the exact effect
of some control-flow loops in order to speed up the iterative fix-point
computation of reachable states. Even if no termination guarantee is provided
in theory, successful results were obtained in practice by different tools
implementing this framework. In this paper, the acceleration framework is
extended to data-flow analysis. Compared to a classical
widening/narrowing-based abstract interpretation, the loss of precision is
controlled here by the choice of the abstract domain and does not depend on the
way the abstract value is computed. Our approach is geared towards precision,
but we don't loose efficiency on the way. Indeed, we provide a cubic-time
acceleration-based algorithm for solving interval constraints with full
multiplication
On algebraic classification of quasi-exactly solvable matrix models
We suggest a generalization of the Lie algebraic approach for constructing
quasi-exactly solvable one-dimensional Schroedinger equations which is due to
Shifman and Turbiner in order to include into consideration matrix models. This
generalization is based on representations of Lie algebras by first-order
matrix differential operators. We have classified inequivalent representations
of the Lie algebras of the dimension up to three by first-order matrix
differential operators in one variable. Next we describe invariant
finite-dimensional subspaces of the representation spaces of the one-,
two-dimensional Lie algebras and of the algebra sl(2,R). These results enable
constructing multi-parameter families of first- and second-order quasi-exactly
solvable models. In particular, we have obtained two classes of quasi-exactly
solvable matrix Schroedinger equations.Comment: LaTeX-file, 16 pages, submitted to J.Phys.A: Math.Ge
Population pharmacokinetics-based recommendations for a single delayed or missed dose of nusinersen
Nusinersen is an antisense oligonucleotide approved for the treatment of spinal muscular atrophy. The drug is given intrathecally at 12 mg, beginning with 3 loading doses at 2-week intervals, a fourth loading dose 30 days thereafter, and maintenance doses at 4-month intervals. This population pharmacokinetic model was developed to clarify how to maintain targeted nusinersen exposure after an unforeseen one-time delay or missed dose. Simulations demonstrated that the impact of a one-time delay in dosing or a missed dose on median cerebrospinal fluid exposures depended on duration of interruption and the regimen phase in which it occurred. Delays in loading doses delayed reaching the peak trough concentration by approximately the duration of the interruption. Resumption of the regimen as soon as possible resulted in achieving steady state trough concentration upon completion of the loading phase. A short delay (30-90 days) during the maintenance phase led to prolonged lower median cerebrospinal fluid concentration if all subsequent doses were shifted by the same 4-month interval. However, administration of the delayed dose, followed by the subsequent dose as originally scheduled, rapidly restored trough concentration. If a dose must be delayed, patients should return to the original dosing schedule as soon as possible
ASCR/HEP Exascale Requirements Review Report
This draft report summarizes and details the findings, results, and
recommendations derived from the ASCR/HEP Exascale Requirements Review meeting
held in June, 2015. The main conclusions are as follows. 1) Larger, more
capable computing and data facilities are needed to support HEP science goals
in all three frontiers: Energy, Intensity, and Cosmic. The expected scale of
the demand at the 2025 timescale is at least two orders of magnitude -- and in
some cases greater -- than that available currently. 2) The growth rate of data
produced by simulations is overwhelming the current ability, of both facilities
and researchers, to store and analyze it. Additional resources and new
techniques for data analysis are urgently needed. 3) Data rates and volumes
from HEP experimental facilities are also straining the ability to store and
analyze large and complex data volumes. Appropriately configured
leadership-class facilities can play a transformational role in enabling
scientific discovery from these datasets. 4) A close integration of HPC
simulation and data analysis will aid greatly in interpreting results from HEP
experiments. Such an integration will minimize data movement and facilitate
interdependent workflows. 5) Long-range planning between HEP and ASCR will be
required to meet HEP's research needs. To best use ASCR HPC resources the
experimental HEP program needs a) an established long-term plan for access to
ASCR computational and data resources, b) an ability to map workflows onto HPC
resources, c) the ability for ASCR facilities to accommodate workflows run by
collaborations that can have thousands of individual members, d) to transition
codes to the next-generation HPC platforms that will be available at ASCR
facilities, e) to build up and train a workforce capable of developing and
using simulations and analysis to support HEP scientific research on
next-generation systems.Comment: 77 pages, 13 Figures; draft report, subject to further revisio
Recommended from our members
Distributions of phytoplankton carbohydrate, protein and lipid in the world oceans from satellite ocean colour
Energy value of phytoplankton regulates the growth of higher trophic species, affecting the tropic balance and sustainability of marine food webs. Therefore, developing our capability to estimate and monitor, on a global scale, the concentrations of macromolecules that determine phytoplankton energy value, would be invaluable. Reported here are the first estimates of carbohydrate, protein, lipid, and overall energy value of phytoplankton in the world oceans, using ocean-colour data from satellites. The estimates are based on a novel bio-optical method that utilises satellite-derived bio-optical fingerprints of living phytoplankton combined with allometric relationships between phytoplankton cells and cellular macromolecular contents. The annually-averaged phytoplankton energy value, per cubic meter of sub-surface ocean, varied from less than 0.1 kJ in subtropical gyres, to 0.5–1.0 kJ in parts of the equatorial, northern and southern latitudes, and rising to more than 10 kJ in certain coastal and optically complex waters. The annually-averaged global stocks of carbohydrate, protein and lipid were 0.044, 0.17 and 0.108 gigatonnes, respectively, with monthly stocks highest in September and lowest in June, over 1997-2013. The fractional contributions of phytoplankton size classes e.g., picoplankton, nanoplankton and microplankton to surface concentrations and global stocks of macromolecules varied considerably across marine biomes classified as Longhurst provinces. Among these provinces, the highest annually-averaged surface concentrations of carbohydrate, protein, and lipid were in North-East Atlantic Coastal Shelves, whereas, the lowest concentration of carbohydrate or lipid were in North Atlantic Tropical Gyral, and that of protein was in North Pacific Subtropical Gyre West. The regional accuracy of the estimates and their sensitivity to satellite inputs are quantified from the bio-optical model, which show promise for possible operational monitoring of phytoplankton energy value from satellite ocean colour. Adequate in situ measurements of macromolecules and improved retrievals of inherent optical properties from high-resolution satellite images, would be required to validate these estimates at local sites, and to further improve their accuracy in the world oceans
The conserved C-terminus of the PcrA/UvrD helicase interacts directly with RNA polymerase
Copyright: © 2013 Gwynn et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Funding: This work was supported by a Wellcome Trust project grant to MD (Reference: 077368), an ERC starting grant to MD (Acronym: SM-DNA-REPAIR) and a BBSRC project grant to PM, NS and MD (Reference: BB/I003142/1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD
Hsp90 governs dispersion and drug resistance of fungal biofilms
Fungal biofilms are a major cause of human mortality and are recalcitrant to most treatments due to intrinsic drug resistance. These complex communities of multiple cell types form on indwelling medical devices and their eradication often requires surgical removal of infected devices. Here we implicate the molecular chaperone Hsp90 as a key regulator of biofilm dispersion and drug resistance. We previously established that in the leading human fungal pathogen, Candida albicans, Hsp90 enables the emergence and maintenance of drug resistance in planktonic conditions by stabilizing the protein phosphatase calcineurin and MAPK Mkc1. Hsp90 also regulates temperature-dependent C. albicans morphogenesis through repression of cAMP-PKA signalling. Here we demonstrate that genetic depletion of Hsp90 reduced C. albicans biofilm growth and maturation in vitro and impaired dispersal of biofilm cells. Further, compromising Hsp90 function in vitro abrogated resistance of C. albicans biofilms to the most widely deployed class of antifungal drugs, the azoles. Depletion of Hsp90 led to reduction of calcineurin and Mkc1 in planktonic but not biofilm conditions, suggesting that Hsp90 regulates drug resistance through different mechanisms in these distinct cellular states. Reduction of Hsp90 levels led to a marked decrease in matrix glucan levels, providing a compelling mechanism through which Hsp90 might regulate biofilm azole resistance. Impairment of Hsp90 function genetically or pharmacologically transformed fluconazole from ineffectual to highly effective in eradicating biofilms in a rat venous catheter infection model. Finally, inhibition of Hsp90 reduced resistance of biofilms of the most lethal mould, Aspergillus fumigatus, to the newest class of antifungals to reach the clinic, the echinocandins. Thus, we establish a novel mechanism regulating biofilm drug resistance and dispersion and that targeting Hsp90 provides a much-needed strategy for improving clinical outcome in the treatment of biofilm infections
Horizontal DNA transfer mechanisms of bacteria as weapons of intragenomic conflict
Horizontal DNA transfer (HDT) is a pervasive mechanism of diversification in many microbial species, but its primary evolutionary role remains controversial. Much recent research has emphasised the adaptive benefit of acquiring novel DNA, but here we argue instead that intragenomic conflict provides a coherent framework for understanding the evolutionary origins of HDT. To test this hypothesis, we developed a mathematical model of a clonally descended bacterial population undergoing HDT through transmission of mobile genetic elements (MGEs) and genetic transformation. Including the known bias of transformation toward the acquisition of shorter alleles into the model suggested it could be an effective means of counteracting the spread of MGEs. Both constitutive and transient competence for transformation were found to provide an effective defence against parasitic MGEs; transient competence could also be effective at permitting the selective spread of MGEs conferring a benefit on their host bacterium. The coordination of transient competence with cell-cell killing, observed in multiple species, was found to result in synergistic blocking of MGE transmission through releasing genomic DNA for homologous recombination while simultaneously reducing horizontal MGE spread by lowering the local cell density. To evaluate the feasibility of the functions suggested by the modelling analysis, we analysed genomic data from longitudinal sampling of individuals carrying Streptococcus pneumoniae. This revealed the frequent within-host coexistence of clonally descended cells that differed in their MGE infection status, a necessary condition for the proposed mechanism to operate. Additionally, we found multiple examples of MGEs inhibiting transformation through integrative disruption of genes encoding the competence machinery across many species, providing evidence of an ongoing "arms race." Reduced rates of transformation have also been observed in cells infected by MGEs that reduce the concentration of extracellular DNA through secretion of DNases. Simulations predicted that either mechanism of limiting transformation would benefit individual MGEs, but also that this tactic's effectiveness was limited by competition with other MGEs coinfecting the same cell. A further observed behaviour we hypothesised to reduce elimination by transformation was MGE activation when cells become competent. Our model predicted that this response was effective at counteracting transformation independently of competing MGEs. Therefore, this framework is able to explain both common properties of MGEs, and the seemingly paradoxical bacterial behaviours of transformation and cell-cell killing within clonally related populations, as the consequences of intragenomic conflict between self-replicating chromosomes and parasitic MGEs. The antagonistic nature of the different mechanisms of HDT over short timescales means their contribution to bacterial evolution is likely to be substantially greater than previously appreciated
Incorporating rich background knowledge for gene named entity classification and recognition
<p>Abstract</p> <p>Background</p> <p>Gene named entity classification and recognition are crucial preliminary steps of text mining in biomedical literature. Machine learning based methods have been used in this area with great success. In most state-of-the-art systems, elaborately designed lexical features, such as words, n-grams, and morphology patterns, have played a central part. However, this type of feature tends to cause extreme sparseness in feature space. As a result, out-of-vocabulary (OOV) terms in the training data are not modeled well due to lack of information.</p> <p>Results</p> <p>We propose a general framework for gene named entity representation, called feature coupling generalization (FCG). The basic idea is to generate higher level features using term frequency and co-occurrence information of highly indicative features in huge amount of unlabeled data. We examine its performance in a named entity classification task, which is designed to remove non-gene entries in a large dictionary derived from online resources. The results show that new features generated by FCG outperform lexical features by 5.97 F-score and 10.85 for OOV terms. Also in this framework each extension yields significant improvements and the sparse lexical features can be transformed into both a lower dimensional and more informative representation. A forward maximum match method based on the refined dictionary produces an F-score of 86.2 on BioCreative 2 GM test set. Then we combined the dictionary with a conditional random field (CRF) based gene mention tagger, achieving an F-score of 89.05, which improves the performance of the CRF-based tagger by 4.46 with little impact on the efficiency of the recognition system. A demo of the NER system is available at <url>http://202.118.75.18:8080/bioner</url>.</p
- …