Plénières Papiers acceptés Programme

 


 

Liste des plénières

 

I) Professeur Michel Chein, Lirmm, Université de Montpelier II (France)

 

Titre : Annotations par graphes étiquetés et recherche d'information par le contenu

 

Résumé :

La plupart des systèmes de recherche d'informations représentent le contenu d'un document par un ensemble (ou un vectuer pondéré) de termes. Pour construire des SRI avec une meilleure précision et un meilleur rappel il est nécessaire de représenter le contenu d'un dfocument par une structure plus complexe.
Des graphes étiquetés -construits à partir d'une ontologie composée d'une hiérarchie de concepts, d'une hiérarchie de relations, de contraintes et de règles- sont un bon formalisme pour la représentation de métadonnées sémantiques. L'aspect visuel des graphes permet la construction de GUI, ces graphes ont une sémantique en logique du premier ordre (ils sont ainsii conformes à la vision logique de la recherche d'information), et ils ont de bonnes propriétés computationnelles. L'inconvénient d'une telle approche est qu'elle requiert la construction d'annotations complexes qui aujourd'hui doivent être réalisées (au moins partiellement) à la main. Cependant, cette approche sera directement utilisable dès que des systèmes automatiques pour la construction d'annotations complexes existeront, et peut dès à présent etre utilisée dans certaines applications (e.g. videos).
Nous présenterons les bases théoriques de notre modèle ainsi que des applications actuelles.

 

II) Professeur Pierre Hansen, HEC Montréal (Canada)

Titre : L'ordinateur peut-il faire des découvertes?

Résumé : bientôt

 

III) Professeur Mokrane Bouzeghoub, PRiSM, Université de Versailles (France)

 

Titre : Qualité des données dans les systèmes d'information

 


Résumé :
La qualité des données est un domaine de recherche qui a suscité depuis longtemps un vif intérêt mais qui prend une dimension cruciale ces dernières années en raison de la multiplicité des sources d'information, de leur hétérogénéité et de leur évolutivité de plus en plus accélérée. Les facteurs de qualité sont nombreux et leurs définitions sont souvent accompagnées de nuances qui ne facilitent pas leur compréhension et leur évaluation. Après un bref rappel des concepts de base, ce séminaire présente un canevas permettant d’analyser les différentes définitions et métriques associées à certains facteurs de qualité, d’analyser les paramètres du système d’information qui les influencent, et de développer des algorithmes
d’évaluation qui tiennent compte de ces paramètres. Seront présentés aussi quelques résultats issus de deux projets d'ACI Masses de Données (APMD et QUADRIS).

 

IV) Professeur Zaidi Habib, Division of Nuclear Medicine, Geneva University Hospital, Geneva, Switzerland

 

Titre : Emerging innovations in multidimensional and multimodal biomedical imaging

 

Abstract : Early diagnosis and therapy increasingly operate at the cellular, molecular or even at the genetic level. As diagnostic techniques transition from the systems to the molecular level, the role of multi-modal imaging becomes increasingly important. However, the strength of imaging lies optimally in the combination of several methods providing complementary information. Combining anatomical and functional information into one single image has been pursued for a long time. Early attempts were made by software fusion of positron emission tomography (PET), an imaging modality with sensitivity in the picomolar range, and x-ray computed tomography (CT) or magnetic resonance (MR) images. However, these attempts often encounter significant limitations, especially in cases with non-explicit differential diagnosis or in parts of the body other than the brain. The fusion of brain images is relatively easy owing to its rigid structure, whereas especially in the abdomen or thorax an exact re-location of the patient on two different scanners is difficult and makes the alignment of images from two modalities uncertain. However, in any case a truly combined multimodal imaging device ensures a much better alignment of the images. In parallel, the medical imaging community was very active in developing open source solutions for display and fusion of large sets of multidimensional and multimodality images.
Software- and hardware-based correlation between anatomical (CT, MRI) and physiological (PET) information is a promising research field and now offers unique capabilities for the medical imaging community and biomedical researchers. One of the main advantages of dual-modality PET/CT imaging is that PET data are intrinsically aligned to anatomical information from the x-ray CT without the use of external markers or internal landmarks, thus providing a reliable estimate of the attenuation map to be used for attenuation, scatter and partial volume correction purposes. On the other hand, combining PET with MRI technology is scientifically more challenging owing to the strong magnetic fields. Nevertheless, significant progress has been made recently resulting in the design of several prototype small-animal and brain PET inserts where the detector blocks are coupled to either multi-channel photomultipliers via optical fibers or avalanche photodiodes (APDs) allowing operation within a conventional MR system. Thus, many different design paths have been and continue to be pursued in both academic and corporate settings, that offer different trade-offs in terms of their performance.
This talk reflects the tremendous increase in interest in standalone (PET) and dual-modality (PET/CT and PET/MR) imaging as both clinical and research imaging modalities in the past decade. It offers an overview of advances in biomedical imaging instrumentation with special emphasis on recent progress made in novel quantitative analysis procedures developed at the PET Instrumentation and Neuroimaging Laboratory of Geneva University Hospital and other active research groups.

 


