Publication

Spatial Coupling as a Proof Technique and Three Applications

Related publications (71)

Graph Chatbot

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.

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

This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska ...

EPFL Infoscience2023

On Linear Interpolation in the Latent Space of Deep Generative Models

Quentin Christian Becker, Mike Yan Michelis

The underlying geometrical structure of the latent space in deep generative models is in most cases not Euclidean, which may lead to biases when comparing interpolation capabilities of two models. Smoothness and plausibility of linear interpolations in lat ...

2021

We study a variant of the interpolation problem where the continuously defined solution is regularized by minimizing the L p -norm of its second-order derivative. For this continuous-domain problem, we propose an exact discretization scheme that restricts ...

2020

Examining the Effects of Privacy-Aware Blended Learning Scenarios in Executive Training for Policymakers and Government Officials

Denis Gillet, Isabelle Barbara Marie-Hélène Cardia, Juan Carlos Farah, Maria Gaci

Enabling blended learning scenarios that foster participation and interaction is an important consideration in the design of executive training programs. To investigate this design process, our study focuses on two aspects that are present in such scenario ...

Springer2020

COMPUTATION OF "BEST" INTERPOLANTS IN THE L-p SENSE

Michaël Unser, Pakshal Narendra Bohra

We study a variant of the interpolation problem where the continuously defined solution is regularized by minimizing the L-p-norm of its second-order derivative. For this continuous-domain problem, we propose an exact discretization scheme that restricts t ...

IEEE2020

We characterize the trace of magnetic Sobolev spaces defined in a half-space or in a smooth bounded domain in which the magnetic field Ais differentiable and its exterior derivative corresponding to the magnetic field dAis bounded. In particular, we prove ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2020

The concept of self-coupling modes, which are eigen-vectors of the roundtrip matrix, is introduced. I investigate its use for the identification and analysis of the resonances taking place in periodic metasurfaces. It also improves the interpolation of the ...

IEEE2019

Approximation of Non-decaying Signals from Shift-Invariant Subspaces

Michaël Unser, Quy Ha Nguyen

In our recent work, the sampling and reconstruction of non-decaying signals, modeled as members of weighted-L-p spaces, were shown to be stable with an appropriate choice of the generating kernel for the shift-invariant reconstruction space. In this paper, ...

2019