Sciweavers

16513 search results - page 443 / 3303
» Numerical Analysis Methods
Sort
View
SIAMJO
2002
83views more  SIAMJO 2002»
15 years 6 months ago
Analysis of Inexact Trust-Region SQP Algorithms
In this paper we extend the design of a class of composite
Matthias Heinkenschloss, Luís N. Vicente
SAS
2010
Springer
126views Formal Methods» more  SAS 2010»
15 years 5 months ago
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis
Elvira Albert, Puri Arenas, Samir Genaim, German P...
ISOLA
2010
Springer
15 years 4 months ago
Dependability Analysis and Verification for Connected Systems
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Ma...
NIPS
2004
15 years 8 months ago
Nonlinear Blind Source Separation by Integrating Independent Component Analysis and Slow Feature Analysis
In contrast to the equivalence of linear blind source separation and linear independent component analysis it is not possible to recover the original source signal from some unkno...
Tobias Blaschke, Laurenz Wiskott
136
Voted
SIAMSC
2008
106views more  SIAMSC 2008»
15 years 6 months ago
Finite Volume Simulation of the Geostrophic Adjustment in a Rotating Shallow-Water System
The goal of this article is to simulate rotating flows of shallow layers of fluid by means of finite volume numerical schemes. More precisely, we focus on the simulation of the geo...
Manuel J. Castro, Juan Antonio López, Carlo...