Abstract-- The RNA secondary structure design (SSD) problem is a recently emerging research topic motivated by applications such as customized drug design and the self-assembly of ...
Previous research has shown both theoretically and practically that simulated annealing can greatly benefit from the incorporation of an adaptive range limiting window to control ...
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
Simulation is used to verify the feasibility of the design of manufacturing cells. The cell design, which combines new and existing machines in a component manufacture, is present...
Shahram Taj, David S. Cochran, James W. Duda, Joch...
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...