In the paper, we consider a continuation approach for the binary quadratic program (BQP) based on a class of NCP-functions. More specifically, we recast the BQP as an equivalent minimization and then seeks its global minimizer via a global continuation method. Such approach had been considered in [11] which is based on the Fischer-Burmeister function. We investigate this continuation approach a...

This paper is devoted to analyzing a unique continuation problem for the linearized Benjamin-Bona-Mahony equation with space-dependent potentials in a bounded interval with Dirichlet boundary conditions. The underlying Cauchy problem is a characteristic one. We prove two unique continuation results by means of spectral analysis and the (generalized) eigenvector expansion of the solution, instea...

Continuation methods are efficient to trace branches of fixed point solutions in parameter space as long as these branches are connected. However, the computation of isolated branches of fixed points is a crucial issue and require ad-hoc techniques. We suggest a modification of the standard continuation methods to determine these isolated branches more systematically. The so-called residue cont...

One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines. This is exempliied in a tutorial way by studying the case of extensional untyped call-by-name-calculus with Felleisen's control operator C. We derive the transition rules for an abstract machine from a continuation semant...

One of the goals of this paper is to demonstrate that denotational semantics is useful for operational issues like implementation of functional languages by abstract machines. This is exemplified in a tutorial way by studying the case of extensional untyped call-byname λ-calculus with Felleisen’s control operator C. We derive the transition rules for an abstract machine from a continuation sema...

The methods applied to regularization of the ill-posed problems can be classified under “direct” and “indirect” methods. Practice has shown that the effects of different regularization techniques on an ill-posed problem are not the same, and as such each ill-posed problem requires its own investigation in order to identify its most suitable regularization method. In the geoid computations witho...

Recently, the nonlinearity continuation method has been used to numerically solve boundary value problems for steady-state Richards equation. The can be considered as a predictor-corrector procedure with simplest form which applied date having trivial, zeroth-order predictor. In this article, effect of more sophisticated predictor technique is examined. Numerical experiments are performed finit...

This paper proposes a new continuation method for solving optimal control problems. The proposed is based on shooting method. In the method, cost function of an problem locally deformed to find solution in stable way. also analyses relationship between variation parameter and proximity solutions before after deformation obtained relation provides guidance how deform parameter. effectiveness thi...