Publications associées à Fonction multivaluée

Stable parameterization of continuous and piecewise-linear functions

Michaël Unser, Alexis Marie Frederic Goujon, Joaquim Gonçalves Garcia Barreto Campos

Rectified-linear-unit (ReLU) neural networks, which play a prominent role in deep learning, generate continuous and piecewise-linear (CPWL) functions. While they provide a powerful parametric representation, the mapping between the parameter and function s ...

2023

Debates on the dorsomedial prefrontal/dorsal anterior cingulate cortex: insights for future research

Nicolas Clairis

The dorsomedial prefrontal cortex/dorsal anterior cingulate cortex (dmPFC/dACC) is a brain area subject to many theories and debates over its function(s). Even its precise anatomical borders are subject to much controversy. In the past decades, the dmPFC/d ...

Oxford Univ Press2023

Dipole polarizability of time-varying particles

Romain Christophe Rémy Fleury, Theodoros Koutserimpas, Mohammad Sajjad Mirmoosa

Invariance under time translation (or stationarity) is probably one of the most important assumptions made when investigating electromagnetic phenomena. Breaking this assumption is expected to open up novel possibilities and result in exceeding conventiona ...

2022

Neural Set Function Extensions: Learning with Discrete Functions in High Dimensions

Andreas Loukas, Nikolaos Karalias

Integrating functions on discrete domains into neural networks is key to developing their capability to reason about discrete objects. But, discrete domains are (I) not naturally amenable to gradient-based optimization, and (II) incompatible with deep lear ...

2022

Perturbed Fourier uniqueness and interpolation results in higher dimensions

Martin Peter Stoller, Joao Pedro Gonçalves Ramos

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

Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

2023

Mathematical and numerical models for the cardiac electromechanical function

Alfio Quarteroni, Francesco Regazzoni

This paper deals with the mathematical model that describes the function of the human heart. More specifically, it addresses the equations that express the electromechanical process, that is the mechanical deformation (contraction and relaxation) of the he ...

EUROPEAN MATHEMATICAL SOC-EMS2021

Functional Tucker Approximation Using Chebyshev Interpolation

Daniel Kressner, Christoph Max Strössner

This work is concerned with approximating a trivariate function defined on a tensor-product domain via function evaluations. Combining tensorized Chebyshev interpolation with a Tucker decomposition of low multilinear rank yields function approximations tha ...

SIAM PUBLICATIONS2021

A Spectral Algorithm for 3-valued Function Equivalence Classification

Mathias Soeken

Spectral techniques for Boolean and multiple-valued functions have been well studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This ...

OLD CITY PUBLISHING INC2020

From Polarizability to Effective Permittivity of Time-Varying Materials

Romain Christophe Rémy Fleury, Theodoros Koutserimpas, Mohammad Sajjad Mirmoosa

In this talk, we describe excitation of time-varying dipolar particles (time-modulated meta-atoms) by external time-varying fields from a nonstationary and causal perspective. For a time-harmonic excitation, we introduce a complex-valued function, called t ...

IEEE2020

Loops in AdS: from the spectral representation to position space

Din Carmi

We compute a family of scalar loop diagrams in AdS. We use the spectral representation to derive various bulk vertex/propagator identities, and these identities enable to reduce certain loop bubble diagrams to lower loop diagrams, and often to tree- level ...

Springer Nature2020

TV-based reconstruction of periodic functions

Matthieu Martin Jean-André Simeoni, Julien René Pierre Fageot

We introduce a general framework for the reconstruction of periodic multivariate functions from finitely many and possibly noisy linear measurements. The reconstruction task is formulated as a penalized convex optimization problem, taking the form of a sum ...

IOP PUBLISHING LTD2020

Thermal CFTs in momentum space

Andrea Manenti

We study some aspects of conformal field theories at finite temperature in momentum space. We provide a formula for the Fourier transform of a thermal conformal block and study its analytic properties. In particular we show that the Fourier transform vanis ...

Springer Nature2020

When Is Amplification Necessary for Composition in Randomized Query Complexity?

Mika Tapani Göös

Suppose we have randomized decision trees for an outer function f and an inner function g. The natural approach for obtaining a randomized decision tree for the composed function (f∘ gⁿ)(x¹,…,xⁿ) = f(g(x¹),…,g(xⁿ)) involves amplifying the success probabili ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2020

Artificial Neural Network Approach to the Analytic Continuation Problem

Oleg Yazyev, Quansheng Wu, Lei Wang, Romain Fournier

Inverse problems are encountered in many domains of physics, with analytic continuation of the imaginary Green's function into the real frequency domain being a particularly important example. However, the analytic continuation problem is ill defined and c ...

AMER PHYSICAL SOC2020

New insights on Drosophila antimicrobial peptide function in host defense and beyond

Bruno Lemaitre, Mark Austin Hanson

Since the first animal antimicrobial peptides (AMPs) were discovered in insects, Drosophila melanogaster has emerged as a powerful model for their characterization. Drosophila AMPs have been used extensively to monitor the activity of the Toll and Imd NF-κ ...

2020

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

Giovanni De Micheli, Mathias Soeken, Eleonora Testa

The equivalence of Boolean functions with respect to five invariance (aka translation) operations has been well considered with respect to the Rademacher-Walsh spectral domain. In this paper, we introduce a hybrid approach that uses both the Reed-Muller an ...

IEEE2019

Efficient Verifiable Delay Functions

Benjamin Pierre Charles Wesolowski

We construct a verifiable delay function (VDF). A VDF is a function whose evaluation requires running a given number of sequential steps, yet the result can be efficiently verified. They have applications in decentralised systems, such as the generation of ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

Simple models for biological control of crop pests and their application

Luz Vianey Vela Arevalo

In this work, we construct simple models in terms of differential equations for the dynamics of pest populations and their management using biological pest control. For the first model used, the effect of the biological control is modelled by a function of ...

WILEY2020