1191 search results - page 47 / 239 » A New Approach for Solving Nonlinear Equations Systems |
ISSAC
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
—For a stationary additive Gaussian-noise channel with a rational noise power spectrum of a finite-order L, we derive two new results for the feedback capacity under an average ...
HAPTICS
2010
IEEE
13 years 6 months ago
2010
IEEE
We present a new approach for realistic visio-haptic simulation of nonlinear and viscoelastic behavior of an organ tissue using a particle model. The spring and damper coefficients...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
COMPUTING
2004
13 years 7 months ago
2004
In this paper we propose a new stabilized three-field formulation applied to the advection-diffusion equation. Using finite elements with SUPG stabilization in the interior of the...