Conférence Plénière / Plenary Session,Intelligence économique et propriété intellectuelle J. P. BERNADAT |
Conférences invitées / Invited lecturesAgrégation de variables et dynamique des populations Pierre AUGER (IRD, Bondy, France) |
Session1: Génie logiciel / Software Engineering |
Combining B Tools for Multi-Process Systems Specification C. Attiogbé (LINA – Université de Nantes, France) |
Identification and Separation of Crosscutting Concerns: A Case Study A. Amirat (Centre Universitaire de Souk Ahras, Algérie), M. T. Laskri , D. Meslati (Université de Annaba, Algérie) |
Session2: Calcul scientifique / Scientific Computing |
Dual mixed finite element methods of the elasticity problem with Lagrange multipliers S. Nicaise , L. Paquet (Université de Valenciennes et du Hainaut Cambrésis, France), J. Rafilipojaona(Université de Fianarantsoa, Madagascar) |
Implementation of new variants of MPFA methods for anisotropic flow problems A. Kinfack Jeutsa (ENSP, Yaoundé, Cameroon, A. Njifenjou (ENSP, Yaoundé, Cameroon) |
Session3: Systèmes distribués / Distributed Systems |
Modèle Arborescent pour l’équilibrage de charge dans les Grilles de Calcul B. Yagoubi (Université d’Oran, Algérie) |
Finding polynomials to count lattice points; Computer explorations with MuPAD-Combinat J. Nzeutchap (Inst. Gaspard Monge, Université Marne-la-Vallée, France) |
Un algorithme adaptatif optimal pour le calcul parallèle des préfixes J-L. Roch, D. Traore (Institut National Polytech. Grenoble, France) |
Session4: Statistique / Statistics |
Etude et simulation du phénomène d’attente dans un système bancaire. Approximation des mesures de performances des files d’attente M/G/C D. Chedom Fotso , L. P. Fotso (Université de Yaoundé I, Cameroun) |
Analyse bayésienne de modèles markoviens d’évolution de ressources naturelles. F. Campillo (Inria/Irisa, Rennes, France , R. Rakotozafy (Université de Fianarantsoa, Madagascar ) V. Rossi (Inria/Irisa, France) |
Techniques de soft computing pour l’identification lithologique dans la province triasique S. Chikhi (Université de Constantine, Algérie) |
Conférence Invitée/ Invited lecture Comment extraire l’énergie des ondes locales dans les structures hétérogènes ? Philippe DESTUYNDER (CNAM Paris, France) |
Session5: Algorithmique / Algorithmic |
The Hardcoded Dynamic State Allocation Algorithm E. Ketcha Ngassam , D. Kourie (B. Watson,University of Pretoria, South Africa) |
Heuristiques du problème du voyageur de commerce B. Tadunfock Teti (Université de Yaoundé I, Cameroun), L.P. Fotso (Université de Yaoundé I, Cameroun) |
Session6: Traitement du signal et de l’image / Signal and Image Processing |
Codage vidéo par block matching adaptatif A. Djeffal , Z. E. Baarir (Université Mohamed Khider, Biskra, Algérie) |
Lane boundaries following to driver assistance system R. Nourine , M. Elarbi Boudihir ,N. Benamrane , F. S. Khelifi (Univ.D. Liabès, Sidi Bel-abbès, Algérie) |
Session7: Logique et vérification / Logic and Verification |
Timed Model-Checking Game: Case of Event Recording Logic O. L. Nguena Timo (Université de Bordeaux 1, France) |
Vérification des architectures de systèmes distribués par l’utilisation du LTL model checker Maude C. Jerad (ENIT, Tunisie), K. Barkaoui (CNAM Paris, France), A. Touzi-Grissa (ENIT, Tunisie ) |
Session8: Automatique / Control |
On the stabilization of an exploited fish population model E. H. El Mazoudi (Université Sidi Mohammed Ben Abdellah, Fès, Maroc), M. Mrabti (Université Sidi Med Ben Abdellah, Fès, Maroc ), N. Elalami (Mohammadia School of Engineering (EMI, Rabat, Maroc) |
Observer Design For an Exploited Fish Population Model E. H. El Mazoudi (Université Sidi Mohammed Ben Abdellah, Fès, Maroc), M. Mrabti (Université Sidi Med Ben Abdellah, Fès, Maroc), N. Elalami (Mohammadia School of Engineering (EMI, Rabat, Maroc) |
Session9: Méthodes formelles / Formal Methods |
Classification de contextes de liens hypertextes M. Al-Hajj (Université François-Rabelais, Tours, France), G. Verley (Université François-Rabelais, Tours, France) |
Cohérence de vues dans les grammaires algébriques E. Badouel (Irisa/Inria, Rennes, France), M. Tchoupé (Irisa, Rennes, France et Université de Yaoundé 1, Cameroun) |
Session10: Calcul scientifique / Scientific Computing |
Numerical simulation of exhaust muffler. An homogenized finite element method E. Bécache (INRIA Rocquencourt, France), A.S. Bonnet-Bendhia (Poems-Ensta, Paris, France), R. Ben Fatma (Enit – Lamsin, Tunisie)D. Drissi (Enit – Lamsin, Tunisie), N. Gmati (Enit – Lamsin, Tunisie) |
Etude comparative des méthodes de calcul de PageRank S-J. Djungu (Université de Kinshasa, R.D. Congo), F. Mathieu (France Télécom R&D, France), P. Manneback (Faculté Polytechnique de Mons, Belgique) |
Conférence plénière / Plenary session Montage de Start-up François Brown de Colstoun, (INRIA, Directeur DREI, Rocquencourt, France) |
Conférence invitée / Invited lecture Jacobian-free Optimization Andreas Griewank, (Humbold-Universität, Berlin, Germany) |
Session11: Informatique fondamentale / Theoretical Computer Science |
Combinatoire autour des mots sturmiens I. Kabore, T. Tapsoba (Université Polytechnique de Bobo-Dioulasso, Burkina Faso) |
Dynamical Behaviour of Neural Networks iterated with Memory P. Melatagia Yonta, R. Ndoundam, M. Tchuente (Université de Yaoundé I, Cameroun) |
Session12: Reconnaissance de texte et de la parole / Text and Speach Recognition |
Discriminating noisy sentences with partially recurrent neural networks E. C. Ezin (Université d’Abomey-Calavi, Bénin) |
From 3D soil Computed Tomography images to geometrical soil structures O. Monga (IRD, France) |
Session13: Méthodes formelles / Formal Methods |
Test Cases Generation for Multi-Agent Systems using Formal Specification Y. Kissoum (Skikda University, Algeria), Z. Sahnoun (Mentouri University, Algeria) |
CCPBAC: Un cryptosystème à clés publiques basés sur les automates cellulaires G. Tindo (Université de Yaoundé I, Cameroun) |
Session14: Calcul Scientifique / Scientific Computing |
On solving the data recovering problem on a flat boundary; Applications to a class of inverse problems A. Ben Abda (Enit – Lamsin, Tunisie), L. Belaid-Jaafar (Enit – Lamsin, Tunisie ), A. Sakat (Université Cadi Ayyad, Maroc) |
A robust recovery algorithm for the Robin inverse problem S. Chaabane (Fac. des Sciences de Sfax, Tunisie), C. Elhechmi (Fac.des Sciences de Gabès, Tunisie), M. Jaoua (Enit – Lamsin, Tunisie) |
Conférence Invitée / Invited lecture Mathématiques, informatique et écologie microbienne Claude LOBRY, (CIMPA, Nice, France) |
Session15: |
An Efficient Host-to-Host Available Bandwidth Estimation Scheme A. Oluwatope (A. Aderounmu, Obafemi Awolowo University, Nigeria), O. Obembe (A. Aderounmu, Obafemi Awolowo University, Nigeria) , F. Ogwu (University of Botswana) |
Interoperability test generation: formal definitions and algorithm A. Desmoulin (Irisa/Université de Rennes I, France), C. Viho (Irisa/Université de Rennes I, France) |
Session16: |
A New Mathematical Formulation for Plant Structure Dynamics L. Wu (Université J. Fourier, Grenoble, France/Chinese Academy of Sciences, China), F.-X. Le Dimet (Université Joseph Fourier,Grenoble, France), Ph. De Reffye (Inria Rocquencourt, France), B-G. Hu (Chinese Academy of Sciences, China) |
Analysis error via Hessian in variational data assimilationF.-X. Le Dimet (LMC-Imag, Université Joseph Fourier, Grenoble, France), V. Shutyaev (Inst. of Numerical Math, Russian Academy of Sciences, Moscow, Russia) |
Session17: Bases de données / Data Bases |
Une approche pour l’extraction des itemsets (fermés) fréquents A. Bouchahda (Faculté des Sciences de Tunis, Tunisie), Y. Slimani (Faculté des Sciences de Tunis, Tunisie), S. Benyahia (Faculté des Sciences de Tunis, Tunisie) |
Intégration de données hétérogènes dans SenPeer D. Faye (Université Gaston Berger, Saint-Louis, Sénégal), G. Nachouki (Université de Nantes, France), P. Valduriez (Inria et Lina, France) |
Extraction de connaissances basée sur les arbres Patricia M. Ben Haj Hmida (Faculté des Sciences de Tunis, Tunisie) |
Session18: Traitement et analyse d’images / Image Processing and Analysis |
A dual algorithm for denoising and preserving edges in image processing Ph. Destuynder (CNAM Paris, France), M. Jaoua (Laboratoire J.-A. Dieudonné, Nice, France ), Hela Sellami (ENIT, Tunisie) |
Recalage non rigide utilisant des déformations de forme libre (FFD) pour la reconstruction faciale tridimensionnelle A. Kermi (Université Annaba, Algérie, ENST Paris), I. Bloch (ENST Paris, France), M. T. Laskri (Université Annaba, Algérie) |
Description des formes planaires par lissage progressif de contours fermés K. Kpalma (IETR, France), J. Ronsin (IETR, France) |
Conférence Invitée / Invited lecture IP Telephony in Mobile ad hoc networks : challenges and emerging approaches Roch Glitho ( L.M. Ericsson/Université Concordia, Montréal/IMSP, Porto Novo, Bénin) |
Session19: Méthodes formelles / Formal Methods |
Agent d’apprentissage et la gestion du processus pédagogique A. Bennane (Centre de formation des inspecteurs de l’enseignement, Maroc) |
Une approche itérative pour l’allocation des tâches sur réseaux réguliers C. Tayou Djamegni (Université de Dschang, Cameroun, P. Quinton (INRIA Rennes / ENS Cachan, Rennes), S. Rajopadhye (USA), M. Tchuenté, (Université de Yaoundé I, Cameroun) |
Session20: Calcul scientifique / Scientific Computing |
Identification of pointwise sources and small size flaws via the reciprocity gap principle; stability estimates A. Ben Abda (Enit – Lamsin, Tunis, Tunisia), R. Mdimagh (Enit – Lamsin, Tunis, Tunisia), A. Saada (Enit – Lamsin, Tunis, Tunisia) |
Topological sensitivity analysis for detection of small flaws locationsA. Ben Abda (Enit – Lamsin, Tunis, Tunisia), M. Hassine (Enit – Lamsin, Tunis, Tunisia ), M. Jaoua (Laboratoire J.-A.Dieudonné, Nice and Enit – Lamsin, Tunis, Tunisia) |
Session21: Systèmes multi agents / Multi Agent Systems |
Coordination par les jeux stochastiques – Apprentissage par renforcement et théorie des jeux pour la coordination de systèmes multi-agentsA. Dutech (Loria / Inria, France), R. Aras (Loria / Inria, France), F. Charpillet (Loria / Inria, France) |
Modélisation multi-agents de systèmes physiques : application à l’érosion côtière J.-M. Dembele (Université Cheikh Anta Diop, Dakar, Sénégal), C. Cambier (Université de Paris 6, France) |
Session22: Traitement et analyse d’images / Image Processing and Analysis |
Classification des textures: Application à la classification d’images médicales A. Moussa(Ecole Nationale des Sciences Appliquées de Tanger, Maroc), A. Sbihi (Université Ibn Tofail, Kénitra, Maroc), J.-G. Postaire (Université des Sciences et Technologies de Lille, France) |
Méthode optimisée de classification d’images satellitaires radar RSO par usage de paramètres de texture d’ordre supérieur. Application à la mangrove littorale Camerounaise N. Talla Tankam (ENSP, Yaoundé, Cameroun), A. Dipanda (Université de Bourgogne, France), E. Tonyé (ENSP, Yaoundé, Cameroun), A. Akono (ENSP, Yaoundé, Cameroun) |
DEMONSTRATIONS Un système d’antivol de voiture à télécommande GSM doté d’une fonction de géolocalisation par GSM et GPS A.S. Adedjoum (Ecole Polytechnique d’Abomey-Calavi, Cotonou, Bénin),G. Adjovi (Ecole Polytechnique d’Abomey-Calavi, Cotonou, Bénin), L. Aga (Ecole Polytechnique d’Abomey-Calavi, Cotonou, Bénin), B. Degbo (Ecole Polytechnique d’Abomey-Calavi, Cotonou, Bénin) |