COSI2015
Colloque sur l'Optimisation et les Systèmes d'Information
COSI'2015, 1 au 3 Juin 2015, Oran, Algérie
Université d'Oran 1, Ahmed Ben Bella
http://www.isima.fr/cosi/cosi2015/index.php
Programme COSI'2015
Lundi 01 Juin 2015
08:00 – 09:00. Accueil & Enregistrement
09:00 – 10:00. Cérémonie d’ouverture
10:00-11:00. Conférence Plénière 1 (Auditorium Talahit Bakhlouf)
Apprentissage de représentations pour les données relationnelles sémantiques
Patrick Gallinari. Université Pierre et Marie Curie, France.
11:00 – 11:30. Pause Café
11:30 – 12:30. Sessions Parallèles
• 11:00 – 12:30. Session 1A: Apprentissage et Fouille (Salle A)
1- L'impact de la mesure de similarité en auto-apprentissage
Mohammed El Amine Bechar, Nesma Settouti and Mohamed Amine Chikh
2- Localisation de fautes à l'aide de la fouille de données sous contraintes
Mehdi Maamar, Nadjib Lazaar, Samir Loudni and Yahia Lebbah
• 11:00 – 12:30. Session 1B, Optimisation I (Salle B)
1- Hammerstein model identification using Particle Swarm Optimization
Karima Hammar, Tounsia Djamah and Maamar Bettayeb
2- Résolution d'un problème min max dans le contrôle optimal avec la méthode de décomposition
Nouri Naima and Oukacha Brahim
12:30 - 14:00. Déjeuner
14:00 - 15:00. Conférence Plénière 2 (Auditorium Talahit Bakhlouf)
Event-Based Demand Response Management Algorithms for Microgrids
Khaled Elbassioni. Masdar Institute, Abu Dhabi - Émirats arabes unis.
15:00 – 16:30. Sessions Parallèles
• 15:00 – 16:00. Session 2A: Graphes I (Salle A)
1- Trees with a subset which is both j-independent and p-dominating for every p and j positive integers
Amina Ramoul and Mostafa Blidia
2- Vertex-edge Domination in Graphs
R Boutrig and Mustapha Chellali
• 15:00 – 16:00. Session 2B, Systèmes d’information (Salle B)
1- Élagage de Charges de Requêtes Volumineuses pour Fragmenter Efficacement un Entrepôt de Données : Nouvelle Approche et Etude expérimentale
Amina Gacem and Kamel Boukhalfa
2- Query Containment Based approach for Usage Control in Web Services
Hassina Meziane and Salima Benbernou
16:00 -16:30. Pause café
16:30-17:30. Sessions Parallèles
• 16:30-17:30. Session 3A : Graphes II (Salle A)
1- Criticality Indices of 2-rainbow Domination of Paths and Cycles
Ahmed Bouchou and Mostafa Blidia
2- On Secure Domination and Independence in Graphs
Houcine Boumediene Merouane and Mustapha Chellali
• 16:30-17:30. Session 3B : Traitement d’images (Salle B)
1- Système d'aide au diagnostic des masses mammaires pour la détection du cancer du sein
Ismahan Hadjidj, Amel Feroui and Abdelhafid Bessaid
2- Nouvel algorithme d'amincissement parallèle d'images binaires
Lynda Ben Boudaoud, Abderrahmane Sider and Tari Abdelkamel
17h:30 -19:00. Posters
Mardi 2 Juin 2015
09:00 - 10:00. Conférence Plénière 3 (Auditorium Talahit Bakhlouf)
Quelques apports de la programmation par contraintes pour la vérification de programmes
Michel Rueher
10:00 - 10:30. Pause café
10:30 -12:30. Sessions Parallèles
• 10:30 -12:30. Session 4A : Intelligence Artificielle (Salle A)
1- Une approche évolutionnaire multi-contraintes pour l'optimisation de la génération automatique d'emplois du temps universitaires
Bendahmane Abderrahmane, Benyettou Abdelkader and Benabdeslem Khalid
2- Three variants of a hyper-heuristic for solving MAX-SAT
Mourad Lassouaoui, Dalila Boughaci and Belaid Benhamou
3- Consultation d'affilée d'adresses IP dans un routeur IP basée sur un arbre binaire réorganisé
Houassi Hichem, Mahdaoui Rafik and Maarouk Mesaoud Toufik
4- On Measuring Inconsistency: an Approach based on Maximal Consistent Sets
Meriem Ammoura, Badran Raddaoui, Yakoub Salhi and Oukacha Brahim
• 10:30 -12:30. Session 4B : Ordonnacement (Salle B)
1- Open shop scheduling problems with conflict graphs
Nour El Houda Tellache and Mourad Boudhar
2- A New Hybrid Method for solving the Traveling Tournaments Problem in sports scheduling
Khalifa Meriem and Dalila Boughaci
3- An Adaptive Genetic Algorithm Applied to Single Machine Total Weighted Tardiness Problem
Lamiche Chaabane
4- Solving the Multiobjective Minimum Risk Problem Through Satisfaction Functions
Fatima Bellahcene and Lydia Bouchama
12:30 - 14:00. Déjeuner
14:00 - 15:00. Conférence Plénière 4 (Auditorium Talahit Bakhlouf)
Reclassement d'images
Djemel Ziou, Université de Sherbrooke, Canada.
A partir de 15h:00. Excursion
Mercredi 3 Juin 2015
08:45 - 09:45. Conférence Plénière 5 (Auditorium Talahit Bakhlouf)
Exploring Complex and Large Data with Formal Concept Analysis
Amedeo Napoli, LORIA, CNRS, France.
09:45 – 10:00. Pause café
10:00 -11h:00. Sessions Parallèles
• 10:00 -11h:00. Session 5A : Clustering (Salle A)
1- Une nouvelle méthode topologique pour le clustering de flux de données
Mohammed Ghesmoune, Hanane Azzag and Mustapha Lebbah
2- A Clustering approach to discover simpler process models
Hanane Ariouat, Kamel Barkaoui and Jacky Akoka
• 10:00 -11h:00.; Session 5B : Métaheuristiques (Salle B)
1- Construction semi-automatique d'ontologies à partir de textes arabes
Djelloul Bouchiha
2- Kahina Bouchama, Arnaud Lallouet, Mohammed Said Radjef and Lakhdar Sais
Les métaheuristiques pour la résolution d'un jeu de clustering
11: 00: Discussions et Cérémonie de Clôture
Les comités de COSI'2015
Présidents d'honneur
Professeur Larbi Chahed
Recteur de l'Université d'Oran 1, Ahmed ben Bella
Professeur Bel Abbes Yagoubi
Doyen de la Faculté des Sciences Exactes et Appliquées
Comité de Pilotage
Mohamed Aidene, Univ. Mouloud Mammeri de Tizi-Ouzou, Algérie
Mohand-Saïd Hacid, Univ. Claude Bernard, Lyon I, France
Lhouari Nourine, Univ. Blaise Pascal - Clermont-Ferrand II, France
Brahim Okacha, Univ. Mouloud Mammeri de Tizi-Ouzou, Algérie
Samia Ourari, CDTA, Alger, Algérie
Jean Marc Petit, INSA de Lyon, France
Mohamed Said Radjef, Université de Béjaia, Algérie
Bachir Sadi, Univ. Mouloud Mammeri deTizi-Ouzou, Algérie
Lakhdar Sais, Univ. Lille Nord de France, France
Hamid Seridi, Univ. du 8 mai 1945 de Guelma, Algérie
Farouk Toumani, Univ. Blaise Pascal - Clermont-Ferrand II, France
Comité d'Organisation
Président :
Rachid Nourine (Université d'Oran 1)
Vice Présidents :
Yahia Lebbah (Université d'Oran 1)
Safia Nait-Bahloul (Université d'Oran 1)
Mejdi Kaddour (Université d'Oran 1)
Membres
Moussa Benaissa, Hassina Meziane, Noureddine Aribi, Said Fourour, Amina Kemmar, Mohammed Sayah, Soraya Hocine.
Comité de programme
Président CP :
Jean marc Petit INSA de Lyon, France
Vice Présidents CP:
Méziane Aider (Université Houari Boumediène)
Mourad Baiou (Université Blaise Pascal-CNRS)
Sidi-Mohammed Benslimane (Université de Sidi-Bel-Abbes)
Patrick Gallinari (Université Pierre et Marie Curie)
Samir Loudni (Université de Caen)
Mohand-Saïd Radjef (Université de Béjaia)
Michel Schneider (Université Blaise Pascal)
Djemel Ziou (Université de Sherbrooke)
Membres CP
Mohamed Ahmed-Nacer, USTHB (Algérie)
Rachid Ahmed-Ouamer, Université de Tizi-Ouzou (Algérie)
Djamil Aissani, Université de Béjaia (Algérie)
Hacène Ait Haddadene, USTHB Alger (Algérie)
Otmane Ait Mohamed, Université Concordia (Canada)
Hassan Aït-Kaci, Université Claude Bernard Lyon 1 (France)
Zaia Alimazighi, USTHB (Algérie)
Lallouet Arnaud, Université de Caen (France)
Nadjib Badache, CERIST (Algérie)
Kamel Barkaoui, CNAM-Paris (France)
Vincent Barra, LIMOS(France)
Ladjel Bellatreche, ENSMA (France)
Khalid Benabdeslem, (France)
Moussa Benaissa, LITIO (Oran 1)
Salima Benbernou, Université Paris Descartes (France)
Nacéra Benamrane, USTO Mohammed Boudiaf, Oran (Algérie)
Belaid Benhamou, Université d'Aix-Marseille I (France)
Fadéla Bentayeb, Université Lyon 2, (Lyon)
Abdelhafid Berrachedi, USTHB Alger (Algérie)
Mohand Ouamer Bibi, Université de Béjaia (Algérie)
Karim Bouamrane, LIO (Oran 1)
Isma Bouchemakh, USTHB (Algérie)
Mourad Boudhar, USTHB (Algérie)
Mahmoud Boufaida, Université Mentouri Constantine (Algérie)
Mohand Boughanem, IRIT, Toulouse (France)
Kamel Boukhalfa, USTHB (Algérie)
Brice Chardin, Lyon(France)
Bruno Cremilleux, Caen (France)
Bruno Defude, (France)
Laurent D'Orazio, Université Blaise Pascal, (France)
Fedoua Didi, Abou Bekr Belkaid Tlemcen (Algérie)
Frederic Flouvat, Nouvelle calédonie(France)
Pierre Fouilhoux, Université Pierre et Marie Curie (France)
Michel Habib, Université Paris 7 (France)
Allel Hadjali, ENSSAT, (Lannion)
Hafid Haffaf, RIIR (Oran 1)
Youssef Hamadi, Microsoft(UK)
Hao Jin-Kao, Université d'Angers (France)
Souhila Kaci, LIRMM(France)
Mejdi Kaddour, LITIO (Oran 1)
Okba Kazar, Université de Biskra (Algérie)
Omar Kermia, CDTA (Algérie)
Hamamache Kheddouci, Université Claude Bernard Lyon 1 (France)
Nacima Labadie, Université de Technologie de Troyes (France)
Hamid Ladjal, Université Claude Bernard, (Lyon)
Philippe Lacomme, Université Blaise Pascal (France)
Dominiqie Laurent, Cergy pontoise (France)
Yacine Lafifi, Université de Guelma (Algérie)
Yahia Lebbah, Université D'Oran Es-Sénia (Algérie)
Alain Leger, France Télécom (France)
Vincent Limouzy, Université Blaise Pascal (France)
Lakhdar Loukil, LAPECI (Oran 1)
Sofian Maabout, LABRI(France)
Philippe Mahey, LIMOS(France)
Ridha Mahjoub, Université Paris Dauphine (France)
Arnaud Mary, (France)
Nouredine Melab, LIFL(France)
Engelbert Mephu, Université Blaise Pascal (France)
Hayett Merouani, Université Badji Mokhtar, Annaba (Algérie)
Rokia Missaoui, Université de Quebec en Outaouais (Canada)
Safia Nait Bahloul, LITIO (Oran 1)
Mohand Ouanes, Université Mouloud Mammeri de Tizi-Ouzou (Algérie)
Michael Rao, ENS Lyon (France)
Yakoub Salhi, Université d'Artois, Lens (France)
Hanafi Said, Université de Valenciennes (France)
Yacine Sam, Université de Tours (France)
Frédéric Saubion, Université d'Angers (France)
Sidi-Mohammed Senouci, université Bourgogne(France)
Pierre Spiteri, INP- Toulouse (France)
Yehia Taher, Tilburg University (Netherlands)
Tatiana Tchemisova, University of Aveiro (Portugal)
Eduardo Uchoa, PUC-RIO (Brésil)
Takeaki Uno, NII (Japon)
Plénières de COSI - 2015
Event-Based Demand Response Management Algorithms for Microgrids
Khaled Elbassioni. Masdar Institute, Abu Dhabi - Émirats arabes unis.
Apprentissage de représentations pour les données relationnelles sémantiques
Patrick Gallinari. Université Pierre et Marie Curie, France.
Exploring Complex and Large Data with Formal Concept Analysis
Amedeo Napoli. LORIA, CNRS, France.
Quelques apports de la programmation par contraintes pour la vérification de programmes
Michel Rueher. University of Nice Sophia Antipolis, France.
Djemel Ziou. Université de Sherbrooke, Canada.
Event-Based Demand Response Management Algorithms for Microgrids
Demand response has become one of the key enabling technologies for smart grids. With the increasing demand response incentives set by utilities, more customers are subscribing to the various demand response schemes. However, with growing customer participation, the problem of determining the solutions of optimal load curtailment for customers becomes computationally complex (even with hundreds of customers).
In this talk, we propose efficient algorithms for event-based demand response management for microgrids. In these systems, it is important to optimally curtail loads as fast as possible to maintain microgrid stability, considering a combination of active and reactive power. An efficient two-stage algorithm is proposed to determine the optimal loads to be curtailed during islanded operation. The first stage relies on a simple greedy approach that is capable of determining a close-to-optimal load curtailment scheme rapidly to maintain microgrid stability. The second stage relies on a more sophisticated algorithm that can further improve the near-optimality solution of the first stage, when more response time is permitted. The algorithms are corroborated extensively by simulations with up to thousands of customers.
This is joint work with Chi-Kin Chau, Areg Karapetyan, Majid Khonji, and Hatem Zeineldin.
Khaled Elbassioni
Masdar Institute, Abu Dhabi - Émirats arabes unis.
Les données se présentent souvent sous une forme complexe (multimodale, hétérogène,..) et relationnelle (biologie, réseaux sociaux,...). Une des approches exploitée en apprentissage pour les modéliser ou pour résoudre différentes tâches génériques du domaine est d'apprendre des représentations latentes de ces données dans des espaces continus, de façon à rendre possible l'utilisation de méthodes classiques de l'apprentissage sur ces espaces. Plusieurs directions de recherche parfois conduites indépendamment dans différentes communautés ont développé des idées similaires et se retrouvent aujourd'hui regroupées dans la thématique "apprentissage de représentations". L'exposé donnera un aperçu des avancées récentes de ces méthodes et présentera un ensemble de modèles et d'applications ciblant le traitement de données sémantiques et de données sociales, développées au sein de l'équipe "Machine Learning and Information Access" à l'université Pierre et Marie Curie, Paris.
Patrick Gallinari.
Université Pierre et Marie Curie, France.
Knowledge discovery in large and complex datasets is one of the main topics addressed by the so-called ``Data Science'' but is also a topic of main interest for the ''Science of Knowledge'' (or Artificial Intelligence). Indeed data and knowledge are interacting and knowledge discovery is applied on datasets and has a direct impact on the design of knowledge bases (or ontologies). Following this idea, it can be interesting to have at hand a generic formalism that can support knowledge discovery and, as well, knowledge representation and reasoning.
Accordingly, in this presentation, we introduce Formal Concept Analysis (FCA), a mathematical formalism for data and knowledge processing. FCA starts with a binary table composed of objects and attributes and outputs a concept lattice, where each concept is made of an intent (i.e. the description of the concept in terms of attributes) and an extent (i.e. the objects instances of the concept). Intents and extents are two dual facets of a concept that naturally apply in knowledge representation.
There are two main variations of FCA, Relational Concept Analysis (RCA) for dealing with relational data and Pattern Structures (PS) for dealing with complex data (numbers, sequences, trees, graphs). We will discuss the usability of FCA and its variations in knowledge discovery and knowledge engineering through various tasks and applications, such as e.g. data and text mining, information retrieval, biclustering and recommendation, and extraction of functional dependencies.
Finally, the structure of a concept lattice can be visualized and allows a suggestive interpretation for human agents while it can be also processable by software agents.
Amedeo Napoli.
LORIA, CNRS, France.
La vérification de programmes a toujours été une question cruciale en informatique, mais la présence de logiciels embarqués dans de plus en plus de systèmes que nous utilisons ou que nous côtoyons quotidiennement rend cette question encore plus délicate.
Dans cet exposé, nous allons analyser les apports et les limites de la programmation par contraintes (CP) pour la vérification de propriétés de programmes qui ne se réduisent pas à de simples systèmes de décision, mais qui comprennent aussi quelques calculs numériques.
Nous allons en particulier étudier l'apport de la CP pour :
la vérification d'assertions dans le cadre des outils de "bounded model checking";
l'analyse de programmes : élimination de fausses alarmes et identification de valeurs suspectes pour des décisions critiques;
l'aide à la localisation d'erreurs dans des programmes pour lesquels un contre-exemple est disponible.
Michel Rueher.
University of Nice Sophia Antipolis, France.
La problématique de la gestion de documents est étudiée depuis plusieurs décennies. Des résultats significatifs en avancement de la connaissance ont été obtenus. Cependant, les retombées socio-économiques de la gestion de documents textuels sont beaucoup plus importantes que celles de la gestion de documents non textuels. Dans cette présentation, nous tenterons d'expliquer les raisons du désintérêt aux technologies de gestion de documents visuels. Par la suite, je me concentre sur la gestion de documents visuels. Je décrirai la méthodologie que nous avions mise en oeuvre pour effectuer la recherche d'images à l'identique, la recherche d'objets, l'indexation de collection d'images et la recommandation automatique. Je montrerai l'apport de la gestion de documents en cyberenquête. Des directions scientifiques seront aussi exposées
Djemel Ziou.
Université de Sherbrooke, Canada.