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/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/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-03-31  + (Généricité en traitement d'images: niveau algorithmique et logiciel)
• 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/2010-06-02  + (Généricité et topologie discrète en C++)
• Seminar/2015-10-14  + (Intégrales de Morton pour la Simplification Géométrique Haute Vitesse)
• Seminar/2009-12-02  + (Le processeur CELL : architecture et programmation)

• Seminar/2013-05-29  + (Langages de développement et sécurité - Mind your language)

• Seminar/2008-05-28  + (Le langage BSML)
• Seminar/2012-03-21  + (Le point de vue d'un théoricien sur l'intérêt de la généricité pour le traitement d'images)
• Seminar/2009-12-02  + (Le processeur CELL : architecture et programmation)
• Seminar/2019-12-17  + (Learning the relationship between neighboring pixels for some vision tasks)
• Seminar/2017-11-08  + (Lire les lignes du cerveau humain)
• Seminar/2009-04-22  + (Visite guidée de SmartEiffel: le génie logiciel en pratique.)
• Seminar/2017-06-14  + (MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances)
• Seminar/2008-11-26  + (Mesure de Performance et Généricité à EDF R&D)
• Seminar/2009-02-25  + (Mise en oeuvre et application des extensions de langages)
• Seminar/2011-06-15  + (Traitement d'images sur processeur graphique avec CUDA et C++)
• Seminar/2008-01-30  + (Robustesse, efficacité et généricité dans la bibliothèque CGAL)
• Seminar/2008-04-30  + (Mouldable Programming)
• Seminar/2015-03-11  + (Multiplication matrice creuse-vecteur dense exacte et efficace.)
• Seminar/2014-06-11  + (Méthodes rapides pour le traitement, l'analyse et la synthèse en informatique graphique)
• Seminar/2014-05-14  + (Nife : du Forth pour l'embarqué)
• Seminar/2008-09-14  + (Outils pour le parallèlisme : apports de la programmation générative)
• Seminar/2010-12-08  + (PHP.Reboot: un language de script utilisant la JSR 292)
• Seminar/2018-05-30  + (Partial but Precise Loop Summarization and Its Applications)
• Seminar/2008-02-20  + (Performance et Généricité dans Qgar)
• Seminar/2012-10-17  + (Platform and Research overview on the Intel Single-chip Cloud Computer)
• Seminar/2011-10-26  + (Pourquoi Javascript est-il aussi rapide/lent ?)
• Seminar/2011-02-09  + (Principes et Pratiques de la Programmation Concurrente en π-calcul)
• Seminar/2014-02-05  + (Programmation d'applications Web client-serveur avec Ocsigen)
• Seminar/2014-03-12  + (Programmation d'applications Web client-serveur avec Ocsigen)
• Seminar/2010-11-10  + (Programmation par propriétés : application au traitement d'images)