Sciweavers

3113 search results - page 111 / 623
» Numerical Methods
Sort
View
ISSAC
2005
Springer
63views Mathematics» more  ISSAC 2005»
15 years 10 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 9 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 3 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 10 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 8 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...