the edge detour index polynomials were recently introduced for computing theedge detour indices. in this paper we nd relations among edge detour polynomials for the2-dimensional graph of tuc4c8(s) in a euclidean plane and tuc4c8(s) nanotorus.

le mouvement transversal de la locomotive ou des wagons , appele ie lacet, provient de deux causes principales: -la conicite des bandages -les irregularites de la voie dans ie plan horizontal. on se propose ici d'etudier la premiere cause , ce qui nous conduit a une equation differentielle non lineaire du deuxieme ordre. • l'equation en question est etudiee dans plusieurs cas difftten...

The χ language is a hybrid language for modeling, simulation and verification. As a result of the recently completed formal semantics, the language now consists of a number of orthogonal operators that operate on all process terms, including differential algebraic equations. The same χ model can be used for simulation and verification. Verification is possible after a straightforward syntactica...

If a model structure is not identifiable, then it is not possible to uniquely identify its parameters from measured data. This contribution describes how solvers for differential-algebraic equations (DAE) can be used to examine if a model structure is locally identifiable. The procedure can be applied to both linear and nonlinear systems. If a model structure is not identifiable, it is also pos...

It is known that the satisfiability problem for equations over free partially commutative monoids is decidable but computationally hard. In this paper we consider the satisfiability problem for equations over free partially commutative monoids under the constraint that the solution is a subset of the alphabet. We prove that this problem is NP-complete for quadratic equations and that its unifor...

The aim of this paper is twofold. First, to extend Hodges’ model of relationships between financial planning for retirement with psychosocial variables to predict both objective and subjective measures of financial planning. Second, to apply that model to a representative sample of immigrants in Europe provided by the first wave of SHARE study. Data from 1272 immigrants in Europe were obtained ...

We have recast the problem of t ru th maintenance in a setting of algebraic equations over Boolean lattices. If a method of labeling propositions to justi fy them according to some reasoning agent's constraints of belief happens to conform to the postulates of Boolean lattices, the labeling system can be reformulated as an algebraic equation solving system. A l l t ru th maintenance systems kno...