84,293 research outputs found
Index to Library Trends Volume 38
published or submitted for publicatio
Theoretical description of a DNA-linked nanoparticle self-assembly
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
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
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
- …