UNLABELLED Developing a quantitative understanding of intracellular networks requires simulations and computational analyses. However, traditional differential equation modeling tools are often inadequate due to the stochasticity of intracellular reaction networks that can potentially influence the phenotypic characteristics. Unfortunately, stochastic simulations are computationally too intense...

A new molecular dynamics-like modelling approach aimed at simulating the mechanical behaviour of true polyhedra dense assemblies is presented. Thanks to an improved version Gilbert-Johnson-Keerthi contact detection algorithm called GJK − TD , this involves no edge or corner rounding and accounts for multipoint face contacts between any set two particles. Furthermore, torques equations are simpl...

concerns related to climate change and security of energy supply is pushing various countries to make strategic energy planning decisions. in this regard, energy system modelling is an appropriate method to find out the utilization of current declining non-renewable energy resources and other possible scenarios. consequently, it is available to consider various aspects of energy system decision...

This tool paper describes Leap, a tool for the verification of concurrent datatypes and parametrized systems composed by an unbounded number of threads that manipulate infinite data. Leap receives as input a concurrent program description and a specification and automatically generates a finite set of verification conditions which are then discharged to specialized decision procedures. The vali...

This work presents the first 3-D analysis of lateral dopant diffusion in a patterned structure using a pulsed laser-assisted local electrode atom probe (LEAP). A structure similar to a device channel was created for this work by performing a 3 keV, 1 x 10(15) cm(-2) As+ implant on a poly-Si line patterned wafer with 70 nm line width and 200 nm line pitch. The wafer was subsequently annealed at ...