Skip to Main content Skip to Navigation
  1. Search


hal-02975012v1  Journal articles
Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte et al.  Formal verification of a constant-time preserving C compiler
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-30. ⟨10.1145/3371075⟩
...
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-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-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-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-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⟩
...
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-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-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-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-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-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-00805690v1  Journal articles
Olivier Devillers, Marc Glisse, Xavier Goaoc, Guillaume Moroz, Matthias Reitzner. The monotonicity of $f$-vectors of random polytopes
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2013, 18 (23), pp.1-8. ⟨10.1214/ECP.v18-2469⟩
...
hal-01348831v1  Journal articles
Olivier Devillers, Ross Hemsley. The worst visibility walk in a random Delaunay triangulation is $O(\sqrt{n})$
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (1), pp.332-359. ⟨10.20382/jocg.v7i1a16⟩
...
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-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⟩
...
hal-01285120v1  Journal articles
Olivier Devillers, Marc Glisse, Xavier Goaoc, Rémy Thomasse. Smoothed complexity of convex hulls by witnesses and collectors
Journal of Computational Geometry, Carleton University, Computational Geometry Laboratory, 2016, 7 (2), pp.101-144. ⟨10.20382/jocg.v7i2a6⟩
...
hal-01062522v1  Journal articles
Ares Lagae, Sylvain Lefebvre, Philip Dutre. Improving Gabor Noise
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2011, 17 (8), pp.1096-1107. ⟨10.1109/TVCG.2010.238.⟩
hal-01059755v1  Journal articles
David Bommes, Bruno Lévy, Nico Pietroni, Enrico Puppo, Claudio Silva et al.  Quad-Mesh Generation and Processing: A Survey
Computer Graphics Forum, Wiley, 2013, 32 (6), pp.51--76. ⟨10.1111/cgf.12014⟩
...
hal-00997207v1  Journal articles
Patrizio Angelini, David Eppstein, Fabrizio Frati, Michael Kaufmann, Sylvain Lazard et al.  Universal Point Sets for Planar Graph Drawing with Circular Arcs
Journal of Graph Algorithms and Applications, Brown University, 2014, 18 (3), pp.313-324. ⟨10.7155/jgaa.00324⟩
...
hal-00920177v1  Journal articles
Ares Lagae, Sylvain Lefebvre, Rob Cook, Tony Derose, George Drettakis et al.  A Survey of Procedural Noise Functions
Computer Graphics Forum, Wiley, 2010, 29 (8), pp.2579-2600. ⟨10.1111/j.1467-8659.2010.01827.x⟩