Undecidability through Fourier series

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (31)

Timing and spatial selection bias in rapid extreme event attribution

Anthony Christopher Davison, Ophélia Mireille Anna Miralles

Selection bias may arise when data have been chosen in a way that subsequent analysis does not account for. Such bias can arise in climate event attribution studies that are performed rapidly after a devastating "trigger event'', whose occurrence correspon ...

ELSEVIER2023

A Statistical Framework to Investigate the Optimality of Signal-Reconstruction Methods

Michaël Unser, Pakshal Narendra Bohra, Pol del Aguila Pla

We present a statistical framework to benchmark the performance of reconstruction algorithms for linear inverse problems, in particular, neural-network-based methods that require large quantities of training data. We generate synthetic signals as realizati ...

2023

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

Nikolaos Stergiopoulos, Rodrigo Araujo Fraga Da Silva

Systems and methods for monitoring penile tumescence are provided that overcome the drawbacks of previously known systems by providing a wearable formed of a flexible and elastic tube having a plurality of sensors disposed on or embedded within it, the wea ...

2023

Probabilistic methods for neural combinatorial optimization

Nikolaos Karalias

The monumental progress in the development of machine learning models has led to a plethora of applications with transformative effects in engineering and science. This has also turned the attention of the research community towards the pursuit of construc ...

EPFL2023

Predictive modeling of Alfvén eigenmode stability in inductive scenarios in JT-60SA

Javier García Hernández, Antonio José Pereira de Figueiredo, Matteo Vallar

The JT-60SA device offers unique conditions before ITER for the study of the interaction of energetic particles with plasma waves. With similar dimensions to JET, e.g., a major radius but with a slightly more elongated plasma volume, JT-60SA is used as a h ...

Frontiers Media Sa2023

Decision Procedures for Power Structures

Rodrigo Raya

We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...

EPFL2023

Fully solvable finite simplex lattices with open boundaries in arbitrary dimensions

Fabrizio Minganti

Finite simplex lattice models are used in different branches of science, e.g., in condensed-matter physics, when studying frustrated magnetic systems and non-Hermitian localization phenomena; or in chemistry, when describing experiments with mixtures. An n ...

Amer Physical Soc2023

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

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

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 ...

SIAM2022

Spectral analysis for transmission eigenvalue problems with and without the complementing conditions

Jean Louis-Alexandre Fornerod

The interior transmission eigenvalue problem is a system of partial differential equations equipped with Cauchy data on the boundary: the transmission conditions. This problem appears in the inverse scattering theory for inhomogeneous media when, for some ...

EPFL2022

midiVERTO: A Web Application to Visualize Tonality in Real Time

Daniel Harasim, Fabian Claude Moss

This paper presents a web application for visualizing the tonality of a piece of music-the organization of its chords and scales-at a high level of abstraction and with coordinated playback. The application applies the discrete Fourier transform to the pit ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Fourier uniqueness and interpolation in Euclidean space

Martin Peter Stoller

We prove that every Schwartz function in Euclidean space can be completely recovered given only its restrictions and the restrictions of its Fourier transform to all origin-centered spheres whose radii are square roots of integers. In particular, the only ...

EPFL2022

Page 2 sur 2