the most current pursuit algorithms for moving targets which are presented so far in the literatureare pure pursuit and pure rendezvous navigations. recently, one of the present authors has introduced ageometric model for the pure pursuit navigation algorithm. here, in this paper, we study a new algorithm forthe pursuit navigation problem which is a combination of both of the above algorithms. ...

We obtain an exact solution of the time-dependent Schrödinger equation for a two-electron system confined to a plane by an isotropic parabolic potential whose curvature is periodically modulated in time. From this solution we compute the exact time-dependent exchange correlation potential vxc which enters the Kohn-Sham equation of time-dependent density functional theory. Our exact result provi...

Exact results are obtained for a lattice gas on the 3-12 lattice with twoand three-site interactions. By using a decoration transformation, we map the lattice gas into one on the honeycomb lattice with pure two-site interactions. This procedure permits us to draw exact results for the original 3-12 lattice gas. In particular, we obtain its exact two-phase boundary, and confirm the fact that an ...

The paper studies spatial autoregressive models with group interaction structure, focussing on estimation and inference for the spatial autoregressive parameter λ. The quasi-maximum likelihood estimator for λ usually cannot be written in closed form, but using an exact result obtained earlier by the authors for its distribution function, we are able to provide a complete analysis of the propert...

This paper considers the problem of planning collision-free motion of three disks in the plane. One of the three disks, the robot, can autonomously translate in the plane, the other two move only when in contact with the robot. This represents the abstract formulation of a manipulation planning problem. Despite the simplicity of the formulation, the decidability of the problem had remained unpr...

The aim of this paper is to introduce a general model of quantum computation, the quantum calculus: both unitary transformations and projective measurements are allowed; furthermore a complete classical control, including conditional structures and loops, is available. Complementary to its operational semantics, we introduce a pure denotational semantics for the quantum calculus. Based on proba...

Quantifying entanglement in composite systems is a fundamental challenge, yet exact results are available in only a few special cases. This is because hard optimization problems are routinely involved, such as finding the convex decomposition of a mixed state with the minimal average pure-state entanglement, the so-called convex roof. We show that under certain conditions such a problem becomes...

Likelihood-based Imprecise Regression (LIR) is a recently introduced approach to regression with imprecise data. Here we consider a robust regression method derived from the general LIR approach and we establish an exact algorithm to determine the set-valued result of the LIR analysis in the special case of simple linear regression with interval data.

This paper addresses the maintenance of discovered frequent patterns when a batch of transactions are removed from the original dataset. We conduct an in-depth investigation on how the frequent pattern space evolves under transaction removal updates using the concept of equivalence classes. Inspired by the evolution analysis, an effective and exact algorithm TRUM is proposed to maintain frequen...