Sciweavers

378 search results - page 29 / 76
» Convergence of rank-type equations
Sort
View
114
Voted
MCMASTER
1993
15 years 1 months ago
A Taste of Rewrite Systems
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
Nachum Dershowitz
DATE
2010
IEEE
148views Hardware» more  DATE 2010»
15 years 2 months ago
Intent-leveraged optimization of analog circuits via homotopy
—This paper proposes a circuit optimization approach that can ease the computational burden on the simulation-based circuit optimizers by leveraging simple design equations that ...
Metha Jeeradit, Jaeha Kim, Mark Horowitz
JSCIC
2007
125views more  JSCIC 2007»
14 years 9 months ago
Discrete Fundamental Solution Preconditioning for Hyperbolic Systems of PDE
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...
Henrik Brandén, Sverker Holmgren, Per Sundq...
CDC
2008
IEEE
182views Control Systems» more  CDC 2008»
15 years 4 months ago
Feed-Forward river flow control using differential flatness
—This article presents two methods for open-loop river flow control, based on a classical hydraulic model (the Hayami model, a partial differential equation resulting from a sim...
Florent Di Meglio, Tarek Rabbani, Xavier Litrico, ...
ISDA
2008
IEEE
15 years 3 months ago
Inertia-Adaptive Particle Swarm Optimizer for Improved Global Search
This paper describes a method for improving the final accuracy and the convergence speed of Particle Swarm Optimization (PSO) by adapting its inertia factor in the velocity updati...
Kaushik Suresh, Sayan Ghosh, Debarati Kundu, Abhir...