We introduce Devito, a new domain-specific language for implementing high-performance
finite-difference partial differential equation solvers. The motivating application is exploration …

We introduce a probabilistic technique for full-waveform inversion, using variational
inference and conditional normalizing flows to quantify uncertainty in migration-velocity …

Bayesian inference for high-dimensional inverse problems is computationally costly and
requires selecting a suitable prior distribution. Amortized variational inference addresses …

Corrosion detection is a critical problem in many research areas. Guided wave tomography
provides a powerful tool to estimate the remaining thickness of corroded structures. This …

Tomography is a powerful tool for reconstructing the interior of an object from a series of
projection images. Typically, the source and detector traverse a standard path (eg, circular …

Solving multiphysics-based inverse problems for geological carbon storage monitoring can
be challenging when multimodal time-lapse data are expensive to collect and costly to …

Geological Carbon Storage GCS is arguably the only scalable net-negative CO2 emission
technology available While promising subsurface complexities and heterogeneity of …

Abstract We present the Seismic Laboratory for Imaging and Modeling/Monitoring open-
source software framework for computational geophysics and, more generally, inverse …

Due to their uncertainty quantification, Bayesian solutions to inverse problems are the
framework of choice in applications that are risk averse. These benefits come at the cost of …

We present a novel approach to transcranial ultrasound computed tomography that utilizes
normalizing flows to improve the speed of imaging and provide Bayesian uncertainty …