Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductiv
An Analysis of Particle Swarm Optimizers.pdf Particle Swarm Optimization Based on Adaptive.pdf The fully informed particle swarm-simpler, maybe better.pdf The particle swarm - explosion, stability, and convergence in a multidimensional complex space
Using Bethe model, the dynamics of the ionization and Coulomb explosion of hydrogen clusters (0.5-5 nm) in high-intensity (10^(15)-10^(17) W/cm2) femtosecond laser pulses have been studied theoretically, and the dependence of energy of protons emitte
A simplified Coulomb explosion model is presented for the analysis of the explosion dynamics of hydrogen clusters driven by an ultrashort intense laser pulse. The scaling of the proton kinetic energy with cluster size has been studied in detail based
In this letter, we discuss the increase in the average cluster size by lowering the stagnation temperature of the methane (CH4) gas. The Coulomb explosion experiments are conducted to estimate the cluster size and the size distribution. The average C
