Sciweavers

188 search results - page 2 / 38
» Solving Rational Eigenvalue Problems via Linearization
Sort
View
CSDA
2007
96views more  CSDA 2007»
14 years 11 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
16 years 10 days 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...
78
Voted
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
15 years 4 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»
14 years 12 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
15 years 5 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