Research
Computational
Mathematics
- The goal of this
effort is the development (theoretical and algorithmic) and
implementation of high-order finite element methods.
- Collaborators:
Uncertainty Quantification in Biomedical Problems
- The goal of this
effort
is to employ computational uncertainty modeling techniques in
biomedical problems.
- Efforts:
- ECG Forward and
Inverse Modeling
- Ion Channel Modeling
- RF-Ablation Modeling
- 4D-CT Uncertainty
Modeling
- Collaborators:
Visualization Techniques for High-Order Finite Element Methods
- The goal of this
effort is to develop visualization techniques which exploit the
mathematical structure of high-order finite element methods.
- Collaborators:
Application of Formal Methods to High-Performance Computing
- The goal of this
effort is to apply formal methods to the debugging and optimizing MPI
libraries and MPI-based high-performance computing codes.
- Collaborators:
Last Updated: 11/11/08