Dernières publications

Rapport
13/12/2024
Non-Ground Congruence Closure
Hendrik Leidinger, Christoph Weidenbach
Pré-publication, Document de travail
13/12/2024
Pré-publication, Document de travail
13/12/2024
Pré-publication, Document de travail
12/12/2024
The Open Stack of Tasks Library: OpenSoT
Enrico Mingo Hoffman, Arturo Laurenzi, Nikos G. Tsagarakis
Pré-publication, Document de travail
12/12/2024
Addressing Reachability and Discrete Component Selection in Robotic Manipulator Design through Kineto-Static Bi-Level Optimization
Enrico Mingo Hoffman, Daniel Costanzi, Gabriele Fadini, Narcis Miguel, Andrea Del Prete, Luca Marchionni
Communication dans un congrès
12/12/2024
PNC-CL a toolbox for piecewise affine convex-liftings with application in planning and control design
Sorin Olaru, Turan Konyalıoğlu, Marius Jaegler, Mickael Martinelli, Valentin Carrez
Article dans une revue
12/12/2024
A Phoneme-Scale Assessment of Multichannel Speech Enhancement Algorithms
Nasser-Eddine Eddine Monir, Paul Magron, Romain Serizel
Pré-publication, Document de travail
11/12/2024
Analysis and synthesis denoisers for forward-backward plug-and-play algorithms
Matthieu Kowalski, Benoît Malézieux, Thomas Moreau, Audrey Repetti
Pré-publication, Document de travail
11/12/2024
Branch Sequentialization in Quantum Polytime
Emmanuel Hainry, Romain Péchoux, Mário Alberto Machado da Silva
Communication dans un congrès
11/12/2024

Pages