Publications
From LRDE
Contents |
Here you will find the various forms of communication from LRDE members.
LRDE Progress Report
- Rapport d'activité 2015 (PDF in French)
- Rapport d'activité 2010 (PDF in French)
- Progress Report 2010 (PDF in English)
LRDE Bibliography
Publications
- Book chapters
- Journal papers
- Conference papers
- PHD Theses and Habilitations
- Technical reports
- Student reports
Or
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| boldo.18.arith | A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers | Sylvie Boldo, Florian Faissole, Vincent Tourneur | 25th IEEE Symposium on Computer Arithmetic | 1 June 2018 |
| carlinet.18.icip | The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm | Edwin Carlinet, Thierry Géraud, Sébastien Crozet | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |
| puybareau.18.icip | Real-Time Document Detection in Smartphone Videos | Élodie Puybareau, Thierry Géraud | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |
| puybareau.18.rfiap | Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage | Élodie Puybareau, Yongchao Xu, Joseph Chazalon, Isabelle Bloch, Thierry Géraud | Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France” | 4 May 2018 |
| carlinet.18.rfiap | Un algorithme de complexité linéaire pour le calcul de l'arbre des formes | Edwin Carlinet, Sébastien Crozet, Thierry Géraud | Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP) | 4 May 2018 |
| barnat.18.hpcr | Parallel Model Checking Algorithms for Linear-Time Temporal Logic | Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault | Handbook of Parallel Constraint Reasoning | 10 April 2018 |
| goetz.18.tpds | Parallel Computation of Component Trees on Distributed Memory Machines | Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel | IEEE Transactions on Parallel and Distributed Systems | 2 April 2018 |
| verna.18.els | Method Combinators | Didier Verna | 11th European Lisp Symposium | 25 March 2018 |
| xu.18.media | The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities | Yongchao Xu, Baptiste Morel, Sonia Dahdouh, Élodie Puybareau, Alessio Virzì, Hélène Urien, Thierry~Géraud, Catherine Adamsbaum, Isabelle Bloch | Medical Image Analysis | 22 March 2018 |
| xu.18.brainles | White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Yongchao Xu, Thierry Géraud, Élodie Puybareau, Isabelle Bloch, Joseph Chazalon | Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017Quebec City, QC, Canada, September 14 2017, Revised Selected Papers | 6 February 2018 |
