Transcript catalogue master - Université Constantine 2

Listes des documents
004. INFORMATIQUE
Exemp.
Titre du document
Auteur/Collectivité
Cote
Adaptation dynamique pour modèle à
composant logiciel
Larouk Islem
LM2D/800
02
Agent coopératifs : Prise de décision basée
Négociation pour une Planification de la
commercialisation
Asloudj Amina
LM2D/1004
02
Algorithme du lucioles discret pour
l'inpainting géométrique d'image.
Bensouici Hamza
LM2D/910
02
Analyse de la cohérence des diagrammes
d'activité UML.
Layeb Houssem Eddine
LM2D/ 984
02
Annotation semantique du dossier
electronique d'un patient du service
pneumologie du chuc
Compaoré Moctar
LM2D/846
02
Application MDA pour la transformation d'un
diagramme d'état Transition mobile vers un
Nested.
Louar Aya
LM2D/ 1000
02
Application Web pour la classification TNM
de la tumeur de la thyroide.
Boutelaa Amina
LM2D/962
02
Apprentissage des HMMS par algorithme de Yahi Nour El Houda
lucioles pour la recnnaissance des
expressions faciales.
LM2D/888
02
Apprentissage des HMMS par évolution
différentielle pour la classification des
expressions faciales.
LM2D/906
02
Approche à base d'agent pour le
Gouga Mohammed Nadjib
regroupement dynamique des véhicules dans
VANETs
LM2D/1034
02
Approche basée sur la composition des
services web pour réaliser l'interopérabilité
entre les services web de CHU de
Constantine "cas de service pn...
LM2D/820
02
Arsène SIMBABAWE
Allem Leila
Approche basée sur la fédération our réaliser Achour Kaoutat
l'interopérabilité entre les services de l'hôpital
CHU Constantine Cas du service
pneumologie et card...
LM2D/826
Approche pour l'analyse de la compatibilité
comportementale des services web :
Application dans l'e-governement
Nadjma Soualah
LM2D/852
02
Approche pour le support de la dynamicité
dans un environnement pervasif.
Abed Med Nadjib
LM2D/974
02
Classification des services web à base
d'ontologie
Bouchagour Kenza
LM2D/810
02
Page 1
Titre du document
Auteur/Collectivité
Cote
Exemp.
Classitication des services web basée sur les Heguehoug Imene
automates
LM2D/878
02
Composition des web services application
aux régimes alimentaires
Asma Hioual
LM2D/203
02
Conception det réalisation d'un système
d'information pour la gestion en réseau local
des expertises au sein de l'entreprise EXAL
de Constatnine
Hallab Khaoula
LM2D/840
02
Conception et implémentation d'un cloud
saas pour l'exploitaftion des ontologies
Aoun Zoulikha
LM2D/828
02
Conception et réalisation d'une application
mobile de guide de voyage contraintes et
adaptation
Aliouane Anfel
LM2D/1048
02
Conception et réalisation d'une ontologie
pour le service pneumo-phtisio du CHUC et
son interrogtation
Achi Mohsene
LM2D/792
02
Conception spécification et réalisation d'une
application multimédia distribuée
Bidi Faouzi
LM2D/1044
02
Construction d'une ontologie gérée par un
web service domaine d'application :
médecine interne
Belal abir
LM2D/798
02
Couplage de contours dans l'inpainting
Géometrique d'image numériques :
Optimisation par PSO discret.
Fergani Baha
LM2D/ 938
02
Cryptanalyse du RSA etude comparative de
deux approches
Boukhezar Billel
LM2D/1046
02
DC-Maude : langage pour la Spécification et
L'adaptation D'application à base de
composants.
Debza Ahmed Amar
LM2D/1042
02
Détection de communauté dans les réseaux
sociaux par approche d'optimisation
bi-objectif
Djenna Ismehène
LM2D/982
02
Développement d'applications dédiées cloud Cheurfi Rima
sécurisées et outsourcing par chiffrement
entièrement homomlorphe
LM2D/864
02
Développement d'un environnement pour la
planivication des systèmes à haut risque
Chennouf Kenza
LM2D/814
02
Développement d'un jeu flash
Kadem Sofiane
LM2D/886
02
Développement d'un jeu web
Beddiaf Oussama
LM2D/898
02
Développement d'un outil d'aide a
l'évaluation de la formation
Boudechiche Chems Eddine
LM2D/1032
02
Développement d'un outil d'analyze de la
sureté de fonctionnement des systèmes
embarqués.
Slimani Hadjer
LM2D/ 994
02
Développement d'une application et
technologie web
Amina Lahnèche
LM2D/830
02
Développement d'une application multi
plateforme
Zerdoumi Saber
LM2D/968
02
Page 2
Exemp.
Titre du document
Auteur/Collectivité
Cote
Développement d'une architecture de
sécurité contre les attaques par déni de
service
Idrim Manel
LM2D/836
02
Edition et manipulation des Mop-ECATNets
Khenchoul Zineb
LM2D/1036
02
Essaims de particules quantiques et
apprentissage par complément pour la
segmentation d'images médicales : une
approche basée seuillage
Lamis Ghoualmi
LM2D/866
02
Etude des approches pour la découverte des Idri Ismail
web sevices sémantiques Application d'un
modèle d'appariement OWLS-MX
LM2D/834
02
Etude et comparaison des algorithmes de
réécriture de requêtes dans un conteste de
médiation
Toureche Hadjer
LM2D/854
02
Evaluation des performances de protocoles
de routages dans les réseaux VANET.
Bitat Abir
LM2D/992
02
Evaluiation des performances de modèles
d'ontologies vues à l'aide d'un génératerur
d'instances
Ghemmza Wafa
LM2D/806
02
Exploitation des services web à travers une
application mobile
Cherabi Med Mehdi
LM2D/844
02
Formalisation de l'elasticité des services
cloud computing via les bigraphes et maude
Ahmed Taki Eddine Dib
LM2D/1012
02
Formalisation du langage WS-BPEL par le
langage D-LOTOS : application à la
composition des services Web.
Adama Modido Diawara.
LM2D/ 998
02
Fusion d'images Médicales / Application et
évolution de trois méthodes : DCT , DWT et
la FSD.
Khaldi Meriem
LM2D/950
02
Implémentation d'un algorithme de
vérification de la composition de services
web
Benabbas Soraya
LM2D/812
02
Implémentation d'un service web sécurisé
pour la gestion de stock au niveau de la
direction régionale gestion de réseau de
transport du gaz d'est "...
Amrani Amel
LM2D/796
02
Implémentation de la sécurité dans le
protocole de routage AODV contre les
arttaques de type blak hole.
Bah Moukhtar Souleymene
LM2D/890
02
Implémentation de la substitution des
services WEB pour le tri d'un vecteur.
Boulghlimat Med El Amine
LM2D/872
02
Implémentation et expérimentation d'une
approche bassée agent pour la gestion des
ressources dans le cloud computig.
Khesrani Hind Ghofrane
LM2D/ 858
02
Inpainting d'images basé sur la convolution
Ayad Mohamed
LM2D/920
02
Intégration des processus métier dans les
e-applications
SidiMansour Yazid
LM2D/802
02
Page 3
Exemp.
Titre du document
Auteur/Collectivité
Cote
Intégration du temps réel dans la
spécification du déploiement en utilisant
RT-Maude
Zebiri Abdeldjallil
LM2D/1016
02
Interrogation du LOD (Linking Open Data
Cloud - Cas de DBpedia -
Deliba Zinelabidine
LM2D/ 862
02
L'apport de la logique floue dans un système Seid Bouriche Houssam
biométrique multimodale d'iris et d'empreinte
digitale
LM2D/918
02
l'empechement d'une attaque de type DDoS
dans un environnement Cloud Computing.
Khalfallah Ibtissem
LM2D/924
02
La classification des services web à base
d'un algorithme bio-informatique.
Bouraoui Azzedine
LM2D/1050
02
La découverte des biomarqueurs par une
nouvelle approche << Filtre Iterative >>
Zarzi Amira
LM2D/972
02
La programmation par contraintes pour la
résolution du problème d'emploi de temps
Hocine Ramoul
LM2D/934
02
La sécurisation des systèmes groupware
basés sur ajax
Nabti Amel
LM2D/902
02
La spécification de la composition de deux
patrons temps réel
Benlatreche Mohammed
Radhwane
LM2D/1020
02
La synthese vocale a partir d'un teste
Mezdad Seif Eddine
LM2D/930
02
Mécanisme sécurisé de stockage réseau pur Elaouesse Houssem Yacine
les machines virtuelles dans une laas cloud
computing
LM2D/900
02
Méta-Programmation et stratégies maude
Massai Zineb
pour l'implémentation des systèmes de tuiles
LM2D/1022
02
Mise en oeuvre d'un datawarehouse pour la
société de ciments de hamma bouziane
"SCHB"
Benfoughal Rokaya
LM2D/832
02
Modélisation bas'e d'un ERP : Module
Acha/Approvisionnement
Sana Benzazia
LM2D/856
02
Modélisation d'un arbra de routage multicast
à travers un backbone mesh sans fil
Boukabache Mohamed Seif
Eddinne
LM2D/1014
02
Modélisation et simulation du Hand-over
dans les réseaux LTE.
Kaidi Essaiah
LM2D/ 908
02
Nouvelle approche pour la classification des
document du type teste
Yahia Sara
LM2D/914
02
Nouvelles variantes de l'algorithme de
pollinisation basées sur l'apprentissage par
complément et l'initialisation chaotique de la
population
Zakaria Abd El Moiz Dahi
LM2D/932
02
Optimisation multi-objectifs par Essaim de
particules pour le seuillage d'image
bidimensionnel..
Aouissi Faiza
LM2D/928
02
LM2D/904
02
Optimisation des requêtes dans un système Abdelhamid Nadji
de recherche d'information : Approche basée
PSO
Page 4
Exemp.
Titre du document
Auteur/Collectivité
Cote
Optimisation dynamique par essaims
multiples : Application au suivi d'objets
Boulesnane Abdennour
LM2D/940
02
Optimisation multi-objectif basée essaim
avec Fonction de pénalité.
Bounab Karima
LM2D/986
02
Optimisation multi-objectif par les colonies
Benmahammed Sara
d'abeilles artificielles : Imapact des méthodes
de sélection de guides et des méthodes
d'archivage
LM2D/956
02
Optimisation par firefly multi-objectif :
Application à la segmentation d'image
Hamidechi Mohamed
LM2D/980
02
Outil de translation des Biraghes en Maude.
Alliouche Meriem
LM2D/1030
02
Outils d'aide pédagogique pour la formation : Bousenada Ahlem
Czs du présentiel
LM2D/1010
02
Prise en charge de l'accessibilité du web
pour les handicapés visuels
LM2D/838
02
Proposition d'une architecture d'unh système Amirèche Hibet Errahmane
honeypot basée sur le calcul organique
LM2D/952
02
Proposition et implémentation de solutions de Haddadi Toufik El- Mamoune
géolocalisation pour AlL-MADAR
PROSCAN.
LM2D/ 958
02
Réalisation d'un outil d'aide pédagogique à la Boussandel Brahim
formation GL et sa version sous android
LM2D/1024
02
Réalisation d'un outil d'exécution parallèle
pour des algorithmes évolutionnaires
-inspirés quantique.
Ferifet Lamine
LM2D/ 988
02
Réalisation d'une application de réalité
augmentée mobile
Maouche Oussama
LM2D/1054
02
Recherche d'information dans lzs réseaux
sociaux et les blogs
Bourenane Oussama
LM2D/876
02
Recherche sur la Résolution des Problèmes
d'Affectation et de Réutilisation de
fréquences pour les Opérateurs de la
téléhponie Mobile.
Boussouf Imed
LM2D/ 870
02
Référencement sématnique à BASE
d'ontologie pour le WEB en langue arabe.
Khenioui Momhammed El Amine
LM2D/ 1038
02
Représentation des patrons de conception
tmps réel dans le profil UML -MARTE
Hamla Amine
LM2D/1026
02
Requete Sémantique sur les Ressources
Documentaires DBLP.
Kerouaz Redouane
LM2D/ 860
02
Réseaux verts Etude de cas filaire.
Hosna Dounia Imen
LM2D/1040
02
Résolution de problèmees combinatoires par Mechati Hamza
la programmation par contrainte "Appliquée
sur la planification horaire"
LM2D/880
02
Sécurisation des communications entre cloud Boukous Amina
computing provider et ces clients
LM2D/922
02
Sécurité dans les vanets : Approche par
Cryptographie à CourbeElliptique .
LM2D/984
02
Boulebier Abdallah Okba
Lakhal Amina
Page 5
Exemp.
Titre du document
Auteur/Collectivité
Cote
Sécurité des dossiers médicaux personnels
sur le Cloud
Delilache Imen
LM2D/808
02
Sélection des services web basée sur la
qualité de service
Houar Yacine
LM2D/944
02
Signature numérique en XML
Boudjellal Naziha
LM2D/850
02
Simulation phsique dans les jeux vidéo.
Latreche Imed Eddine
LM2D/ 874
02
Simulation d'un environnement cloud
computing
Bouanane Hadjer
LM2D/942
02
Simulation et Evaluation d'un Algorihme de
Bounas Mohamed Elhadi
découverte des web services dans un réseau
P2P
LM2D/954
02
Spécification d'un protocole de routage
multichemins dans un réseau mesh sans fil.
Baiben Islem
LM2D/1028
02
Spécification maude du protocole
d'authentification NSPK
Tahli Anis
LM2D/1018
02
Suuivi d'objets mobiles par optimisation
dynamique
Meriem Bettoum
LM2D/970
02
Système de sauvegarde externalisée basé
sur les SMA et inspiré d'architecture GRID.
Bouza Reda
LM2D/ 964
02
Systèmes d'aide à la décision et agents
coopératifs : Planificationde la production au
sein d'une semouerie
Ahcene Teniou
LM2D/966
02
Transformation de la notation BPMN vers les Aliouane Med El Ghazali
Réseaux de pétrie.
LM2D/990
02
Transformation des diagrammes UML vers
les spécifications B en utilisant TGG
Ayache Mohamed
LM2D/1008
02
Transformation des modèles Workflow vers
LOTOS.
Diabi Med elhadi
LM2D/946
02
Transtormation des chaines de processus
événementielles vers les réseaux de péri
Lachetar Abderrahim
LM2D/978
02
Un algorithme de recherche gravitationnelle
pour le seuillage multi-niveaux d'images
médicales
Nassim Lakhdar
LM2D/882
02
Un portail WEB pour le système
Pédagogique de la faculté d'informatique
Option Master.
Zebilah Raouf
LM2D/996
02
Un processus de matching à large échelle
pour une intégration sémantique de
l'entreprise virtuelle
GuerrouI Houda
LM2D/804
02
Un système Multi-Agents Basé Théorie du
danger pour la classifacation des images.
Hannache Oussama
LM2D/ 976
02
Un système Multithreading d'identification
multipe en biométrie faciale.
Ghamousse Abdelmounaim
LM2D/ 892
02
Une API pour la génération des vues et
points de vue dans des bases de données à
base ontologique
Bouzenada Sabrina
LM2D/816
02
Page 6
Exemp.
Titre du document
Auteur/Collectivité
Cote
Une approche à base d'ontologies pour
l'amélioration de la recherche d'informations
médicales sur le web
Benbouzid Lokman
LM2D/894
02
Une approche de sélection des services web Lallam Djallal
LM2D/1052
02
Une approche de transformation de
diagrammes d'activités aspectsvers les
réseaux de péri colorés basée sur la
transformation de graphes
Louar Adnane
LM2D/1006
02
Une approche MDA pour la transformation
d'un diagramme de classes vers code C
Delimi Nadir
LM2D/912
02
Une approche pour améliorer le
référencement des sites web SEO
Haioun Fatima Zahra
LM2D/842
02
Une approche pour l'auto-protection de
l'agent mobile
Adjabi Meriem
LM2D/818
02
Une architecture à base d'agents pour la
résolution du problème de réaménagement
de plan de fréquences pour les opérateurs
de la téléphonie mobile
Loucif Chawki
LM2D/868
02
Une architecture basée agent dédiée au
commerce électronique
Bendahmane Ines
LM2D/822
02
Une architecture basée agent pour la
réalisation d'un portail gouvernemental
Mechakel Fadila Ghazi Zineb
LM2D/794
02
Une architecture pour le développement et le Aouf Imene
déploiement d'applications métiers robustes
au sein du gloud
LM2D/884
02
Une Méthode d'optimisation par Essaim de
Bensehamdi Nahla
particule Hybride pour le recalage d'images.
LM2D/926
02
Une nouvelle approche pour le diagnostic du Beniaiche Imnes
cancer basée sur l'optimisation distribuée et
le clustering par consensus
LM2D/916
02
Utilisation des marqueurs de la bibliothèque
artoolkit pour la manipulation interactive
d'objets virtuels
Talbi Une approche à base
d'ontologie...
LM2D/896
02
Variantes de l'algorithme de lucioles pour
l'amélioration des images médicales couleur
et en viveaux de gris.
Benayad Zeyneb
LM2D/936
02
LM2D/1002
02
Vérification des processus métiers avec l'Outi Boucellah Rokia
TINA une approche basée sur la
transformation de graphes
Vers l'utilisation des design patterns pour la
conception et réalisation des web services
Boussena Halima Damak Sabrine LM2D/824
Page 7
02