@conference {deng2025ML4SEISMICbag,
	title = {Bridging the Acoustic{\textendash}Elastic Gap in Seismic Inversion via Robust Summary Statistics},
	booktitle = {ML4SEISMIC Partners Meeting},
	year = {2025},
	month = {11},
	abstract = {Simulation-based Bayesian inference (SBI) enables uncertainty quantification in seismic inversion but typically assumes that simulated and observed data follow the same physics. In reality, this assumption does not hold. The Earth is elastic, yet large-scale simulations are often acoustic due to the prohibitive cost of elastic modeling. This acoustic{\textendash}elastic mismatch introduces model misspecification, leading to biased posterior estimates and reduced interpretability. We propose a robust conditional generative framework that mitigates this mismatch by learning a shared representation between acoustic and elastic domains. The approach integrates a robust summary network within a conditional normalizing flow, trained primarily on acoustic simulations and guided by limited elastic supervision. It enables elastic-consistent posterior inference from inexpensive acoustic simulations, balancing computational efficiency with physical realism. This framework offers a scalable path toward uncertainty-aware subsurface characterization under model misspecification, bridging the gap between fast acoustic modeling and physically accurate elastic data.},
	keywords = {Amortized Variational Inference, attention, Bayesian inference, CIG, deep learning, FWI, generative model, Imaging, Inverse problems, ML4SEISMIC, SLIM, Summary Statistics, Uncertainty quantification},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/ML4SEISMIC/2025/deng2025ML4SEISMICbag},
	author = {Zijun Deng and Abhinav Prakash Gahlot and Shiqin Zeng and Felix J. Herrmann}
}
@conference {zeng2025ML4SEISMICssn,
	title = {Self-attention summary networks for velocity model building from common-image gathers},
	booktitle = {ML4SEISMIC Partners Meeting},
	year = {2025},
	month = {11},
	abstract = {This study develops a self-attention-based summary network designed to efficiently encode and compress seismic information residing in subsurface-offset Common Image Gathers (CIGs) into low-dimensional latent representations suitable for conditional machine-learning enabled velocity-model building. The proposed network functions as a compact seismic encoder that captures global spatial dependencies through self-attention mechanisms while preserving essential local structural features critical for accurate reconstruction. When integrated within a flow matching generative network, the summary network learns to effectively summarize seismic information from CIGs via a new multi-scale attention mechanisms. This integration enables efficient training and inference, facilitating fast and physically consistent generation of seismic velocity models conditioned on CIGs.},
	keywords = {attention, CIG, deep learning, flow-matching, Generative models, ML4SEISMIC, SLIM, Summary Statistics, Uncertainty quantification},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/ML4SEISMIC/2025/zeng2025ML4SEISMICssn},
	author = {Shiqin Zeng and Abhinav Prakash Gahlot and Yunlin Zeng and Zijun Deng and Felix J. Herrmann}
}
@conference {deng2025ML4SEISMICtfi,
	title = {Time-lapse full-waveform inversion with uncertainty quantification},
	booktitle = {ML4SEISMIC Partners Meeting},
	year = {2025},
	month = {11},
	abstract = {Reliable management of underground energy storage systems, such as underground compressed Hydrogene or Air storage, rely on semi-continuous monitoring and rigorous quantification of subsurface uncertainty. Time-lapse seismic imaging provides valuable insights into fluid migration and storage integrity. However, traditional inversion techniques{\textemdash}particularly full-waveform inversion (FWI){\textemdash}are inherently ill-posed and deterministic, limiting their applicability for uncertainty-aware decision-making. The Joint Recovery Method (JRM) improves consistency across multiple surveys by jointly reconstructing shared structures, but does not capture uncertainty. We introduce the Probabilistic Joint Recovery Method (πJRM), which embeds uncertainty estimation within a joint inversion framework. πJRM leverages a shared generative model to infer wave-equation{\textendash}based posterior distributions for each monitoring survey, enabling probabilistic interpretation of time-lapse changes. Synthetic experiments demonstrate that πJRM accurately recovers dynamic reservoir evolution and provides uncertainty-aware reconstructions, offering a principled foundation for safe, efficient management of subsurface energy storage operations.},
	keywords = {Amortized Variational Inference, Bayesian inference, deep learning, FWI, GCS, igm, image generative model, Imaging, Inverse problems, jrm pjrm, ML4SEISMIC, SLIM, Summary Statistics, Uncertainty quantification},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/ML4SEISMIC/2025/deng2025ML4SEISMICtfi},
	author = {Zijun Deng and Rafael Orozco and Abhinav Prakash Gahlot and Felix J. Herrmann}
}
@conference {deng2025IMAGEtfi,
	title = {Time-lapse full-waveform inversion with uncertainty quantification},
	booktitle = {International Meeting for Applied Geoscience and Energy},
	year = {2025},
	month = {8},
	keywords = {Amortized Variational Inference, Bayesian inference, deep learning, FWI, GCS, igm, IMAGE, image generative model, Imaging, Inverse problems, JRM, SEG, Summary Statistics, Uncertainty quantification},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2025/deng2025IMAGEtfi},
	url2 = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2025/deng2025IMAGEtfi/IMAGE_Venice.pdf},
	author = {Zijun Deng and Rafael Orozco and Abhinav Prakash Gahlot and Felix J. Herrmann}
}
@conference {siahkoohi2022INTERSPEECHulbs,
	title = {Ultra-Low-Bitrate Speech Coding with Pretrained Transformers},
	booktitle = {Proceedings of INTERSPEECH},
	year = {2022},
	note = {International Speech Communication Association (ISCA)},
	month = {06},
	abstract = {Speech coding facilitates the transmission of speech over low-bandwidth networks with minimal distortion. Neural-network based speech codecs have recently demonstrated significant improvements in quality over traditional approaches. While this new generation of codecs is capable of synthesizing high-fidelity speech, their use of recurrent or convolutional layers often restricts their effective receptive fields, which prevents them from compressing speech efficiently. We propose to further reduce the bitrate of neural speech codecs through the use of pretrained Transformers, capable of exploiting long-range dependencies in the input signal due to their inductive bias. As such, we use a pretrained Transformer in tandem with a convolutional encoder, which is trained end-to-end with a quantizer and a generative adversarial net decoder. Our numerical experiments show that supplementing the convolutional encoder of a neural speech codec with Transformer speech embeddings yields a speech codec with a bitrate of 600 bps that outperforms the original neural speech codec in synthesized speech quality when trained at the same bitrate. Subjective human evaluations suggest that the quality of the resulting codec is comparable or better than that of conventional codecs operating at three to four times the rate.},
	keywords = {deep learning, GANs, INTERSPEECH, signal processing, Transformers},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/INTERSPEECH/2022/siahkoohi2022INTERSPEECHulbs/paper.pdf},
	author = {Ali Siahkoohi and Michael Chinen and Tom Denton and W. Bastiaan Kleijn and Jan Skoglund}
}
@conference {rizzuti2019SIAMGStwri,
	title = {A dual formulation for time-domain wavefield reconstruction inversion},
	booktitle = {SIAM Conference on Mathematical and Computational Issues in the Geosciences},
	year = {2019},
	note = {(SIAM GS)},
	month = {03},
	abstract = {Wavefield reconstruction inversion (WRI) is based on the combination of data misfit and PDE-residual penalty terms, and it aims at the reconstruction of the optimal property model and field pair. A full-space optimization would require the storage of field variables for every frequency or time sample (and every source). Remedies via variable projection are well studied, but they entail the solution of a modified wave equation, which is costly both in frequency and time domain. Here, we explore an efficient alternative to WRI, where properties are complemented, instead, by elements of the dual data space. The starting point of our proposal is the denoising reformulation of WRI: the PDE compliance is optimized under the constraint of a given data fit. Since the field variable can be eliminated from the associated saddle-point problem, we obtain a new objective functional of only properties and Lagrange multipliers. Its evaluation, and gradient computation, involves the solution of the original wave equation, which is amenable to time-domain discretization. The optimization scheme of choice can now leverage on affordable storage of the iterates.},
	keywords = {WRI},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SIAMGS/2019/rizzuti2019SIAMGStwri/rizzuti2019SIAMGStwri.pdf},
	author = {Gabrio Rizzuti and Mathias Louboutin and Rongrong Wang and Emmanouil Daskalakis and Felix J. Herrmann}
}
@conference {rizzuti2019SEGadf,
	title = {A dual formulation for time-domain wavefield reconstruction inversion},
	booktitle = {SEG Technical Program Expanded Abstracts},
	year = {2019},
	note = {(SEG, San Antonio)},
	month = {09},
	pages = {1480-1485},
	abstract = {We illustrate a dual formulation for full-waveform inversion potentially apt to large 3-D problems. It is based on the optimization of the wave equation compliance, under the constraint of data misfit not exceeding a prescribed noise level. In the Lagrangian formulation, model and wavefield state variables are complemented with multipliers having the same dimension of data ("dual data" variables). Analogously to classical wavefield reconstruction inversion, the wavefield unknowns can be projected out in closed form, by solving a version of the augmented wave equation. This leads to a saddle-point problem whose variables are only model and dual data. As such, this formulation represents a model extension, and is potentially robust against local minima. The classical downsides of model extension methods and wavefield reconstruction inversion are here effectively mitigated: storage of the dual variables is affordable, the augmented wave equation is amenable to time-marching finite-difference schemes, and no continuation strategy for penalty parameters is needed, with the prospect of 3-D applications.},
	keywords = {3D, Full-waveform inversion, SEG, Time-domain},
	doi = {10.1190/segam2019-3216760.1},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2019/rizzuti2019SEGadf/rizzuti2019SEGadf.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2019/rizzuti2019SEGadf/rizzuti2019SEGadf_pres.pdf},
	software = {https://github.com/slimgroup/Software.rizzuti2019SEGadf},
	author = {Gabrio Rizzuti and Mathias Louboutin and Rongrong Wang and Emmanouil Daskalakis and Felix J. Herrmann}
}
@conference {sharan2018IEEEIUSspoa,
	title = {Sparsity-promoting photoacoustic imaging with source estimation},
	booktitle = {2018 IEEE International Ultrasonics Symposium (IUS)},
	year = {2018},
	note = {(IEEE IUS, Kobe)},
	month = {10},
	pages = {206-212},
	abstract = {Photoacoustics has emerged as a high-contrast imaging modality that provides optical absorption maps inside of tissues, therefore complementing morphological information of conventional ultrasound. The laser-generated photoacoustic waves are usually envelope-detected, thus disregarding the specific waveforms generated by each photoabsorber. Here we propose a sparsity-promoting image reconstruction method that allows the estimation of each photoabsorber{\textquoteright}s source-time function. Preliminary studies showed the ability to reconstruct the optical absorption map of an in silico vessel phantom. By using a sparsity-promoting imaging method, absorption maps and source-time functions can still be recovered even in situations where the number of transducers is decreased by a factor of six. Moreover, the recovery is able to attain higher resolution than conventional beamforming methods. Because our method recovers the source-time function of the absorbers, it could potentially also be used to distinguish different types of photoabsorbers, or the degree of aggregation of exogenous agents, under the assumption that these would generate different source-time functions at the moment of laser irradiation.},
	keywords = {Acceleration, estimation, IEEE, Image reconstruction, Phantoms, photoacoustic imaging, source-time function, sparsity promoting inversion, Transducers, wave equation},
	doi = {10.1109/ULTSYM.2018.8580037},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/IEEEIUS/2018/sharan2018IEEEIUSspoa/sharan2018IEEEIUSspoa.pdf},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/IEEEIUS/2018/sharan2018IEEEIUSspoa/sharan2018IEEEIUSspoa_pres.pdf},
	author = {Shashin Sharan and Rajiv Kumar and Diego S. Dumani and Mathias Louboutin and Rongrong Wang and Stanislav Emelianov and Felix J. Herrmann}
}
@conference {daskalakis2017SEGdds,
	title = {Developments in the direction of solving extremly large problems in Geophysics},
	booktitle = {SEG Technical Program Expanded Abstracts},
	year = {2017},
	note = {(SEG, Houston)},
	month = {09},
	pages = {4375-4378},
	abstract = {Often in exploration Geophysics we are forced to work with extremely large problems. Acquisitions via dense grids of receivers translate into very large mathematical systems. Usually, depending on the acquisition, the size of the matrix of the system to be solved, can be measured in the millions. The proper way to address this problem is by subsampling. Even though subsampling can reduce the computational efforts required, it can not address stability problems caused by preconditioning and/or instrumental response errors. In this abstract, we introduce a modification of the linearized Bregman solver for these large problems that resolves stability issues.},
	keywords = {cycling, least-squares migration, linearized Bregman, SEG, weighted increment},
	doi = {10.1190/segam2017-17795188.1},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2017/daskalakis2017SEGdds/daskalakis2017SEGdds.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2017/daskalakis2017SEGdds/daskalakis2017SEGdds_pres.pdf},
	author = {Emmanouil Daskalakis and Rachel Kuske and Felix J. Herrmann}
}
@conference {herrmann2017SIAMdsa,
	title = {Domain-specific abstractions for full-waveform inversion},
	booktitle = {SIAM Conference on Computational Science and Engineering},
	year = {2017},
	note = {(SIAM Conference on Computational Science and Engineering, Atlanta)},
	month = {02-03},
	keywords = {FWI, Inverse problems, SIAM, software},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SIAM/2017/herrmann2017SIAMdsa/herrmann2017SIAMdsa_pres.pdf},
	author = {Felix J. Herrmann and Curt Da Silva}
}
@conference {fang2017AIPepm,
	title = {An efficient penalty method for PDE-constrained optimization problem with source estimation and stochastic optimization},
	booktitle = {Applied Inverse Problems Annual Conference Proceedings},
	year = {2017},
	note = {(AIP, Hangzhou)},
	month = {05-06},
	pages = {40},
	abstract = {Many inverse problems in applied science and engineering can be written as PDE-constrained optimization problems. Typically, one is interested in estimating the unknown medium parameters of the PDE describing the system, given multi-source measurements of the fields in the true medium. The objective function is often very oscillatory, which gives rise to problematic local minima, and merely evaluating one or more of its derivatives requires solving multiple PDEs, which are expensive. In many applications such as seismic exploration, only the source location is available and the source signature itself is unknown, which results in erroneous estimated parameters. In this work, we propose a penalty method to solve the PDE-constrained optimization problem, whereby we replace the PDE constraints by a two-norm penalty term, which leads to a bi-linear optimization problem with a much less oscillatory objective function. By applying the variable projection method, we develop an efficient method to invert the unknown parameters and source signatures simultaneously. To reduce the computational cost, we randomly select a subset of all data to update the parameters at each iteration. Numerical examples demonstrate that this method is less prone to becoming stuck in harmful local minima and is able to successfully invert the unknown parameters and source signature with less computational cost compared to using all the data.},
	keywords = {Optimization, penalty method, source estimation, Stochastic optimization},
	url = {http://aip2017.csp.escience.cn/dct/page/1},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/AIP/2017/fang2017AIPepm/fang2017AIPepm_pres.pdf},
	author = {Zhilong Fang and Curt Da Silva and Felix J. Herrmann}
}
@conference {yang2017SEGfsp,
	title = {Fast sparsity-promoting least-squares migration with multiples in time domain},
	booktitle = {SEG Technical Program Expanded Abstracts},
	year = {2017},
	note = {(SEG, Houston)},
	month = {09},
	pages = {4828-4832},
	abstract = {Based on the latest developments of research in inversion technology with optimization, researchers have made significant progress in the implementation of least-squares reverse-time migration (LS-RTM) of primaries. In Marine data however, these applications rely on the success of a pre-imaging separation of primaries and multiples, which can be modeled as a multi-dimensional convolution between the vertical derivative of the surface-free Green{\textquoteright}s function and the down-going receiver wavefield. Instead of imaging the primaries and multiples separately, we implement the LS-RTM of the total down-going wavefield by combining areal source injection and linearized Born modelling, where strong surface related multiples are generated from a strong density variation at the ocean bottom. The advantage including surface related multiples in LS-RTM is the extra illumination we obtain from these multiples without incurring additional computational costs related to carrying out multi-dimensional convolutions part of conventional multiple prediction procedures. Even though we are able to avert these computational costs, our approach shares the large costs of LSRTM. We reduce these costs by combining randomized source subsampling with our sparsity-promoting imaging technology, which produces artifact-free, high-resolution images, with the surface-related multiples migrated properly.},
	keywords = {least-squares RTM, multiples, SEG, sparsity, time domain},
	doi = {10.1190/segam2017-17741608.1},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2017/yang2017SEGfsp/yang2017SEGfsp.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2017/yang2017SEGfsp/yang2017SEGfsp_pres.pdf},
	author = {Mengmeng Yang and Emmanouil Daskalakis and Felix J. Herrmann}
}
@conference {zhang2017SEGmsd,
	title = {Massive 3D seismic data compression and inversion with hierarchical Tucker},
	booktitle = {SEG Technical Program Expanded Abstracts},
	year = {2017},
	note = {(SEG, Houston)},
	month = {09},
	pages = {1347-1352},
	abstract = {Modern-day oil and gas exploration, especially in areas of complex geology such as fault belts and sub-salt areas, is an increasingly expensive and risky endeavour. Typically long-offset and dense sampling seismic data are required for subsequent shot based processing procedures, e.g. wave-equation based inversion (WEI) and surface-related multiple elimination (SRME). However, these strict requirements result in an exponential growth in data volume size and prohibitive demands on computational resources, given the multidimensional nature of the data volumes. Moreover the physical constraints and cost limitations impose restrictions on acquiring fully sampled data. In this work, we propose to invert our large-scale data from a set of subsampled measurements, resulting in an estimate of the true volume in a compressed low-rank tensor format. Rather than expanding the data to its fully-sampled form for later downstream processes, we demonstrate how to use this compressed data directly via on-the-fly common shot or receiver gathers extraction. The combination of massive compression and fast on demand data reconstruction of 3D shot or receiver gathers leads to a substantial reduction in memory costs but with minimal effects on results in the subsequent processing procedures. We demonstrate the effective implementation of our proposed framework on full-waveform inversion on a 3D seismic synthetic data set generated from a Overthrust model.},
	keywords = {3D, FWI, SEG, tensor algebra},
	doi = {10.1190/segam2017-17742951.1},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2017/zhang2017SEGmsd/zhang2017SEGmsd.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2017/zhang2017SEGmsd/zhang2017SEGmsd_pres.pdf},
	author = {Yiming Zhang and Curt Da Silva and Rajiv Kumar and Felix J. Herrmann}
}
@conference {fang2017WAVESuqf,
	title = {Uncertainty quantification for inverse problems with a weak wave-equation constraint},
	booktitle = {WAVES 2017 {\textendash}- 13th International Conference on Mathematical and Numerical Aspects of Wave Propagation},
	year = {2017},
	note = {(WAVES, Minneapolis)},
	month = {05},
	pages = {127-128},
	abstract = {In this work, we present a new posterior distribution to quantify uncertainties in solutions of wave-equation based inverse problems. By introducing an auxiliary variable for the wavefields, we weaken the strict wave-equation constraint used by conventional Bayesian approaches. With this weak constraint, the new posterior distribution is a bi-Gaussian distribution with respect to both model parameters and wavefields, which can be directly sampled by the Gibbs sampling method.},
	keywords = {constraint, Gibbs sampling, uncertainty, wave equation},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/WAVES/2017/fang2017WAVESuqf/fang2017WAVESuqf.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/WAVES/2017/fang2017WAVESuqf/fang2017WAVESuqf_pres.pdf},
	author = {Zhilong Fang and Curt Da Silva and Rachel Kuske and Felix J. Herrmann}
}
@conference {deaguiar2016SCdff,
	title = {DeVito: fast finite difference computation},
	booktitle = {Super Computing (SC16)},
	year = {2016},
	note = {(Super Computing, Utah)},
	month = {11},
	abstract = {Seismic imaging, used in energy exploration, is arguably the most compute and data intensive application in the private sector. The commonly used methods involve solving the wave equations numerically using finite difference formulations. Writing optimized code for these applications involves multiple man-years of effort that need to be repeated every time a new development needs to be factored in {\textendash} for every target platform. DeVito is a new tool for performing optimized Finite Difference (FD) computation from high-level symbolic problem definitions. The application developer needs to provide a differential equation in symbolic form. DeVito performs automated code generation and Just-In-Time (JIT) compilation based on this symbolic equation to create and execute highly optimized Finite Difference kernels on multiple computer platforms. DeVito has been designed to be used as part of complex workflows involving data flows across multiple applications over different nodes of a cluster.},
	keywords = {finite differences, Full-waveform inversion, high performance computing},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SC/2016/deaguiar2016SCdff/deaguiar2016SCdff_poster.pdf},
	url2 = {http://sc16.supercomputing.org/sc-archive/tech_poster/tech_poster_pages/post155.html},
	author = {Marcos de Aguiar and Gerard Gorman and Felix J. Herrmann and Navjot Kukreja and Michael Lange and Mathias Louboutin and Felippe Vieira Zacarias}
}
@conference {fang2016SEGuqw,
	title = {Uncertainty quantification for Wavefield Reconstruction Inversion using a PDE free semidefinite Hessian and randomize-then-optimize method},
	booktitle = {SEG Technical Program Expanded Abstracts},
	year = {2016},
	note = {(SEG, Dallas)},
	month = {10},
	pages = {1390-1394},
	abstract = {The data of full-waveform inversion often contains noise, which induces uncertainties in the inversion results. Ideally, one would like to run a number of independent inversions with different realizations of the noise and assess model-side uncertainties from the resulting models, however this is not feasible because we collect the data only once. To circumvent this restriction, various sampling schemes have been devised to generate an ensemble of models that fit the data to within the noise level. Such sampling schemes typically involve running multiple inversions or evaluating the Hessian of the cost function, both of which are computationally expensive. In this work, we propose a new method to quantify uncertainties based on a novel formulation of the full-waveform inversion problem {\textendash} wavefield reconstruction inversion. Based on this formulation, we formulate a semidefinite approximation of the corresponding Hessian matrix. By precomputing certain quantities, we are able to apply this Hessian to given input vectors without additional solutions of the underlying partial differential equations. To generate a sample, we solve an auxiliary stochastic optimization problem involving this Hessian. The result is a computationally feasible method that, with little overhead, can generate as many samples as required at small additional cost. We test our method on the synthetic BG Compass model and compare the results to a direct-sampling approach. The results show the feasibility of applying our method to computing statistical quantities such as the mean and standard deviation in the context of wavefield reconstruction inversion.},
	keywords = {SEG, Uncertainty quantification, WRI},
	doi = {10.1190/segam2016-13879108.1},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2016/fang2016SEGuqw/fang2016SEGuqw.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2016/fang2016SEGuqw/fang2016SEGuqw_pres.pdf},
	author = {Zhilong Fang and Chia Ying Lee and Curt Da Silva and Tristan van Leeuwen and Felix J. Herrmann}
}
@conference {dasilva2016SEGuse,
	title = {A unified 2D/3D software environment for large scale time-harmonic full waveform inversion},
	booktitle = {SEG Technical Program Expanded Abstracts},
	year = {2016},
	note = {(SEG, Dallas)},
	month = {10},
	pages = {1169-1173},
	abstract = {Full-Waveform Inversion is a costly and complex procedure for realistically sized 3D seismic data. The performance-critical nature of this problem often results in software environments that are written entirely in low-level languages, making them hard to understand, maintain, improve, and extend. The unreadability of such codes can stymie research developments, where the translation from higher level mathematical ideas to high performance codes can be lost, inhibiting the uptake of new ideas in production-level codebases. We propose a new software organization paradigm for Full-Waveform Inversion and other PDE-constrained optimization problems that is flexible, efficient, scalable, and demonstrably correct. We decompose the various structural components of FWI in to its constituent components, from parallel computation to assembling objective functions and gradients to lower level matrix-vector multiplications. This decomposition allows us to create a framework where individual components can be easily swapped out to suit a particular user{\textquoteright}s existing software environment. The ease of applying high-level algorithms to the FWI problem allows us to easily implement stochastic FWI and demonstrate its effectiveness on a large scale 3D problem.},
	keywords = {Full-waveform inversion, large scale, numerical analysis, SEG, software},
	doi = {10.1190/segam2016-13869051.1},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2016/dasilva2016SEGuse/dasilva2016SEGuse.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2016/dasilva2016SEGuse/dasilva2016SEGuse_pres.pdf},
	author = {Curt Da Silva and Felix J. Herrmann}
}
@conference {dasilva2015WSLRigt,
	title = {Irregular grid tensor completion},
	booktitle = {Workshop on Low-rank Optimization and Applications},
	year = {2015},
	note = {(Workshop on Low-rank Optimization and Applications, University of Bonn, Germany)},
	month = {06},
	abstract = {Low rank tensor completion has recently garnered the attention of researchers owing to the ubiquity of tensors in the sciences and the theoretical and numerical challenges compared to matrix completion. Here we consider a tensor completion scheme where the data arises from sampling a continuous function. When the sampling grid is not periodic, the resulting tensor may not be low rank in the Hierarchical Tucker sense, which can adversely affect reconstruction quality when there are missing samples. In order to compensate for this off-grid sampling, we introduce a resampling operator (here, the non-uniform Fourier transform) that accounts for this non-uniformity moreso than merely treating the sampling grid as periodic. Numerical experiments demonstrate that this approach can improve reconstruction quality when there is relatively little data.},
	keywords = {hierarchical tucker, irregular sampling, off the grid, structured tensor, tensor interpolation},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/WS_LR/2015/dasilva2015WSLRigt/dasilva2015WSLRigt_poster.pdf},
	author = {Curt Da Silva and Felix J. Herrmann}
}
@conference {dasilva2015EAGEogt,
	title = {Off the grid tensor completion for seismic data interpolation},
	booktitle = {EAGE Annual Conference Proceedings},
	year = {2015},
	note = {(EAGE, Madrid)},
	month = {06},
	abstract = {The practical realities of acquiring seismic data in a realistic survey are often at odds with the stringent requirements of Shannon-Nyquist-based sampling theory. The unpredictable movement of the ocean{\textquoteleft}s currents can be detrimental in acquiring exactly equally-spaced samples while sampling at Nyquist-rates are expensive, given the huge dimensionality and size of the data volume. Recent work in matrix and tensor completion for seismic data interpolation aim to alleviate such stringent Nyquist-based sampling requirements but are fundamentally posed on a regularly-spaced grid. In this work, we extend our previous results in using the so-called Hierarchical Tucker (HT) tensor format for recovering seismic data to the irregularly sampled case. We introduce an interpolation operator that resamples our tensor from a regular grid (in which we impose our low-rank constraints) to our irregular sampling grid. Our framework is very flexible and efficient, depending primarily on the computational costs of this operator. We demonstrate the superiority of this approach on a realistic BG data set compared to using low-rank tensor methods that merely use binning.},
	keywords = {EAGE, hierarchical tucker, irregular sampling, off the grid, structured tensor, tensor interpolation},
	doi = {10.3997/2214-4609.201412978},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2015/dasilva2015EAGEogt/dasilva2015EAGEogt.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2015/dasilva2015EAGEogt/dasilva2015EAGEogt_pres.pdf},
	author = {Curt Da Silva and Felix J. Herrmann}
}
@conference {kumar2015IIPFWIrmb,
	title = {Rank minimization based seismic data processing and inversion},
	booktitle = {Inaugural Full-Waveform Inversion Workshop},
	year = {2015},
	note = {(Natal, Brazil)},
	month = {08-09},
	abstract = {We present the low-rank extensions of full-waveform inversion to mitigate the local-minima issues. The purpose formulation is computationally tractable and does not involve any extra computational cost compared to the adjoint-state method.},
	keywords = {FWI, inversion, Processing, rank minimization},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/IIPFWI/kumar2015IIPFWIrmb/kumar2015IIPFWIrmb_pres.pdf},
	author = {Rajiv Kumar and Curt Da Silva and Oscar Lopez and Aleksandr Y. Aravkin and Hassan Mansour and Haneet Wason and Ernie Esser and Felix J. Herrmann}
}
@conference {lin2015IIPFWIsws,
	title = {Software and workflows at SLIM/SINBAD},
	booktitle = {Inaugural Full-Waveform Inversion Workshop},
	year = {2015},
	note = {(Natal, Brazil)},
	month = {08-09},
	keywords = {FWI, SLIM, software},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/IIPFWI/lin2015IIPFWIsws/lin2015IIPFWIsws_pres.pdf},
	author = {Tim T.Y. Lin and Curt Da Silva and Felix J. Herrmann}
}
@conference {lopez2015SEGWSsfm,
	title = {SVD-free matrix completion in randomized marine acquisition},
	booktitle = {SEG Workshop on Rank-Reduction and Other Sparse Transform Methods with Application to Data Reconstruction, De-Noising, De-Blending and Imaging; New Orleans},
	year = {2015},
	note = {(SEG, New Orleans)},
	month = {10},
	abstract = {During this presentation, we will illustrate how insights from matrix-free matrix completion can be used to solve problems in (on- and off-the-grid) missing trace interpolation and time-jittered (simultaneous) marine acquisition. In particular, we will demonstrate the importance of data organization to favor recovery by rank minimization and the use of deterministic spectral properties to predict the recovery. We also make make comparisons between wavefield reconstructions based on transform-domain sparsity promotion and matrix completion.},
	keywords = {Acquisition, interpolation, matrix completion, rank reduction, SEG, workshop},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2015/lopez2015SEGWSsfm/lopez2015SEGWSsfm_pres.pdf},
	author = {Oscar Lopez and Haneet Wason and Curt Da Silva and Rajiv Kumar and Felix J. Herrmann}
}
@conference {fang2015IIPFWIuqw,
	title = {Uncertainty quantification for Wavefield Reconstruction Inversion},
	booktitle = {Inaugural Full-Waveform Inversion Workshop},
	year = {2015},
	note = {(Natal, Brazil)},
	month = {08-09},
	abstract = {In this work, we propose a method to quantify the uncertainty of wavefield reconstruction inversion under the framework of Bayesian inference. Unlike the conventional method using the wave equation as the forward mapping, we involve the wave equation misfit in the posterior distribution and propose a new posterior distribution. The negative log-likelihood of the new distribution is less oscillatory than that of the conventional posterior distribution, and its Gauss-Newton Hessian is a diagonal matrix that can be generated without any additional computational cost. We use the diagonal Gauss-Newton Hessian to derive an approximate Gaussian distribution at the maximum likelihood point to quantify the uncertainty. This method makes the uncertainty quantification for WRI computationally tractable and is able to provide reasonable uncertainty analysis based on our numerical results.},
	keywords = {FWI, uncertainty, WRI},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/IIPFWI/fang2015IIPFWIuqw/fang2015IIPFWIuqw_pres.pdf},
	author = {Zhilong Fang and Chia Ying Lee and Curt Da Silva and Felix J. Herrmann and Rachel Kuske}
}
@conference {fang2015EAGEuqw,
	title = {Uncertainty quantification for Wavefield Reconstruction Inversion},
	booktitle = {EAGE Annual Conference Proceedings},
	year = {2015},
	note = {(EAGE, Madrid)},
	month = {06},
	abstract = {In this work, we propose a method to quantify the uncertainty of wavefield reconstruction inversion under the framework of Bayesian inference. Unlike the conventional method using the wave equation as the forward mapping, we involve the wave equation misfit in the posterior distribution and propose a new posterior distribution. The negative log-likelihood of the new distribution is less oscillatory than that of the conventional posterior distribution, and its Gauss-Newton Hessian is a diagonal matrix that can be generated without any additional computational cost. We use the diagonal Gauss-Newton Hessian to derive an approximate Gaussian distribution at the maximum likelihood point to quantify the uncertainty. This method makes the uncertainty quantification for WRI computationally tractable and is able to provide reasonable uncertainty analysis based on our numerical results.},
	keywords = {EAGE, FWI, UQ, WRI},
	doi = {10.3997/2214-4609.201413198},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2015/fang2015EAGEuqw/fang2015EAGEuqw.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2015/fang2015EAGEuqw/fang2015EAGEuqw_pres.pdf},
	author = {Zhilong Fang and Chia Ying Lee and Curt Da Silva and Felix J. Herrmann and Rachel Kuske}
}
@conference {fang2014EAGEfuq,
	title = {Fast uncertainty quantification for 2D full-waveform inversion with randomized source subsampling},
	booktitle = {EAGE Annual Conference Proceedings},
	year = {2014},
	month = {06},
	abstract = {Uncertainties arise in every area of seismic exploration, especially in full-waveform inversion, which is highly non-linear. In the framework of Bayesian inference, uncertainties can be analyzed by sampling the posterior probability density distribution with a Markov chain Monte-Carlo (McMC) method. We reduce the cost of computing the posterior distribution by working with randomized subsets of sources. These approximations, together with the Gaussian assumption and approximation of the Hessian, leads to a computational tractable uncertainty quantification. Application of this approach to a synthetic leads to standard deviations and confidence intervals that are qualitatively consistent with our expectations.},
	keywords = {EAGE, FWI, Markov chain Monte Carlo, randomized sources subsampling, Uncertainty quantification},
	doi = {10.3997/2214-4609.20140715},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2014/fang2014EAGEfuq/fang2014EAGEfuq.pdf},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2014/fang2014EAGEfuq/fang2014EAGEfuq_pres.pdf},
	author = {Zhilong Fang and Curt Da Silva and Felix J. Herrmann}
}
@conference {dasilva2014EAGEhtucknoisy,
	title = {Low-rank promoting transformations and tensor interpolation - applications to seismic data denoising},
	booktitle = {EAGE Annual Conference Proceedings},
	year = {2014},
	month = {06},
	abstract = {In this abstract, we extend our previous work in Hierarchical Tucker (HT) tensor completion, which uses an extremely efficient representation for representing high-dimensional tensors exhibit- ing low-rank structure, to handle subsampled tensors with noisy entries. We consider a "low-noise" case, so that the energies of the noise and the signal are nearly indistinguishable, and a {\textquoteright}high-noise{\textquoteright} case, in which the noise energy is now scaled to the amplitude of the entire data volume. We examine the effect of the noise in terms of the singular values along different matricizations of the data, i.e., reshaping of the tensor along different modes. By interpreting this effect in the context of tensor completion, we demonstrate the inefficacy of denoising by this method in the source-receiver do- main. In light of this observation, we transform the decimated, noisy data in to the midpoint-offset domain, which promotes low-rank behaviour in the signal and high-rank behaviour in the noise. This distinction between signal and noise allows low-rank interpolation to effectively denoise the signal with only a marginal increase in computational cost. We demonstrate the effectiveness of this approach on a 4D frequency slice.},
	keywords = {EAGE, hierarchical tucker, low-rank transform, riemannian optimization, seismic denoising, structured tensor, tensor interpolation},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2014/dasilva2014EAGEhtucknoisy/dasilva2014EAGEhtucknoisy.pdf},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2014/dasilva2014EAGEhtucknoisy/dasilva2014EAGEhtucknoisy_pres.pdf},
	author = {Curt Da Silva and Felix J. Herrmann}
}
@conference {dasilva2013EAGEhtucktensor,
	title = {Hierarchical Tucker tensor optimization - applications to 4D seismic data interpolation},
	booktitle = {EAGE Annual Conference Proceedings},
	year = {2013},
	month = {06},
	abstract = {In this work, we develop optimization algorithms on the manifold of Hierarchical Tucker (HT) tensors, an extremely efficient format for representing high-dimensional tensors exhibiting particular low-rank structure. With some minor alterations to existing theoretical developments, we develop an optimization framework based on the geometric understanding of HT tensors as a smooth manifold, a generalization of smooth curves/surfaces. Building on the existing research of solving optimization problems on smooth manifolds, we develop Steepest Descent and Conjugate Gradient methods for HT tensors. The resulting algorithms converge quickly, are immediately parallelizable, and do not require the computation of SVDs. We also extend ideas about favourable sampling conditions for missing-data recovery from the field of Matrix Completion to Tensor Completion and demonstrate how the organization of data can affect the success of recovery. As a result, if one has data with randomly missing source pairs, using these ideas, coupled with an efficient solver, one can interpolate large-scale seismic data volumes with missing sources and/or receivers by exploiting the multidimensional dependencies in the data. We are able to recover data volumes amidst extremely high subsampling ratios (in some cases, > 75\%) using this approach.},
	keywords = {3D data interpolation, EAGE, riemannian optimization, structured tensor},
	doi = {10.3997/2214-4609.20130390},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2013/dasilva2013EAGEhtucktensor/dasilva2013EAGEhtucktensor.pdf},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2013/dasilva2013EAGEhtucktensor/dasilva2013EAGEhtucktensor_pres.pdf},
	author = {Curt Da Silva and Felix J. Herrmann}
}
@conference {dasilva2013SAMPTAhtuck,
	title = {Hierarchical Tucker tensor optimization - applications to tensor completion},
	year = {2013},
	month = {07},
	abstract = {In this work, we develop an optimization framework for problems whose solutions are well-approximated by Hierarchical Tucker tensors, an efficient structured tensor format based on recursive subspace factorizations. Using the differential geometric tools presented here, we construct standard optimization algorithms such as Steepest Descent and Conjugate Gradient, for interpolating tensors in HT format. We also empirically examine the importance of one{\textquoteright}s choice of data organization in the success of tensor recovery by drawing upon insights from the Matrix Completion literature. Using these algorithms, we recover various seismic data sets with randomly missing source pairs.},
	keywords = {differential geometry, hierarchical tucker, riemannian optimization, SAMPTA, structured tensor, tensor interpolation},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SAMPTA/2013/dasilva2013SAMPTAhtuck/dasilva2013SAMPTAhtuck.pdf},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SAMPTA/2013/dasilva2013SAMPTAhtuck/dasilva2013SAMPTAhtuck_pres.pdf},
	author = {Curt Da Silva and Felix J. Herrmann}
}
@conference {dasilva2013SEGhtuck,
	title = {Structured tensor missing-trace interpolation in the Hierarchical Tucker format},
	booktitle = {SEG Technical Program Expanded Abstracts},
	volume = {32},
	year = {2013},
	month = {09},
	pages = {3623-3627},
	publisher = {SEG},
	organization = {SEG},
	abstract = {Owing to the large scale and dimensionality of a 3D seismic experiment, acquiring fully-sampled data according to the Nyquist criterion is an exceedingly arduous and cost-prohibitive task. In this paper, we develop tools to interpolate 5D seismic volumes with randomly missing sources or receivers using a relatively novel tensor format known as the Hierarchical Tucker (HT) format. By exploiting the underlying smooth structure of HT tensors, specifically its smooth manifold structure, we develop solvers which are fast, immediately parallelizable, and SVD-free, making these solvers amenable to large-scale problems where SVD-based projection methods are far too costly. We also build on intuition of multidimensional sampling from the perspective of matrix-completion and demonstrate the ability of our algorithms to recover frequency slices even amidst very high levels of source subsampling on a synthetic large-scale 3D North Sea dataset.},
	keywords = {differential geometry, gauss newton, hierarchical tucker, riemannian optimization, SEG, structured tensor, tensor interpolation},
	doi = {10.1190/segam2013-0709.1},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2013/dasilva2013SEGhtuck/dasilva2013SEGhtuck.pdf},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2013/dasilva2013SEGhtuck/dasilva2013SEGhtuck_pres.pdf},
	author = {Curt Da Silva and Felix J. Herrmann}
}
@conference {dasilva2012EAGEprobingprecond,
	title = {Matrix probing and simultaneous sources: a new approach for preconditioning the Hessian},
	booktitle = {EAGE Annual Conference Proceedings},
	year = {2012},
	month = {06},
	abstract = {Recent advances based on the mathematical understanding of the Hessian as, under certain conditions, a pseudo-differential operator have resulted in a new preconditioner by L. Demanet et al. Basing their approach on a suitable basis expansion for the Hessian, by suitably {\textquoteright}probing{\textquoteright} the Hessian, i.e. applying the Hessian to a small number of randomized model perturbations, one can obtain an approximation to the inverse Hessian in an efficient manner. Building upon this approach, we consider this preconditioner in the context of least-squares migration and Full Waveform Inversion and specifically dimensionality reduction techniques in these domains. By utilizing previous work in simultaneous sources, we are able to develop an efficient least-squares migration scheme which recovers higher quality images and hence higher quality search directions in the context of a Gauss-Newton method for Full Waveform Inversion while simultaneously avoiding inordinate amounts of additional work.},
	keywords = {EAGE, matrix probing, pseudo-differential operator},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2012/dasilva2012EAGEprobingprecond/dasilva2012EAGEprobingprecond.pdf},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2012/dasilva2012EAGEprobingprecond/dasilva2012EAGEprobingprecond_pres.pdf},
	url2 = {http://earthdoc.eage.org/publication/publicationdetails/?publication=59193},
	author = {Curt Da Silva and Felix J. Herrmann}
}
