Publications
From LRDE
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 | |
|---|---|---|---|---|
| puybareau.18.brainles | Segmentation of gliomas and prediction of patient overall survival: a simple and fast procedure. | Élodie Puybareau, Guillaume Tochon, Joseph Chazalon, Jonathan Fabrizio | Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI | 5 November 2018 |
| roynard.18.rrpr | An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming | Michaël Roynard, Edwin Carlinet, Thierry Géraud | Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR) | 25 October 2018 |
| puybareau.18.stacom | Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet | Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM), in conjunction with MICCAI | 25 October 2018 |
| rivet.19.spie | Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina | Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan | Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V | 25 October 2018 |
| newton.18.meta.pdf | Recognizing heterogeneous sequences by rational type expression | Jim Newton, Didier Verna | Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection | 14 September 2018 |
| newton.18.tocl | A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | Jim Newton, Didier Verna | ACM Transactions on Computational Logic | 28 August 2018 |
| boutry.18.is | Weakly Well-Composed Cell Complexes over nD Pictures | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez | Information Sciences | 4 July 2018 |
| renault.18.vecos | Improving Parallel State-Space Exploration Using Genetic Algorithms | Etienne Renault | Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18) | 14 June 2018 |
| michaud.18.synt | Reactive Synthesis from LTL Specification with Spot | Thibaud Michaud, Maximilien Colange | Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 | 7 June 2018 |
| boldo.18.arith | A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers | Sylvie Boldo, Florian Faissole, TourneurVincent | 25th IEEE Symposium on Computer Arithmetic | 1 June 2018 |