Sciweavers

1191 search results - page 47 / 239
» A New Approach for Solving Nonlinear Equations Systems
Sort
View
ISSAC
2005
Springer
125views Mathematics» more  ISSAC 2005»
15 years 9 months ago
Generalized normal forms and polynomial system solving
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 ...
Bernard Mourrain
CORR
2007
Springer
120views Education» more  CORR 2007»
15 years 4 months ago
On the Feedback Capacity of Power Constrained Gaussian Noise Channels with Memory
—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 ...
Shaohua Yang, Aleksandar Kavcic, Sekhar Tatikonda
HAPTICS
2010
IEEE
15 years 2 months ago
Force-Based Calibration of a Particle System for Realistic Simulation of Nonlinear and Viscoelastic Soft Tissue Behavior
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...
Bektas Baybora Baran, Cagatay Basdogan
ICCAD
2008
IEEE
127views Hardware» more  ICCAD 2008»
16 years 26 days ago
Verification of arithmetic datapaths using polynomial function models and congruence solving
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram ...
COMPUTING
2004
91views more  COMPUTING 2004»
15 years 3 months ago
A Stabilized Three-field Formulation for Advection-diffusion Equations
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...
G. Rapin, G. Lube