84,293 research outputs found

    Midbrain areas as candidates for audio-vocal interface in echolocating bats

    Get PDF

    Index to Library Trends Volume 38

    Get PDF
    published or submitted for publicatio

    Theoretical description of a DNA-linked nanoparticle self-assembly

    Full text link
    Nanoparticles tethered with DNA strands are promising building blocks for bottom-up nanotechnology, and a theoretical understanding is important for future development. Here we build on approaches developed in polymer physics to provide theoretical descriptions for the equilibrium clustering and dynamics, as well as the self-assembly kinetics of DNA-linked nanoparticles. Striking agreement is observed between the theory and molecular modeling of DNA tethered nanoparticles.Comment: Accepted for publication in Physical Review Letter

    SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes

    Get PDF
    This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate format: the LPPE. On this format, optimisations such as dead-variable reduction and confluence reduction are applied automatically by SCOOP. That way, drastic state space reductions are achieved while never having to generate the complete state space, as data variables are unfolded only locally. The optimised state spaces are ready to be analysed by for instance CADP or PRISM

    Modeling of the Labour Force Redistribution in Investment Projects with Account of their Delay

    Full text link
    The mathematical model of the labour force redistribution in investment projects is presented in the article. The redistribution mode of funds, labour force in particular, according to the equal risk approach applied to the loss of some assets due to delay in all the investment projects is provided in the model. The sample of the developed model for three investment projects with the specified labour force volumes and their defined unit costs at the particular moment is given
    corecore