Special

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.

Search by property

A list of all pages that have property "Talk resume" with value "A.E. Ben Salem est ingénieur ENSEEIHT-2005 en Informatique et Mathématiques Appliquées, il a obtenu en parallèle un Master Recherche Sûreté du Logiciel et Calcul à haute Performance à l’INP Toulouse. Depuis 2011, il est doctorant au LRDE et au LIP6 sur la vérification formelle de propriétés sur des systèmes logiciels, en lien avec le projet Spot.". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)


    

List of results

    • Seminar/2012-07-04  + (A.E. Ben Salem est ingénieur ENSEEIHT-2005A.E. Ben Salem est ingénieur ENSEEIHT-2005 en Informatique et Mathématiques</br>Appliquées, il a obtenu en parallèle un Master Recherche Sûreté du Logiciel</br>et Calcul à haute Performance à l’INP Toulouse. Depuis 2011, il est</br>doctorant au LRDE et au LIP6 sur la vérification formelle de propriétés sur</br>des systèmes logiciels, en lien avec le projet Spot.es logiciels, en lien avec le projet Spot.)
    • Seminar/2012-07-04  + (Yongchao Xu received the B.S. degree in opYongchao Xu received the B.S. degree in optoelectronic engineering from</br>Huazhong University of Science and Technology, China, in 2008, the "diplôme</br>d'ingénieur" in electronic & embedded system at Polytech' Paris-Sud and the</br>M.S. degree in signal & image processing from Université Paris Sud, in 2010.</br>He is currently a PhD student at Université Paris Est working on image</br>segmentation, morphological image analysis and, especially shape-based</br>connected morphology. and, especially shape-based connected morphology.)