Publications
Export 7148 results:
[ Author] Title Type Year Filters: Genomic-analysis-icevchban8-atypical-genetic-element-vibrio-cholerae is [Clear All Filters]
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1997. Modeling and verifying active structural control systems. Science of Computer Programming. 29:99-122.
2009. Pairwise Document Similarity in Large Collections with MapReduce. Relation. 10(1.91):8372-8372.
2008. Resolving personal names in email using context expansion. Association for Computational Linguistics (ACL).
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.
2010. Using methods & measures from network analysis for gui testing. Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on. :240-246.
2005. Finite Elements and Fast Iterative Solvers : with Applications in Incompressible Fluid Dynamics. :416.
1994. Inexact and Preconditioned Uzawa Algorithms for Saddle Point Problems. SIAM Journal on Numerical Analysis. 31(6):1645-1661.
2007. Solving the stochastic steady-state diffusion problem using multigrid. IMA journal of numerical analysis. 27(4):675-675.
1990. Iterative methods for cyclically reduced non-self-adjoint linear systems. Math. Comp. 54(190):671-700.
2006. Block preconditioners based on approximate commutators. SIAM Journal on Scientific Computing. 27(5):1651-1668.
1993. Ordering Effects on Relaxation Methods Applied to the Discrete One- Dimensional Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 30(5):1268-1290.
2006. Fourier analysis of multigrid for a model two-dimensional convection-diffusion equation. BIT Numerical Mathematics. 46(2):283-306.
2008. H (div) preconditioning for a mixed finite element formulation of the stochastic diffusion problem.
2001. Preconditioners for Saddle Point Problems Arising in Computational Fluid Dynamics. UMIACS-TR-2001-88
1998. Efficient Iterative Solution of the Three-Dimensional Helmholtz Equation. Journal of Computational Physics. 142(1):163-181.
1995. Algebraic Analysis of the Hierarchical Basis Preconditioner. SIAM Journal on Matrix Analysis and ApplicationsSIAM. J. Matrix Anal. & Appl.. 16(1):192-192.
2007. IFISS: A Matlab toolbox for modelling incompressible flow. ACM Transactions on Mathematical Software. 33(2)
2007. Least squares preconditioners for stabilized discretizations of the Navier-Stokes equations. SIAM J. Sci. Comput. 30(1):290-311.
1994. Iterative methods for linear systems. Large-Scale Matrix Problems and the Numerical Solution of Partial Differential Equations. 3:69-177.
1989. Relaxed and stabilized incomplete factorizations for non-self-adjoint linear systems. BIT Numerical Mathematics. 29(4):890-915.
1999. Preconditioning for the steady-state Navier-Stokes equations with low viscosity. SIAM Journal on Scientific Computing. 20(4):1299-1316.
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.
2005. Preconditioning strategies for models of incompressible flow. Journal of Scientific Computing. 25(1):347-366.