Sciweavers

188 search results - page 2 / 38
» Solving Rational Eigenvalue Problems via Linearization
Sort
View
CSDA
2007
96views more  CSDA 2007»
13 years 5 months ago
On a quadratic eigenproblem occurring in regularized total least squares
In a recent paper Sima, Van Huffel and Golub [Regularized total least squares based on quadratic eigenvalue problem solvers. BIT Numerical Mathematics 44, 793 - 812 (2004)] sugges...
J. Lampe, H. Voss
CADE
2009
Springer
14 years 6 months ago
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
Albert Rubio, Cristina Borralleras, Enric Rodr&iac...
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
13 years 10 months ago
Solving large-scale linear circuit problems via convex optimization
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
Javad Lavaei, Aydin Babakhani, Ali Hajimiri, John ...
AUTOMATICA
2008
90views more  AUTOMATICA 2008»
13 years 5 months ago
On the infinite time solution to state-constrained stochastic optimal control problems
: For an infinite-horizon optimal control problem, the cost does not, in general, converge. The classical work-around to this problem is to introduce a discount or "forgetting...
Per Rutquist, Claes Breitholtz, Torsten Wik
CCGRID
2003
IEEE
13 years 11 months ago
Distributed Computing with Hierarchical Master-worker Paradigm for Parallel Branch and Bound Algorithm
This paper discusses the impact of the hierarchical master-worker paradigm on performance of an application program, which solves an optimization problem by a parallel branch and ...
Kento Aida, Wataru Natsume, Yoshiaki Futakata