Publications
Export 7148 results:
[ Author] Title Type Year Filters: Increased-gene-sampling-yields-robust-support-higher%E2%80%90level-clades-within-bombycoidea is [Clear All Filters]
2007. Least squares preconditioners for stabilized discretizations of the Navier-Stokes equations. SIAM J. Sci. Comput. 30(1):290-311.
2005. Preconditioning strategies for models of incompressible flow. Journal of Scientific Computing. 25(1):347-366.
2002. A Parallel Block Multi-level Preconditioner for the 3D Incompressible Navier--Stokes Equations. UMIACS-TR-2002-95
1989. Relaxed and stabilized incomplete factorizations for non-self-adjoint linear systems. BIT Numerical Mathematics. 29(4):890-915.
1989. Approximate Schur Complement Preconditioners on Serial and Parallel Computers. SIAM Journal on Scientific and Statistical ComputingSIAM J. Sci. and Stat. Comput.. 10(3):581-581.
2003. An Analysis of Smoothing Effects of Upwinding Strategies for the Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 40(1):254-281.
1995. Use of linear algebra kernels to build an efficient finite element solver. Parallel Computing. 21(1):161-173.
1986. Polynomial iteration for nonsymmetric indefinite linear systems. Numerical Analysis. :103-117.
1994. On the convergence of line iterative methods for cyclically reduced non-symmetrizable linear systems. Numerische Mathematik. 67(2):177-190.
1993. Performance Enhancements and Parallel Algorithms for Two Multilevel Preconditioners. SIAM Journal on Scientific ComputingSIAM J. Sci. Comput.. 14(4):890-890.
1996. Multigrid and Krylov subspace methods for the discrete Stokes equations. International journal for numerical methods in fluids. 22(8):755-770.
1997. Iterative methods for problems in computational fluid dynamics. Iterative Methods in Scientific Computing. :271-327.
1996. Fast nonsymmetric iterations and preconditioning for Navier-Stokes equations. SIAM Journal on Scientific Computing. 17(1):33-46.
1986. Preconditioning by Fast Direct Methods for Nonself-Adjoint Nonseparable Elliptic Equations. SIAM Journal on Numerical Analysis. 23(1):44-57.
2002. Block preconditioners for the discrete incompressible Navier–Stokes equations. International Journal for Numerical Methods in Fluids. 40(3‐4):333-344.
2010. Using methods & measures from network analysis for gui testing. Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on. :240-246.
2008. Resolving personal names in email using context expansion. Association for Computational Linguistics (ACL).
2009. Pairwise Document Similarity in Large Collections with MapReduce. Relation. 10(1.91):8372-8372.
2006. Modeling identity in archival collections of email: A preliminary study. Proceedings of the 2006 Conference on Email and Anti-Spam (CEAS 06). :95-103.
1997. Modeling and verifying active structural control systems. Science of Computer Programming. 29:99-122.
1996. Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.