Sciweavers

82 search results - page 9 / 17
» Solving Systems of Linear Algebraic Equations Using Quasiran...
Sort
View
QEST
2006
IEEE
14 years 1 months ago
Exploring correctness and accuracy of solutions to matrix polynomial equations in queues
Spectral expansion and matrix analytic methods are important solution mechanisms for matrix polynomial equations. These equations are encountered in the steady-state analysis of M...
David Thornley, Harf Zatschler
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 2 months ago
Achieving higher frequencies in large-scale nonlinear model predictive control
We present new insights into how to achieve higher frequencies in large-scale nonlinear predictive control using truncated-like schemes. The basic idea is that, instead of solving ...
Victor M. Zavala, Mihai Anitescu
CPHYSICS
2010
184views more  CPHYSICS 2010»
13 years 7 months ago
Parallel Newton-Krylov-Schwarz algorithms for the three-dimensional Poisson-Boltzmann equation in numerical simulation of colloi
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
Feng-Nan Hwang, Shang-Rong Cai, Yun-Long Shao, Jon...
GMP
2002
IEEE
110views Solid Modeling» more  GMP 2002»
14 years 18 days ago
Acoustics Scattering on Arbitrary Manifold Surfaces
We propose the use of surface subdivision as adaptive and higher-order boundary elements for solving a Helmholtz partial differential equation to calculate accurate acoustics sca...
Chandrajit L. Bajaj, Guoliang Xu, Joe D. Warren
RTA
2005
Springer
14 years 1 months ago
The Algebra of Equality Proofs
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
Aaron Stump, Li-Yang Tan