: This article describes a method for solving the geometric closure problem for simplified models of nucleic acid structures by using the constant bond lengths approximation. The r...
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
This paper describes a recently completed project involving the development of simulation models for the new international terminal at Istanbul Ataturk Airport, Istanbul, Turkey. ...
Functional magnetic resonance imaging (fMRI) data were collected while students worked with a tutoring system that taught an algebra isomorph. A cognitive model predicted the distr...
Jon M. Fincham, John R. Anderson, Shawn Betts, Jen...
As a case study of a particular control methodology and as a practical contribution in the area of underwater vehicle control, we consider the problem of stabilizing an underwater...