We study several sufficient conditions for the existence of a LévyKhinchin decomposition of generating functionals on unital involutive algebras with a fixed character. We show that none of these conditions are equivalent and we show that such a decomposition does not always exist.

We show how to find a Grushko decomposition of a finitely presented group, given a solution to its word problem.

Existing interval constraint logic programming languages, such as BNR Pro-log, work under the framework of interval narrowing and are deecient in solving linear systems, which constitute an important class of problems in engineering and other applications. In this paper, an interval linear equality solver, which is based on generalized interval arithmetic and Gaussian elimination , is proposed....

We study several sufficient conditions for the existence of a LévyKhinchin decomposition of generating functionals on unital involutive algebras with a fixed character. We show that none of these conditions are equivalent and we show that such a decomposition does not always exist.

Based on a recent work of Thomas Bauer’s [1] reproving the existence of Zariski decompositions for surfaces, we construct a b-divisorial analogue of Zariski decomposition in all dimensions.

Foaming occurs in many distillation and absorption processes. The drainage of liquid foams involves the interplay of gravity, surface tension, and viscous forces. In this paper, we use a semi analytic method, the Adomian decomposition method, and an analytic method, the tanh method to handle the foam drainage equation. The powerful tanh method gives the solution in a closed form. However, Adomi...

The application of a new modified Adomian decomposition method for obtaining the analytic solution of Lane-Emden type equations is investigated. The proposed method, called the spectral Adomian decomposition method, is based on a combination of spectral method and Adomian decomposition method. A comparative study between the proposed method and Adomian decomposition method is presented. The obt...

Among the local consistency techniques used for solving constraint networks, path-consistency (PC) has received a great deal of attention. However, enforcing PC is computationally expensive and sometimes even unnecessary. Directional path-consistency (DPC) is a weaker notion of PC that considers a given variable ordering and can thus be enforced more efficiently than PC. This paper shows that D...

Efficient hardware/software partitioning is crucial towards realizing optimal solutions for constraint driven embedded systems. The size of the total solution space is typically quite large for this problem. In this paper, we show that the knapsack model could be employed for the rapid identification of hardware components that provide for time efficient implementations. In particular, we propo...

This paper addresses the kinematics and dynamics modeling of a 4-DOF cable-driven parallel manipulator with new architecture and a typical Computed Torque Method (CTM) controller is developed for dynamic model in SimMechanics. The novelty of kinematic architecture and the closed loop formulation is presented. The workspace model of mechanism’s dynamic is obtained in an efficient and compact for...