Liste des papiers acceptés

 

  • The recent developments in batch-scheduling with graphs : new connections, Mourad BOUDHAR
  •  

  • Application des techniques de fouilles de données à l'analyse des fichiers log, Benameur ZIANI, Youcef OUINTEN
  •  

  • An Overview On Predictive And Preemptive Maintenance Techniques In Manets, Sofiane BOUKLI HACENE, Ahmed Lehireche
  •  

  • Nouvel algorithme de résolution d'un programme quadratique convexe à variables mixtes, Radjef Sonia, Bibi Mohand Ouamar
  •  

  • Optimisation d’un système d’inférence flou par la recherche taboue : Application à la navigation d’un robot mobile, Fatma Boufera, Fatima Debbat, Fayçel Khelfi
  •  

  • Vers une formalisation formelle des schémas semi-structurés, Amar ZERDAZI, Myriam LAMOLLE
  •  

  • Une approche basée sur les services web utilisant les spécifications ebXML pour e-commerce B2B, KOUHOUL Abderaouf, Rabhi Fethi, CHELOUAH Ryme
  •  

  • On b-colorings in regular graphs, Mostafa Blidia, Frédéric Frédéric Frédéric Maffray, Zoham Zemir
  •  

  • Migrating Web Application towards Web Services Technologies, mostefai aek, malki mimoun, bouchiha djelloul
  •  

  • Goal Programming and Scalarization Method for solving Multiobjective Optimal Control Problem, AIDENE Mohamed, MERAKEB Abdelkader
  •  

  • GAE M2LL and RFOS load balancing algorithms on dynamic networks : an experimental study, Jacques Mohcine Bahi, Raphaël Couturier, Abderrahmane Sider
  •  

  • Méthode de la diagonale dominante pour un problème d'optimisation globale en dimension n sur un hyperrectangle, Le Thi Hoai An, Ouanes Mohand
  •  

  • Etude de la transmission multicouche multicast avec différentiation de services, Hamdad Ismail, Elmagroud Rédouane, Mekkakia Maaza Zoulikha
  •  

  • An Other Characterization of an Induced Subgraph of an hypercube, KAHOUL Nawel, BERRACHEDI Abdelhafid
  •  

  • Analyse Discriminante Linéaire Bidimensionnelle Neuronale pour l'Identification, Chahrazed Rouabhia, Hicham Tebbikh
  •  

  • Solving MAX-SAT Problems using a Scatter Search metaheuristic, Dalila Boughaci, Belaïd Benhamou, Habiba Drias
  •  

  • Caractérisation des graphes bgamma-parfaits, Mostafa BLIDIA, Noureddine IKHLEF ESCHOUF, Frédéric MAFFRAY
  •  

  • MODÉLISATION ET SIMULATION DE LA STÉRILISATION EXTERNE POUR LE NOUVEL HÔPITAL D’ESTAING, Fateh MEBREK, Khaled BELKADI, Michel GOURGAND, Alain TANGUY
  •  

  • Towards semantic interoperability: An ontology mapping approach, Afaf Merazi, Sidi mohamed Benslimane, Mimoun Malki
  •  

  • Optimality and duality in nondifferentiable multiobjective programming under $d_I$-invexity, Hachem Slimani, Mohammed Said Radjef
  •  

  • Optimisation par essaim de particules : Application au problème du voyageur de commerce, FAREH Abdelhak
  •  

  • Modèle déformable appliqué à la détection du contour d’images médicales, DEBAKLA Mohamemed, BENYETTOU Mohammed, BOUADI Abed
  •  

  • Isometric embeddings of subdivided connected graphs, Kahina MESLEM, Méziane AÎDER, Sylvain GRAVIER
  •  

  • Résolution d'un système dynamique linéaire avec une commande polyèdrale, Brahim OUKACHA, Fadhila KARA, Mohamed AIDENE
  •  

  • Indexation de vidéo couleur non compressée par le contenu à l’aide de la structure d’arbre R, karim abdelkader henni, lynda zaoui
  •  

  • La reconnaissance en-ligne des caractères isolés par les réseaux bayésiens dynamiques: segmentation en strokes élémentaires
    Redouane Tlemsani, Abdelkader Benyettou
  •  

  • Series Expansions for Optimization of Maintenance in Stochastic Reliability Models, Mme AOUDIA née RAHMOUNE Fazia, Pr. AISSANI Djamil
  •  

  • Gradual Uncertainty Association Rules Mining, Yassine Djouadi, Samir Redaoui, Karima Amroun
  •  

  • Application de la méthode des k-moyennes hiérarchique sur un corpus de textes arabes, Kelaiaia Abdessalem, Merouani Hayet Farida
  •  

  • Couverture de graphes par des cycles de longueur au plus k, David FORGE, Mekkia KOUIDER, Siham BEKKAI
  •  

  • Système de Classification Contextuel Appliqué à la Segmentation d’Images IRM, MOUSSAOUI Abdelouahab
  •  

  • OPTIMISATION CONCEPTUELLE MULTI CRITERES, Mehdi Metaiche, John Palmeri
  •  

  • Méthode duale de support pour la résolution des problèmes quadratiques convexes à variables bornées, Belkacem BRAHMI, Mohand Ouamer BIBI
  •  

  • Intégration d’une Classe Virtuelle Synchrone dans une Plate Forme d’e-Learning, Louiza Belkhiri, Mohamed Ramdane, Rachid Ahmed-Ouamer
  •  

  • Performances evaluation of the Labeled Neuro-Fuzzy Classifier, Mohamed NEMISSI, Hamid SERIDI, Mohamed Zine AISSAOUI
  •  

  • WordNet based Multilingual Text Categorization, Mohamed Amine Bentaallah, Mimoun Malki
  •  

  • Algorithmes de sélection dans un problème d’ordonnancement en présence des demandes stochastiques, Djamel Berkoune, Khaled Mesghouni
  •  

  • Décodage acoustique phonétique de la langue arabe : Utilisation des réseaux gamma pour la reconnaissance des consonnes emphatiques, Bendahmane Abderrahmane, Louni Abderrahmane, Benyettou Abdelkader
  •  

  • Application des algorithmes génétiques Multi objectifs au problème d’exploration des espaces de configurations des systèmes embarqués, Asmaa bengueddach, bouziane beldjilali
  •  

  • Vers une approche distribuée pour l’ordonnancement réactif sous incertitudes, Ourari Samia, Briand Cyril, Bouzouia Brahim
  •  

  • Construction d’un modèle de prédiction de l’impact d’un état de performance sur la performance globale d’un processus en utilisant les réseaux Bayésiens, HANED M'hamed, Addouche Sid Ali, elmhammedi Aberahman
  •  

  • Medical Image Segmentation using Enhanced Hoshen-Kopelman algorithm, karima kies, nacera benamrane
  •  

  • Un méta-modèle pour l’étude de la cohérence globale des contraintes dans les bases de données, Djamel Berrabah, Faouzi Boufarès, Mohamed Badri
  •  

  • Algorithme Evolutionnaire Quantique Pour la Recherche d’Ordre de Variables dans les Diagrammes de Décision Binaire, Layeb Abdesslem, Saidouni Djamel-Eddine
  •  

  • A Cooperative feature selection approach based on island model, Mohamed Amir Esseghir, Tienté Hsu, Gilles Goncalves, Yahya Slimani
  •  

  • Réconciliation de références : une approche logique adaptée aux grands volumes de données, Fatiha Sais, Nathalie Pernelle, Marie-Christine Rousset
  •  

  • Learning based system for knowledge discovery from Nasopharyngeal cancer data, Khalid Benabdeslem, Mustapha Lebbah, Alexandre Aussem, Nadjim Chelghoum, Marilys Corbex
  •  

  • An incremental distributed algorithm for a partial Grundy coloring of graphs, Lyes DEKAR, Brice EFFANTIN, Hamamache KHEDDOUCI
  •  

  • Optimisation Multi-objectif pour la Résolution des Problèmes en Bioinformatique, Benlahrache Nadira, Meshoul Souham, Layeb Abdelssalem
  •  

  • Beetweeness centrality of metabolic network using Elementary Net Systems, Hafida Raaf, Saïd Abdeddaïm, Belhadri Messabih
  •  

  • Performance analysis of feature interaction resolution methods, Ahmed Khoumsi
  •  

  • Guided Local search for the Examination Timetabling Problem, Drifa Hadjidj, Habiba Drias
  •  

  • Une approche infométrique pour l’analyse de données bibliographiques, Hakim HARIK, Bilal YALAOUI
  •  

  • Towards easy prototyping of pattern mining problems, Frédéric Flouvat, Fabien Marchi, Jean-Marc Petit
  •  

  • A Logarithmic Barrier function for semidefinite program, MERIKHI BACHIR, CROUZEIX JEAN PIERRE
  •  

  • Extending Greedy Local Search Algorithm to Unsatisfiability and Unvalidity, Audemard Gilles, Simon Laurent


