Talks

Talks

Hierarchie memoire dans les systemes integres multiprocesseurs construits autour de reseaux sur puce

Ecole CIMPA sur: Onde de Scholte : generation par des transducteurs interdigites au PVF2 : caracterisation sur diverses interfaces, 22-25 March, 2020

Université Ibn Khaldoun

Contribution to High Performance Computing and Big Data Infrastructure Convergence

Ecole CIMPA sur: Application de la methode des moments temporels a la reduction de modeles de grandes dimensions, 03-06 June, 2015

Université Ibn Khaldoun

Raisonnement automatise pour la logique de separation avec des definitions inductives

Journées internationales sur: Etude et realisation de structures bipolaires particulieres a heterojonction gaas-gaaias, 13-15 January, 2015

Université Ibn Khaldoun

Un protocole de charge adaptatif pour les batteries Lithium-Ion

Colloque national sur: Modelisation objets pour un simulateur de comportements : application a un enseignement assiste par ordinateur, 03-08 February, 2014

Université Ibn Khaldoun

Comprendre la performance des algorithmes d'exclusion mutuelle sur les machines multicoeurs modernes

Journées internationales sur: Contribution a la formalisation de la qualite du logiciel, 02-06 May, 2010

Université Ibn Khaldoun

Prime implicate generation in equational logic

Journées nationales sur: Contribution a l'etude des relations structures-proprietes rheologiques des composites a matrice d'alliage d'aluminium, 16-20 July, 2009

Université Ibn Khaldoun

Adaptation des interfaces utilisateurs aux emotions

Journées nationales sur: Analyse frequentielle des circuits dans un contexte de conception assistee par ordinateur (c. A. O. ), 16-18 July, 2009

Université Ibn Khaldoun

Apprentissage des espaces de forme du modele 3d humain habille en mouvement

Colloque national sur: Modelisation des procedes : Des methodes, un outil logiciel, 09-13 June, 2005

Université Ibn Khaldoun

Similarites textuelles semantiques translingues : vers la detection automatique du plagiat par traduction

Journées nationales sur: Nouvelles notions de reduction en lambda-calcul : Application a la realisation d'un langage fonctionnel fonde sur la reduction, 05-08 May, 2001

Université Ibn Khaldoun