Robert Michael Kirby

According to our database1, Robert Michael Kirby authored at least 166 papers between 1999 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
The Effect of Data Transformations on Scalar Field Topological Analysis of High-Order FEM Solutions.
IEEE Trans. Vis. Comput. Graph., 2020

Efficient Matrix-Free High-Order Finite Element Evaluation for Simplicial Elements.
SIAM J. Sci. Comput., 2020

Generation of nested quadrature rules for generic weight functions via numerical optimization: Application to sparse grids.
J. Comput. Phys., 2020

<i>Nektar</i>++: Enhancing the capability and application of high-fidelity spectral/hp element methods.
Comput. Phys. Commun., 2020

Numerical Testing of a New Positivity-Preserving Interpolation Algorithm.
CoRR, 2020

Structure-preserving function approximation via convex optimization.
CoRR, 2020

Multi-Fidelity Bayesian Optimization via Deep Neural Networks.
CoRR, 2020

Physics Regularized Gaussian Processes.
CoRR, 2020

Multi-Fidelity High-Order Gaussian Processes for Physical Simulation.
CoRR, 2020

Scalable Variational Gaussian Process Regression Networks.
CoRR, 2020

Scalable Gaussian Process Regression Networks.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A scalable framework for solving fractional diffusion equations.
Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

Infinite ShapeOdds: Nonparametric Bayesian Models for Shape Representations.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Convergence Acceleration for Time-Dependent Parametric Multifidelity Models.
SIAM J. Numer. Anal., 2019

Allocation Strategies for High Fidelity Models in the Multifidelity Regime.
SIAM/ASA J. Uncertain. Quantification, 2019

Interpolation Error Bounds for Curvilinear Finite Elements and Their Implications on Adaptive Mesh Refinement.
J. Sci. Comput., 2019

Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions over Nonuniform Meshes: Superconvergence and Optimal Accuracy.
J. Sci. Comput., 2019

Efficient Algorithms for the Line-SIAC Filter.
J. Sci. Comput., 2019

Adaptive Characteristic Length for L-SIAC Filtering of FEM Data.
J. Sci. Comput., 2019

On weak Dirichlet boundary conditions for elliptic problems in the continuous Galerkin method.
J. Comput. Phys., 2019

Fast predictive multi-fidelity prediction with models of quantized fidelity levels.
J. Comput. Phys., 2019

Visual Computing in Materials Sciences (Dagstuhl Seminar 19151).
Dagstuhl Reports, 2019

Deep Coregionalization for the Emulation of Spatial-Temporal Fields.
CoRR, 2019

Nektar++: enhancing the capability and application of high-fidelity spectral/hp element methods.
CoRR, 2019

Data-Driven Model Order Reduction for Diffeomorphic Image Registration.
Proceedings of the Information Processing in Medical Imaging, 2019

Scalable Lazy-update Multigrid Preconditioners.
Proceedings of the 2019 IEEE High Performance Extreme Computing Conference, 2019

Scalable High-Order Gaussian Process Regression.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018
Visualization in Meteorology - A Survey of Techniques and Tools for Data Analysis Tasks.
IEEE Trans. Vis. Comput. Graph., 2018

On the Treatment of Field Quantities and Elemental Continuity in FEM Solutions.
IEEE Trans. Vis. Comput. Graph., 2018

Preface.
IEEE Trans. Vis. Comput. Graph., 2018

Robust Node Generation for Mesh-free Discretizations on Irregular Domains and Surfaces.
SIAM J. Sci. Comput., 2018

Numerical Integration in Multiple Dimensions with Designed Quadrature.
SIAM J. Sci. Comput., 2018

Curvilinear Mesh Adaptation Using Radial Basis Function Interpolation and Smoothing.
J. Sci. Comput., 2018

RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for solving PDEs on surfaces.
J. Comput. Phys., 2018

Stochastic collocation approach with adaptive mesh refinement for parametric uncertainty analysis.
J. Comput. Phys., 2018

Performance Optimization Strategies for WRF Physics Schemes Used in Weather Modeling.
Int. J. Netw. Comput., 2018

Parametric Topology Optimization with Multi-Resolution Finite Element Models.
CoRR, 2018

Robust Node Generation for Meshfree Discretizations on Irregular Domains and Surfaces.
CoRR, 2018

Improving Performance and Scalability of Algebraic Multigrid through a Specialized MATVEC.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

2017
Stochastic Partial Differential Equations for Computer Vision with Uncertain Data
Synthesis Lectures on Visual Computing, Morgan & Claypool Publishers, 2017

