Sciweavers

417 search results - page 68 / 84
» Fast Methods for Solving Linear Diophantine Equations
Sort
View
SIAMSC
2010
130views more  SIAMSC 2010»
13 years 7 months ago
First-Order System Least Squares for Incompressible Resistive Magnetohydrodynamics
Magnetohydrodynamics (MHD) is a fluid theory that describes Plasma Physics by treating the plasma as a fluid of charged particles. Hence, the equations that describe the plasma f...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
ISVC
2007
Springer
14 years 2 months ago
Locally Adjustable Interpolation for Meshes of Arbitrary Topology
Abstract: A new method for constructing a smooth surface that interpolates the vertices of an arbitrary mesh is presented. The mesh can be open or closed. Normals specified at ver...
Shuhua Lai, Fuhua (Frank) Cheng, Fengtao Fan
ICCAD
1999
IEEE
101views Hardware» more  ICCAD 1999»
14 years 27 days ago
Efficient model reduction of interconnect via approximate system gramians
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
Jing-Rebecca Li, Jacob White
NAA
2000
Springer
125views Mathematics» more  NAA 2000»
14 years 5 days ago
Matrix Computations Using Quasirandom Sequences
Abstract. The convergence of Monte Carlo method for numerical integration can often be improved by replacing pseudorandom numbers (PRNs) with more uniformly distributed numbers kno...
Michael Mascagni, Aneta Karaivanova
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
14 years 20 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