Skip to Main content Skip to Navigation
  1. Search


...
hal-03110728v1  Reports
Anne Canteaut, Miguel Angel Fernández, Luc Maranget, Sophie Perin, Mario Ricchiuto et al.  Software Evaluation
[Research Report] Inria. 2021
...
hal-03110723v1  Reports
Anne Canteaut, Miguel Angel Fernández, Luc Maranget, Sophie Perin, Mario Ricchiuto et al.  Évaluation des Logiciels
[Rapport de recherche] Inria. 2021
...
hal-03040090v1  Preprints, Working Papers, ...
Laurent Lesage, Madalina Deaconu, Antoine Lejay, Jorge Meira, Geoffrey Nichil et al.  Hawkes processes framework with a Gamma density as excitation function: application to natural disasters for insurance
2020
...
hal-03033764v1  Reports
Luce Brotcorne, Anne Canteaut, Aline Viana, Céline Grandmont, Benjamin Guedj et al.  Indicateurs de suivi de l'activité scientifique de l'Inria
[Rapport de recherche] Inria. 2020
...
hal-02962964v1  Conference papers
Manuel Pariente, Samuele Cornell, Joris Cosentino, Sunit Sivasankaran, Efthymios Tzinis et al.  Asteroid: the PyTorch-based audio source separation toolkit for researchers
Interspeech 2020, Oct 2020, Shanghai, China
...
hal-02568677v2  Journal articles
Samuel Hornus, Tim Kuipers, Olivier Devillers, Monique Teillaud, Jonà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 Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien 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-01962093v2  Preprints, Working Papers, ...
Olivier Devillers, Philippe Duchon, Marc Glisse, Xavier Goaoc. On Order Types of Random Point Sets
2020
...
hal-02433213v1  Journal articles
Mathieu Fontaine, Roland Badeau, Antoine Liutkus. Separation of Alpha-Stable Random Vectors
Signal Processing, Elsevier, 2020, pp.107465. ⟨10.1016/j.sigpro.2020.107465⟩
...
hal-03031995v1  Reports
Otfried Cheong, Olivier Devillers, Marc Glisse, Ji-Won Park. Covering families of triangles
[Research Report] RR-9378, INRIA. 2020, pp.31
...
hal-02937624v1  Journal articles
Jean-Daniel Boissonnat, Olivier Devillers, Kunal Dutta, Marc Glisse. Randomized incremental construction of Delaunay triangulations of nice point sets
Discrete and Computational Geometry, Springer Verlag, 2020, 64, pp.33. ⟨10.1007/s00454-020-00235-7⟩
...
hal-02404581v1  Conference papers
José Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir et al.  Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3
CCS 2019 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.1607-1622, ⟨10.1145/3319535.3363211⟩
...
hal-01806465v1  Journal articles
Antoine Lejay, Lionel Lenôtre, Géraldine Pichot. An exponential timestepping algorithm for diffusion with discontinuous coefficients
Journal of Computational Physics, Elsevier, 2019, 396, pp.888-904. ⟨10.1016/j.jcp.2019.07.013⟩
...
hal-02166934v1  Conference papers
Sébastien Rimbert, Philippe Guerci, Nathalie Gayraud, Claude Meistelman, Laurent Bougrain. Innovative Brain-Computer Interface based on motor cortex activity to detect accidental awareness during general anesthesia
IEEE SMC 2019 - IEEE International Conference on Systems, Man, and Cybernetics, Oct 2019, Bari, Italy
...
hal-02185566v1  Conference papers
Jean-Daniel Boissonnat, Olivier Devillers, Kunal Dutta, Marc Glisse. Randomized incremental construction of Delaunay triangulations of nice point sets
ESA 2019 - 27th Annual European Symposium on Algorithms, Sep 2019, Munich, Germany. ⟨10.4230/LIPIcs.ESA.2019.22⟩
...
hal-02303987v1  Conference papers
Ran Chen, Cyril Cohen, Jean-Jacques Levy, Stephan Merz, Laurent 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 Fontaine, Aditya Arie Nugraha, Roland Badeau, Kazuyoshi Yoshii, Antoine 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 Barthe, Benjamin Grégoire, Charlie Jacomme, Steve Kremer, Pierre-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⟩
...
hal-02159777v1  Journal articles
Sébastien Rimbert, Pierre Riff, Nathalie Gayraud, Denis Schmartz, Laurent Bougrain. Median Nerve Stimulation Based BCI: A New Approach to Detect Intraoperative Awareness During General Anesthesia
Frontiers in Neuroscience, Frontiers, 2019, 13, pp.13. ⟨10.3389/fnins.2019.00622⟩
...
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 Caramiaux, Fabien Lotte, Joost Geurts, Giuseppe Amato, Malte Behrmann et al.  AI in the media and creative industries
[Research Report] New European Media (NEM). 2019, pp.1-35
...
hal-01925000v1  Journal articles
Simon Toupance, Denis Villemonais, Daphné Germain, Anne Gégout-Petit, Eliane Albuisson et al.  The individual’s signature of telomere length distribution
Scientific Reports, Nature Publishing Group, 2019, 9 (1), pp.1-8. ⟨10.1038/s41598-018-36756-8⟩
...
hal-01990935v1  Journal articles
Sébastien Rimbert, Nathalie Gayraud, Laurent Bougrain, Maureen Clerc, Stéphanie Fleck. Can a Subjective Questionnaire Be Used as Brain-Computer Interface Performance Predictor?
Frontiers in Human Neuroscience, Frontiers, 2019, 12, pp.11. ⟨10.3389/fnhum.2018.00529⟩
...
hal-02137325v1  Journal articles
Alvaro Javier Fuentes Suárez, Evelyne Hubert, Cédric Zanni. Anisotropic convolution surfaces
Computers and Graphics, Elsevier, 2019, 82, pp.106-116. ⟨10.1016/j.cag.2019.05.018⟩
...
hal-01950119v2  Reports
Jean-Daniel Boissonnat, Olivier Devillers, Kunal Dutta, Marc Glisse. Randomized incremental construction of Delaunay triangulations of nice point sets
[Research Report] INRIA. 2019
...
hal-01906155v1  Preprints, Working Papers, ...
Ran Chen, Cyril Cohen, Jean-Jacques Levy, Stephan Merz, Laurent Théry. Formal Proofs of Tarjan's Algorithm in Why3, Coq, and Isabelle
2018
...
lirmm-01766795v1  Conference papers
Mathieu Fontaine, Fabian-Robert Stöter, Antoine Liutkus, Umut Simsekli, Romain 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-01889864v1  Conference papers
Sébastien Rimbert, Nathalie Gayraud, Maureen Clerc, Stéphanie Fleck, Laurent Bougrain. Can the MIQ-RS questionnaire be used to estimate the performance of a MI-based BCI?
2018 Seventh International BCI Meeting, May 2018, Pacific Grove, United States
...
hal-03035377v1  Poster communications
Sébastien Rimbert, Nathalie Gayraud, Maureen Clerc, Stéphanie Fleck, Laurent 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 Keriven, Antoine Deleforge, Antoine 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 Liutkus, Christian Rohlfing, Antoine 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 Carlo, Antoine Liutkus, Ken 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-01846433v1  Journal articles
Fabien Lotte, Laurent Bougrain, Andrzej Cichocki, Maureen Clerc, Marco Congedo et al.  A Review of Classification Algorithms for EEG-based Brain-Computer Interfaces: A 10-year Update
Journal of Neural Engineering, IOP Publishing, 2018, 15 (3), pp.55. ⟨10.1088/1741-2552/aab2f2⟩
...
hal-01633858v1  Book sections
Aditya Nugraha, Antoine Liutkus, Emmanuel Vincent. Deep neural network based multichannel audio source separation
Audio Source Separation, Springer, pp.157-195, 2018, 978-3-319-73030-1. ⟨10.1007/978-3-319-73031-8_7⟩
...
hal-01529154v2  Journal articles
David Bremner, Olivier Devillers, Marc Glisse, Sylvain Lazard, Giuseppe 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-01673170v1  Preprints, Working Papers, ...
Jean-Daniel Boissonnat, Olivier Devillers, Kunal Dutta, Marc Glisse. Delaunay triangulation of a random sample of a good sample has linear size
2017
...
hal-01568030v1  Reports
Olivier Devillers, Marc 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 Dumortier, Emmanuel Vincent, Madalina 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 Maxim, Robert Davis, Liliana Cucu-Grosjean, Arvind 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-01393125v1  Preprints, Working Papers, ...
Baldwin Dumortier, Emmanuel Vincent, Madalina Deaconu, Patrice Cornu. Efficient optimisation of wind power under acoustic constraints
2016
...
hal-01366148v1  Conference papers
David Bremner, Olivier Devillers, Marc Glisse, Sylvain Lazard, Giuseppe 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 Clerc, Laurent Bougrain, Fabien 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 Bogdanov, Monique Teillaud, Gert 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ón, Nathalie Gayraud, Laurent Bougrain, Maureen 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ïs, Jean-Baptiste Durand, Christophe Godin. Lossy compression of unordered rooted trees
DCC 2016 - Data Compression Conference, Mar 2016, Snowbird, Utah, United States. ⟨10.1109/DCC.2016.73⟩
...
hal-01338346v1  Journal articles
Hugues Talbot, Federico Spadoni, Christian Duriez, Maxime Sermesant, Stéphane Cotin et al.  Interactive Training System for Interventional Electrocardiology Procedures
Medical Image Analysis, Elsevier, 2016, 8789, pp.11-19. ⟨10.1007/978-3-319-12057-7_2⟩
...
hal-00940743v3  Journal articles
Nicolas Broutin, Olivier Devillers, Ross 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 Caroli, Monique 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 Attali, Olivier Devillers, Marc Glisse, Sylvain 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 Glisse, Sylvain Lazard, Julien Michel, Marc Pouget. Silhouette of a random polytope
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.14. ⟨10.20382/jocg.v7i1a5⟩