research
∙
03/27/2023
Algorithms for square root of semi-infinite quasi-Toeplitz M-matrices
A quasi-Toeplitz M-matrix A is an infinite M-matrix that can be written ...
share
research
∙
04/07/2022
Massively scalable stencil algorithm
Stencil computations lie at the heart of many scientific and industrial ...
research
∙
02/08/2021
Geometric means of quasi-Toeplitz matrices
We study means of geometric type of quasi-Toeplitz matrices, that are se...
research
∙
10/16/2020
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
This paper presents a formal verification guided approach for a principl...
research
∙
09/10/2020
CasGCN: Predicting future cascade growth based on information diffusion graph
Sudden bursts of information cascades can lead to unexpected consequence...
research
∙
09/10/2020
Accelerating High-Order Stencils on GPUs
Stencil computations are widely used in HPC applications. Today, many HP...
research
∙
07/12/2020
Minimod: A Finite Difference solver for Seismic Modeling
This article introduces a benchmark application for seismic modeling usi...
research
∙
07/23/2019