Sciweavers

3113 search results - page 111 / 623
» Numerical Methods
Sort
View
ISSAC
2005
Springer
63views Mathematics» more  ISSAC 2005»
15 years 11 months ago
Symbolic-numeric completion of differential systems by homotopy continuation
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...
Greg Reid, Jan Verschelde, Allan D. Wittkopf, Weny...
DSN
2000
IEEE
15 years 10 months ago
Software-Implemented Fault Detection for High-Performance Space Applications
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
Michael J. Turmon, Robert Granat, Daniel S. Katz
SIAMSC
2010
104views more  SIAMSC 2010»
15 years 4 months ago
A New Sobolev Gradient Method for Direct Minimization of the Gross--Pitaevskii Energy with Rotation
Abstract. In this paper we improve traditional steepest descent methods for the direct minimization of the Gross-Pitaevskii (GP) energy with rotation at two levels. We first defi...
Ionut Danaila, Parimah Kazemi
CAIP
2003
Springer
244views Image Analysis» more  CAIP 2003»
15 years 11 months ago
Real-Time Optic Flow Computation with Variational Methods
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
Andrés Bruhn, Joachim Weickert, Christian F...
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
14 years 10 months ago
Computing asymptotic gains of large-scale interconnections
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...
Björn Rüffer, Hiroshi Ito, Peter M. Dowe...