Preface.
IEEE Trans. Vis. Comput. Graph., 2017

Multi-Dimensional Filtering: Reducing the Dimension Through Rotation.
SIAM J. Sci. Comput., 2017

Hexagonal Smoothness-Increasing Accuracy-Conserving Filtering.
J. Sci. Comput., 2017

Exploration of Heterogeneous Data Using Robust Similarity.
CoRR, 2017

OpenMP 4 Fortran Modernization of WSM6 for KNL.
Proceedings of the Practice and Experience in Advanced Research Computing 2017: Sustainability, 2017

Optimization Strategies for WRF Single-Moment 6-Class Microphysics Scheme (WSM6) on Intel Microarchitectures.
Proceedings of the Fifth International Symposium on Computing and Networking, 2017

2016
To CG or to HDG: A Comparative Study in 3D.
J. Sci. Comput., 2016

Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering and Quasi-Interpolation: A Unified View.
J. Sci. Comput., 2016

Smoothness-Increasing Accuracy-Conserving (SIAC) filters for derivative approximations of discontinuous Galerkin (DG) solutions over nonuniform meshes and near boundaries.
J. Comput. Appl. Math., 2016

Evaluating Shape Alignment via Ensemble Visualization.
IEEE Computer Graphics and Applications, 2016

Dynamic Sparse-Matrix Allocation on GPUs.
Proceedings of the High Performance Computing - 31st International Conference, 2016

2015
An Introduction to Verification of Visualization Techniques
Synthesis Lectures on Visual Computing, Morgan & Claypool Publishers, 2015

A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces.
J. Sci. Comput., 2015

One-Sided Position-Dependent Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering Over Uniform and Non-uniform Meshes.
J. Sci. Comput., 2015

Mixed aleatory and epistemic uncertainty quantification using fuzzy set theory.
Int. J. Approx. Reason., 2015

Nektar++: An open-source spectral/hp element framework.
Comput. Phys. Commun., 2015

Fast parallel solver for the levelset equations on unstructured meshes.
Concurr. Comput. Pract. Exp., 2015

Visualizing Time-Specific Hurricane Predictions, with Uncertainty, from Storm Path Ensembles.
Comput. Graph. Forum, 2015

Application of Uncertainty Modeling Frameworks to Uncertain Isosurface Extraction.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2015

A GPU-Based MIS Aggregation Strategy: Algorithms, Comparisons, and Applications within AMG.
Proceedings of the 22nd IEEE International Conference on High Performance Computing, 2015

2014
GPU-Based Volume Visualization from High-Order Finite Element Fields.
IEEE Trans. Vis. Comput. Graph., 2014

Curve Boxplot: Generalization of Boxplot for Ensembles of Curves.
IEEE Trans. Vis. Comput. Graph., 2014

Verifying Volume Rendering Using Discretization Error Analysis.
IEEE Trans. Vis. Comput. Graph., 2014

Algorithm 940: Optimal Accumulator-Based Expression Evaluation through the Use of Expression Templates.
ACM Trans. Math. Softw., 2014

Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions: Application to Structured Tetrahedral Meshes.
J. Sci. Comput., 2014

Exploiting Batch Processing on Streaming Architectures to Solve 2D Elliptic Finite Element Problems: A Hybridized Discontinuous Galerkin (HDG) Case Study.
J. Sci. Comput., 2014

High-order spectral/hp element discretisation for reaction-diffusion problems on surfaces: Application to cardiac electrophysiology.
J. Comput. Phys., 2014

Architecting the finite element method pipeline for the GPU.
J. Comput. Appl. Math., 2014

Extracting Features from Time-Dependent Vector Fields Using Internal Reference Frames.
Comput. Graph. Forum, 2014

A Bayesian Approach to Quantifying Uncertainty in Tikhonov Solutions for the Inverse Problem of Electrocardiography.
Proceedings of the Computing in Cardiology, CinC 2014, 2014

2013
Contour Boxplots: A Method for Characterizing Uncertainty in Feature Sets from Simulation Ensembles.
IEEE Trans. Vis. Comput. Graph., 2013

Smoothness-Increasing Accuracy-Conserving Filters for Discontinuous Galerkin Solutions over Unstructured Triangular Meshes.
SIAM J. Sci. Comput., 2013

A Fast Iterative Method for Solving the Eikonal Equation on Tetrahedral Domains.
SIAM J. Sci. Comput., 2013

Inverse electrocardiographic source localization of ischemia: An optimization framework and finite element solution.
J. Comput. Phys., 2013

