Systems supporting the visualization and animation of algorithms, programs, and computations have focused primarily on two-dimensional graphics to date. In this paper we identify the need for three-dimensional graphics in these types of displays, and we describe how 3D imagery best can be used for visualizing computations. We also introduce an animation toolkit that supports simpliied developme...

In this paper, we introduce semiattentive computations as the result of replacing the usual single selection stage of visual attention by two consecutive selection stages. They are motivated by shortcomings of conventional attention models and correlate well to findings in human attention. The first selection stage employs preattentive saliency computations for the complete available input, and...

Accurate rate coefficients for molecular vibrational transitions due to collisions with H₂, critical for interpreting infrared astronomical observations, are lacking for most molecules. Quantum calculations are the primary source of such data, but reliable values that consider all internal degrees of freedom of the collision complex have only been reported for H₂-H₂ due to the difficulty of the...

Coevaluation, the coinductive interpretation of standard big-step evaluation rules, is a concise form semantics, with same number rules as in evaluation, which intends to simultaneously describe finite and infinite computations. However, it known that only able express an computations subset, and, date, remains unknown exactly what this subset is. More precisely, coevaluation behavior has sever...

this paper describes a simple, physically-based conceptual model utilizing watershed drainage characteristics for rainfall-runoff simulation. this conceptual physiographic model is essentially based on the work of najafi (2003), which has led to a model compris-ing the main tributary subwatersheds and a single main channel subwatershed. the ki-nematic wave (kw) theory is used to describe flow o...