COSI 2004 - Programme du Colloque
7 juin , 2004
08:00 - 09:00 Accueil
9:00 - 9:30 Cérémonie d'ouverture
9:30 - 10:45 Pleinière
Mathématiques
et Mathématiciens en Algérie
Djamil
Aissani(Université de Bejaia)
10:45 - 11:00 Pause café
11:00 - 12:15 Pleinière
Découverte
de connaissances dans les bases de données.
Jean
Marc Petit (Université de Clermont-Ferrand II)
12:00 - 14:30 Déjeuner
14:30 - 16:00 Session 1A - Base de données
La
synchronisation dans la présentation des objets multimédia
avec les réseaux de Petri et la logique linéaire.
Z.
Benlalam et L. Zaoui
Analyse
de la terminaison des règles actives : nouvelle approche
basée sur les graphes de dépendance.
H.
Belbachir et N.S. Ougouti
Des
systèmes en général aux systèmes
d’informations et de leur optimisation
Tayeb
Mohand Larbi
14:30 - 16:00 Session 1B - Optimisation et jeux
Existence
de l’équilibre de Berge dans un jeu sous forme normale
sans l’hypothèse de concavité.
M.S.
Radjef et H. Gharout
Sur
l’existence de l’équilibre de Berge dans les jeux
différentiéls
F.
Krim
Conditions
nécessaires d’optimalité pour G.col en jeux de
Lagrange et jeux différentiels mélé
Meliani
Nacera
16:00 - 16:15 Pause Café
16:15 - 18:15 Session 2A – Bases de données
Un
médiateur sémabtique à base d’ontologies
multi-représentation
Sidi
Mohamed Benslimane, Djamel Amar Bensaber, Mimoun Malki
Une
sémantique formelle
G.
Belalem et M.A. Mami
Optimisation
des requêtes dans le SGBD relationnels.
F.
Boulçane, A. Bouti et A. Chemori
Bases
de données objet relationnelles et contraintes : Une
application aux objets convexes
M.
Sayah, Y. Lebbah, S. Nait-Bahloul, W. Benseyoub et K. Henni
16:15 - 18:15 Session 2B – Théorie des graphes
Quasi-Locally
P*(w) graphs
H.
Ait Haddadene and S. Zenia
Generalized
Median graphs
N.
Badji et A. Berrachedi.
Caractérisation
des ordres de permutation.
D.
Oudrar et A. Moncef
Graphs
with induced special 6-cycles
Abdelhafid
Berrachedi et Nawel Kahoul
8 juin, 2004
9:00 - 10:15 Pleiniere
Services
Web Sémantique : Modélisation et Découverte.
Mohand
Said Hacid (Université de Lyon I)
10:15 - 10:30 Pause café
10:30- 12:30 Session 3A - Web et Bases de donnée
Modélisation
et analyse du comportement de l’apprenantdans un tuteur
intelligent: Approche neuronale versus approche floue.
Rachid
Ahmed-Ouamer
Rafraîchissement
automatique des vues des internautes sur les base de données
Benna
Amel, Bouloudene Merouane, Naili – Douaouda Reda
Improving
Mediation Query Generation Using Contraints and Metadata
M.
Bouzeghoub, Z. Kedad et A. Soukane.
Une
stratégie adptative pour la découverte des motifs
fréquents maximaux
Frédéric
Flouvat, Fabien De Marchi et Jean-Marc Petit
10:30- 12:30 Session 3B - Algorithmique de graphes
Sur
la dimension cubique de quelques classes d’arbres
A.
Berrachedi
On the domatic number of the 2-section graph of the order-interval hypergraph of a finite poset
I. Bouchemakh et S. Ouatiki
The
consecutive block minimization problem : revisited NP-hardness and
approximation
S.
Haddadi
A
generic algorithm for generating closed sets of a binary relation
A.
Gély
12:30 - 14:30 Déjeuner
12:30 - 14:30 Excursion
20:00 Diner +Gala
9 Juin , 2004
9:00 - 10:15 Pleinière
Affectation
et allocations stables.
Mourad
Baiou(Université de Clermont-Ferrand II, Ecole polytechnique
de Paris)
10:15 - 10:30 Pause café
10:30 - 12:30 Session 4A - Modélisation et Heuristiques
Ordonnancement
sur une machine à traitement par batch avec graphes de
compatibilité
M.
Boudhar et A. Khelladi
Modélisation
de projets et de mémoire de projet pour l'aide à
l'élaboration de cahiers de charges
L.
Admane, R. Benferhat, A.R. Ghomari, Terr,, F.
Ayaden
Contribution
à l’amélioration de l’approche récuit
simulé pour la résolution du problème du
voyageur de commerce
H.
Ait Haddadene et M. Yagouni
Approches
heuristiques pour l’approvisionnement des stations services
O.
Lekadir, D. Aissani,N. Khimoum et M. Maafa
10:30 - 12:30 Session 4B - Optimisation multicritère
Contribution
de l’Aide Multicritère à la Décision aux
Systèmes d’Information Géographiques
Schahrazed
Zeghache, Farida Admane, Kamel Elaraba Ziane
Résolution
d’un programme linéaire multi-objectifs à
varaibles bornées par la méthode directe du
support.
M.O.
Bibi, S. Radjef et M.S. Radjef
Programmation
linéaire multicritère en présence de paramétres
indéterminés
Merakeb
Abdelkader
Invexité
généralisée dans les problèmes
multi-objectifs avec indétermination
M.S.
Radjef et H. Slimani
12:30 - 14:30 Déjeuner
14:30 - 16:00 Session 5A – Images et applications
Les
images médicales numérisées dans les systèmes
d’information hospitaliers.
A.
Meziane
Compression
des images animées par Quantification vectorielle
Benamrane
Nacera
Application
of Radon Transform to lane Boundaries Tracking
R.
Nourine, M.E. Boudihir, B. Bel djalali et S.F. Khelifi.
14:30 - 16:00 Session 5B – Graphes et applications
Les
sommets contenus dans tout ou dans aucun ensemble dominant couplé
de taille minimale d’un arbre et arbres
M.
Blidia, M. Chellali et S. Khelifi
Trees
with unique minimum 2-dominating sets
M.
Chellali
Bornes
inférieures pour le problème de placement de taille
variable
M.
Aider et S. Benabderrahmane
16:15 - 17:15 Session 6A - Optimisation mathématique
Optimisation
par la méthode adaptée d'un problème
lineaire-quadratique convexe à variables bornées.
M.O
Bibi et N. Ikheneche
Méthode
des phases pour la résolution de problème min-max en
programmation linéaire avec des contraintes généralisées
S.
Hamdous
16:15 - 17:15 Session 6B - Optimisation mathématique
Concept
of equilibrium for a non cooperative fuzzy game with fuzzy
parameters
F.Kacher
et Larbani
Approximate
bias for first-order autoregressive model with uniform
innovations.small sample case
K.Nouali
et H. Fellag
17:15 - 17:30 Fermeture du Colloque