Programme de COSI'2007

 

Information :

La durée des exposés est de 20mn + 5 mn de questions

Les posters seront affichés pour toute la durée du colloque. Les présentation et les discussions autours des posters débuteront le 11 juin de 16:20 à 17:30 et se poursuivront durant les pauses cafés du 12 et 13 juin 2007.

 

Lundi 11 juin 2007

 

Enregistrement, 08:00-09:00

 

Cérémonie d'ouverture, 09:00-09:30

 

Plénière 1, 09:30-10:30

 

Emerging innovations in multidimensional and multimodal biomedical imaging

Zaidi Habib, Division of Nuclear Medicine, Geneva University Hospital, Geneva, Switzerland

 

Pause café, 10:30-11:00

 

Session 1A, 11:00-12:15

 

  1. Résolution d'un système dynamique linéaire avec une commande polyèdrale, Brahim OUKACHA, Fadhila KARA, Mohamed AIDENE
  2. Méthode de la diagonale dominante pour un problème d'optimisation globale en dimension n sur un hyperrectangle, Le Thi Hoai An, Ouanes Mohand
  3. Méthode duale de support pour la résolution des problèmes quadratiques convexes à variables bornées, Belkacem BRAHMI, Mohand Ouamer BIBI

 

Session 1B, 11:00-12:15

 

  1. An Other Characterization of an Induced Subgraph of an hypercube, KAHOUL Nawel, BERRACHEDI Abdelhafid
  2. Caractérisation des graphes bgamma-parfaits, Mostafa BLIDIA, Noureddine IKHLEF ESCHOUF, Frédéric MAFFRAY
  3. Isometric embeddings of subdivided connected graphs, Kahina MESLEM, Méziane AÎDER, Sylvain GRAVIER

 