Ambrosio-Tortorelli Segmentation of Stochastic Images: Model Extensions, Theoretical Investigations and Numerical Methods.
Int. J. Comput. Vis., 2013

Augmenting the Immersed Boundary Method with Radial Basis Functions (RBFs) for the Modeling of Platelets in Hemodynamic Flows
CoRR, 2013

A Radial Basis Function (RBF)-Finite Difference Method for the Simulation of Reaction-Diffusion Equations on Stationary Platelets within the Augmented Forcing Method.
CoRR, 2013

Rethinking Abstractions for Big Data: Why, Where, How, and What.
CoRR, 2013

Visualization Collaborations: What Works and Why.
IEEE Computer Graphics and Applications, 2013

A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes.
Proceedings of the International Conference for High Performance Computing, 2013

On Interpolation Errors over Quadratic Nodal Triangular Finite Elements.
Proceedings of the 22nd International Meshing Roundtable, 2013

A Study Of Discretization Errors In Volume Rendering Integral Approximations.
Proceedings of the 2nd EuroVis Workshop on Reproducibility, 2013

2012
ElVis: A System for the Accurate and Interactive Visualization of High-Order Finite Element Solutions.
IEEE Trans. Vis. Comput. Graph., 2012

Direct Isosurface Visualization of Hex-Based High-Order Geometry and Attribute Representations.
IEEE Trans. Vis. Comput. Graph., 2012

Topology Verification for Isosurface Extraction.
IEEE Trans. Vis. Comput. Graph., 2012

Stochastic Collocation for Optimal Control Problems with Stochastic PDE Constraints.
SIAM J. Control. Optim., 2012

Efficient Implementation of Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions.
J. Sci. Comput., 2012

To CG or to HDG: A Comparative Study.
J. Sci. Comput., 2012

Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions: Improved Errors Versus Higher-Order Accuracy.
J. Sci. Comput., 2012

A Study of Different Modeling Choices For Simulating Platelets Within the Immersed Boundary Method
CoRR, 2012

Mixed-element volume completion from NURBS surfaces.
Comput. Graph., 2012

FTLE Computation Beyond First-Order Approximation.
Proceedings of the 33rd Annual Conference of the European Association for Computer Graphics, 2012

2011
GPU-Based Interactive Cut-Surface Extraction From High-Order Finite Element Fields.
IEEE Trans. Vis. Comput. Graph., 2011

Finite-Element-Based Discretization and Regularization Strategies for 3-D Inverse Electrocardiography.
IEEE Trans. Biomed. Eng., 2011

A Fast Iterative Method for Solving the Eikonal Equation on Triangulated Surfaces.
SIAM J. Sci. Comput., 2011

Smoothness-Increasing Accuracy-Conserving (SIAC) Postprocessing for Discontinuous Galerkin Solutions over Structured Triangular Meshes.
SIAM J. Numer. Anal., 2011

Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API.
Sci. Comput. Program., 2011

Quantifying variability in radiation dose due to respiratory-induced tumor motion.
Medical Image Anal., 2011

Numerical solution of linear Volterra integral equations of the second kind with sharp gradients.
J. Comput. Appl. Math., 2011

Formal analysis of MPI-based parallel programs.
Commun. ACM, 2011

An optimization framework for inversely estimating myocardial transmembrane potentials and localizing ischemia.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010
Resolution Strategies for the Finite-Element-Based Solution of the ECG Inverse Problem.
IEEE Trans. Biomed. Eng., 2010

Distributed dynamic partial order reduction.
Int. J. Softw. Tools Technol. Transf., 2010

Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking.
Softw. Pract. Exp., 2010

Quantification of Errors Introduced in the Numerical Approximation and Implementation of Smoothness-Increasing Accuracy Conserving (SIAC) Filtering of Discontinuous Galerkin (DG) Fields.
J. Sci. Comput., 2010

From h to p efficiently: Implementing finite and spectral/hp element methods to achieve optimal performance for low- and high-order discretisations.
J. Comput. Phys., 2010

Top ten ways to make formal methods for HPC practical.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs.
Proceedings of the Recent Advances in the Message Passing Interface, 2010

A symbolic verifier for CUDA programs.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

2009
Verifiable Visualization for Isosurface Extraction.
IEEE Trans. Vis. Comput. Graph., 2009

Using the Stochastic Collocation Method for the Uncertainty Quantification of Drug Concentration Due to Depot Shape Variability.
IEEE Trans. Biomed. Eng., 2009

Parallel and distributed model checking in Eddy.
Int. J. Softw. Tools Technol. Transf., 2009

