Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Jobs/ENGI ADL 2015 Spot Traduction de formules de logique temporelle en automates  + (Automata Theory)
• Jobs/M2 2015 AD Faster, Faster, Faster  + (Automata Theory)
• Jobs/M2 2015 ADL Python Interfaces for Spot  + (Automata Theory)
• Jobs/M2 2015 ADL SAT-based Minimization  + (Automata Theory)
• Jobs/M2 AD 2014 minimisation-automates  + (Automata Theory)
• Jobs/M2 AD 2015 Symmetric Difference Automata  + (Automata Theory)
• Jobs/M2 AD 2015 Syntactic Monoids  + (Automata Theory)
• Jobs/M2 AD 2015 Vcsn for Linguists  + (Automata Theory)
• Jobs/M2 ADL 2015 General Acceptance Condition  + (Automata Theory)

• Jobs/PHD 2019 LDL  + (Automates et vérification)
• Jobs/PHD 2019 omegalgo  + (Automates et vérification)
• Jobs/PHD 2019 omegaGPU  + (Automates et vérification)
• Jobs/ENGI AD 2015 Bison  + (Bison)
• Jobs/M2 DV 2014 conception-dsl  + (Dynamic Languages)
• Jobs/M2 DV 2014 lisp-statistiques  + (Dynamic Languages)
• Jobs/M2 DV 2014 conception-dsl/fr  + (Dynamic Languages)
• Jobs/M2 DV 2014 lisp-statistiques/fr  + (Dynamic Languages)
• Jobs/M2 2015 DV Conception DSL  + (Dynamic Languages)
• Jobs/M2 2015 DV Lisp For Statistics  + (Dynamic Languages)
• Jobs/SPE DV 2015 interface graphique Qt  + (Dynamic Languages)
• Jobs/M2 2016 DV Profiling for Climb  + (Dynamic Languages)
• Jobs/M2 2016 DV Qt for Climb  + (Dynamic Languages)
• Jobs/M2 2017 DV QuickRefs  + (Dynamic Languages)
• Jobs/M2 2018 DV RTE  + (Dynamic Languages)
• Jobs/M2 TG 2014 text-extraction  + (Image Processing)
• Jobs/M2 TG 2014 self-dual-filters  + (Image Processing)
• Jobs/M2 TG 2014 image-simplication  + (Image Processing)
• Jobs/M2 RL 2014 problematiques-performance  + (Image Processing)
• Jobs/M2 JF 2014 inpainting/fr  + (Image Processing)
• Jobs/M2 JF 2014 inpainting  + (Image Processing)
• Jobs/M2 RL 2014 problematiques-performance/fr  + (Image Processing)
• Jobs/M2 TG 2014 image-simplication/fr  + (Image Processing)
• Jobs/M2 TG 2014 self-dual-filters/fr  + (Image Processing)
• Jobs/M2 TG 2014 text-extraction/fr  + (Image Processing)
• Jobs/M2 2015 TG Document Image Simplification  + (Image Processing)
• Jobs/M2 2015 TG Self Dual Filters  + (Image Processing)
• Jobs/M2 2015 TG Text Extraction  + (Image Processing)
• Jobs/M2 2016 JF Text recognition in natural images  + (Image Processing)
• Jobs/M2 2017 MC Spot demo  + (Model checking)
• Jobs/M2 2016 ER Multi-core for Spot  + (Model checking)
• Jobs/M2 2017 MC Spot Generic Acc  + (Model checking)
• Jobs/M2 2019 MC Spot Distribued  + (Model checking, Distributed Algorithms and data structures)
• Jobs/M2 2017 TG Modern Generic C ++ programming  + (Traitement d'Images)
• Jobs/M2 TG 2020 DeepLearning Imagerie Hyperspectrale  + (Traitement d'Images)
• Jobs/LANGEVIN  + (Traitement d'images, GPU, apprentissage)