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