SCIENTIFIC COMPUTING AND IMAGING INSTITUTE
at the University of Utah

An internationally recognized leader in visualization, scientific computing, and image analysis

SCI Publications

2010


M. Steffen, R.M. Kirby, M. Berzins. “Decoupling and Balancing of Space and Time Errors in the Material Point Method (MPM),” In International Journal for Numerical Methods in Engineering, Vol. 82, No. 10, pp. 1207--1243. 2010.


P.E.J. Vos, S.J. Sherwin, R.M. Kirby. “h-p Efficiently: Implementing Finite and Spectral/hp Element Methods to Achieve Optimal Performance for Low- and High-Order Discretisations,” In Journal of Computational Physics, Vol. 229, No. 13, pp. 5161--5181. 2010.


D.F. Wang, R.M. Kirby, C.R. Johnson. “Resolution Strategies for the Finite-Element-Based Solution of the ECG Inverse Problem,” In IEEE Transactions on Biomedical Engineering, Vol. 57, No. 2, pp. 220--237. February, 2010.


D.F. Wang, R.M. Kirby, R.S. MacLeod, C.R. Johnson. “A New Family of Variational-Form-Based Regularizers for Reconstructing Epicardial Potentials from Body-Surface Mapping,” In Computing in Cardiology, 2010, pp. 93--96. 2010.

2009


S.E. Geneser, R.M. Kirby, Brian Wang, B. Salter, S. Joshi. “Incorporating patient breathing variability into a stochastic model of dose deposition for stereotactic body radiation therapy,” In Information Processing in Medical Imaging, Lecture Notes in Computer Science LNCS, Vol. 5636, pp. 688--700. 2009.
PubMed ID: 19694304


H. Mirzaee, C. Eskilsson, S.J. Sherwin, R.M. Kirby. “Comparison of Consistent Integration Versus Adaptive Quadrature for Taming Aliasing Errors,” SCI Technical Report, No. UUSCI-2009-008, SCI Institute, University of Utah, 2009.


J.S. Preston, T. Tasdizen, C.M. Terry, A.K. Cheung, R.M. Kirby. “Using the stochastic collocation method for the uncertainty quantification of drug concentration due to depot shape variability,” In IEEE Transactions on Biomedical Engineering, Vol. 56, No. 3, Note: Epub 2008 Dec 2, pp. 609--620. 2009.
PubMed ID: 19272865


A.R. Sanderson, M.D. Meyer, R.M. Kirby, C.R. Johnson. “A Framework for Exploring Numerical Solutions of Advection Reaction Diffusion Equations using a GPU Based Approach,” In Journal of Computing and Visualization in Science, Vol. 12, pp. 155--170. 2009.
DOI: 10.1007/s00791-008-0086-0


A. Vo, S. Vakkalanka, M. Delisi, G. Gopalakrishnan, R.M. Kirby, R. Thakur. “Formal Verification of Practical MPI Programs,” In Proceedings of 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Raleigh, NC, pp. 261--270. February 14-18, 2009.


D.F. Wang, R.M. Kirby, C.R. Johnson. “Finite Element Discretization Strategies for the Inverse Electrocardiographic (ECG) Problem,” In Proceedings of the 11th World Congress on Medical Physics and Biomedical Engineering, Munich, Germany, Vol. 25/2, pp. 729-732. September, 2009.


D.F. Wang, R.M. Kirby, C.R. Johnson. “Finite Element Refinements for Inverse Electrocardiography: Hybrid-Shaped Elements, High-Order Element Truncation and Variational Gradient Operator,” In Proceeding of Computers in Cardiology 2009, Park City, September, 2009.

2008


S.E. Geneser, R.M. Kirby, R.S. MacLeod. “Application of Stochastic Finite Element Methods to Study the Sensitivity of ECG Forward Modeling to Organ Conductivity,” In IEEE Transations on Biomedical Engineering, Vol. 55, No. 1, pp. 31--40. January, 2008.


C.W. Hamman, J.C. Klewicki, R.M. Kirby. “On the Lamb Vector Divergence in Navier-Stokes Flows,” In Journal of Fluid Mechanics, Vol. 610, pp. 261--284. 2008.


J.S. Hesthaven, R.M. Kirby. “Filtering in Legendre Spectral Methods,” In Mathematics of Computation, Vol. 77, No. 263, pp. 1425--1452. 2008.


R.M. Kirby, C.T. Silva. “The Need For Verifiable Visualization,” In IEEE Computer Graphics and Applications, Vol. 28, No. 5, pp. 78--83. 2008.
DOI: 10.1109/MCG.2008.103

ABSTRACT

Visualization is often employed as part of the simulation science pipeline, it's the window through which scientists examine their data for deriving new science, and the lens used to view modeling and discretization interactions within their simulations. We advocate that as a component of the simulation science pipeline, visualization must be explicitly considered as part of the validation and verification (V&V) process. In this article, the authors define V&V in the context of computational science, discuss the role of V&V in the scientific process, and present arguments for the need for verifiable visualization.


T. Martin, E. Cohen, R.M. Kirby. “Volumetric Parameterization and Trivariate B-spline Fitting using Harmonic Functions,” In Proceedings of ACM Solid and Physical Modeling, Stony Brook, NY, Note: Awarded Best Paper, pp. 269-280. 2008.


M.D. Meyer, R.T. Whitaker, R.M. Kirby, C. Ledergerber, H. Pfister. “Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes,” In IEEE Transactions on Visualization and Computer Graphics, Vol. 14, No. 6, pp. 1539--1546. 2008.


E.P. Newren, A.L. Fogelson, R.D. Guy, R.M. Kirby. “A Comparison of Implicit Solvers for the Immersed Boundary Equations,” In Computer Methods in Applied Mechanics and Engineering, Vol. 197, No. 25--28, pp. 2290--2304. 2008.
DOI: 10.1016/j.cma.2007.11.030


R. Palmer, M. DeLisi, G. Gopalakrishnan, R.M. Kirby. “An Approach to Formalization and Analysis of Message Passing Libraries,” In Proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007), Berlin, Germany, Vol. 4916/2008, Note: Awarded Best Paper., pp. 164--181. 2008.


T. Preusser, H. Scharr, K. Krajsek, R.M. Kirby. “Building Blocks for Computer Vision with Stochastic Partial Differential Equations,” In International Journal of Computer Vision, Vol. 80, No. 3, Springer, pp. 375--405. July, 2008.
DOI: 10.1007/s11263-008-0145-5