Publications related to IMAGING - Administration

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...

Cham2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

2024

An optimal preconditioned FFT-accelerated finite element solver for homogenization

Till Junge, Ali Falsafi, Martin Ladecký

We generalize and provide a linear algebra-based perspective on a finite element (FE) ho-mogenization scheme, pioneered by Schneider et al. (2017)[1] and Leuschner and Fritzen (2018)[2]. The efficiency of the scheme is based on a preconditioned, well-scale ...

ELSEVIER SCIENCE INC2023

The Sparsity of Cycle Spinning for Wavelet-Based Solutions of Linear Inverse Problems

Michaël Unser, Rahul Parhi

The usual explanation of the efficacy of wavelet-based methods hinges on the sparsity of many real-world objects in the wavelet domain. Yet, standard wavelet-shrinkage techniques for sparse reconstruction are not competitive in practice, one reason being t ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Explicit representations for Banach subspaces of Lizorkin distributions

Michaël Unser, Sebastian Jonas Neumayer

The Lizorkin space is well suited to the study of operators like fractional Laplacians and the Radon transform. In this paper, we show that the space is unfortunately not complemented in the Schwartz space. In return, we show that it is dense in C0(Double- ...

WORLD SCIENTIFIC PUBL CO PTE LTD2023

Stability of Image-Reconstruction Algorithms

Michaël Unser, Sebastian Jonas Neumayer, Pol del Aguila Pla

Robustness and stability of image-reconstruction algorithms have recently come under scrutiny. Their importance to medical imaging cannot be overstated. We review the known results for the topical variational regularization strategies ( ℓ2 and ℓ1 regulariz ...

2023

pyFFS: A Python Library for Fast Fourier Series Computation and Interpolation with GPU Acceleration

Martin Vetterli, Paul Hurley, Eric Bezzam, Sepand Kashani, Matthieu Martin Jean-André Simeoni

Fourier transforms are an often necessary component in many computational tasks, and can be computed efficiently through the fast Fourier transform (FFT) algorithm. However, many applications involve an underlying continuous signal, and a more natural choi ...

2022

Perturbed Fourier uniqueness and interpolation results in higher dimensions

Joao Pedro Gonçalves Ramos, Martin Peter Stoller

We obtain new Fourier interpolation and uniqueness results in all dimensions, extending methods and results by the first author and M. Sousa [11] and the second author [12]. We show that the only Schwartz function which, together with its Fourier transform ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022

Fourier non-uniqueness sets from totally real number fields

Martin Peter Stoller

Let K be a totally real number field of degree n >= 2. The inverse different of K gives rise to a lattice in Rn. We prove that the space of Schwartz Fourier eigenfunctions on R-n which vanish on the "component-wise square root" of this lattice, is infinite ...

EUROPEAN MATHEMATICAL SOC-EMS2022

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

IMAGING - Administration

Interpolation and Quantifiers in Ortholattices

Interpolation and Quantifiers in Ortholattices

An optimal preconditioned FFT-accelerated finite element solver for homogenization

The Sparsity of Cycle Spinning for Wavelet-Based Solutions of Linear Inverse Problems

Explicit representations for Banach subspaces of Lizorkin distributions

Stability of Image-Reconstruction Algorithms

pyFFS: A Python Library for Fast Fourier Series Computation and Interpolation with GPU Acceleration

Perturbed Fourier uniqueness and interpolation results in higher dimensions

Fourier uniqueness and interpolation in Euclidean space

Fourier non-uniqueness sets from totally real number fields

Graph Chatbot

Chat with Graph Search

Explicit representations for Banach subspaces of Lizorkin distributions

The Sparsity of Cycle Spinning for Wavelet-Based Solutions of Linear Inverse Problems

Interpolation and Quantifiers in Ortholattices

Fourier non-uniqueness sets from totally real number fields

Fourier uniqueness and interpolation in Euclidean space

Perturbed Fourier uniqueness and interpolation results in higher dimensions

Interpolation and Quantifiers in Ortholattices

Stability of Image-Reconstruction Algorithms

pyFFS: A Python Library for Fast Fourier Series Computation and Interpolation with GPU Acceleration

An optimal preconditioned FFT-accelerated finite element solver for homogenization