PHD Theses and Habilitations
From LRDE
Revision as of 10:15, 26 July 2018 by Clément Démoulins (talk | contribs)
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 |