Publicaties
2022
Wetenschappelijke publicaties
Zeegers, M. T.
, van Leeuwen, T., Pelt, D. M., Coban, S. B., van Liere, R., & Batenburg, K. J. (2022).
A tomographic workflow to enable deep learning for X-ray based foreign object detection.
Expert Systems with Applications,
206, 1-15. [117768].
https://doi.org/10.1016/j.eswa.2022.117768Rizzuti, G., Sbrizzi, A.
, & Van Leeuwen, T. (2022).
Joint Retrospective Motion Correction and Reconstruction for Brain MRI With a Reference Contrast.
IEEE Transactions on Computational Imaging,
8, 490-504.
https://doi.org/10.1109/TCI.2022.3183383 Schut, D. E., Batenburg, K. J., Van Liere, R.
, & Van Leeuwen, T. (2022).
TOP-CT: Trajectory With Overlapping Projections X-Ray Computed Tomography.
IEEE Transactions on Computational Imaging,
8, 598-608.
https://doi.org/10.1109/TCI.2022.3192125Zeegers, M. T.
, Kadu, A., van Leeuwen, T., & Batenburg, K. J. (2022).
ADJUST: a dictionary-based joint reconstruction and unmixing method for spectral tomography.
Inverse Problems,
38(12), [125002].
https://doi.org/10.1088/1361-6420/ac932eTataris, A., & Van Leeuwen, T. (2022).
A distributional Gelfand-Levitan-Marchenko equation for the Helmholtz scattering problem on the line.
Journal of Mathematical Physics,
63(10), [103507].
https://doi.org/10.1063/5.0096920 De Jong, J. H. E., Paulssen, H., Van Leeuwen, T., & Trampert, J. (2022).
Sensitivity kernels for receiver function misfits in a full waveform inversion workflow.
Geophysical Journal International,
230(2), 1065-1079.
https://doi.org/10.1093/gji/ggac098 Out, F., Cortés-Ortuño, D., Fabian, K.
, Leeuwen, T. V., & Groot, L. D. (2022).
Quantifying mathematical uncertainties in Micromagnetic Tomography results. Abstract from European Geoscience Union (EGU) General Assembly 2022, Vienna, Austria.
https://doi.org/10.5194/egusphere-egu22-931 Out, F., Cortés‐Ortuño, D., Fabian, K.
, van Leeuwen, T., & de Groot, L. V. (2022).
A First‐Order Statistical Exploration of the Mathematical Limits of Micromagnetic Tomography.
Geochemistry, Geophysics, Geosystems,
23(4), 1-18. [e2021GC010184].
https://doi.org/10.1029/2021GC010184 2021
Wetenschappelijke publicaties
de Jong, J., Trampert, J., Paulssen, H., & van Leeuwen, T. (2021). Sensitivity kernels for a receiver function waveform misfit: shortcomings in common assumptions.. 1. Abstract from AGU Fall Meeting 2021, New Orleans, Louisiana, United States.
Izzatullah, M.
, Van Leeuwen, T., & Peter, D. (2021).
Approximate Langevin Monte Carlo with Adaptation for Bayesian Full-Waveform Inversion. In
82nd EAGE Annual Conference & Exhibition (Vol. 2021, pp. 1-5)
https://doi.org/10.3997/2214-4609.202112443Hendriksen, A. A., Schut, D., Palenstijn, W. J., Viganó, N., Kim, J., Pelt, D. M.
, Van Leeuwen, T., & Batenburg, K. J. (2021).
Tomosipo: fast, flexible, and convenient 3D tomography for complex scanning geometries in Python.
Optics Express,
29(24), 40494-40513.
https://doi.org/10.1364/OE.439909Van Leeuwen, T., & Aravkin, A. Y. (2021).
Variable Projection for NonSmooth Problems.
SIAM journal on scientific computing,
43(5), S249-S268.
https://doi.org/10.1137/20M1348650 Luiken, N., & Van Leeuwen, T. (2021).
Relaxed regularization for linear inverse problems.
SIAM journal on scientific computing,
43(5), S269-S292.
https://doi.org/10.1137/20M1348091 Andriiashen, V., van Liere, R.
, van Leeuwen, T., & Batenburg, K. J. (2021).
Unsupervised foreign object detection based on dual-energy absorptiometry in the food industry.
Journal of Imaging,
7(7), 1-18. [104].
https://doi.org/10.3390/jimaging7070104Izzatullah, M.
, Van Leeuwen, T., & Peter, D. (2021).
Bayesian seismic inversion: A fast sampling Langevin dynamics Markov chain Monte Carlo method.
Geophysical Journal International,
227(3), 1523-1553.
https://doi.org/10.1093/gji/ggab287Kadu, A.
, Van Leeuwen, T., & Batenburg, K. J. (2021).
CoShaRP: A convex program for single-shot tomographic shape sensing.
Inverse Problems,
37(10), 1-14. [105005].
https://doi.org/10.1088/1361-6420/ac1776de Groot, L. V., Fabian, K.
, Béguin, A., Kosters, M. E., Cortés-Ortuño, D., Fu, R. R., Jansen, C. M. L., Harrison, R. J.
, van Leeuwen, T., & Barnhoorn, A. (2021).
Micromagnetic Tomography for Paleomagnetism and Rock-Magnetism.
Journal of Geophysical Research: Solid Earth,
126(10), 1-21. [e2021JB022364].
https://doi.org/10.1029/2021JB022364 2020
Wetenschappelijke publicaties
de Groot, L. V., Fabian, K.
, Béguin, A., Kosters, M. E., Fu, R., Harrson, R., Barnhoorn, A.
, & van Leeuwen, T. (2020).
First steps towards deriving rock magnetic and paleomagnetic data from subsets of magnetic grains in lavas using Micromagnetic Tomography. In
EGU General Assembly Conference Abstracts: EGU2020-18114 [18114] EGU General Assembly 2020.
https://doi.org/10.5194/egusphere-egu2020-18114 van Grinsven, L. B., van Leeuwen, T., & de Groot, L. V. (2020).
End-Member Modeling Analyses (EMMA) of pseudo-Thellier style experiments to derive absolute paleointensities from lavas. In
EGU General Assembly Conference Abstracts, 19991 [19991]
https://doi.org/10.5194/egusphere-egu2020-19991 Pilikos, G., Horchens, L., Batenburg, K. J., van Leeuwen, T., & Lucka, F. (2020). Fast ultrasonic imaging using end-to-end deep learning. In 020 IEEE International Ultrasonics Symposium
Izzatullah, M.
, van Leeuwen, T., & Peter, D. (2020).
Langevin Dynamics Markov Chain Monte Carlo Solution for Seismic Inversion. In
Conference Proceedings, 82nd EAGE Annual Conference & Exhibition (July ed., Vol. 2020). European Association of Geoscientists and Engineers, EAGE.
https://doi.org/10.3997/2214-4609.202010496Zeegers, M. T., Pelt, D. M.
, van Leeuwen, T., van Liere, R., & Batenburg, K. J. (2020).
Task-Driven Learned Hyperspectral Data Reduction Using End-to-End Supervised Deep Learning.
Journal of Digital Imaging,
6(12), [132].
https://doi.org/10.3390/jimaging61201322019
Wetenschappelijke publicaties
Vasconcelos, I., Ravasi, M.
, Sripanich, Y., Vargas, D.
, & van Leeuwen, T. (2019).
Imaging, redatuming and interferometry by inversion - toward solving large systems of integral equations at scale. Paper presented at EGU General Assembly 2019, Vienna, Austria.
http://adsabs.harvard.edu/abs/2019EGUGA..2114353VKadu, A., Kumar, R.
, & Van Leeuwen, T. (2019).
Full-waveform inversion with Mumford-Shah regularization. 1258-1262. Paper presented at 88th Society of Exploration Geophysicists International Exposition and Annual Meeting, SEG 2018, Anaheim, United States.
https://doi.org/10.1190/segam2018-2997224.1 2018
Wetenschappelijke publicaties
Luiken, N. A., & van Leeuwen, T. (2018). Estimating the Regularization Parameter Efficiently. In 80th EAGE Conference and Exhibition 2018 (Vol. EAGE)
Kumar, R., Graff-Kray, M.
, Leeuwen, T. V., & Herrmann, F. J. (2018).
Low-rank representation of extended image volumes: Applications to imaging and velocity continuation. In
SEG Technical Program Expanded Abstracts 2018 (pp. 4418-4422)
https://doi.org/10.1190/segam2018-2998404.1Esser, E., Guasch, L.
, van Leeuwen, T., Aravkin, A. Y., & Herrmann, F. J. (2018).
Total Variation Regularization Strategies in Full-Waveform Inversion.
SIAM Journal on Imaging Sciences,
11(1), 376-406.
https://doi.org/10.1137/17M111328XLeeuwen, T. V., Maretzke, S., & Batenburg, K. J. (2018).
Automatic alignment for three-dimensional tomographic reconstruction.
Inverse Problems,
34(2), [024004].
https://doi.org/10.1088/1361-6420/aaa0f8 2017
Wetenschappelijke publicaties
Kadu, A., van Leeuwen, T., & Batenburg, K. J. (2017).
A parametric level-set method for partially discrete tomography. In
Discrete Geometry for Computer Imagery - 20th IAPR International Conference, DGCI 2017, Proceedings (Vol. 10502 LNCS, pp. 122-134). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10502 LNCS). Springer.
https://doi.org/10.1007/978-3-319-66272-5_11 Aravkin, A. Y., Drusvyatskiy, D.
, & Leeuwen, T. V. (2017).
Efficient Quadratic Penalization Through the Partial Minimization Technique.
IEEE Transactions on Automatic Control,
PP(99), 1-1.
https://doi.org/10.1109/TAC.2017.2754474Trull, A. K., Horst, J. V. D., Palenstijn, W. J., Vliet, L. J. V.
, Leeuwen, T. V., & Kalkman, J. (2017).
Point spread function based image reconstruction in optical projection tomography.
Physics in Medicine and Biology,
62(19), [7784].
https://doi.org/10.1088/1361-6560/aa8945Kadu, A. A., van Leeuwen, T., & Mulder, W. (2017).
Parametric level-set full-waveform inversion in the presence of salt bodies. In
SEG Technical Program Expanded Abstracts 2017 (pp. 1518-1522)
https://doi.org/10.1190/segam2017-17627362.1 Leeuwen, T. V. (2017).
Joint parameter and state estimation for wave-based imaging and inversion. In
2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 6210-6214)
https://doi.org/10.1109/ICASSP.2017.7953350 Oosterwijk, A.
, Dijkstra, H. A., & Leeuwen, T. V. (2017).
An Adjoint-Free Method to Determine Conditional Nonlinear Optimal Perturbations.
Computers and Geosciences,
106, 190-199.
https://doi.org/10.1016/j.cageo.2017.06.014Kazantsev, D., Bleichrodt, F.
, Leeuwen, T. V., Kaestner, A., Withers, P., Batenburg, K. J., & Lee, P. (Accepted/In press).
A novel tomographic reconstruction method based on the robust Student's t function for suppressing data outliers.
IEEE Transactions on Computational Imaging,
PP(99), 1-1.
https://doi.org/10.1109/TCI.2017.26946072016
Wetenschappelijke publicaties
Fang, Z., Lee, C. Y., Silva, C. D.
, van Leeuwen, T., & Herrmann, F. J. (2016).
Uncertainty quantification forwavefield reconstruction inversion using a pde free semidefinite hessian and randomize-then-optimize method.
SEG Technical Program Expanded Abstracts,
35, 1390-1394.
https://doi.org/10.1190/segam2016-13879108.1Kadu, A., Leeuwen, T. V., & Mulder, W. A. (2016).
Salt Reconstruction in Full Waveform Inversion with a Parametric Level-Set Method.
IEEE Transactions on Computational Imaging,
PP(99), 1-14.
https://doi.org/10.1109/TCI.2016.2640761 Sharan, S., Herrmann, F., Wang, R.
, & Van Leeuwen, T. (2016).
Sparsity-promoting joint microseismic source collocation and source-time function estimation. In
SEG Technical Program Expanded Abstracts 2016 (pp. 2574-2579). Society of Exploration Geophysicists.
https://doi.org/10.1190/segam2016-13871022.1Zhilong, F., Lee, C. Y., Da Silva, C., Herrmann, F.
, & Van Leeuwen, T. (2016).
Uncertainty quantification for wavefield reconstruction inversion using a PDE-free semidefinite Hessian and randomize-then-optimize method. In
SEG Technical Program Expanded Abstracts 2016 (pp. 1390-1394). Society of Exploration Geophysicists.
https://doi.org/10.1190/segam2016-13879108.1Peters, B., Herrmann, F., & Van Leeuwen, T. (2016). Parallel reformulation of the sequential adjoint-state method. In SEG Technical Program Expanded Abstracts 2016 (pp. 1411-1415). Society of Exploration Geophysicists.
van Leeuwen, T., Kumar, R., & Herrmann, F. J. (2016).
Enabling affordable omnidirectional subsurface extended image volumes via probing.
Geophysical Prospecting, n/a-n/a.
https://doi.org/10.1111/1365-2478.12418 Tu, N., Aravkin, A.
, van Leeuwen, T., Lin, T., & Herrmann, F. J. (2016).
Source estimation with surface-related multiples—fast ambiguity-resolved seismic imaging.
Geophysical Journal International,
205(3), 1492-1511.
https://doi.org/10.1093/gji/ggw097Bleichrodt, F.
, van Leeuwen, T., Palenstijn, W., van Aarle, W., Sijbers, J., & Batenburg, K. J. (2016).
Easy implementation of advanced tomography algorithms using the ASTRA toolbox with Spot operators: Numerical Algorithms.
Numerical Algorithms,
71(3), 673-697.
https://doi.org/10.1007/s11075-015-0016-4https://dspace.library.uu.nl/bitstream/handle/1874/328994/art_3A10.1007_2Fs11075_015_0016_4.pdf?sequence=1Populariserende publicaties
van Leeuwen, T. (2016). Beeldreconstructie in MRI met compressed sensing. Nieuw archief voor wiskunde. Serie 5, 17(2), 114-118.
Overige resultaten
Fichtner, A., van Leeuwen, T., & Trampert, J. A. (2016). Strategies for efficient resolution analysis in full waveform inversion. Abstract from AGU Fall Meeting 2016, San Fransisco, California, United States.
2015
Wetenschappelijke publicaties
van Leeuwen, T., Kumar, R., & J. Herrmann, F. (2015).
Affordable Full Subsurface Image Volume - An Application to WEMVA. In
77th EAGE Conference and Exhibition - Workshops https://doi.org/10.3997/2214-4609.201413498 Esser, E., Guasch, L., Leeuwen, T., Aravkin, A., Herrmann, F.
, & van Leeuwen, T. (2015).
Automatic salt delineation ? Wavefield Reconstruction Inversion with convex constraints: SEG Technical Program Expanded Abstracts 2015. In
SEG Technical Program Expanded Abstracts 2015 (pp. 1337-1343). (SEG Technical Program Expanded Abstracts). Society of Exploration Geophysicists.
https://doi.org/10.1190/segam2015-5877995.1Fichtner, A., & van Leeuwen, T. (2015).
Resolution analysis by random probing.
Journal of Geophysical Research : Solid Earth,
128(8), 5549–5573.
https://doi.org/10.1002/2015JB012106 2014
Wetenschappelijke publicaties
Petrenko, A.
, van Leeuwen, T., Oriato, D., Tilbury, S., & Herrmann, F. J. (2014).
Accelerating an Iterative Helmholtz Solver with FPGAs. In
76th EAGE Conference and Exhibition (pp. 16-19). European Association of Geoscientists and Engineers, EAGE.
https://doi.org/10.3997/2214-4609.20141141Peters, B., Herrmann, FJ.
, & van Leeuwen, T. (2014).
Wave-equation Based Inversion with the Penalty Method - Adjoint-state Versus Wavefield- reconstruction Inversion. In
76th EAGE Conference and Exhibition (pp. 16-19). European Association of Geoscientists and Engineers, EAGE.
https://doi.org/10.3997/2214-4609.20140704van Leeuwen, T., Herrmann, FJ., & Peters, B. (2014).
A new take on FWI: Wavefield Reconstruction Inversion. In
76th EAGE Conference and Exhibition (pp. 16-19). European Association of Geoscientists and Engineers, EAGE.
https://doi.org/10.3997/2214-4609.20140703 Kumar, R.
, van Leeuwen, T., & Herrmann, FJ. (2014).
Extended Images in Action - Efficient WEMVA Via Randomized Probing. In
76th EAGE Conference and Exhibition (Vol. vi, pp. 16-19). European Association of Geoscientists and Engineers, EAGE.
https://doi.org/10.3997/2214-4609.20141492van Daalen, E., Fehribach, J.
, van Leeuwen, T., Reinhardt, C., Schenkels, N., & Sheombarsing, R. (2014).
Model Calibration for Ship Simulations. In
Proceedings of the 98th Study Group Mathematics With Industry (pp. 68-91)
https://dspace.library.uu.nl/bitstream/handle/1874/308651/van_Daalen_et_al._2014_Model_Calibration_for_Ship_Simulations.pdf?sequence=1Aravkin, A. Y., Herrmann, F. J.
, & van Leeuwen, T. (2014).
Comment on "Application of the variable projection scheme for frequency-domain full-waveform inversion" (M. Li, J. Rickett, and A. Abubakar, GEOPHYSICS, 78, no. 6, R249-R257).
Geophysics,
79(3), X11-X15.
https://doi.org/10.1190/GEO2013-0466.1Herrmann, F.
, & van Leeuwen, T. (2014).
3D Frequency-Domain Seismic Inversion with Controlled Sloppiness.
SIAM journal on scientific computing,
36(5), S192-S217.
https://doi.org/10.1137/130918629Batenburg, K. J.
, & van Leeuwen, T. (2014).
Adaptive Grid Refinement for Discrete Tomography. In E. Barcucci, A. Frosini, & S. Rinaldi (Eds.),
Discrete Geometry for Computer Imagery: 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings (Vol. 8668, pp. 297-308). (Lecture Notes in Computer Science; Vol. 8668). Springer.
https://doi.org/10.1007/978-3-319-09955-2_25Populariserende publicaties
2013
Wetenschappelijke publicaties
Tu, N.
, van Leeuwen, T., & Herrmann, F. J. (2013).
Limitations of the deconvolutional imaging condition for two-way propagators. In
SEG Houston 2013 Annual Meeting (pp. 3916-3920). Society of Exploration Geophysicists.
https://doi.org/10.1190/segam2013-1440.1Tu, N., Aravkin, A. Y.
, van Leeuwen, T., & Herrmann, F. J. (2013).
Fast Least-Squares Migration with Multiples and Source Estimation. In
75th EAGE Conference & Exhibition (pp. 10-13). European Association of Geoscientists and Engineers, EAGE.
https://doi.org/10.3997/2214-4609.20130727Li, X.
, Leeuwen, T. V., & Herrmann, F. J. (2013).
Optimization driven model-space versus data-space approaches to invert elastic data with the acoustic wave equation. In
SEG Houston 2013 Annual Meeting (Vol. 3, pp. 986-990). Society of Exploration Geophysicists.
https://doi.org/10.1190/segam2013-1375.1Kumar, R.
, Leeuwen, T. V., & Herrmann, F. J. (2013).
AVA analysis and geological dip estimation via two-way wave-equation based extended images. In
SEG Houston 2013 Annual Meeting (pp. 423-427). Society of Exploration Geophysicists.
https://doi.org/10.1190/segam2013-1348.1Herrmann, FJ.
, & van Leeuwen, T. (2013).
In which Domain Should We Measure the Misfit for Robust Full Waveform Inversion? In
75th EAGE Conference Exhibition (pp. 10-13). European Association of Geoscientists and Engineers.
https://doi.org/10.3997/2214-4609.20130839Aravkin, A. Y., Tu, N.
, & van Leeuwen, T. (2013).
Sparse seismic imaging using variable projection. In
Sparse seismic imaging using variable projection (pp. 2065-2069). (2013 IEEE International Conference on Acoustics, Speech and Signal Processing). IEEE.
https://doi.org/10.1109/ICASSP.2013.6638017Herrmann, F. J.
, & van Leeuwen, T. (2013).
Mitigating local minima in full-waveform inversion by expanding the search space.
Geophysical Journal International,
195(1), 661-667.
https://doi.org/10.1093/gji/ggt258Vakpublicaties
Herrmann, FJ. F. J., Hanlon, I., Kumar, R., Li, X., Smithyman, B., Wason, H., Calvert, A. J., Javanmehri, M., Takougang, E. T.
, & Leeuwen, T. V. (2013).
Frugal full-waveform inversion: From theory to a practical algorithm.
The Leading Edge,
32(9), 1082-1092.
https://doi.org/10.1190/tle32091082.12012
Wetenschappelijke publicaties
Aravkin, A. Y., Friedlander, M. P.
, & Van Leeuwen, T. (2012).
Robust inversion via semistochastic dimensionality reduction. In
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 5245-5248)
https://doi.org/10.1109/ICASSP.2012.6289103Li, X., Aravkin, A. Y., Herrmann, F. J.
, & van Leeuwen, T. (2012).
Fast randomized full-waveform inversion with compressive sensing.
Geophysics,
77(3), A13.
https://doi.org/10.1190/geo2011-0410.1Aravkin, A., Friedlander, M. P., Herrmann, F. J.
, & Van Leeuwen, T. (2012).
Robust inversion, dimensionality reduction, and randomized sampling.
Mathematical Programming,
134(1).
https://doi.org/10.1007/s10107-012-0571-6Leeuwen, T. V., & van Leeuwen, T. (2012).
Fourier analysis of the CGMN method for solving the Helmholtz equation. (arXiv preprint arXiv:1210.2644). arXiv.org.
http://arxiv.org/abs/1210.2644 Bisseling, R. H., Fagginger Auer, B. O., Yzelman, A. N., van Leeuwen, T., & Catalyurek, U. V. (2012).
Two-dimensional approaches to sparse matrix partitioning. In U. Naumann, & O. Schenk (Eds.),
Combinatorial scientific computing (pp. 321-349). (Chapman & Hall/CRC computational science series). CRC Press.
https://doi.org/10.1201/b11644-16 2011
Wetenschappelijke publicaties
Herrmann, F. J., Li, X., Aravkin, A. Y.
, & van Leeuwen, T. (2011).
A modified, sparsity-promoting, Gauss-Newton algorithm for seismic waveform inversion. In
Proc. SPIE, Wavelets and Sparsity XIV, (Vol. 8138). SPIE.
https://doi.org/10.1117/12.893861Aravkin, A. Y., Herrmann, F. J.
, & Van Leeuwen, T. (2011).
Seismic waveform inversion by stochastic optimization.
International Journal of Geophysics,
2011.
https://doi.org/10.1155/2011/6890412010
Wetenschappelijke publicaties
Kraaijpoel, D.
, & Van Leeuwen, T. (2010).
Raising the order of multivariate approximation schemes using supplementary derivative data. In
Procedia Computer Science (1 ed., Vol. 1). Elsevier.
https://doi.org/10.1016/j.procs.2010.04.0342008
Wetenschappelijke publicaties
Overige resultaten
Bisseling, R. H. (Author), van Leeuwen, T. (Author), Meesen, W. (Author), & Vastenhouw, B. (Author). (2008). Mondriaan version 2.0, software for sparse matrix partitioning. Software
2006
Wetenschappelijke publicaties
Zegeling, PA., Schielen, RMJ.
, & Leeuwen, T. V. (2006).
Numerical simulation of alternating bars in straight channels: River, Coastal and Estuarine Morphodynamics. In
River, Coastal and Estuarine Morphodynamics Taylor & Francis.
https://doi.org/10.1201/9781439833896.ch51