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/2016-01-27  + (Une introduction à la preuve formelle de sécurité)
• Seminar/2014-12-10  + (Une nouvelle approche pour la gestion de la mémoire avec CUDA)
• Seminar/2013-02-20  + (Une représentation d'images 2D discrète, continue et auto-duale)
• Seminar/2011-05-18  + (Utilisation des distances tangentes pour la compensation de mouvement : Application au codec Theora)
• Seminar/2009-05-27  + (VMKit, LLVM et Clang: les prochaines générations de compilateurs)

• Seminar/2017-02-08  + (Vcsn : une visite guidée)

• Seminar/2017-12-13  + (Vers l'apprentissage d'un sens commun visuel)
• Seminar/2009-04-22  + (Visite guidée de SmartEiffel: le génie logiciel en pratique.)
• Seminar/2012-07-04  + (Composition dynamique de techniques pour le model checking efficace)
• Seminar/2018-07-04  + (Y a-t-il une théorie de la détection des anomalies dans les images digitales?)
• Seminar/2010-03-03  + (Yayi : Bibliothèque générique de traitement morphologique d'images)
• Seminar/2013-05-22  + (Étendre le compilateur GCC avec MELT)