PHD Theses and Habilitations
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Title | Authors | Published in | Date | |
---|---|---|---|---|
chen.23.phd | Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) | Yizi Chen | 22 March 2023 | |
rivet.20.phd | Non-iterative methods for image improvement in digital holography of the retina | Julie Rivet | 17 July 2020 | |
verna.20.hdr | (Dynamic (Programming Paradigms)) ;; Performance and Expressivity | Didier Verna | 10 July 2020 | |
movn.20.phd | Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms | Minh Ôn Vũ Ngoc | 18 February 2020 | |
le-frioux.19.phd | Towards more efficient parallel SAT solving | Ludovic Le Frioux | 3 July 2019 | |
huynh.18.phd | Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. | Lê Duy Huỳnh | 1 December 2018 | |
newton.18.phd | Representing and Computing with Types in Dynamically Typed Languages | Jim Newton | 1 November 2018 | |
duret.17.hdr | Contributions to LTL and ω-Automata for Model Checking | Alexandre Duret-Lutz | 1 February 2017 | |
boutry.16.phd | A Study of Well-Composedness in n-D | Nicolas Boutry | 1 December 2016 | |
calarasanu.15.phd | Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms | Stefania Calarasanu | 1 December 2015 | |
carlinet.15.phd | A Tree of Shapes for Multivariate Images | Edwin Carlinet | 1 November 2015 | |
renault.14.phd | Contribution aux tests de vacuité pour le model checking explicite | Etienne Renault | 5 December 2014 | |
bensalem.14.phd | Improving the Model Checking of Stutter-Invariant LTL Properties | Ala Eddine Ben Salem | 25 September 2014 | |
xu.13.phd | Tree-based shape spaces: Definition and applications in image processing and computer vision | Yongchao Xu | 12 December 2013 | |
geraud.12.hdr | Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes | Thierry Géraud | 1 June 2012 | |
levillain.11.phd | Towards a Software Architecture for Generic Image Processing | Roland Levillain | 1 November 2011 | |
hamez.09.phd | Génération efficace de grands espaces d'états | Alexandre Hamez | 1 December 2009 | |
linard.09.phd | Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification | Alban Linard | 1 November 2009 | |
darbon.05.phd | Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images | Jérôme Darbon | 1 October 2005 |