Skip to Main content Skip to Navigation


...
hal-02568677v2  Journal articles
Samuel HornusTim KuipersOlivier DevillersMonique TeillaudJonàs Martínez et al.  Variable-width contouring for additive manufacturing
ACM Transactions on Graphics, Association for Computing Machinery, In press, 39 (4 (Proc. SIGGRAPH)), ⟨10.1145/3386569.3392448⟩
...
hal-02463336v2  Conference papers
Reynald AffeldtCyril CohenMarie KerjeanAssia MahboubiDamien Rouhling et al.  Competing inheritance paths in dependent type theory: a case study in functional analysis
IJCAR 2020 - International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.1-19
...
hal-03031995v1  Reports
Otfried CheongOlivier DevillersMarc GlisseJi-Won Park. Covering families of triangles
[Research Report] RR-9378, INRIA. 2020, pp.31
...
hal-02303987v1  Conference papers
Ran ChenCyril CohenJean-Jacques LevyStephan MerzLaurent Théry. Formal Proofs of Tarjan's Strongly Connected Components Algorithm in Why3, Coq and Isabelle
ITP 2019 - 10th International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.13:1 - 13:19, ⟨10.4230/LIPIcs.ITP.2019.13⟩
...
hal-02288063v1  Conference papers
Mathieu FontaineAditya Arie NugrahaRoland BadeauKazuyoshi YoshiiAntoine Liutkus. Cauchy Multichannel Speech Enhancement with a Deep Speech Prior
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, Coruña, Spain
...
hal-02404701v1  Conference papers
Gilles BartheBenjamin GrégoireCharlie JacommeSteve KremerPierre-Yves Strub. Symbolic Methods in Computational Cryptography Proofs
CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
...
tel-02188304v1  Theses
Mathieu Fontaine. Processus alpha-stables pour le traitement du signal
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2019. Français. ⟨NNT : 2019LORR0037⟩
...
hal-02125504v1  Reports
Baptiste CaramiauxFabien LotteJoost GeurtsGiuseppe AmatoMalte Behrmann et al.  AI in the media and creative industries
[Research Report] New European Media (NEM). 2019, pp.1-35
...
lirmm-01766795v1  Conference papers
Mathieu FontaineFabian-Robert StöterAntoine LiutkusUmut SimsekliRomain Serizel et al.  Multichannel Audio Modeling with Elliptically Stable Tensor Decomposition
LVA/ICA: Latent Variable Analysis and Signal Separation, Jul 2018, Surrey, United Kingdom. pp.13-23, ⟨10.1007/978-3-319-93764-9_2⟩
...
hal-03035377v1  Poster communications
Sébastien RimbertNathalie GayraudMaureen ClercStéphanie FleckLaurent Bougrain. Can the MIQ-RS questionnaire be used to estimate the performance of a MI-based BCI?
Journées CORTICO 2018 - COllectif pour la Recherche Transdisciplinaire sur les Interfaces Cerveau-Ordinateur, Apr 2018, Toulouse, France
...
hal-01633215v3  Conference papers
Nicolas KerivenAntoine DeleforgeAntoine Liutkus. Blind Source Separation Using Mixtures of Alpha-Stable Distributions
ICASSP: International Conference on Acoustics, Speech and Signal Processing, Apr 2018, Calgary, Canada. pp.771-775, ⟨10.1109/ICASSP.2018.8462095⟩
...
hal-01713886v2  Conference papers
Antoine LiutkusChristian RohlfingAntoine Deleforge. Audio source separation with magnitude priors: the BEADS model
ICASSP: International Conference on Acoustics, Speech and Signal Processing, Apr 2018, Calgary, Canada. pp.56-60, ⟨10.1109/ICASSP.2018.8462515⟩
...
hal-01713889v1  Conference papers
Diego Di CarloAntoine LiutkusKen Déguernel. Interference reduction on full-length live recordings
ICASSP: International Conference on Acoustics, Speech, and Signal Processing, Apr 2018, Calgary, Canada. pp.736-740, ⟨10.1109/ICASSP.2018.8462621⟩
...
hal-01529154v2  Journal articles
David BremnerOlivier DevillersMarc GlisseSylvain LazardGiuseppe Liotta et al.  Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2018, 20 (1), pp.1-11. ⟨10.23638/DMTCS-20-1-1⟩
...
hal-01568030v1  Reports
Olivier DevillersMarc Glisse. Delaunay triangulation of a random sample of a good sample has linear size
[Research Report] RR-9082, Inria Saclay Ile de France; Inria Nancy - Grand Est. 2017, pp.6
...
hal-01428962v1  Conference papers
Baldwin DumortierEmmanuel VincentMadalina Deaconu. Recursive Bayesian estimation of the acoustic noise emitted by wind farms
2017 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)., Mar 2017, New Orleans, United States
...
hal-01416310v1  Conference papers
Dorin MaximRobert DavisLiliana Cucu-GrosjeanArvind Easwaran. Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC
WMC 2016 - 4th International Workshop on Mixed Criticality Systems, Nov 2016, Porto, Portugal
...
hal-01366148v1  Conference papers
David BremnerOlivier DevillersMarc GlisseSylvain LazardGiuseppe Liotta et al.  Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$
24th International Symposium on Graph Drawing & Network Visualization, Sep 2016, Athens, Greece
...
hal-01402539v1  Directions of work or proceedings
Maureen ClercLaurent BougrainFabien Lotte. Les interfaces Cerveau-Ordinateur 1
Maureen Clerc; Laurent Bougrain; Fabien Lotte. France. ISTE, 2016, 978-1-78405-147-1
...
hal-01276386v1  Conference papers
Mikhail BogdanovMonique TeillaudGert Vegter. Delaunay triangulations on orientable surfaces of low genus
32nd International Symposium on Computational Geometry, Jun 2016, Boston, United States. pp.20:1--20:15, ⟨10.4230/LIPIcs.SoCG.2016.20⟩
...
hal-01287636v1  Conference papers
Cecilia Lindig-LeónNathalie GayraudLaurent BougrainMaureen Clerc. Comparison of Hierarchical and Non-Hierarchical Classification for Motor Imagery Based BCI Systems
The Sixth International Brain-Computer Interfaces Meeting, May 2016, Pacific Groove, United States
...
hal-01394707v1  Poster communications
Romain AzaïsJean-Baptiste DurandChristophe Godin. Lossy compression of unordered rooted trees
DCC 2016 - Data Compression Conference, Mar 2016, Snowbird, Utah, United States. ⟨10.1109/DCC.2016.73⟩
...
hal-00940743v3  Journal articles
Nicolas BroutinOlivier DevillersRoss Hemsley. Efficiently navigating a random Delaunay triangulation
Random Structures and Algorithms, Wiley, 2016, 49 (1), pp.95--136. ⟨10.1002/rsa.20630⟩
...
hal-01294409v1  Journal articles
Manuel CaroliMonique Teillaud. Delaunay triangulations of closed Euclidean d-orbifolds
Discrete and Computational Geometry, Springer Verlag, 2016, 55 (4), pp.827--853. ⟨10.1007/s00454-016-9782-6⟩
...
hal-01384396v2  Journal articles
Dominique AttaliOlivier DevillersMarc GlisseSylvain Lazard. Recognizing Shrinkable Complexes Is NP-Complete
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.430--443. ⟨10.20382/jocg.v7i1a18⟩
...
hal-01289699v1  Journal articles
Marc GlisseSylvain LazardJulien MichelMarc Pouget. Silhouette of a random polytope
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.14. ⟨10.20382/jocg.v7i1a5⟩