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/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/2012-02-15  + (Des performances dans les nuages avec la virtualisation des langages)
• 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/2012-07-04  + (Composition dynamique de techniques pour le model checking efficace)
• 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)
• Seminar/2015-10-14  + (Intégrales de Morton pour la Simplification Géométrique Haute Vitesse)