Difference between revisions of "Offers Master"
From LRDE
Line 10: | Line 10: | ||
* [[Jobs/M2_RL_2014_problematiques-performance|Étude de problématiques de performance en traitement d'images dans un contexte générique]] |
* [[Jobs/M2_RL_2014_problematiques-performance|Étude de problématiques de performance en traitement d'images dans un contexte générique]] |
||
− | {{#ask: [[Category:Jobs]] [[Job research field:: |
+ | {{#ask: [[Category:Jobs]] [[Job research field::+]] |
| ?Job title |
| ?Job title |
||
| format = ul |
| format = ul |
Revision as of 13:13, 15 November 2013
Image processing
- [[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]]