This paper proposes a second-order implicit constraint enforcement method which yields enhanced controllability compared to a first-order implicit constraints enforcement method. Although the proposed method requires solving a linear system twice, it yields superior accuracy from the constraints error perspective and guarantees the precise and natural movement of objects, in contrast to the fir...

Based on the combined compact difference scheme, an alternating direction implicit method is proposed for solving two-dimensional cubic nonlinear Schrödinger equations. The proposed method is sixth-order accurate in space and second-order accurate in time. The linear Fourier analysis method is exploited to study the stability of the proposed method. The efficiency and accuracy of the proposed m...

Cognitive-based individual differences, among which are attention and attention design, play a crucial role in designing personalized e-learning environments. In this study, the effects of dynamic and static cue types presented to users in e-learning environments on implicit memory performance of individuals with different sustained attention levels are investigated. The statistical analyses su...

The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annotations. In this paper, we propose a variant of the dynamic frames approach that eliminates the need to explicitly write and check frame annotations. Reminiscent of separation logic’s frame rule, programmers write acces...

The geometric constraint enforcement using Lagrange Multipliers is one of the popular methods to control the behavior and trajectories of dynamically simulated entities. Therefore, effective and efficient enforcement and proper integration of the geometric constraints is the key to a successful constraint management. This paper describes the formulation and integration of geometric constraints ...

We consider new high-order Alternating Direction Implicit (ADI) schemes for the numerical solution of initial-boundary value problems for convection-diffusion equations with cross derivative terms. Our approach is based on the unconditionally stable ADI scheme proposed by Hundsdorfer [12]. Different numerical discretizations which lead to schemes which are fourth-order accurate in space and sec...

Geometric constraints are imperative components of many dynamic simulation systems to effectively control the behavior of simulated objects. In this paper we present an improved first-order implicit constraint enforcement scheme to achieve improved accuracy without significant computational burden. Our improved implicit constraint enforcement technique is seamlessly integrated into a dynamic si...