One-Sided Smoothness-Increasing Accuracy-Conserving Filtering for Enhanced Streamline Integration through Discontinuous Fields.
J. Sci. Comput., 2009

Volumetric parameterization and trivariate B-spline fitting using harmonic functions.
Comput. Aided Geom. Des., 2009

Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Practical Formal Verification of MPI and Thread Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2009

Formal verification of practical MPI programs.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy.
Proceedings of the Information Processing in Medical Imaging, 2009

Reduced Execution Semantics of MPI: From Theory to Practice.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Investigation of Smoothness-Increasing Accuracy-Conserving Filters for Improving Streamline Integration through Discontinuous Fields.
IEEE Trans. Vis. Comput. Graph., 2008

Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes.
IEEE Trans. Vis. Comput. Graph., 2008

Application of Stochastic Finite Element Methods to Study the Sensitivity of ECG Forward Modeling to Organ Conductivity.
IEEE Trans. Biomed. Eng., 2008

Filtering in Legendre spectral methods.
Math. Comput., 2008

Building Blocks for Computer Vision with Stochastic Partial Differential Equations.
Int. J. Comput. Vis., 2008

The Need for Verifiable Visualization.
IEEE Computer Graphics and Applications, 2008

Efficient Stateful Dynamic Partial Order Reduction.
Proceedings of the Model Checking Software, 2008

Estimation of Probability Density Functions for Parameter Sensitivity Analyses.
Proceedings of the Simulation and Visualization 2008 (SimVis 2008), 2008

Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

ISP: a tool for model checking MPI programs.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Formal specification of the MPI-2.0 standard in TLA+.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Scheduling considerations for building dynamic verification tools for MPI.
Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

Runtime verification methods for MPI.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Particle Systems for Efficient and Accurate High-Order Finite Element Visualization.
IEEE Trans. Vis. Comput. Graph., 2007

Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles.
IEEE Trans. Vis. Comput. Graph., 2007

Postprocessing for the Discontinuous Galerkin Method over Nonuniform Meshes.
SIAM J. Sci. Comput., 2007

Unconditionally stable discretizations of the immersed boundary equations.
J. Comput. Phys., 2007

Towards stable coupling methods for high-order discretization of fluid-structure interaction: Algorithms and observations.
J. Comput. Phys., 2007

Formal Methods for MPI Programs.
Electron. Notes Theor. Comput. Sci., 2007

Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations.
Concurr. Comput. Pract. Exp., 2007

Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.
Proceedings of the Model Checking Software, 2007

Practical Model-Checking Method for Verifying Correctness of MPI Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007

Semantics driven dynamic partial-order reduction of MPI-based parallel programs.
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

Formal Analysis for Debugging and Performance Optimization of MPI.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

An Approach to Formalization and Analysis of Message Passing Libraries.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006
Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering.
IEEE Trans. Vis. Comput. Graph., 2006

Advanced Reaction-Diffusion Models for Texture Synthesis.
J. Graph. Tools, 2006

Gauss: A Framework for Verifying Scientific Computing Software.
Electron. Notes Theor. Comput. Sci., 2006

Formal Verification of Programs That Use MPI One-Sided Communication.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2006

Toward reliable and efficient message passing software through formal analysis.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges.
Proceedings of the Computational Science, 2006

2005
Comparing 2D Vector Field Visualization Methods: A User Study.
IEEE Trans. Vis. Comput. Graph., 2005

Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems.
J. Sci. Comput., 2005

Level Set and PDE Methods for Visualization.
Proceedings of the 16th IEEE Visualization Conference, 2005

Integrating Teaching and Research in HPC: Experiences and Opportunities.
Proceedings of the Computational Science, 2005

Painting and Visualization.
Proceedings of the Visualization Handbook., 2005

2004
Display of Vector Fields Using a Reaction-Diffusion Model.
Proceedings of the 15th IEEE Visualization Conference, 2004

2003
Parallel Scientific Computing in C++ and MPI - A Seamless Approach to Parallel Algorithms and their Implementation.
Cambridge University Press, ISBN: 978-0-521-52080-5, 2003

2001
Quantitative Comparative Evaluation of 2D Vector Field Visualization Methods.
Proceedings of the 12th IEEE Visualization Conference, 2001

2000
Immersive virtual reality for visualizing flow through an artery.
Proceedings of the 11th IEEE Visualization Conference, 2000

1999
Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting.
Proceedings of the 10th IEEE Visualization Conference, 1999

Direct Numerical Simulation of Turbulence with a PC/Linux Cluster: Fact or Fiction?
Proceedings of the ACM/IEEE Conference on Supercomputing, 1999


  Loading...