Microtubules play numerous critical roles in a cell such as providing structural tracks for the anchoring and movement of vesicles and chromosomes. Also, the assembly of microtubu...
Stathis Hadjidemetriou, Derek Toomre, James S. Dun...
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
Many important characteristics of simulation models, including queuing models, can be investigated by the use of metamodels. Problems in qualitative analysis such as analyzing mod...
Juri Tolujev, Peter Lorenz, Daniel Beier, Thomas J...
Abstract: The analysis of RNA folding landscapes yields insights into the kinetic folding behavior not available from classical structure prediction methods. This is especially imp...
Goal-directed Markov Decision Process models (GDMDPs) are good models for many decision-theoretic planning tasks. They have been used in conjunction with two different reward stru...