Session 1C, 11:00-12:15

 

  1. Analyse Discriminante Linéaire Bidimensionnelle Neuronale pour l'Identification, Chahrazed Rouabhia, Hicham Tebbikh
  2. A Cooperative feature selection approach based on island model, Mohamed Amir Esseghir, Tienté Hsu, Gilles Goncalves, Yahya Slimani
  3. Une approche infométrique pour l’analyse de données bibliographiques, Hakim HARIK, Bilal YALAOUI

 

Déjeuner, 12:15-14:00

 

Plénière 2, 14:00-15:00

 

L’ordinateur peut-il faire des découvertes? Pierre Hansen, HEC Montreal (Canada)

 

Session 2A, 15:05-16:20

 

  1. Nouvel algorithme de résolution d'un programme quadratique convexe à variables mixtes, Radjef Sonia, Bibi Mohand Ouamar
  2. Series Expansions for Optimization of Maintenance in Stochastic Reliability Models, Mme AOUDIA née RAHMOUNE Fazia, Pr. AISSANI Djamil
  3. A Logarithmic Barrier function for semidefinite program, MERIKHI BACHIR, CROUZEIX JEAN PIERRE

 

Session 2B, 15:05-16:20

 

  1. The recent developments in batch-scheduling with graphs : new connections, Mourad BOUDHAR
  2. On b-colorings in regular graphs, Mostafa Blidia, Frédéric Frédéric Frédéric Maffray, Zoham Zemir
  3. An incremental distributed algorithm for a partial Grundy coloring of graphs, Lyes DEKAR, Brice EFFANTIN, Hamamache KHEDDOUCI

 

Session 2C, 15:05-16:20

 

  1. Vers une représentation formelle des schémas semi-structurés, Amar ZERDAZI, Myriam LAMOLLE, Ludovic MENET
  2. Une approche basée sur les services web utilisant les spécifications ebXML pour e-commerce B2B, KOUHOUL Abderaouf, Rabhi Fethi, CHELOUAH Ryme
  3. Migrating Web Application towards Web Services Technologies, mostefai aek, malki mimoun, bouchiha djelloul