Phase Retrieval With Bregman Divergences and Application to Audio Signal Recovery von Vial, Pierre-Hugo, Magron, Paul, Oberlin, Thomas, Fevotte, Cedric

Volltext

Learning the Proximity Operator in Unfolded ADMM for Phase Retrieval von Vial, Pierre-Hugo, Magron, Paul, Oberlin, Thomas, Fevotte, Cedric

Volltext

Non-idempotent types for classical calculi in natural deduction style von Delia Kesner, Pierre Vial

Volltext

Polyadic approximations, fibrations and intersection types von Mazza, Damiano, Pellissier, Luc, Vial, Pierre

Volltext

Reconstruction de phase et de signaux audio avec des fonctions de coût non-quadratiques von Vial, Pierre-Hugo

Volltext bestellen

General Automation in Coq through Modular Transformations von Blot, Valentin, Dubois de Prisque, Louise, Keller, Chantal, Vial, Pierre

Volltext

Opérateurs de typage non-idempotents, au delà du lambda-calcul von Vial, Pierre

Volltext bestellen

Learning the Proximity Operator in Unfolded ADMM for Phase Retrieval von Pierre-Hugo Vial, Magron, Paul, Oberlin, Thomas, Févotte, Cédric

Volltext

Sequence Types and Infinitary Semantics von Vial, Pierre

Volltext bestellen

Phase retrieval with Bregman divergences and application to audio signal recovery von Pierre-Hugo Vial, Magron, Paul, Oberlin, Thomas, Févotte, Cédric

Volltext

Wavelets on the Interval and Fast Wavelet Transforms von Cohen, Albert, Daubechies, Ingrid, Vial, Pierre

Volltext

Sequence Types and Infinitary Semantics von Vial, Pierre

Volltext

Non-idempotent types for classical calculi in natural deduction style von Kesner, Delia, Vial, Pierre

Volltext

All the {\lambda}-Terms are Meaningful for the Infinitary Relational Model von Vial, Pierre

Volltext bestellen

Infinitary Intersection Types as Sequences: a New Answer to Klop's Question von Vial, Pierre

Volltext bestellen

Representing permutations without permutations, or the expressive power of sequence types von Vial, Pierre

Volltext bestellen

Representing permutations without permutations, or the expressive power of sequence types von Vial, Pierre

Volltext

All the {\lambda}-Terms are Meaningful for the Infinitary Relational Model von Vial, Pierre

Volltext

Compositional pre-processing for automated reasoning in dependent type theory von Blot, Valentin, Cousineau, Denis, Crance, Enzo, Louise Dubois de Prisque, Keller, Chantal, Mahboubi, Assia, Vial, Pierre

Volltext

Infinitary Intersection Types as Sequences: a New Answer to Klop's Question von Vial, Pierre

Volltext