@conference {orozco2021NIPSpicp,
	title = {Photoacoustic Imaging with Conditional Priors from Normalizing Flows},
	booktitle = {Neural Information Processing Systems (NeurIPS)},
	year = {2021},
	note = {(NIPS, virtual)},
	month = {12},
	abstract = {Photoacoustic imaging is a biomedical imaging technique based on the photoacoustic effect. It leverages the interplay between optics and acoustics as a mean to circumvent the limitations of imaging modalities relying on single-type physics. Light beams generated by a pulsed laser can penetrate biological tissues by several centimeters, and are absorbed based on oxygen saturation or hemoglobin concentration. While optical absorption is in principle an ideal parameter for medical imaging (e.g., with respect to the detection of cancerous tissue), strong scattering imposes important limitations in its imaging resolution. Ultrasonics, on the other hand, can theoretically provide resolution of medical diagnostic value, but produce images of mechanical properties whose contrasts are not sensitive. In photoacoustics, optical and acoustic effects are combined to gain the best of both worlds. Under conditions of thermal and stress confinement, thermal energy can efficiently build up in biological tissues, which in turn undergo thermal expansion and effectively act as a spatially distributed acoustic source. In photoacoustic imaging, the actual object of interest is the induced source, as it is directly related to optical absorption and can be recovered with a relatively higher resolution than pure optical imaging, based on the acquired ultrasonic data.},
	keywords = {conditional prior, deep image, MAP, NIPS, normalizing flow, Photoacoustic, Variational Inference},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/NIPS/2021/orozco2021NIPSpicp/deep_inverse_2021.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/NIPS/2021/orozco2021NIPSpicp/posterneurips2021_orozco.pdf},
	url2 = {https://openreview.net/forum?id=woi1OTvROO1},
	software = {https://github.com/slimgroup/InvertibleNetworks.jl},
	author = {Rafael Orozco and Ali Siahkoohi and Gabrio Rizzuti and Tristan van Leeuwen and Felix J. Herrmann}
}
@conference {peters2016SEGprs,
	title = {Parallel reformulation of the sequential adjoint-state method},
	booktitle = {SEG Technical Program Expanded Abstracts},
	year = {2016},
	note = {(SEG, Dallas)},
	month = {10},
	pages = {1411-1415},
	abstract = {This abstract is about reducing the total computation time to solve full-waveform inversion problems. A common problem formulation is a nonlinear least-squares problem where the gradient is computed using the adjoint-state algorithm. This formulation offers parallelism for the computation of gradients for different sources and frequencies. The adjoint-state algorithm itself is sequential however and this is a limiting factor when a lot of compute nodes are available and only a few wavefields need to be computed. This situation occurs when stochastic optimization strategies are used to minimize the objective function. We present a parallel reformulation of the sequential adjoint-state algorithm, which allows the forward- and adjoint wavefields to be computed in parallel. Both algorithms are mathematically equivalent but the parallel version is twice as fast in run time. An important characteristic of the proposed algorithm is that one wavefield needs to be computed per source and one per receiver. These fields can be used to apply the (inverse) Gauss-Newton Hessian to a vector without recomputing wavefields. A 2D example shows that good full-waveform inversion results are obtained, even when a small number of sources and receivers is used.},
	keywords = {FWI, numerical linear algebra, parallel computing, PDE-constrained optimization, SEG},
	doi = {10.1190/segam2016-13966771.1},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2016/peters2016SEGprs/peters2016SEGprs.html},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2016/peters2016SEGprs/peters2016SEGprs_pres.pdf},
	author = {Bas Peters and Tristan van Leeuwen and Felix J. Herrmann}
}
@article {vanleeuwen2015IPpmp,
	title = {A penalty method for PDE-constrained optimization in inverse problems},
	journal = {Inverse Problems},
	volume = {32},
	number = {1},
	year = {2015},
	note = {(Inverse Problems)},
	month = {12},
	pages = {015007},
	abstract = {Many inverse and parameter estimation problems can be written as PDE-constrained optimization problems. The goal is to infer the parameters, typically coefficients of the PDE, from partial measurements of the solutions of the PDE for several right-hand sides. Such PDE-constrained problems can be solved by finding a stationary point of the Lagrangian, which entails simultaneously updating the parameters and the (adjoint) state variables. For large-scale problems, such an all-at-once approach is not feasible as it requires storing all the state variables. In this case one usually resorts to a reduced approach where the constraints are explicitly eliminated (at each iteration) by solving the PDEs. These two approaches, and variations thereof, are the main workhorses for solving PDE-constrained optimization problems arising from inverse problems. In this paper, we present an alternative method that aims to combine the advantages of both approaches. Our method is based on a quadratic penalty formulation of the constrained optimization problem. By eliminating the state variable, we develop an efficient algorithm that has roughly the same computational complexity as the conventional reduced approach while exploiting a larger search space. Numerical results show that this method indeed reduces some of the nonlinearity of the problem and is less sensitive to the initial iterate.},
	keywords = {Inverse problems, Optimization, PDE, penalty method},
	url = {https://slim.gatech.edu/Publications/Public/Journals/InverseProblems/2015/vanleeuwen2015IPpmp/vanleeuwen2015IPpmp.pdf},
	url2 = {http://stacks.iop.org/0266-5611/32/i=1/a=015007},
	author = {Tristan van Leeuwen and Felix J. Herrmann}
}
@techreport {herrmann2014pmpde,
	title = {A penalty method for PDE-constrained optimization},
	number = {WO 2014/172787},
	year = {2014},
	note = {(International publication date 30 October 2014. International publication number WO 2014/172787.)},
	month = {10},
	institution = {UBC},
	type = {Patent},
	abstract = {The invention is directed to a computer-implemented method for obtaining a physical model having physical model parameters wherein solutions to one or more partial-differential-equations (PDE{\textquoteright}s) are calculated ans wherein (i) an appropriate initial model is selected, (ii) setup a system of equations referred to as the data-augmented PDE for the field, comprising of the discretized PDE, the sampling operator, the source function and the observed data, and solve the data-augmented PDE in a suitable manner to obtain a field that both satisfies the PDE and fits the data to some degree, (iii) setup a system of equations by using the PDE, the source function and the field obtained in step (ii) and solve this system of equations in a suitable manner to obtain an update of the physical model parameters and repeat steps (ii)-(iii) until a predetermined stopping criterion is met.},
	keywords = {Optimization, patent, penalty method},
	url = {https://slim.gatech.edu/Publications/Public/Patents/2014/herrmann2014pmpde/herrmann2014pmpde_WO2014172787.pdf},
	url2 = {http://patentscope.wipo.int/search/en/WO2014172787},
	author = {Felix J. Herrmann and Tristan van Leeuwen}
}
@presentation {fang2013SINBADp3dfwi,
	title = {Parallel 3D FWI with simultaneous shots},
	year = {2013},
	publisher = {SINBAD},
	abstract = {In this work, we manage to build the workflow for the parallel 3D full-waveform inversion. In the forward simulation part, we generate the Helmholtz matrix in parallel and use parallel CARPCG to solve the Helmholtz equation. In the inversion process, simultaneous shots are used to reduce the computational costs. Additionally, we propose a method to select the number of simultaneous shots and tolerance of CARPCG dynamically, to reach a compromise between the computational costs and accuracy.},
	keywords = {Presentation, SINBAD, SINBADFALL2013, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2013/Fall/fang2013SINBADp3dfwi/fang2013SINBADp3dfwi.pdf},
	author = {Zhilong Fang and Tristan van Leeuwen and Felix J. Herrmann}
}
@techreport {vanLeeuwen2013Penalty2,
	title = {A penalty method for PDE-constrained optimization},
	number = {TR-EOAS-2013-6},
	year = {2013},
	month = {04},
	institution = {UBC},
	abstract = {We present a method for solving PDE constrained optimization problems based on a penalty formulation. This method aims to combine advantages of both full-space and reduced methods by exploiting a large search-space (consisting of both control and state variables) while allowing for an efficient implementation that avoids storing and updating the state-variables. This leads to a method that has roughly the same per-iteration complexity as conventional reduced approaches while dening an objective that is less non-linear in the control variable by implicitly relaxing the constraint. We apply the method to a seismic inverse problem where it leads to a particularly ecient implementation when compared to a conventional reduced approach as it avoids the use of adjoint state-variables. Numerical examples illustrate the approach and suggest that the proposed formulation can indeed mitigate some of the well-known problems with local minima in the seismic inverse problem.},
	keywords = {Optimization, waveform inversion},
	url = {https://slim.gatech.edu/Publications/Public/TechReport/2013/vanLeeuwen2013Penalty2/vanLeeuwen2013Penalty2.pdf},
	author = {Tristan van Leeuwen and Felix J. Herrmann}
}
@conference {herrmann2013SEGpmc,
	title = {A penalty method for PDE-constrained optimization with applications to wave-equation based seismic inversion},
	booktitle = {SEG Workshop on Computational Mathematics for Geophysics; Houston},
	year = {2013},
	month = {09},
	keywords = {Optimization, penalty method, SEG, workshop},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2013/herrmann2013SEGpmc/herrmann2013SEGpmc_pres.pdf},
	author = {Tristan van Leeuwen and Felix J. Herrmann}
}
@techreport {vanleeuwen2012smii,
	title = {A parallel matrix-free framework for frequency-domain seismic modelling, imaging and inversion in Matlab},
	number = {TR-EOAS-2012-5},
	year = {2012},
	month = {07},
	abstract = {I present a parallel matrix-free framework for frequency-domain seismic modeling, imaging and inversion. The framework provides basic building blocks for designing and testing optimization-based formulations of both linear and non-linear seismic in- verse problems. By overloading standard linear-algebra operations, such as matrix-vector multiplications, standard optimization packages can be used to work with the code without any modification. This leads to a scalable testbed on which new methods can be rapidly prototyped and tested on medium-sized 2D problems. I present some numerical examples on both linear and non-linear seismic inverse problems.},
	keywords = {Matlab, object-oriented programming, Optimization, seismic imaging},
	url = {https://slim.gatech.edu/Publications/Public/TechReport/2012/vanleeuwen2012smii/vanleeuwen2012smii.pdf},
	author = {Tristan van Leeuwen}
}
@techreport {vanleeuwen2012SEGparallel,
	title = {A parallel, object-oriented framework for frequency-domain wavefield imaging and inversion.},
	number = {TR-EOAS-2012-2},
	year = {2012},
	month = {04},
	institution = {Department of Earth and Ocean Sciences},
	address = {University of British Columbia, Vancouver},
	abstract = {We present a parallel object-oriented matrix-free framework for frequency-domain seismic modeling, imaging and inversion. The key aspects of the framework are its modularity and level of abstraction, which allows us to write code that reflects the underlying mathematical structure and develop unit-tests that guarantee the fidelity of the code. By overloading standard linear-algebra operations, such as matrix-vector multiplications, we can use standard optimization packages to work with our code without any modification. This leads to a scalable testbed on which new methods can be rapidly prototyped and tested on medium-sized 2D problems. Although our current implementation uses (parallel) Matlab, all of these design principles can also be met by using lower-level languages which is important when we want to scale to realistic 3D problems. We present some numerical examples on synthetic data.},
	keywords = {Imaging, inversion, Modeling, SEG},
	url = {https://slim.gatech.edu/Publications/Public/TechReport/2012/vanleeuwen2012SEGparallel/vanleeuwen2012SEGparallel.pdf},
	author = {Tristan van Leeuwen and Felix J. Herrmann}
}
@conference {vanleeuwen2012EAGEcarpcg,
	title = {Preconditioning the Helmholtz equation via row-projections},
	booktitle = {EAGE Annual Conference Proceedings},
	year = {2012},
	month = {06},
	abstract = {3D frequency-domain full waveform inversion relies on being able to efficiently solve the 3D Helmholtz equation. Iterative methods require sophisticated preconditioners because the Helmholtz matrix is typically indefinite. We review a preconditioning technique that is based on row-projections. Notable advantages of this preconditioner over existing ones are that it has low algorithmic complexity, is easily parallelizable and extendable to time-harmonic vector equations.},
	keywords = {EAGE, Helmholtz equation, precondition},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2012/vanleeuwen2012EAGEcarpcg/vanleeuwen2012EAGEcarpcg.pdf},
	presentation = {https://slim.gatech.edu/Publications/Public/Conferences/EAGE/2012/vanleeuwen2012EAGEcarpcg/vanleeuwen2012EAGEcarpcg_pres.pdf},
	url2 = {http://earthdoc.eage.org/publication/publicationdetails/?publication=58891},
	author = {Tristan van Leeuwen and Dan Gordon and Rachel Gordon and Felix J. Herrmann}
}
@presentation {vanleeuwen2011SINBADpei,
	title = {Probing the extended image volume},
	year = {2011},
	publisher = {SINBAD},
	keywords = {Presentation, SINBAD, SINBADSPRING2011, SLIM},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SINBAD/2011/Spring/vanleeuwen2011SINBADpei/vanleeuwen2011SINBADpei_pres.pdf},
	author = {Tristan van Leeuwen}
}
@conference {vanleeuwen2011SEGext,
	title = {Probing the extended image volume},
	booktitle = {SEG Technical Program Expanded Abstracts},
	volume = {30},
	year = {2011},
	month = {09},
	pages = {4045-4050},
	publisher = {SEG},
	organization = {SEG},
	abstract = {The prestack image volume can be defined as a cross- correlation of the source and receivers wavefields for non-zero space and time lags. If the background velocity is kinemati- cally acceptable, this image volume will have its main contributions at zero lag, even for complex models. Thus, it is an ideal tool for wave-equation migration velocity analysis in the presence of strong lateral heterogeneity. In particular, it allows us to pose migration velocity analysis as a PDE-constrained optimization problem, where the goal is to minimize the energy in the image volume at non-zero lag subject to fitting the data approximately. However, it is computationally infeasi- ble to explicitly form the whole image volume. In this paper, we discuss several ways to reduce the computational costs involved in computing the image volume and evaluating the focusing criterion. We reduce the costs for calculating the data by randomized source synthesis. We also present an efficient way to subsample the image volume. Finally, we propose an alternative optimization criterion and suggest a multiscale inversion strategy for wave-equation MVA.},
	keywords = {Imaging, SEG},
	doi = {10.1190/1.3628051},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/SEG/2011/vanleeuwen11SEGext/vanleeuwen11SEGext.pdf},
	author = {Tristan van Leeuwen and Felix J. Herrmann}
}
@conference {vanleeuwen2011WAVESpeiv,
	title = {Probing the extended image volume for seismic velocity inversion},
	booktitle = {WAVES},
	year = {2011},
	month = {07},
	publisher = {Waves 2011},
	organization = {Waves 2011},
	abstract = {In seismic velocity inversion one aims to reconstruct a kinematically correct subsurface velocity model that can be used as input for further processing and inversion of the data. An important tool in velocity inversion is the prestack image volume. This image volume can be defined as a cross-correlation of the source and receivers wavefields for non-zero space and time lags. If the background velocity is kinematically acceptable, this image volume will have its main contributions at zero lag, even for complex models. Thus, it is an ideal tool for wave-equation migration velocity analysis in the presence of strong lateral heterogeneity. In particular, it allows us to pose migration velocity analysis as a PDE-constrained optimization problem, where the goal is to minimize the energy in the image volume at non-zero lag subject to fitting the data approximately. However, it is computationally infeasible to explicitly form the whole image volume. In this paper, we discuss several ways to reduce the computational costs involved in computing the image volume and evaluating the focusing criterion. We reduce the costs for calculating the data by randomized source synthesis. We also present an efficient way to subsample the image volume. Finally, we propose an alternative optimization criterion and suggest a multiscale inversion strategy for wave-equation MVA.},
	keywords = {Presentation},
	url = {https://slim.gatech.edu/Publications/Public/Conferences/ICIAM/2011/vanleeuwen2011WAVESpeiv/vanleeuwen2011WAVESpeiv.pdf},
	author = {Tristan van Leeuwen and Felix J. Herrmann}
}
