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
Or
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| demaille.17.ictac | Derived-Term Automata of Weighted Rational Expressions with Quotient Operators | Akim Demaille, Thibaud Michaud | Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) | 5 July 2017 |
| le-frioux.17.sat | PaInleSS: a Framework for Parallel SAT Solving | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) | 30 June 2017 |
| puybareau.17.gretsi | Caractérisation des zones de mouvement périodiques pour applications bio-médicales | Elodie Puybareau, Hugues Talbot, Laurent Najman | Actes du 26e Colloque GRETSI | 28 June 2017 |
| xu.17.gretsi | Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage | Yongchao Xu, Thierry Geraud, Isabelle Bloch | Actes du 26e Colloque GRETSI | 20 June 2017 |
| boutry.17.dgci | Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n | Nicolas Boutry, Laurent Najman, Thierry Geraud | Discrete Geometry for Computer Imagery -- Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI) | 13 June 2017 |
| xu.17.icip | From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning | Yongchao Xu, Thierry Geraud, Isabelle Bloch | Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP) | 13 June 2017 |
| bloemen.17.spin | Explicit State Model Checking with Generalized Büchi and Rabin Automata | Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol | Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17) | 22 May 2017 |
| tochon.17.tgrs | Object tracking by hierarchical decomposition of hyperspectral video sequences: application to chemical gas plume tracking | Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi | IEEE Transactions on Geoscience and Remote Sensing | 20 April 2017 |
| blahoudek.17.lpar | Seminator: A Tool for Semi-Determinization of Omega-Automata | František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček | Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21) | 3 April 2017 |
| carlinet.17.orasis | La pseudo-distance du dahu | Edwin Carlinet, Yongchao Xu, Nicolas Boutry, Thierry Geraud | Actes d'ORASIS | 21 March 2017 |
