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/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)
- Seminar/2009-02-25 + (Mise en oeuvre et application des extensions de langages)
- Seminar/2008-05-28 + (Le langage BSML)
- Seminar/2015-05-13 + (Programmation web haute performance avec C++14)
- Seminar/2009-03-25 + (Que se cache-t-il derrière ce type ?)
- Seminar/2009-02-11 + (Programmer en JoCaml)
- Seminar/2010-10-13 + (Recherche d'images et indexation multimédia basées contenu)
- Seminar/2022-06-22 + (Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems)
- Seminar/2008-11-05 + (Construire une application robuste sans faire exploser les coûts)
- Seminar/2019-03-06 + (Restauration de la vision grâce aux implants rétiniens)
- Seminar/2012-03-14 + (Reusable Generic Look Ahead Multithreaded Cache - a case study for a high resolution player)
- Seminar/2008-01-30 + (Robustesse, efficacité et généricité dans la bibliothèque CGAL)
- Seminar/2013-03-27 + (SMIL : Simple Morphological Image Library)
- Seminar/2021-10-06 + (Scaling Optimal Transport for High Dimensional Learning)
- Seminar/2012-10-17 + (Platform and Research overview on the Intel Single-chip Cloud Computer)
- Seminar/2008-09-14 + (Outils pour le parallèlisme : apports de la programmation générative)
- Seminar/2019-10-01 + (The Loci Auto-Parallelizing Framework: An Overview and Future Directions)
- Seminar/2018-12-14 + (Toward myocardium perfusion from X-ray CT)
- Seminar/2011-06-15 + (Traitement d'images sur processeur graphique avec CUDA et C++)
- Seminar/2016-09-28 + (Transformation de la prospection commerciale grâce à la science des données)
- Seminar/2011-07-06 + (Un algorithme rapide pour le Compressive Sensing sur architectures parallèles)
- Seminar/2016-05-18 + (Un avant-goût de Julia)
- Seminar/2012-05-09 + (Un modèle générique de traitement et de représentation des images)
- Seminar/2017-02-08 + (Vcsn : une visite guidée)
- 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-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)