default search action
Robert M. Kirby
Robert Michael Kirby – Mike Kirby
Person information
- affiliation: University of Utah, Salt Lake City, UT, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j114]Khemraj Shukla
, Vivek Oommen
Deep neural operators as accurate surrogates for shape optimization. Eng. Appl. Artif. Intell. 129: 107615 (2024) - [j113]Hongsup Oh, Roman Amici, Geoffrey F. Bomarito, Shandian Zhe, Robert M. Kirby, Jacob D. Hochhalter
Inherently interpretable machine learning solutions to differential equations. Eng. Comput. 40(4): 2349-2361 (2024) - [j112]Ashok Jallepalli
Non-uniform knot (NUK) SIAC post-processing of flow fields produced through unstructured grid adaptation and optimization. J. Comput. Phys. 514: 113238 (2024) - [j111]Michael Penwarden
Kolmogorov n-widths for multitask physics-informed machine learning (PIML) methods: Towards robust metrics. Neural Networks 180: 106703 (2024) - [j110]Timbwoga A. J. Ouermi
Algorithm 1041: HiPPIS - A High-order Positivity-preserving Mapping Software for Structured Meshes. ACM Trans. Math. Softw. 50(1): 8:1-8:31 (2024) - [c82]Da Long, Wei W. Xing, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney:
Equation Discovery with Bayesian Spike-and-Slab Priors and Efficient Kernels. AISTATS 2024: 2413-2421 - [c81]Shibo Li, Xin Yu, Wei W. Xing, Robert M. Kirby, Akil Narayan, Shandian Zhe:
Multi-Resolution Active Learning of Fourier Neural Operators. AISTATS 2024: 2440-2448 - [c80]Shikai Fang, Xin Yu, Zheng Wang, Shibo Li, Mike Kirby, Shandian Zhe:
Functional Bayesian Tucker Decomposition for Continuous-indexed Tensor Data. ICLR 2024 - [c79]Shikai Fang, Madison Cooley, Da Long, Shibo Li, Mike Kirby, Shandian Zhe:
Solving High Frequency and Multi-Scale PDEs with Gaussian Processes. ICLR 2024 - [i63]Michael Penwarden, Houman Owhadi, Robert M. Kirby:
Kolmogorov n-Widths for Multitask Physics-Informed Machine Learning (PIML) Methods: Towards Robust Metrics. CoRR abs/2402.11126 (2024) - [i62]Madison Cooley, Shandian Zhe, Robert M. Kirby, Varun Shankar:
Polynomial-Augmented Neural Networks (PANNs) with Weak Orthogonality Constraints for Enhanced Function and PDE Approximation. CoRR abs/2406.02336 (2024) - [i61]Zachary Bastiani, Robert M. Kirby, Jacob D. Hochhalter, Shandian Zhe:
Complexity-Aware Deep Symbolic Regression with Robust Risk-Seeking Policy Gradients. CoRR abs/2406.06751 (2024) - [i60]Madison Cooley, Varun Shankar, Robert M. Kirby, Shandian Zhe:
Fourier PINNs: From Strong Boundary Conditions to Adaptive Fourier Bases. CoRR abs/2410.03496 (2024) - [i59]Madison Cooley, Robert M. Kirby, Shandian Zhe, Varun Shankar:
HyResPINNs: Adaptive Hybrid Residual Networks for Learning Optimal Combinations of Neural and RBF Components for Physics-Informed Modeling. CoRR abs/2410.03573 (2024) - 2023
- [j109]Ben Charoenwong
Computer Science Abstractions to Help Reason About Decentralized Stablecoin Design. IEEE Access 11: 103201-103213 (2023) - [j108]Michael Penwarden, Shandian Zhe, Akil Narayan, Robert M. Kirby:
A metalearning approach for Physics-Informed Neural Networks (PINNs): Application to parameterized PDEs. J. Comput. Phys. 477: 111912 (2023) - [j107]Vidhi Zala
Convex optimization-based structure-preserving filter for multidimensional finite element simulations. J. Comput. Phys. 492: 112364 (2023) - [j106]Michael Penwarden
A unified scalable framework for causal sweeping strategies for Physics-Informed Neural Networks (PINNs) and their temporal decompositions. J. Comput. Phys. 493: 112464 (2023) - [j105]T. A. J. Ouermi
ENO-based high-order data-bounded and constrained positivity-preserving interpolation. Numer. Algorithms 92(3): 1517-1551 (2023) - [c78]Shibo Li, Zheng Wang, Akil Narayan, Robert M. Kirby, Shandian Zhe:
Meta-Learning with Adjoint Methods. AISTATS 2023: 7239-7251 - [c77]Ben Charoenwong, Robert M. Kirby, Jonathan Reiter
Risk-Free Interest Rates in Decentralized Finance. BCCA 2023: 466-473 - [c76]Shashank Subramanian, Robert M. Kirby, Michael W. Mahoney, Amir Gholami:
Adaptive Self-Supervision Algorithms for Physics-Informed Neural Networks. ECAI 2023: 2234-2241 - [c75]Shibo Li, Michael Penwarden, Yiming Xu, Conor Tillinghast, Akil Narayan, Mike Kirby, Shandian Zhe:
Meta Learning of Interface Conditions for Multi-Domain Physics-Informed Neural Networks. ICML 2023: 19855-19881 - [c74]Shikai Fang, Xin Yu, Shibo Li, Zheng Wang, Mike Kirby, Shandian Zhe:
Streaming Factor Trajectory Learning for Temporal Tensor Decomposition. NeurIPS 2023 - [i58]Khemraj Shukla
Deep neural operators can serve as accurate surrogates for shape optimization: A case study for airfoils. CoRR abs/2302.00807 (2023) - [i57]Hongsup Oh, Roman Amici, Geoffrey F. Bomarito, Shandian Zhe, Robert M. Kirby, Jacob D. Hochhalter:
Genetic Programming Based Symbolic Regression for Analytical Solutions to Differential Equations. CoRR abs/2302.03175 (2023) - [i56]Michael Penwarden, Ameya D. Jagtap, Shandian Zhe, George Em Karniadakis, Robert M. Kirby:
A unified scalable framework for causal sweeping strategies for Physics-Informed Neural Networks (PINNs) and their temporal decompositions. CoRR abs/2302.14227 (2023) - [i55]Haocheng Dai
Neural Operator Learning for Ultrasound Tomography Inversion. CoRR abs/2304.03297 (2023) - [i54]Shibo Li, Xin Yu, Wei W. Xing, Mike Kirby, Akil Narayan, Shandian Zhe:
Multi-Resolution Active Learning of Fourier Neural Operators. CoRR abs/2309.16971 (2023) - [i53]Da Long, Wei W. Xing
Equation Discovery with Bayesian Spike-and-Slab Priors and Efficient Kernels. CoRR abs/2310.05387 (2023) - [i52]Timbwaoga A. J. Ouermi, Robert M. Kirby, Martin Berzins:
Algorithm xxxx: HiPPIS A High-Order Positivity-Preserving Mapping Software for Structured Meshes. CoRR abs/2310.08818 (2023) - [i51]Shikai Fang, Xin Yu, Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe:
Streaming Factor Trajectory Learning for Temporal Tensor Decomposition. CoRR abs/2310.17021 (2023) - [i50]Shikai Fang, Madison Cooley, Da Long, Shibo Li, Robert M. Kirby, Shandian Zhe:
Solving High Frequency and Multi-Scale PDEs with Gaussian Processes. CoRR abs/2311.04465 (2023) - [i49]Shikai Fang, Xin Yu, Zheng Wang, Shibo Li, Mike Kirby, Shandian Zhe:
Functional Bayesian Tucker Decomposition for Continuous-indexed Tensor Data. CoRR abs/2311.04829 (2023) - 2022
- [j104]Michael Penwarden
Multifidelity modeling for Physics-Informed Neural Networks (PINNs). J. Comput. Phys. 451: 110844 (2022) - [j103]Edward Laughton
Fast Barycentric-Based Evaluation Over Spectral/hp Elements. J. Sci. Comput. 90(2): 78 (2022) - [j102]Yiming Xu
A Bandit-Learning Approach to Multifidelity Approximation. SIAM J. Sci. Comput. 44(1): 150- (2022) - [j101]Nghia Truong
Particle Merging-and-Splitting. IEEE Trans. Vis. Comput. Graph. 28(12): 4546-4557 (2022) - [c73]Zheng Wang, Wei W. Xing, Robert M. Kirby, Shandian Zhe:
Physics Informed Deep Kernel Learning. AISTATS 2022: 1206-1218 - [c72]Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe:
Deep Multi-Fidelity Active Learning of High-Dimensional Outputs. AISTATS 2022: 1694-1711 - [c71]Shikai Fang, Akil Narayan, Robert M. Kirby, Shandian Zhe:
Bayesian Continuous-Time Tucker Decomposition. ICML 2022: 6235-6245 - [c70]Shibo Li, Robert M. Kirby, Shandian Zhe:
Decomposing Temporal High-Order Interactions via Latent ODEs. ICML 2022: 12797-12812 - [c69]Da Long, Zheng Wang, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney:
AutoIP: A United Framework to Integrate Physics into Gaussian Processes. ICML 2022: 14210-14222 - [c68]Han D. Tran, Milinda Fernando, Kumar Saurabh, Baskar Ganapathysubramanian, Robert M. Kirby, Hari Sundar:
A scalable adaptive-matrix SPMV for heterogeneous architectures. IPDPS 2022: 13-24 - [c67]Tan Minh Nguyen, Richard G. Baraniuk, Robert M. Kirby, Stanley J. Osher, Bao Wang:
Momentum Transformer: Closing the Performance Gap Between Self-attention and Its Linearization. MSML 2022: 189-204 - [c66]Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe:
Infinite-Fidelity Coregionalization for Physical Simulation. NeurIPS 2022 - [c65]Shibo Li, Jeff M. Phillips, Xin Yu, Robert M. Kirby, Shandian Zhe:
Batch Multi-Fidelity Active Learning with Budget Constraints. NeurIPS 2022 - [i48]Vahid Keshavarzzadeh, Shandian Zhe, Robert M. Kirby, Akil Narayan:
GP-HMAT: Scalable, O(n log(n)) Gaussian Process Regression with Hierarchical Low-Rank Matrices. CoRR abs/2201.00888 (2022) - [i47]Marta D'Elia, Hang Deng, Cedric G. Fraces, Krishna C. Garikipati, Lori Graham-Brady, Amanda A. Howard, George Em Karniadakis, Vahid Keshavarzzadeh, Robert M. Kirby, J. Nathan Kutz, Chunhui Li
Machine Learning in Heterogeneous Porous Materials. CoRR abs/2202.04137 (2022) - [i46]Da Long, Zheng Wang, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe, Michael W. Mahoney:
AutoIP: A United Framework to Integrate Physics into Gaussian Processes. CoRR abs/2202.12316 (2022) - [i45]Vidhi Zala, Akil Narayan, Robert M. Kirby:
Convex Optimization-Based Structure-Preserving Filter For Multidimensional Finite Element Simulations. CoRR abs/2203.09748 (2022) - [i44]Jarom D. Hogue, Robert M. Kirby, Akil Narayan:
Dimensionality Reduction in Deep Learning via Kronecker Multi-layer Architectures. CoRR abs/2204.04273 (2022) - [i43]Timbwaoga A. J. Ouermi, Robert M. Kirby, Martin Berzins:
ENO-Based High-Order Data-Bounded and Constrained Positivity-Preserving Interpolation. CoRR abs/2204.06168 (2022) - [i42]Shibo Li, Zheng Wang, Robert M. Kirby, Shandian Zhe:
Infinite-Fidelity Coregionalization for Physical Simulation. CoRR abs/2207.00678 (2022) - [i41]Shashank Subramanian, Robert M. Kirby, Michael W. Mahoney, Amir Gholami:
Adaptive Self-supervision Algorithms for Physics-informed Neural Networks. CoRR abs/2207.04084 (2022) - [i40]Tan M. Nguyen, Richard G. Baraniuk, Robert M. Kirby, Stanley J. Osher, Bao Wang:
Momentum Transformer: Closing the Performance Gap Between Self-attention and Its Linearization. CoRR abs/2208.00579 (2022) - [i39]Shibo Li, Michael Penwarden, Robert M. Kirby, Shandian Zhe:
Meta Learning of Interface Conditions for Multi-Domain Physics-Informed Neural Networks. CoRR abs/2210.12669 (2022) - [i38]Shibo Li, Jeff M. Phillips, Xin Yu, Robert M. Kirby, Shandian Zhe:
Batch Multi-Fidelity Active Learning with Budget Constraints. CoRR abs/2210.12704 (2022) - 2021
- [j100]Vahid Keshavarzzadeh, Mitra Alirezaei, Tolga Tasdizen, Robert M. Kirby:
Image-Based Multiresolution Topology Optimization Using Deep Disjunctive Normal Shape Model. Comput. Aided Des. 130: 102947 (2021) - [j99]Max Carlson, Xiaoning Zheng
An open-source parallel code for computing the spectral fractional Laplacian on 3D complex geometry domains. Comput. Phys. Commun. 261: 107695 (2021) - [j98]Wei W. Xing
Deep coregionalization for the emulation of simulation-based spatial-temporal fields. J. Comput. Phys. 428: 109984 (2021) - [j97]Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
Multilevel Designed Quadrature for Partial Differential Equations with Random Inputs. SIAM J. Sci. Comput. 43(2): A1412-A1440 (2021) - [j96]Vidhi Zala, Robert M. Kirby, Akil Narayan
Structure-Preserving Nonlinear Filtering for Continuous and Discontinuous Galerkin Spectral/hp Element Methods. SIAM J. Sci. Comput. 43(6): A3713-A3732 (2021) - [j95]Valerio Pascucci, Mike Kirby:
Message from VIS 2020 General Chairs. IEEE Trans. Vis. Comput. Graph. 27(2): xvii (2021) - [j94]Harsh Bhatia
Vector Field Decompositions Using Multiscale Poisson Kernel. IEEE Trans. Vis. Comput. Graph. 27(9): 3781-3793 (2021) - [c64]Zheng Wang, Wei W. Xing, Robert Michael Kirby, Shandian Zhe:
Multi-Fidelity High-Order Gaussian Processes for Physical Simulation. AISTATS 2021: 847-855 - [c63]Majid Rasouli, Robert M. Kirby, Hari Sundar:
A Compressed, Divide and Conquer Algorithm for Scalable Distributed Matrix-Matrix Multiplication. HPC Asia 2021: 110-119 - [c62]Harsh Bhatia, Steve Petruzza
Data-Driven Estimation of Temporal-Sampling Errors in Unsteady Flows. ISVC (1) 2021: 235-248 - [c61]Shibo Li, Robert M. Kirby, Shandian Zhe:
Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks. NeurIPS 2021: 25463-25475 - [c60]Aditi S. Krishnapriyan, Amir Gholami, Shandian Zhe, Robert M. Kirby, Michael W. Mahoney:
Characterizing possible failure modes in physics-informed neural networks. NeurIPS 2021: 26548-26560 - [c59]Shikai Fang, Robert M. Kirby, Shandian Zhe:
Bayesian streaming sparse Tucker decomposition. UAI 2021: 558-567 - [i37]Mani Razi, Robert M. Kirby, Akil Narayan:
Kernel optimization for Low-Rank Multi-Fidelity Algorithms. CoRR abs/2101.01769 (2021) - [i36]Edward Laughton, Vidhi Zala, Akil Narayan, Robert M. Kirby, David Moxey:
Fast Barycentric-Based Evaluation Over Spectral/hp Elements. CoRR abs/2103.03594 (2021) - [i35]Yiming Xu, Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan:
A bandit-learning approach to multifidelity approximation. CoRR abs/2103.15342 (2021) - [i34]Wei W. Xing, Akeel A. Shah, Peng Wang, Shandian Zhe, Qian Fu, Robert M. Kirby:
Residual Gaussian Process: A Tractable Nonparametric Bayesian Emulator for Multi-fidelity Simulations. CoRR abs/2104.03743 (2021) - [i33]M. Keith Ballard, Roman Amici, Varun Shankar, Lauren A. Ferguson, Michael Braginsky, Robert M. Kirby:
Towards an Extrinsic, CG-XFEM Approach Based on Hierarchical Enrichments for Modeling Progressive Fracture. CoRR abs/2104.14704 (2021) - [i32]Vidhi Zala, Robert M. Kirby, Akil Narayan:
Structure-preserving Nonlinear Filtering for Continuous and Discontinuous Galerkin Spectral/hp Element Methods. CoRR abs/2106.08316 (2021) - [i31]Shibo Li, Robert M. Kirby, Shandian Zhe:
Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks. CoRR abs/2106.09884 (2021) - [i30]Michael Penwarden, Shandian Zhe, Akil Narayan, Robert M. Kirby:
Multifidelity Modeling for Physics-Informed Neural Networks (PINNs). CoRR abs/2106.13361 (2021) - [i29]Nghia Truong, Cem Yuksel, Chakrit Watcharopas, Joshua A. Levine, Robert M. Kirby:
Particle Merging-and-Splitting. CoRR abs/2107.08093 (2021) - [i28]Aditi S. Krishnapriyan, Amir Gholami, Shandian Zhe, Robert M. Kirby, Michael W. Mahoney:
Characterizing possible failure modes in physics-informed neural networks. CoRR abs/2109.01050 (2021) - [i27]Shibo Li, Zheng Wang, Akil Narayan, Robert Michael Kirby, Shandian Zhe:
Meta-Learning with Adjoint Methods. CoRR abs/2110.08432 (2021) - [i26]Michael Penwarden, Shandian Zhe, Akil Narayan, Robert M. Kirby:
Physics-Informed Neural Networks (PINNs) for Parameterized PDEs: A Metalearning Approach. CoRR abs/2110.13361 (2021) - 2020
- [j93]David Moxey
Nektar++: Enhancing the capability and application of high-fidelity spectral/hp element methods. Comput. Phys. Commun. 249: 107110 (2020) - [j92]Vahid Keshavarzzadeh
Generation of nested quadrature rules for generic weight functions via numerical optimization: Application to sparse grids. J. Comput. Phys. 400 (2020) - [j91]David Moxey
Efficient Matrix-Free High-Order Finite Element Evaluation for Simplicial Elements. SIAM J. Sci. Comput. 42(3): C97-C123 (2020) - [j90]Vidhi Zala
Structure-Preserving Function Approximation via Convex Optimization. SIAM J. Sci. Comput. 42(5): A3006-A3029 (2020) - [j89]Ashok Jallepalli, Joshua A. Levine, Robert M. Kirby:
The Effect of Data Transformations on Scalar Field Topological Analysis of High-Order FEM Solutions. IEEE Trans. Vis. Comput. Graph. 26(1): 162-172 (2020) - [c58]Wei W. Xing
Infinite ShapeOdds: Nonparametric Bayesian Models for Shape Representations. AAAI 2020: 6462-6469 - [c57]Max Carlson, Robert M. Kirby, Hari Sundar:
A scalable framework for solving fractional diffusion equations. ICS 2020: 2:1-2:11 - [c56]Shibo Li, Wei W. Xing
Scalable Gaussian Process Regression Networks. IJCAI 2020: 2456-2462 - [c55]Shibo Li, Wei W. Xing, Robert M. Kirby, Shandian Zhe:
Multi-Fidelity Bayesian Optimization via Deep Neural Networks. NeurIPS 2020 - [i25]Shibo Li, Wei W. Xing, Mike Kirby, Shandian Zhe:
Scalable Variational Gaussian Process Regression Networks. CoRR abs/2003.11489 (2020) - [i24]Zheng Wang, Wei W. Xing
Multi-Fidelity High-Order Gaussian Processes for Physical Simulation. CoRR abs/2006.04972 (2020) - [i23]Zheng Wang, Wei W. Xing, Robert Michael Kirby, Shandian Zhe:
Physics Regularized Gaussian Processes. CoRR abs/2006.04976 (2020) - [i22]Shibo Li, Wei W. Xing
Multi-Fidelity Bayesian Optimization via Deep Neural Networks. CoRR abs/2007.03117 (2020) - [i21]Vidhi Zala, Robert M. Kirby, Akil Narayan:
Structure-preserving function approximation via convex optimization. CoRR abs/2008.08223 (2020) - [i20]T. A. J. Ouermi, Robert M. Kirby, Martin Berzins:
Numerical Testing of a New Positivity-Preserving Interpolation Algorithm. CoRR abs/2009.08535 (2020) - [i19]Shibo Li, Robert M. Kirby, Shandian Zhe:
Deep Multi-Fidelity Active Learning of High-dimensional Outputs. CoRR abs/2012.00901 (2020) - [i18]Daniel J. Perry, Vahid Keshavarzzadeh, Shireen Y. Elhabian, Robert M. Kirby, Michael Gleicher, Ross T. Whitaker:
Visualization of topology optimization designs with representative subset selection. CoRR abs/2012.14901 (2020)
2010 – 2019
- 2019
- [j88]Mani Razi, Robert M. Kirby, Akil Narayan
Fast predictive multi-fidelity prediction with models of quantized fidelity levels. J. Comput. Phys. 376: 992-1008 (2019) - [j87]Martin Vymazal, David Moxey
On weak Dirichlet boundary conditions for elliptic problems in the continuous Galerkin method. J. Comput. Phys. 394: 732-744 (2019) - [j86]David Moxey
Interpolation Error Bounds for Curvilinear Finite Elements and Their Implications on Adaptive Mesh Refinement. J. Sci. Comput. 78(2): 1045-1062 (2019) - [j85]Ashok Jallepalli
Adaptive Characteristic Length for L-SIAC Filtering of FEM Data. J. Sci. Comput. 79(1): 542-563 (2019) - [j84]Ashok Jallepalli
Efficient Algorithms for the Line-SIAC Filter. J. Sci. Comput. 80(2): 743-761 (2019) - [j83]Xiaozhou Li
Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions over Nonuniform Meshes: Superconvergence and Optimal Accuracy. J. Sci. Comput. 81(3): 1150-1180 (2019) - [j82]Daniel J. Perry, Robert M. Kirby, Akil Narayan
Allocation Strategies for High Fidelity Models in the Multifidelity Regime. SIAM/ASA J. Uncertain. Quantification 7(1): 203-231 (2019) - [j81]Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
Convergence Acceleration for Time-Dependent Parametric Multifidelity Models. SIAM J. Numer. Anal. 57(3): 1344-1368 (2019) - [c54]Shandian Zhe, Wei W. Xing, Robert M. Kirby:
Scalable High-Order Gaussian Process Regression. AISTATS 2019: 2611-2620 - [c53]Majid Rasouli, Vidhi Zala
Scalable Lazy-update Multigrid Preconditioners. HPEC 2019: 1-7 - [c52]Jian Wang, Wei W. Xing
Data-Driven Model Order Reduction for Diffeomorphic Image Registration. IPMI 2019: 694-705 - [i17]David Moxey, Chris D. Cantwell, Yan Bao, Andrea Cassinelli, Giacomo Castiglioni, Sehun Chun, Emilia Juda, Ehsan Kazemi, Kilian Lackhove, Julian Marcon
Nektar++: enhancing the capability and application of high-fidelity spectral/hp element methods. CoRR abs/1906.03489 (2019) - [i16]Ashok Jallepalli, Joshua A. Levine, Robert M. Kirby:
The Effect of Data Transformations on Scalar Field Topological Analysis of High-Order FEM Solutions. CoRR abs/1907.07224 (2019) - [i15]Wei W. Xing
Deep Coregionalization for the Emulation of Spatial-Temporal Fields. CoRR abs/1910.07577 (2019) - [i14]Max Carlson, Robert M. Kirby, Hari Sundar:
A Scalable Framework for Solving Fractional Diffusion Equations. CoRR abs/1911.11906 (2019) - [i13]Christoph Heinzl
Visual Computing in Materials Sciences (Dagstuhl Seminar 19151). Dagstuhl Reports 9(4): 1-42 (2019) - 2018
- [j80]Thomas Torsney-Weir
Hypersliceplorer: Interactive visualization of shapes in multiple dimensions. Comput. Graph. Forum 37(3): 229-240 (2018) - [j79]T. A. J. Ouermi, Robert M. Kirby, Martin Berzins:
Performance Optimization Strategies for WRF Physics Schemes Used in Weather Modeling. Int. J. Netw. Comput. 8(2): 301-327 (2018) - [j78]Anindya Bhaduri
Stochastic collocation approach with adaptive mesh refinement for parametric uncertainty analysis. J. Comput. Phys. 371: 732-750 (2018) - [j77]Varun Shankar
RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for solving PDEs on surfaces. J. Comput. Phys. 373: 722-735 (2018) - [j76]Vidhi Zala
Curvilinear Mesh Adaptation Using Radial Basis Function Interpolation and Smoothing. J. Sci. Comput. 77(1): 397-418 (2018) - [j75]Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan
Numerical Integration in Multiple Dimensions with Designed Quadrature. SIAM J. Sci. Comput. 40(4): A2033-A2061 (2018) - [j74]Varun Shankar
Robust Node Generation for Mesh-free Discretizations on Irregular Domains and Surfaces. SIAM J. Sci. Comput. 40(4): A2584-A2608 (2018) - [j73]Ashok Jallepalli, Julia Docampo-Sánchez
On the Treatment of Field Quantities and Elemental Continuity in FEM Solutions. IEEE Trans. Vis. Comput. Graph. 24(1): 903-912 (2018) - [j72]Tim Dwyer, Niklas Elmqvist
Preface. IEEE Trans. Vis. Comput. Graph. 24(1): xi-xv (2018) - [j71]Marc Rautenhaus
Visualization in Meteorology - A Survey of Techniques and Tools for Data Analysis Tasks. IEEE Trans. Vis. Comput. Graph. 24(12): 3268-3296 (2018) - [c51]Majid Rasouli, Vidhi Zala
Improving Performance and Scalability of Algebraic Multigrid through a Specialized MATVEC. HPEC 2018: 1-7 - [i12]Vidhi Zala, Varun Shankar, Shankar P. Sastry, Robert M. Kirby:
Curvilinear Mesh Adaptation using Radial Basis Function Interpolation and Smoothing. CoRR abs/1804.03358 (2018) - [i11]Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan:
Numerical Integration in Multiple Dimensions with Designed Quadrature. CoRR abs/1804.06501 (2018) - [i10]Varun Shankar, Robert M. Kirby, Aaron L. Fogelson:
Robust Node Generation for Meshfree Discretizations on Irregular Domains and Surfaces. CoRR abs/1806.02972 (2018) - [i9]Varun Shankar, Akil Narayan, Robert M. Kirby:
RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for Solving PDEs on Surfaces. CoRR abs/1807.02775 (2018) - [i8]Vahid Keshavarzzadeh, Robert M. Kirby, Akil Narayan:
Parametric Topology Optimization with Multi-Resolution Finite Element Models. CoRR abs/1808.10367 (2018) - [i7]Daniel J. Perry, Robert M. Kirby, Akil Narayan, Ross T. Whitaker:
Allocation strategies for high fidelity models in the multifidelity regime. CoRR abs/1812.11601 (2018) - 2017
- [b3]Tobias Preusser, Robert M. Kirby, Torben Pätz:
Stochastic Partial Differential Equations for Computer Vision with Uncertain Data. Synthesis Lectures on Visual Computing, Morgan & Claypool Publishers 2017, ISBN 978-3-031-01466-6 - [j70]Mahsa Mirzargar
Hexagonal Smoothness-Increasing Accuracy-Conserving Filtering. J. Sci. Comput. 73(2-3): 1072-1093 (2017) - [j69]Julia Docampo-Sánchez
Multi-Dimensional Filtering: Reducing the Dimension Through Rotation. SIAM J. Sci. Comput. 39(5) (2017) - [j68]Gennady L. Andrienko
Preface. IEEE Trans. Vis. Comput. Graph. 23(1): xi-xv (2017) - [c50]T. A. J. Ouermi, Aaron Knoll, Robert M. Kirby, Martin Berzins:
Optimization Strategies for WRF Single-Moment 6-Class Microphysics Scheme (WSM6) on Intel Microarchitectures. CANDAR 2017: 146-152 - [c49]T. A. J. Ouermi, Aaron Knoll, Robert M. Kirby, Martin Berzins:
OpenMP 4 Fortran Modernization of WSM6 for KNL. PEARC 2017: 12:1-12:8 - [i6]Mahsa Mirzargar, Ross T. Whitaker, Robert M. Kirby:
Exploration of Heterogeneous Data Using Robust Similarity. CoRR abs/1710.02862 (2017) - 2016
- [j67]Mukund Raj, Mahsa Mirzargar, J. Samuel Preston, Robert M. Kirby, Ross T. Whitaker:
Evaluating Shape Alignment via Ensemble Visualization. IEEE Computer Graphics and Applications 36(3): 60-71 (2016) - [j66]Xiaozhou Li
Smoothness-Increasing Accuracy-Conserving (SIAC) filters for derivative approximations of discontinuous Galerkin (DG) solutions over nonuniform meshes and near boundaries. J. Comput. Appl. Math. 294: 275-296 (2016) - [j65]Sergey Yakovlev, David Moxey
To CG or to HDG: A Comparative Study in 3D. J. Sci. Comput. 67(1): 192-220 (2016) - [j64]Mahsa Mirzargar, Jennifer K. Ryan
Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering and Quasi-Interpolation: A Unified View. J. Sci. Comput. 67(1): 237-261 (2016) - [c48]James King, Thomas Gilray, Robert M. Kirby, Matthew Might:
Dynamic Sparse-Matrix Allocation on GPUs. ISC 2016: 61-80 - 2015
- [b2]Tiago Etiene, Robert M. Kirby, Cláudio T. Silva:
An Introduction to Verification of Visualization Techniques. Synthesis Lectures on Visual Computing, Morgan & Claypool Publishers 2015, ISBN 978-3-031-01459-8 - [j63]Le Liu, Mahsa Mirzargar, Robert M. Kirby, Ross T. Whitaker, Donald H. House:
Visualizing Time-Specific Hurricane Predictions, with Uncertainty, from Storm Path Ensembles. Comput. Graph. Forum 34(3): 371-380 (2015) - [j62]Zhisong Fu, Sergey Yakovlev, Robert Michael Kirby, Ross T. Whitaker:
Fast parallel solver for the levelset equations on unstructured meshes. Concurr. Comput. Pract. Exp. 27(7): 1639-1657 (2015) - [j61]Chris D. Cantwell
Nektar++: An open-source spectral/hp element framework. Comput. Phys. Commun. 192: 205-219 (2015) - [j60]Yanyan He, Mahsa Mirzargar, Robert M. Kirby:
Mixed aleatory and epistemic uncertainty quantification using fuzzy set theory. Int. J. Approx. Reason. 66: 1-15 (2015) - [j59]Varun Shankar
A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces. J. Sci. Comput. 63(3): 745-768 (2015) - [j58]Jennifer K. Ryan
One-Sided Position-Dependent Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering Over Uniform and Non-uniform Meshes. J. Sci. Comput. 64(3): 773-817 (2015) - [c47]T. James Lewis, Shankar P. Sastry, Robert Michael Kirby, Ross T. Whitaker:
A GPU-Based MIS Aggregation Strategy: Algorithms, Comparisons, and Applications within AMG. HiPC 2015: 214-223 - [c46]Mahsa Mirzargar, Yanyan He, Robert Michael Kirby:
Application of Uncertainty Modeling Frameworks to Uncertain Isosurface Extraction. IUKM 2015: 336-349 - 2014
- [j57]Harsh Bhatia, Valerio Pascucci
Extracting Features from Time-Dependent Vector Fields Using Internal Reference Frames. Comput. Graph. Forum 33(3): 21-30 (2014) - [j56]Zhisong Fu, T. James Lewis, Robert M. Kirby, Ross T. Whitaker:
Architecting the finite element method pipeline for the GPU. J. Comput. Appl. Math. 257: 195-211 (2014) - [j55]Chris D. Cantwell
High-order spectral/hp element discretisation for reaction-diffusion problems on surfaces: Application to cardiac electrophysiology. J. Comput. Phys. 257: 813-829 (2014) - [j54]Hanieh Mirzaee, Jennifer K. Ryan
Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions: Application to Structured Tetrahedral Meshes. J. Sci. Comput. 58(3): 690-704 (2014) - [j53]James King, Sergey Yakovlev, Zhisong Fu, Robert M. Kirby, Spencer J. Sherwin
Exploiting Batch Processing on Streaming Architectures to Solve 2D Elliptic Finite Element Problems: A Hybridized Discontinuous Galerkin (HDG) Case Study. J. Sci. Comput. 60(2): 457-482 (2014) - [j52]Blake Nelson, Robert M. Kirby, Steven G. Parker:
Algorithm 940: Optimal Accumulator-Based Expression Evaluation through the Use of Expression Templates. ACM Trans. Math. Softw. 40(3): 21:1-21:21 (2014) - [j51]Blake Nelson, Robert M. Kirby, Robert Haimes:
GPU-Based Volume Visualization from High-Order Finite Element Fields. IEEE Trans. Vis. Comput. Graph. 20(1): 70-83 (2014) - [j50]Tiago Etiene, Daniel Jönsson
Verifying Volume Rendering Using Discretization Error Analysis. IEEE Trans. Vis. Comput. Graph. 20(1): 140-154 (2014) - [j49]Mahsa Mirzargar, Ross T. Whitaker, Robert M. Kirby:
Curve Boxplot: Generalization of Boxplot for Ensembles of Curves. IEEE Trans. Vis. Comput. Graph. 20(12): 2654-2663 (2014) - [c45]Jessie France, Yaniv Gur, Robert M. Kirby, Chris R. Johnson:
A Bayesian Approach to Quantifying Uncertainty in Tikhonov Solutions for the Inverse Problem of Electrocardiography. CinC 2014: 529-532 - [i5]Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson:
A Radial Basis Function (RBF)-Finite Difference (FD) Method for Diffusion and Reaction-Diffusion Equations on Surfaces. CoRR abs/1404.0812 (2014) - 2013
- [j48]Robert M. Kirby, Miriah D. Meyer:
Visualization Collaborations: What Works and Why. IEEE Computer Graphics and Applications 33(6): 82-88 (2013) - [j47]Torben Pätz, Robert M. Kirby, Tobias Preusser:
Ambrosio-Tortorelli Segmentation of Stochastic Images: Model Extensions, Theoretical Investigations and Numerical Methods. Int. J. Comput. Vis. 103(2): 190-212 (2013) - [j46]Dafang Wang, Robert M. Kirby, Robert S. MacLeod, Chris R. Johnson:
Inverse electrocardiographic source localization of ischemia: An optimization framework and finite element solution. J. Comput. Phys. 250: 403-424 (2013) - [j45]Hanieh Mirzaee, James King, Jennifer K. Ryan
Smoothness-Increasing Accuracy-Conserving Filters for Discontinuous Galerkin Solutions over Unstructured Triangular Meshes. SIAM J. Sci. Comput. 35(1) (2013) - [j44]Zhisong Fu, Robert M. Kirby, Ross T. Whitaker:
A Fast Iterative Method for Solving the Eikonal Equation on Tetrahedral Domains. SIAM J. Sci. Comput. 35(5) (2013) - [j43]Ross T. Whitaker, Mahsa Mirzargar, Robert M. Kirby:
Contour Boxplots: A Method for Characterizing Uncertainty in Feature Sets from Simulation Ensembles. IEEE Trans. Vis. Comput. Graph. 19(12): 2713-2722 (2013) - [c44]Tiago Etiene, Robert M. Kirby, Cláudio T. Silva:
A Study Of Discretization Errors In Volume Rendering Integral Approximations. EuroRV³@EuroVis 2013 - [c43]Shankar P. Sastry, Robert M. Kirby:
On Interpolation Errors over Quadratic Nodal Triangular Finite Elements. IMR 2013: 349-366 - [c42]James King, Robert M. Kirby:
A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes. SC 2013: 79:1-79:12 - [e1]Paul Rosenthal, Robert S. Laramee, Mike Kirby, Gordon L. Kindlmann:
2nd EuroVis Workshop on Reproducibility, Verification, and Validation in Visualization, EuroRV³@EuroVis 2013, Leipzig, Germany, June 17-18, 2013. Eurographics Association 2013, ISBN 978-3-905674-56-9 [contents] - [i4]Varun Shankar, Grady B. Wright, Robert M. Kirby, Aaron L. Fogelson:
Augmenting the Immersed Boundary Method with Radial Basis Functions (RBFs) for the Modeling of Platelets in Hemodynamic Flows. CoRR abs/1304.7479 (2013) - [i3]Mary W. Hall, Robert M. Kirby, Feifei Li, Miriah D. Meyer, Valerio Pascucci, Jeff M. Phillips, Robert Ricci, Jacobus E. van der Merwe, Suresh Venkatasubramanian:
Rethinking Abstractions for Big Data: Why, Where, How, and What. CoRR abs/1306.3295 (2013) - [i2]Varun Shankar, Grady B. Wright, Aaron L. Fogelson, Robert M. Kirby:
A Radial Basis Function (RBF)-Finite Difference Method for the Simulation of Reaction-Diffusion Equations on Stationary Platelets within the Augmented Forcing Method. CoRR abs/1310.5207 (2013) - 2012
- [j42]Tobias Martin, Elaine Cohen, Robert M. Kirby:
Mixed-element volume completion from NURBS surfaces. Comput. Graph. 36(5): 548-554 (2012) - [j41]Robert M. Kirby, Spencer J. Sherwin
To CG or to HDG: A Comparative Study. J. Sci. Comput. 51(1): 183-212 (2012) - [j40]Hanieh Mirzaee, Jennifer K. Ryan
Efficient Implementation of Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions. J. Sci. Comput. 52(1): 85-112 (2012) - [j39]James King, Hanieh Mirzaee, Jennifer K. Ryan
Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for Discontinuous Galerkin Solutions: Improved Errors Versus Higher-Order Accuracy. J. Sci. Comput. 53(1): 129-149 (2012) - [j38]Hanne Tiesler, Robert M. Kirby, Dongbin Xiu, Tobias Preusser:
Stochastic Collocation for Optimal Control Problems with Stochastic PDE Constraints. SIAM J. Control. Optim. 50(5): 2659-2682 (2012) - [j37]Tobias Martin, Elaine Cohen, Mike Kirby:
Direct Isosurface Visualization of Hex-Based High-Order Geometry and Attribute Representations. IEEE Trans. Vis. Comput. Graph. 18(5): 753-766 (2012) - [j36]Tiago Etiene, Luis Gustavo Nonato, Carlos Eduardo Scheidegger, Julien Tierny, Thomas J. Peters, Valerio Pascucci
Topology Verification for Isosurface Extraction. IEEE Trans. Vis. Comput. Graph. 18(6): 952-965 (2012) - [j35]Blake Nelson, Eric Liu, Robert M. Kirby, Robert Haimes:
ElVis: A System for the Accurate and Interactive Visualization of High-Order Finite Element Solutions. IEEE Trans. Vis. Comput. Graph. 18(12): 2325-2334 (2012) - [c41]Markus Üffinger, Filip Sadlo, Mike Kirby, Charles D. Hansen, Thomas Ertl:
FTLE Computation Beyond First-Order Approximation. Eurographics (Short Papers) 2012: 61-64 - [i1]Varun Shankar, Grady B. Wright, Aaron L. Fogelson, Robert M. Kirby:
A Study of Different Modeling Choices For Simulating Platelets Within the Immersed Boundary Method. CoRR abs/1210.1885 (2012) - 2011
- [j34]Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur
Formal analysis of MPI-based parallel programs. Commun. ACM 54(12): 82-91 (2011) - [j33]Samuel A. Isaacson
Numerical solution of linear Volterra integral equations of the second kind with sharp gradients. J. Comput. Appl. Math. 235(14): 4283-4301 (2011) - [j32]Sarah E. Geneser, Jacob D. Hinkle
Quantifying variability in radiation dose due to respiratory-induced tumor motion. Medical Image Anal. 15(4): 640-649 (2011) - [j31]Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. Sci. Comput. Program. 76(2): 65-81 (2011) - [j30]Hanieh Mirzaee, Liangyue Ji, Jennifer K. Ryan
Smoothness-Increasing Accuracy-Conserving (SIAC) Postprocessing for Discontinuous Galerkin Solutions over Structured Triangular Meshes. SIAM J. Numer. Anal. 49(5): 1899-1920 (2011) - [j29]Zhisong Fu, Won-Ki Jeong, Yongsheng Pan, Robert M. Kirby, Ross T. Whitaker:
A Fast Iterative Method for Solving the Eikonal Equation on Triangulated Surfaces. SIAM J. Sci. Comput. 33(5): 2468-2488 (2011) - [j28]Dafang Wang, Robert M. Kirby, Chris R. Johnson:
Finite-Element-Based Discretization and Regularization Strategies for 3-D Inverse Electrocardiography. IEEE Trans. Biomed. Eng. 58(6): 1827-1838 (2011) - [j27]Blake Nelson, Robert M. Kirby, Robert Haimes:
GPU-Based Interactive Cut-Surface Extraction From High-Order Finite Element Fields. IEEE Trans. Vis. Comput. Graph. 17(12): 1803-1811 (2011) - [c40]Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. PACT 2011: 330-339 - [c39]Dafang Wang, Robert M. Kirby, Rob S. MacLeod, Chris R. Johnson:
An optimization framework for inversely estimating myocardial transmembrane potentials and localizing ischemia. EMBC 2011: 1680-1683 - 2010
- [j26]Peter E. J. Vos, Spencer J. Sherwin
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. 229(13): 5161-5181 (2010) - [j25]Hanieh Mirzaee, Jennifer K. Ryan
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. 45(1-3): 447-470 (2010) - [j24]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Softw. Pract. Exp. 40(1): 23-43 (2010) - [j23]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed dynamic partial order reduction. Int. J. Softw. Tools Technol. Transf. 12(2): 113-122 (2010) - [j22]Dafang Wang, Robert M. Kirby, Chris R. Johnson:
Resolution Strategies for the Finite-Element-Based Solution of the ECG Inverse Problem. IEEE Trans. Biomed. Eng. 57(2): 220-237 (2010) - [c38]Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan:
A symbolic verifier for CUDA programs. PPoPP 2010: 357-358 - [c37]Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby:
Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI 2010: 152-159 - [c36]Ganesh Gopalakrishnan, Robert M. Kirby:
Top ten ways to make formal methods for HPC practical. FoSER 2010: 137-142
2000 – 2009
- 2009
- [j21]Tobias Martin, Elaine Cohen, Robert Michael Kirby:
Volumetric parameterization and trivariate B-spline fitting using harmonic functions. Comput. Aided Geom. Des. 26(6): 648-664 (2009) - [j20]David Walfisch, Jennifer K. Ryan
One-Sided Smoothness-Increasing Accuracy-Conserving Filtering for Enhanced Streamline Integration through Discontinuous Fields. J. Sci. Comput. 38(2): 164-184 (2009) - [j19]Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and distributed model checking in Eddy. Int. J. Softw. Tools Technol. Transf. 11(1): 13-25 (2009) - [j18]J. Samuel Preston, Tolga Tasdizen, Christi M. Terry, Alfred K. Cheung, Robert M. Kirby:
Using the Stochastic Collocation Method for the Uncertainty Quantification of Drug Concentration Due to Depot Shape Variability. IEEE Trans. Biomed. Eng. 56(3): 609-620 (2009) - [j17]Tiago Etiene, Carlos Eduardo Scheidegger, Luis Gustavo Nonato, Robert M. Kirby, Cláudio T. Silva:
Verifiable Visualization for Isosurface Extraction. IEEE Trans. Vis. Comput. Graph. 15(6): 1227-1234 (2009) - [c35]Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby:
Reduced Execution Semantics of MPI: From Theory to Practice. FM 2009: 724-740 - [c34]Sarah E. Geneser, Robert M. Kirby, Brian Wang, Bill Salter, Sarang C. Joshi:
Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy. IPMI 2009: 688-700 - [c33]Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Formal verification of practical MPI programs. PPoPP 2009: 261-270 - [c32]Ganesh Gopalakrishnan, Robert M. Kirby:
Practical Formal Verification of MPI and Thread Programs. PVM/MPI 2009: 8 - [c31]Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI 2009: 261-270 - [c30]Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI 2009: 271-281 - [c29]Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI 2009: 329-330 - 2008
- [j16]Robert M. Kirby, Cláudio T. Silva:
The Need for Verifiable Visualization. IEEE Computer Graphics and Applications 28(5): 78-83 (2008) - [j15]Tobias Preusser, Hanno Scharr
Building Blocks for Computer Vision with Stochastic Partial Differential Equations. Int. J. Comput. Vis. 80(3): 375-405 (2008) - [j14]Jan S. Hesthaven, Robert M. Kirby:
Filtering in Legendre spectral methods. Math. Comput. 77(263): 1425-1452 (2008) - [j13]Sarah E. Geneser, Robert M. Kirby, Robert S. MacLeod:
Application of Stochastic Finite Element Methods to Study the Sensitivity of ECG Forward Modeling to Organ Conductivity. IEEE Trans. Biomed. Eng. 55(1): 31-40 (2008) - [j12]Michael Steffen, Sean Curtis, Robert M. Kirby, Jennifer K. Ryan
Investigation of Smoothness-Increasing Accuracy-Conserving Filters for Improving Streamline Integration through Discontinuous Fields. IEEE Trans. Vis. Comput. Graph. 14(3): 680-692 (2008) - [j11]Miriah D. Meyer, Ross T. Whitaker, Robert M. Kirby, Christian Ledergerber, Hanspeter Pfister
Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes. IEEE Trans. Vis. Comput. Graph. 14(6): 1539-1546 (2008) - [c28]Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby:
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV 2008: 66-79 - [c27]Ganesh Gopalakrishnan, Robert M. Kirby:
Runtime verification methods for MPI. IPDPS 2008: 1-5 - [c26]Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3 - [c25]Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Formal specification of the MPI-2.0 standard in TLA+. PPoPP 2008: 283-284 - [c24]Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby:
ISP: a tool for model checking MPI programs. PPoPP 2008: 285-286 - [c23]Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI 2008: 248-256 - [c22]Subodh Sharma
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI 2008: 265-273 - [c21]Tim Kröger, Inga Altrogge, Olaf Konrad, Robert M. Kirby, Tobias Preusser:
Estimation of Probability Density Functions for Parameter Sensitivity Analyses. SimVis 2008: 61-74 - [c20]Tobias Martin, Elaine Cohen, Mike Kirby:
Volumetric parameterization and trivariate b-spline fitting using harmonic functions. Symposium on Solid and Physical Modeling 2008: 269-280 - [c19]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305 - 2007
- [j10]C. W. Hamman, Robert M. Kirby, Martin Berzins:
Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations. Concurr. Comput. Pract. Exp. 19(10): 1403-1422 (2007) - [j9]Elijah P. Newren, Aaron L. Fogelson, Robert D. Guy, Robert M. Kirby:
Unconditionally stable discretizations of the immersed boundary equations. J. Comput. Phys. 222(2): 702-719 (2007) - [j8]Robert M. Kirby, Zohar Yosibash
Towards stable coupling methods for high-order discretization of fluid-structure interaction: Algorithms and observations. J. Comput. Phys. 223(2): 489-518 (2007) - [j7]Sean Curtis, Robert M. Kirby, Jennifer K. Ryan
Postprocessing for the Discontinuous Galerkin Method over Nonuniform Meshes. SIAM J. Sci. Comput. 30(1): 272-289 (2007) - [j6]Miriah D. Meyer, Blake Nelson, Robert M. Kirby, Ross T. Whitaker:
Particle Systems for Efficient and Accurate High-Order Finite Element Visualization. IEEE Trans. Vis. Comput. Graph. 13(5): 1015-1026 (2007) - [j5]Miriah D. Meyer, Robert M. Kirby, Ross T. Whitaker:
Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles. IEEE Trans. Vis. Comput. Graph. 13(6): 1704-1711 (2007) - [c18]Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181 - [c17]Ganesh Gopalakrishnan, Robert M. Kirby:
Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS 2007: 1-6 - [c16]Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby:
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD 2007: 43-53 - [c15]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur
Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI 2007: 344-353 - [c14]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75 - [c13]Ganesh Gopalakrishnan, Robert M. Kirby:
Formal Methods for MPI Programs. Festschrift honoring Gary Lindstrom 2007: 19-27 - 2006
- [j4]Allen R. Sanderson, Robert M. Kirby, Chris R. Johnson, Lingfa Yang:
Advanced Reaction-Diffusion Models for Texture Synthesis. J. Graph. Tools 11(3): 47-71 (2006) - [j3]Blake Nelson, Robert M. Kirby:
Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering. IEEE Trans. Vis. Comput. Graph. 12(1): 114-125 (2006) - [c12]Robert M. Kirby, Cullen R. Johnson, Martin Berzins:
Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges. International Conference on Computational Science (2) 2006: 147-154 - [c11]Ganesh Gopalakrishnan, Robert M. Kirby:
Toward reliable and efficient message passing software through formal analysis. IPDPS 2006 - [c10]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI 2006: 30-39 - [c9]Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125 - 2005
- [j2]Robert M. Kirby, George E. Karniadakis:
Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems. J. Sci. Comput. 22(1): 385-411 (2005) - [j1]David H. Laidlaw, Robert M. Kirby, Cullen D. Jackson, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr:
Comparing 2D Vector Field Visualization Methods: A User Study. IEEE Trans. Vis. Comput. Graph. 11(1): 59-70 (2005) - [c8]Martin Berzins, Robert M. Kirby, Cullen R. Johnson:
Integrating Teaching and Research in HPC: Experiences and Opportunities. International Conference on Computational Science (2) 2005: 36-43 - [c7]David E. Breen, Mike Kirby, Aaron E. Lefohn, Ken Museth, Tobias Preusser, Guillermo Sapiro, Ross T. Whitaker:
Level Set and PDE Methods for Visualization. IEEE Visualization 2005: 125 - [c6]Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby:
Gauss: A Framework for Verifying Scientific Computing Software. SoftMC@CAV 2005: 95-106 - [p1]Robert M. Kirby, Daniel F. Keefe, David H. Laidlaw:
Painting and Visualization. The Visualization Handbook 2005: 873-891 - 2004
- [c5]Allen R. Sanderson, Chris R. Johnson, Robert M. Kirby:
Display of Vector Fields Using a Reaction-Diffusion Model. IEEE Visualization 2004: 115-122 - 2003
- [b1]George E. Karniadakis, Robert M. Kirby:
Parallel Scientific Computing in C++ and MPI - A Seamless Approach to Parallel Algorithms and their Implementation. Cambridge University Press 2003, ISBN 978-0-521-52080-5, pp. I-XI, 1-616 - 2001
- [c4]David H. Laidlaw, Robert M. Kirby, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr:
Quantitative Comparative Evaluation of 2D Vector Field Visualization Methods. IEEE Visualization 2001: 143-150 - 2000
- [c3]Andrew S. Forsberg, David H. Laidlaw, Andries van Dam, Robert M. Kirby, George E. Karniadakis, Jonathan L. Elion:
Immersive virtual reality for visualizing flow through an artery. IEEE Visualization 2000: 457-460
1990 – 1999
- 1999
- [c2]George-Sosei Karamanos, Constantinos Evangelinos, Richard C. Boes, Robert M. Kirby, George E. Karniadakis:
Direct Numerical Simulation of Turbulence with a PC/Linux Cluster: Fact or Fiction? SC 1999: 53 - [c1]Robert M. Kirby, H. Marmanis, David H. Laidlaw:
Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting. IEEE Visualization 1999: 333-340
Coauthor Index
George Em Karniadakis
aka: George E. Karniadakis
aka: George E. Karniadakis
[j113] [c82] [c81] [c80] [c79] [i62] [i61] [i60] [i59] [j108] [j106] [c78] [c75] [c74] [i57] [i56] [i54] [i53] [i51] [i50] [i49] [j104] [c73] [c72] [c71] [c70] [c69] [c66] [c65] [i48] [i46] [i42] [i39] [i38] [j98] [c64] [c61] [c60] [c59] [i34] [i31] [i30] [i28] [i27] [i26] [c58] [c56] [c55] [i25] [i24] [i23] [i22] [i19] [c54] [i15]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-13 01:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: