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
- Seminar/2009-05-27 + (AutoVM: repousser les frontières de la généricité)
- Seminar/2014-02-12 + (Automates Acycliques)
- Seminar/2008-11-26 + (Mesure de Performance et Généricité à EDF R&D)
- Seminar/2016-03-23 + (Boost.SIMD - Maximisez votre CPU directement depuis C++)
- Seminar/2009-10-21 + (CImg et G'MIC : Boites à outils libres pour le traitement d'images à différents niveaux)
- Seminar/2014-02-18 + (CLAIRE : un pseudo-code élégant exécutable et compilable pour l'aide à la décision)
- Seminar/2013-12-04 + (CPC: Une implémentation efficace de la concurrence par passage de continuations)
- Seminar/2017-03-08 + (Calcul parallèle pour problèmes inverses)
- Seminar/2012-02-15 + (Des performances dans les nuages avec la virtualisation des langages)
- Seminar/2012-07-04 + (Composition dynamique de techniques pour le model checking efficace)
- Seminar/2016-02-17 + (Computing with (nearly) unlimited resources)
- Seminar/2008-11-05 + (Construire une application robuste sans faire exploser les coûts)
- Seminar/2008-03-26 + (Aspect-oriented Programming)
- Seminar/2021-03-31 + (Contributions to Boolean satisfiability solving and its application to the analysis of discrete systems)
- Seminar/2019-04-10 + (Deep Learning for Satellite Imagery: Semantic Segmentation, Non-Rigid Alignment, and Self-Denoising)
- Seminar/2016-12-07 + (Des données spatio-temporelles aux dynamiques urbaines)
- Seminar/2013-04-24 + (Designing robust distributed systems with weakly interacting feedback structures)
- Seminar/2020-03-18 + (Diagnosis and Opacity in Partially Observable Systems)
- Seminar/2020-12-16 + (Diagnosis and Opacity in Partially Observable Systems)
- Seminar/2010-04-28 + (Diagrammes de Décision à la Demande (DDoD))
- Seminar/2014-12-17 + (D’un MOOC à l'autre)
- Seminar/2017-02-22 + (Extraction de biomarqueurs des troubles autistiques à partir de l'activité cérébrale (IRMf) par apprentissage de dictionnaire parcimonieux.)
- Seminar/2015-02-18 + (Faveod, meta-modèle au service de la qualité logicielle)
- Seminar/2017-09-27 + (Frama-C, une plateforme collaborative et extensible pour l'analyse de code C)
- Seminar/2013-10-09 + (GNU epsilon, un langage de programmation extensible)
- Seminar/2012-06-20 + (GPU Computing : début d'une ère ou fin d'une époque ?)
- Seminar/2021-02-10 + (Generating Posets Beyond N)
- Seminar/2014-11-19 + (Generic Tools, Specific Languages)
- Seminar/2009-09-30 + (GpuCV: Accélération par processeur graphique pour le traitement d'image et la vision artificielle)
- Seminar/2010-03-31 + (Généricité en traitement d'images: niveau algorithmique et logiciel)
- Seminar/2011-03-16 + (Généricité en traitement des images : développement d’algorithmes complexes et localisés au sein d’une image.)
- Seminar/2015-03-11 + (Multiplication matrice creuse-vecteur dense exacte et efficace.)
- Seminar/2010-06-02 + (Généricité et topologie discrète en C++)
- Seminar/2018-06-13 + (Hierarchical image representations: construction, evaluation and examples of use for image analysis)
- Seminar/2008-04-30 + (Mouldable Programming)
- Seminar/2017-11-29 + (Industrial Formal Verification – Cadence’s JasperGold Formal Verification Platform)
- Seminar/2020-02-12 + (Informatique Quantique)
- Seminar/2011-11-16 + (Interactive 2D and 3D Segmentation with ilastik)