Sciweavers

197 search results - page 17 / 40
» Iterative method for solving a nonlinear boundary value prob...
Sort
View
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
14 years 26 days ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
TIM
2010
112views Education» more  TIM 2010»
13 years 3 months ago
Helmholtz-Type Regularization Method for Permittivity Reconstruction Using Experimental Phantom Data of Electrical Capacitance T
Electrical capacitance tomography (ECT) attempts to image the permittivity distribution of an object by measuring the electrical capacitance between sets of electrodes placed aroun...
Manuchehr Soleimani, Phaneendra K. Yalavarthy, Ham...
SIAMSC
2011
162views more  SIAMSC 2011»
13 years 3 months ago
Accelerating the LSTRS Algorithm
In a recent paper [Rojas, Santos, Sorensen: ACM ToMS 34 (2008), Article 11] an efficient method for solving the Large-Scale Trust-Region Subproblem was suggested which is based on ...
Jörg Lampe, Marielba Rojas, Danny C. Sorensen...
ICASSP
2011
IEEE
13 years 16 days ago
Automatic target classification in SAR images using MPCA
Multilinear analysis provides a powerful mathematical framework for analyzing synthetic aperture radar (SAR) images resulting from the interaction of multiple factors like sky lum...
Tristan Porges, Gérard Favier
SIAMCO
2010
169views more  SIAMCO 2010»
13 years 3 months ago
Shape Derivative of Drag Functional
Abstract. In the paper compressible, stationary Navier-Stokes (N-S) equations are considered. The model is well-posed, there exist weak solutions in bounded domains, subject to inh...
Pavel I. Plotnikov, Jan Sokolowski