Internship Proposals for Master Students

Image processing

• Text extraction from natural images

• Exploration of new self-dual filters in mathematical morphology

• Document image simplification

• Étude de problématiques de performance en traitement d'images dans un contexte générique

• [[Jobs/ENGI AD 2015 Bison|Bison : points d'entrée multiples]]
• [[Jobs/ENGI ADL 2015 Spot Traduction de formules de logique temporelle en automates|Traduction de formules de logique temporelle en automates]]
• [[Jobs/LANGEVIN|Imagerie holographique rétinienne hyperspectrale en temps réel sur GPU]]
• [[Jobs/M2 2015 AD Faster, Faster, Faster|Faster, Faster, Faster]]
• [[Jobs/M2 2015 ADL Python Interfaces for Spot|Development of an IPython interface, and a couple of web interfaces for the Spot library]]
• [[Jobs/M2 2015 ADL SAT-based Minimization|Minimization of Büchi automata using SAT-solving]]
• [[Jobs/M2 2015 DV Conception DSL|Lisp for the design and the development of DSLs]]
• [[Jobs/M2 2015 DV Lisp For Statistics|Lisp for statistics: an alternative to R]]
• [[Jobs/M2 2015 TG Document Image Simplification|Document image simplification]]
• [[Jobs/M2 2015 TG Self Dual Filters|Exploration of new self-dual filters in mathematical morphology]]
• [[Jobs/M2 2015 TG Text Extraction|Text extraction from natural images]]
• [[Jobs/M2 2016 DV Profiling for Climb|Étude et optimisation des performances de la bibliothèque Climb]]
• [[Jobs/M2 2016 DV Qt for Climb|Conception et réalisation d'une interface graphique Qt pour Climb]]
• [[Jobs/M2 2016 ER Multi-core for Spot|Development of Parallel Algorithms for Spot]]
• [[Jobs/M2 2016 JF Text recognition in natural images|Reconnaissance de texte dans des images naturelles]]
• [[Jobs/M2 2017 DV QuickRefs|QuickRefs - Documentation globale du monde Lisp]]
• [[Jobs/M2 2017 MC Spot Generic Acc|Algorithms for generic acceptance]]
• [[Jobs/M2 2017 MC Spot demo|Interactive Spot demonstration]]
• [[Jobs/M2 2017 TG Modern Generic C ++ programming|Programmation générique en C++ moderne pour le traitement d'images]]
• [[Jobs/M2 2018 DV RTE|Typage de Séquences Hétérogènes dans les Langages Dynamiques]]
• [[Jobs/M2 2019 MC Spot Distribued|Distributed Model Checking]]
• [[Jobs/M2 AD 2014 minimisation-automates|Minimization of automata]]
• [[Jobs/M2 AD 2014 minimisation-automates/fr|Minimisation d'automates]]
• [[Jobs/M2 AD 2015 Symmetric Difference Automata|Symmetric Difference Automata]]
• [[Jobs/M2 AD 2015 Syntactic Monoids|Syntactic Monoids]]
• [[Jobs/M2 AD 2015 Vcsn for Linguists|Vcsn for Linguists]]
• [[Jobs/M2 ADL 2015 General Acceptance Condition|Algorithms for automata over infinite words using a general acceptance condition]]
• [[Jobs/M2 DV 2014 conception-dsl|Lisp for the design and the development of DSLs]]
• [[Jobs/M2 DV 2014 conception-dsl/fr|Lisp pour la conception et le développement de DSLs.]]
• [[Jobs/M2 DV 2014 lisp-statistiques|Lisp for statistics: an alternative to R]]
• [[Jobs/M2 DV 2014 lisp-statistiques/fr|Lisp pour les statistiques: une alternative à R.]]
• [[Jobs/M2 JF 2014 inpainting|Inpainting in videos]]
• [[Jobs/M2 JF 2014 inpainting/fr|Inpainting dans les vidéos]]
• [[Jobs/M2 RL 2014 problematiques-performance|Study of performance-related issues in image analysis in a generic context]]
• [[Jobs/M2 RL 2014 problematiques-performance/fr|Étude de problématiques de performance en traitement d'images dans un contexte générique]]
• [[Jobs/M2 TG 2014 image-simplication|Document image simplification]]
• [[Jobs/M2 TG 2014 image-simplication/fr|Simplification des images de documents]]
• [[Jobs/M2 TG 2014 self-dual-filters|Exploration of new self-dual filters in mathematical morphology]]
• [[Jobs/M2 TG 2014 self-dual-filters/fr|Exploration de filtres auto-dual en morphologie mathématique]]
• [[Jobs/M2 TG 2014 text-extraction|Text extraction from natural images]]
• [[Jobs/M2 TG 2014 text-extraction/fr|Extraction de texte dans des images naturelles]]
• [[Jobs/M2 TG 2020 DeepLearning Imagerie Hyperspectrale|Apprentissage de dynamique temporelle pour le démélange de séquences d’images hyperspectrales]]
• [[Jobs/PHD 2019 LDL|Traduction de logique dynamique linéaire en ω-automates]]
• [[Jobs/PHD 2019 omegaGPU|Parallélisation des algorithmes d'ω-automates sur GPU]]
• [[Jobs/PHD 2019 omegalgo|Algorithmique des ω-automates]]
• [[Jobs/SPE DV 2015 interface graphique Qt|Conception et réalisation d'une interface graphique Qt pour Climb]]

Automata

• Minimisation d'automates

Dynamic Languages

• Lisp pour la conception et le développement de DSLs.

• Lisp pour les statistiques: une alternative à R.