• Aucun résultat trouvé

[PDF] Top 20 Complexity of Resolution of Parametric Systems of Polynomial Equations and Inequations

Has 10000 "Complexity of Resolution of Parametric Systems of Polynomial Equations and Inequations" found on our website. Below are the top 20 most common "Complexity of Resolution of Parametric Systems of Polynomial Equations and Inequations".

Complexity of Resolution of Parametric Systems of Polynomial Equations and Inequations

Complexity of Resolution of Parametric Systems of Polynomial Equations and Inequations

... and QERRC. Through the pro ess, he has to simplify formulas whose textual representation ontains approximatively 500 000 hara ters. We will see that our framework allows us to use minimal dis riminant varieties to ... Voir le document complet

30

Solving parametric systems of polynomial equations over the reals through Hermite matrices

Solving parametric systems of polynomial equations over the reals through Hermite matrices

... matrix of 𝑓 (𝜂, ·) with respect to 𝑔𝑟𝑒𝑣𝑙𝑒𝑥(𝑥) is the image ℋ(𝜂) of ...the parametric Hermite matrix ℋ. We also remark that, in the computation of the specializations ℋ(𝜂), we can replace the ... Voir le document complet

42

Overdetermined systems of sparse polynomial equations

Overdetermined systems of sparse polynomial equations

... j and so, a fortiori, it is independent on the degree of the input polynomials f i ...5 and 15 cost O(1) ...number of iterations in the while loop between lines 4 and 14 is bounded, we ... Voir le document complet

30

Computing real solutions of fuzzy polynomial systems

Computing real solutions of fuzzy polynomial systems

... 2,0 and they present several systems coming from applications like cross location of quadratic surfaces or in econom- ...two of them as ...approach and we significantly strengthen it. ... Voir le document complet

23

Continued Fraction Expansion of Real Roots of Polynomial Systems

Continued Fraction Expansion of Real Roots of Polynomial Systems

... roots of a system of multivariate polynomials, given in the mono- mial ...generalization of the univariate continued fraction algorithm or alternatively as a fully analog of Bernstein ... Voir le document complet

11

Sparse polynomial approximation of parametric elliptic PDEs Part II: lognormal coefficients *

Sparse polynomial approximation of parametric elliptic PDEs Part II: lognormal coefficients *

... representation of the Gaussian process might not be optimal in terms of the resulting convergence rates of the best n-term Hermite ...explanation of this fact is that the Karhunen-Loève ... Voir le document complet

29

Complexity analysis of term rewriting systems

Complexity analysis of term rewriting systems

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

21

Sparse polynomial approximation of parametric elliptic PDEs Part I: affine coefficients

Sparse polynomial approximation of parametric elliptic PDEs Part I: affine coefficients

... j≥1 of disjoint open intervals in D and a β > 0, and define ψ j := θj −β χ D j ...any of the decay estimates available at this point, the concrete example in ...decay of the ... Voir le document complet

22

Inversion of polynomial systems and separation of nonlinear mixtures of finite-alphabet sources

Inversion of polynomial systems and separation of nonlinear mixtures of finite-alphabet sources

... conditions of Multi-Input/Multi-Output (MIMO) linear time invariant sys- tems are well-known and they reduce to left-invertibility of ...elements of the mixing and separating matrix are ... Voir le document complet

14

Parametric and Quantitative Extensions of Modal Transition Systems

Parametric and Quantitative Extensions of Modal Transition Systems

... Specification of a simple email system, similar to ...aspects of systems, but also to formalize successive refinement of ...upper and lower bounds on time required for performing the ... Voir le document complet

16

Characterizing polynomial time complexity of stream programs using interpretations

Characterizing polynomial time complexity of stream programs using interpretations

... rewrite systems in order to characterize the polynomial time complexity of sec- ond order ...use of exp-poly interpre- tations as an attempt to capture the class of Basic ... Voir le document complet

25

Equations defining the polynomial closure of a lattice of regular languages

Equations defining the polynomial closure of a lattice of regular languages

... positions of the letter ...levels of such hierarchies are known to be decidable and in general, this type of decidability problems is considered to be ...results of [9]. Known results . ... Voir le document complet

13

Parametric and non-parametric models for lifespan modeling of insulation systems in electrical machines

Parametric and non-parametric models for lifespan modeling of insulation systems in electrical machines

... IM1 and IM2 are tested under higher-than-nominal stress factor levels ensuring PD ...range of operating conditions for an embedded electrical machine but does not exceed the thermal classes of the ... Voir le document complet

10

Termination of rewriting systems by polynomial interpretations and its implementation

Termination of rewriting systems by polynomial interpretations and its implementation

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

43

Approximation of Euler-type equations by systems of vortices

Approximation of Euler-type equations by systems of vortices

... Remark 2. We were not able to prove a same result for the true vortex case, in the last section we explain why. We will obtain some optimal bound which will not allows us to conclude the proof of convergence. ... Voir le document complet

14

Tensor-train approximation of parametric constitutive equations in elasto-viscoplasticity

Tensor-train approximation of parametric constitutive equations in elasto-viscoplasticity

... application of the proposed tensor-decomposition-based methodology to the numerical solution of a highly nonlinear elasto-viscoplastic constitutive ...format and a multilinear interpolation method is ... Voir le document complet

31

Transformation of polynomial differential systems in the positive orthant

Transformation of polynomial differential systems in the positive orthant

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

17

On the Equivalence of Two Systems of Affine Recurrence Equations

On the Equivalence of Two Systems of Affine Recurrence Equations

... Unité de recherche INRIA Rocquencourt Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex France Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois -[r] ... Voir le document complet

27

A Polynomial Approach for Analysis and Optimal Control of Switched Nonlinear Systems

A Polynomial Approach for Analysis and Optimal Control of Switched Nonlinear Systems

... class of functions uniformly approximate any continuous nonlinear function defined over a compact domain R n (see ...minimum and exact number of parameters, and it is the first PWL expression ... Voir le document complet

141

Application of Hamilton equations to Dynamic Systems

Application of Hamilton equations to Dynamic Systems

... contributions of this article can be summarized as ...overview of Lagrangian's ...transformation of the Lagrangian ...comparison of the two proposed formalisms applied to a robotic arm with ... Voir le document complet

4

Show all 10000 documents...