Liste des notices
|
ISBN, ISSN... |
Titre |
Auteur |
Cote |
Nbr. Exp. |
|
|
DySAL
: un langage formel spécifique à la mod'lisation des architectures
logicielles dynamiques |
Smaali,Sahar |
th.doc/852 |
2 |
|
|
Choix
de marqueurs ARToolkit et sélection automatique de cibles naturelles pour une
application de réalité augmentée dédiée à l'assistance de malades
d'lalzheimer |
Badeche,Mohamed |
th.doc/854 |
2 |
|
|
Reconstruction
des cartes géographiques endommagées à partir d'éléments existants |
Baha,Fergani |
th.doc/856 |
2 |
|
|
Contributions
à la résolution du problème de routage dans les réseaux mobiles Ad-hoc par
les méthodes bio-inspirées |
Akram,Kout |
th.doc/858 |
2 |
|
|
On
the convergence and diversity of pareto fronts using swarrm intelligence
metaheuristics |
Kamel,Zeltni |
th.doc/860 |
2 |
|
|
Gestion
de la qualité de service dans les applications multimedia basée sur les
préférences de l'utilisateur et orientée vers la programmation orientée
aspect |
Farida,Bettou |
th.doc/862 |
2 |
|
|
traitement
de l'hétérogeneité sémantique pour l'exploration des sources de données
multimédias |
Aicha,Aggoune |
th.doc/864 |
2 |
|
|
Conception
de systèmes basés sur les composants de service pour l'integration et
l'adaptation d'applications d'entreprises |
Soumia,Bendekkoum |
th.doc/866 |
2 |
|
|
Modèle
et approches pour l'optimisation multi-populations et multi-régions dans les
environnements dynamiques : application à la sélection d'attribus en ligne |
Abdennour,Boulesnane |
th.doc/868 |
2 |
|
|
Test
formel des systèmes temps réel : approche de transformation de graphes |
Hiba,Hachichi |
th.doc/870 |
1 |
|
|
rd-TA
et daTA-R : modèles de temps relatif pour les systèmes temps-réel hétérogènes |
Said,Layadi |
th.doc/871 |
1 |
|
|
Une
approche basée transformation de graphes pour la génération de spécifications
maude à partir de diagrammes UML |
Wafa,Chama |
th.doc/872 |
1 |
|
|
Une
architecture logicielle à baqse de composants guidée par la qualité des
besoins |
Khalil,Elbaz |
th.doc/873 |
1 |
|
|
Proposition
d'une nouvelle architecture logicielle et un langage ADL pour les systèmes
reconfigurables |
Rabah,Mokhtari |
th.doc/876 |
1 |
|
|
Optimisation
de la classification de données par hybridation des méthodes supervisées et
non supervisées |
Amel,Hebboul |
th.doc/878 |
1 |
|
|
Approches
bio-inspirées pour le pré-traitement, l'extraction et la fusion de données
biométriques |
Lamis,Ghoualmi |
th.doc/879 |
1 |
|
|
Department
of fundamental computer science and its applications faculty of new
technologies of information and communication constantine2 - abdelhamid Mehri
university |
Zakaria
Abd el Moiz,Dahi |
th.doc/880 |
1 |
|
|
Nouvelle
approche de mod'lisation et de conception des systèmes adaptatifs complexes |
Ahmed,Tlili |
th.doc/881 |
1 |
|
|
Construction
distribuée d'espace d'états en vue d'une vérification efficace des systèmes
atemporels |
NacerTabib |
th.doc/882 |
1 |
|
|
Un
cadre sémantique formel pour la description et composition des services web |
Manel
Ahmed,Djenouhat |
th.doc/889 |
1 |
|
|
Une
aaproche de spécification et de vérification des sustèmes logiciels à base
d'agents mobiles en utilisant UML mobile et ..-calcul |
Aissam,Belghiat |
th.doc/
808 |
2 |
|
|
Contribution
à la vérification d'individus en utilisant la fusion du visage et de la voix |
Lamia,Mezzai |
th.doc/809 |
2 |
|
|
Génération
dexpressions LOTOS à partir de diagrammes UML |
Salim,Djaaboub |
th.doc/811 |
2 |
|
|
Une
mécanisme de tolérence aux fautes pour la sureté de fonctionnement d'un
système distribué : application au domaine de la domotique médicale |
Meriem,Zaatar |
th.doc/813 |
2 |
|
|
Ingénierie
des exigences dans les systèmes d'information coopératifs basés services web |
Ahmed
Ali,Bouanaka |
th.doc/817 |
2 |
|
|
Carte
cognitive floue avec aaprentissage hybride pour la modélisation et la
conception des systèmes adaptatifs complexes |
Ahmed,Tlili |
th.doc/815 |
2 |
|
|
Une
architecture logicielle à base de composants guidée par la qualité des
besoins |
Khalil,Elbaz |
th.doc/819 |
2 |
|
|
La
négociation dans les systèmes multi-agents : modèles , protocoles et
formalismes |
Djamila,Boukredera |
th.doc/821 |
2 |
|
|
Analyse
structurelle et comportementale des automates cellulaires : application au
problème de la classification de densité |
Zakaria,Laboudi |
th.doc/823 |
2 |
|
|
Optimisation
problem solving in field cellular networks |
Zakaria
abdel Moiz,Dahi |
th.doc/825 |
2 |
|
|
Une
méthode de conception agile pour les architectures orientées service |
Hamza,Chehili |
th.doc/827 |
2 |
|
|
Une
approche basée agents pour la découverte des services web en utilisant les
ontologies |
Rohallah,Benaboud |
th.doc/829 |
2 |
|
|
Modélisation
des syst'mes élastiques cloud : vers la vérification formelle de leur
comportement |
Hamza,Sahli |
th.doc/833 |
2 |
|
|
recherche
adaptative d'images par contenu : application à l'aide au diagnostic en
dermatologie |
Belattar,Khadidja |
th.doc/835 |
2 |
|
|
Contribution
à la rétro-ingénierie des bases de données relationnelles vers les bases de
données ontologiques |
Kamel,Hamaz |
th.doc/837 |
2 |
|
|
Big
data clustering of multi-level omics data sets |
Zakaria,Benmounah |
th.doc/845 |
2 |
|
|
Approches
bio-inspirées pour le pré-traitement, l'extraction et la fusion de données
biométriques |
Lamis,Goualmi |
th.doc/839 |
2 |
|
|
Définition
de modèles pour les systèmes temporisés hétérogènes et leur application au
problème d'ordonnancement de type job-shop |
Farid,
Arfi |
th.doc/785 |
2 |
|
|
Application
de nouvelles approches d'optimisation pour la biométrie |
Amira,
Bouaziz |
th.doc/787 |
2 |
|
|
Définition
de la sémantique de maximalité pour les réseaux de petri récursifs et la
relation de bissimulation de maximalité agrée |
Messaouda,
Bouneb |
th.doc/791 |
2 |
|
|
Adaptabilité
structurelle et comportementale des applications à base de composants : une
approche formelle pour spécification et la validation |
Brahim,
Djoudi |
th.doc/
794 |
2 |
|
|
Une
approche basée agent pour le développemnt du processus d'ingénierie des
exigences |
Soumia,
Bendakir |
th.doc/797 |
2 |
|
|
Un
nouveau formalisme pour la représentation et le raisonnement sur une
ontologie hybride |
Souad,
Bouaicha |
th.doc/799 |
2 |
|
|
optimization
methods for logistics routing |
Meriem,
Ammi |
th.doc/775 |
2 |
|
|
Un
système d'apprentissage à agents pédagogiques auto-adaptatifs basés
composants |
Soufiane,
Boulehouache |
th.doc/777 |
2 |
|
|
Un
processus de déveleoppemnt d'ontogies basé sur les principes su web social |
Habib-Ellah,
Gurgour |
th.doc/779 |
2 |
|
|
Contributions
à la spécification et l'analyse formelle des services web dynamiques |
Fateh,
Latreche |
th.doc/737 |
2 |
|
|
Contribution
à l'amélioration des systèmes de gestion des chaines logistiques : une
approchebasée sur les agents et les services web |
Souheila,
Boudouda |
th.doc/741 |
2 |
|
|
Modélisation
formelle des systèmes temps-réel en vue de leur exécution et analyse
spatio-temporelles |
Raja,
Boukherrou |
th.doc/745 |
2 |
|
|
Une
méthode de réduction de bruits dans la construction d'une taxonomie à partir
de rapports médicaux : application à la cardiologie |
Imene,
Bentounsi |
th.doc/747 |
2 |
|
|
Spécification
formelle des services web à interface flexible |
Yasser,
Oussalah |
th.doc/749 |
2 |
|
|
Approche
de distribution de graphes basées sur leurs colorations |
Nousseiba,
Guidoum |
th.doc/751 |
2 |
|
|
Approches
métaheuristiques à base de population pour la coloration de graphes |
Meriem,
Bensouyad |
th.doc/753 |
2 |
|
|
Entrelacement
planification / exécution dans les systèmes multi-agent |
Said,Brahimi |
th.doc/627 |
4 |
|
|
Une
approche de composition de services web à l'aide des réseaux depétri orientée
objet |
Sofiane,Chemaa |
th.doc/631 |
4 |
|
|
Des
diagrammes UML 2.0 vers les diagrammes orientés aspects à l'aide de
transformation de graphes |
Mouna,
Aouag |
th.doc/635 |
4 |
|
|
Un
modèle de l'apparence faciale invariant générique pour la détection /
localisation de visage et la reconnaissance du genre |
Mokhtar,
Taffar |
th.doc/643 |
4 |
|
|
Résolution
de problèmes d'optimisation combinatoire par les algorithmes du calcul
évolutionnaire : algorithme génétique et algorithme des chauves-souris |
Sara,
Sabba |
th.doc/623 |
4 |
|
|
Apports
du calcul quantique et des concepts possibilistes à la classification non
supervisée evolutionnaire |
Chafika,
Ramdane |
th.doc/655 |
4 |
|
|
Détection
de communautés et identification de leaders dans les réseaux sociaux de
confiance : GRAPSY |
Nacira,
Chekkai |
th.doc/659 |
4 |
|
|
Approche
basée agents mobiles et composants pour développer des applications ouvertes
et adaptables |
Abderrahim,
Siam |
th.doc/695 |
4 |
|
|
Vérification
logique des systèmes temps réel dans le contexte de la sémantique de
maximalité |
Souad,
Guellati |
th.doc/717 |
2 |
|
|
Sécurité
des applications métiers au niveau du cloud computing : controle d'accés au
niveau des APIs du cloud computing |
Gueltoum,
Bendiab |
th.doc/719 |
2 |
|
|
Une
approche basée agent pour la gestion des ressources dand le cloud computing |
Nassima,
Manaa née Bouchareb |
th.doc/721 |
2 |
|
|
Exploitation
des mécanismes rétino-corticaux pour la reconnaissance des images
d'empreintes digitales |
Raja,
Lehtihet |
th.doc/725 |
2 |
|
|
Formalisation
et analyse des processus BPEL temporellemnt temporisés par l'utilisation des
modèles de temps |
Imed
Eddine, Chama |
th.doc/727 |
2 |
|
|
Contribution
à la spécification et l'analyse formelles des services web dynamiques |
Fateh,
Latreche |
th.doc/743 |
2 |
|
|
Un
framework basé bigraphes pour la conception et l'analyse des systèmes
sensibles au contexte |
Taha
Abdelmoutaleb, Cherfia |
th.doc/755 |
2 |
|
|
Extraction
des protocoles de conversation des web à partir des fichiers logs |
Abdelkader,
Moudjari |
th.doc/757 |
2 |
|
|
Intégration
d'outils formels dans le développement des systèmes d'information orientés
services |
Maya,
Souilah Benabdelhadid |
th.doc/759 |
2 |
|
|
Modèles
et outils de conception de systèmes collaboratifs d'entreprise à base
d'architéctures orientées services |
Meriem,
Kermani |
th.doc/761 |
2 |
|
|
Agents
adaptatifs et meta-heuristiques pour la recherche d'information personnalisée |
Tarek,
Alloui |
th.doc/763 |
2 |
|
|
Approches
adaptatives et téchniques d'apprentissage automatique pour la segmentation et
la reconnaissance dynamiques de l'ecriture hors-ligne appliquées aux mots
manuscrits arabes |
Maamar,
Kef |
th.doc/765 |
2 |
|
|
Contribution
à la résolution de probl'mes bioinformatiques par les algorithmes
evolutionnaires |
Widad,
Kartous |
th.doc/767 |
2 |
|
|
Représentation
et raisonnement par classification sur des connaissances ontologiques
multi-points de vue |
Meriem,
Hemam née Djezzar |
th.doc/769 |
2 |
|
|
Conception
des syst'mes multi-agents a base de modeles formels integrant le flou |
Sofia,
Kouah |
th.doc/771 |
2 |
|
|
Observer
/ controller and ontology / rule-based architecture : a design approach for
context-aware pervasive computing systems |
Amina,
Hameur Laine |
th.doc/773 |
2 |
|
|
Identification
de biomarqueurs et d'ARN non codants par des approches basées sur
l'intelligence computationnelle |
Anour,
Boucheham |
th.doc/781 |
2 |
|
|
Une
approche à base d'agents apprenants pour assurer la tolérence aux fautes dans
les systèmes multi-agents |
Mounira,
Bouzahzah |
th.doc/783 |
2 |
|
|
Utilisation
des méthodes d'optimisation pour trouver une meilleure solution de
composition de service web |
Serial
Rayane, Bousaalia |
th.doc/789 |
2 |
|
|
Une
approche à base d'agents et de composants pour l'interopérabilité des clouds |
Meriem,
Thabet |
th.doc/795 |
2 |
|
|
Optimizing
multi-constrained skyline queries using views materialization |
Samiha,
Brahimi |
th.doc/739 |
2 |
|
|
On
the convergence and diversity of pareto fronts using swarm intelligence
metaheuristics |
Kamel,Zeltni |
th.doc/851 |
2 |
|
|
Un
environnement d'aide à la conception des systèmes digitaux : une approche
mixte UML/FGRS |
Zakaria,Lakhdara |
th.doc/805 |
2 |
|
|
Recommandation
par combinaison de filtrage collaboratif et d'analyse d'options |
Esma,Bouchama |
lm2d/1430 |
1 |
|
|
AODVPS,
nouveau protocole de routage basé sur l'algorithme de recherche pingouin pour
la résolution de routage dans les réseaux mobile Ad Hoc |
Amira,Kout |
lm2d/1431 |
1 |
|
|
Un
système multi-agents BDI pour une application smart shop |
Yassine,
Boulkroum |
lm2d/1432 |
1 |
|
|
Prétraitement
de l'image biométrique : application aux ilages veines palmaires |
Selma,Eldjou |
lm2d/1433 |
1 |
|
|
Vers
une communication sécurisée dans l'internet des objets : application de la
cryptographie lightweight |
Nouhad,
Boulahbal |
lm2d/1434 |
1 |
|
|
Un
système d'intelligence ambiante basé sur le modèle BDI : smart house |
Nassim,Yakhlef |
lm2d/1435 |
1 |
|
|
Simulation
d'un pancréas artificiel à travers un logiciel devant équipé une pompe à
insuline intelligente et autonome pour les patients diabétiques de type 1 |
Mohamed
Lamine,Chihani Moulay |
lm2d/1436 |
1 |
|
|
Controle
d'accés adapté à l'internet des objets : une approche basée sur
l'authentification unique SSO |
Hayet,Tamine |
lm2d/1437 |
1 |
|
|
Une
nouvelle approche de recommandation collaborative et contextuelle : vers un
menu personnalisé pour un régime alimentaire |
Khadidja,Bouchelik |
lm2d/1438 |
1 |
|
|
Prototypage
et implémentation d'un objet connecté ( de l'identification des besoins à la
mise en oeuvre ) |
Anisse,Gohtari |
lm2d/1439 |
1 |
|
|
Développement
d'un système de gestion des apprenants basée sur la spécification IMSLIP dans
les plate-formes d'E-learning |
Abderrahmane,
Belhouase |
lm2d/1440 |
1 |
|
|
Solving
cold start problem in recommandation systems using linked data |
Anfal,Kadi |
lm2d/1441 |
1 |
|
|
Un
système ambiant à base d'objets connectés et intelligents : application à la
domotique |
Ishaq,Zouaghi |
lm2d/1442 |
1 |
|
|
Study
and development of a classroom management system : application for
programming language labs |
Omar,
Bousbia Brahim |
lm2d/1443 |
1 |
|
|
Un
système de défense contre l'attaque de déni de service distribué ( DDoS ) |
Khalid,Belharbi |
lm2d/1444 |
1 |
|
|
Conception
d'une maison intelligente basée sur l'internet des objets : application à la
sécurité et à l'economie d'énergie |
Khadidja,Benseghier |
lm2d/1445 |
1 |
|
|
Le
repositionnement de médicaments par une approche basée sur l'apprentissage
profond dans un cadre semi supervisé |
Hanene,Mennour |
lm2d/1446 |
1 |
|
|
vers
une sécurité des infrastructures cloud computing |
Khouloud,Boukhelfa |
lm2d/1447 |
1 |
|
|
Clustering
intégratif basé sur l'apprentissage profond pour le sous-typage de la maladie
du cancer |
Selma,Torchi |
lm2d/1448 |
1 |
|
|
Approche
hybride pour la selection d'attribus à la volée : application à la
classification pour le diagnostic du cancer |
Chahla,Chaibeddra |
lm2d/1449 |
1 |
|
|
Un
système multi-agents pour la contruction d'une maison intelligente dans un
environnement d'intelligence ambiante ' smart home-smart kitchen ' |
Raja,Hamli |
lm2d/1450 |
1 |
|
|
mp-SAVE1.0
: multi paradigm specification and verification environment, integrant des
outils de vérification des systèmes temporels et atemporels |
Ali,Mamadou |
lm2d/1451 |
1 |
|
|
Une
approche de transformation des modèles ( BPMN ) vers les réseaux de petri (
RDP) et de verification formelles des propriétés structurelles à l'aide de
l'outil Isabelle/Hol |
Ahlem,
Meciad |
lm2d/1453 |
1 |
|
|
Une
approche de transformation des modèles ( BPMN ) vers les réseaux de petri à
l'aide de l'outil AToMPM |
Naima,Makhloufi |
lm2d/1454 |
1 |
|
|
Apprentissage
profond et suivi de mouvement : application au controle du trafic routier |
Yaakoub,Sahli |
lm2d/1455 |
1 |
|
|
Etude
comparative entre deux modèles formels sur des problemes d'ordonnancement de
type job-shop |
Moussa,
Doumbia |
lm2d/1457 |
1 |
|
|
Développement
d'un système d'allocation de taches : application à l'affectation des experts |
Oualid,Souki |
lm2d/1458 |
1 |
|
|
Le
soft computing pour l'optimisation de la durée de vie réseau de capteurs sans
fil |
Mohammed
Rida,Mehemmai |
lm2d/1459 |
1 |
|
|
Développement
d'une application ) base de patrons de conceotion spécifiques : cas d'un
système auto-adaptatif |
Imed
Eddine, Zerdazi |
lm2d/1460 |
1 |
|
|
Proposition
d'une architecture AADL pour un paas |
Omar,
Benzekri |
lm2d/1461 |
1 |
|
|
Etude
et implémentation d'algorithmes explicatifs du comportement d'un agent BDI à
partir d'une hiérarchie de ses croyances |
Mehdi
Aissa,Belaloui |
lm2d/1462 |
1 |
|
|
Combinaisondes
bigraphes et des agents pour la modélisation des applications IOT |
Romaissa,
Kitouni |
lm2d/1463 |
1 |
|
|
Conception
et réalisation d'une stratégie de fidélisation client |
Abdelhalim,
Riache |
lm2d/1464 |
1 |
|
|
Conception
et réalisation d'une application web pour le suivi d'apprentissage |
Houssem
Eddine, Djeghri |
lm2d/1465 |
1 |
|
|
Développement
d'un système à base de traces pour le suivi des apprenants dans les
plateformes de E-learning : etude de cas Moodle |
Abderrahmane,Gridi |
lm2d/1452 |
1 |
|
|
Modèles
MapReduce pour la validation du clustering de données |
Afaf,Kachi |
lm2d/1456 |
1 |
|
|
Développement
d'une simulation simplifiée d'un robot domestique |
Abdouramane,Mahamane
Idrissa |
lm2d/1466 |
1 |
|
|
Outils
de base d'un environnement de traitement des formules de la logique du
premier ordre |
Abdelmaek,
Bellal |
lm2d/1467 |
1 |
|
|
Gestion
des inscriptions online des étudiants en master 1 de la faculté NTIC |
Ouail,
Bellal |
lm2d/1468 |
1 |
|
|
Outil
de suivi d'apprentissage |
Amina,
Eldjou |
lm2d/1469 |
1 |
|
|
Proposition
d'une méthode de correction automatique de Qcm à format libre |
Mouad,
Hebik |
lm2d/1470 |
1 |
|
|
Une
application de gestion de cabinets médicaux : solution web |
Oussama,
Touadjni |
lm2d/1471 |
1 |
|
|
Réalisation
d'un système à base d'objets connectés pour le controle de la qualité d'eau |
Mostafa
Yahia, Derouaz |
LM2D/
1472 |
1 |
|
|
Proposition
et simulation d'une approche pour l'optimisation de la consommation
énergétique des applications |
Nour
El Houda,Bouzerzour |
lm2d/1472 |
1 |
|
|
Une
méthode à base de composants de services pour l'integration d'applications
d'entreprises |
Billel,
Aklouche |
lm2d/1473 |
1 |
|
|
Conception
et realisation d'un site web dynamique de vente en ligne des produits
informatiques |
Nour
El Quiam, Redouane |
lm2d/1474 |
1 |
|
|
Vers
un système E-laboratoire national |
Habib
Erahmane, Djouada |
lm2d/1475 |
1 |
|
|
Une
application de gestion de cabinets médicaux : solution web |
Abderrahmane,
Mechri |
lm2d/1476 |
1 |
|
|
Conception
et réalisation d'un site web dynamique de vente en ligne des produits
informatiques |
Ouisal,
Sadouni |
lm2d/1477 |
1 |
|
|
Conception
et réalisation d'une stratégie de fidélisation de client |
Abdellah,
Herri |
lm2d/1478 |
1 |
|
|
Approche
multi-objectif basée DE pour détection de communautés dans les réseaux
sociaux |
Khaoula,
Benaissa |
lm2d/1479 |
1 |
|
|
Proposition
d'un protocole d'authentification multi-facteur ' BMAP ' |
Wissam,
Boutemine |
lm2d/1407 |
1 |
|
|
Vers
un logiciel de gestion intégré : développemnt des fonctions de planification
et de ventes au niveau de l'entreprise ETRAG |
Mouad,
Selmadji |
lm2d/1409 |
1 |
|
|
Contribution
à la plateforme de gouvernance, gestion des risques et gestion de conformité
des projets liés à l'internet des objets |
Kenza,
Dekhil |
lm2d/1410 |
1 |
|
|
Proposition
et uimplémentation d'un modèle de recommandation pour les données textuelles
sur le web : application à la recommandation des articles d'actualités |
Hamza,
Ficel |
lm2d/1412 |
1 |
|
|
Un
portail cloud pour la sélection des fournisseurs clouds selon les besoins des
clients |
Chabane,
Djeddi |
lm2d/1413 |
1 |
|
|
Vers
l'automatisation de la gestion des examens au niveau de l'université
Constantine 2 - Abdelhamid Mehri |
Louiza,
Zaoui |
lm2d/1414 |
1 |
|
|
Approches
NoSQL : étude comparartive et étude de cas |
Med
Amir, Ayoun |
lm2d/1415 |
1 |
|
|
Développement
d'une application de stéganographie pour la protection de la propriété
intellectuelle |
Foued,
Latreche |
lm2d/1416 |
1 |
|
|
Conception
et réalisation d'une cartographie des connaissances basée sur une ontologie
de domaine : domaine déapplication |
Azeddine,
Boudjema |
lm2d/1417 |
1 |
|
|
Représentation
ontologique multi-points de vue des concepts composites et leurs composants |
Sara,
Boumekh |
lm2d/1418 |
1 |
|
|
Une
approche modulaire pour le développement des applications dans le green
computing |
Imene,
Bareche |
lm2d/1419 |
1 |
|
|
Mise
en oeuvre d'une approche d'anonymisation pour la securisation des processus
metier dans le cloud |
Med
Abdessalam, Benkahoul |
lm2d/1420 |
1 |
|
|
Conception
et réalisation d'une ontologie pour la gestion du réseau routier de
constantine |
Med
Abdessalam, Benkahoul |
lm2d/1421 |
1 |
|
|
Proposition
d'un modèle conceptuel utilisateur basé sur les outils du web 2.0 pour le
développement d'ontologie de domaine |
Nesrine,
Bellout |
lm2d/1422 |
1 |
|
|
Spécification
formelle des applications à base de cloud coputing |
Zoubir,
Messaoudene |
lm2d/1423 |
1 |
|
|
Vers
l'amélioration du controle d'accès au dossier de santé électronique |
Fatima,
Bouchemal |
lm2d/1424 |
1 |
|
|
Proposition
d'une méthodologie orientée agent pour la gestion des processus métiers |
Naila,
Lekehal-Ayat |
lm2d/1425 |
1 |
|
|
Mise
en oeuvre d'un système d'information décisionnel au sein de l'entreprise
G.P.SK |
Zakaria,
Djidja |
lm2d/1223 |
1 |
|
|
Controle
d'accés basé sur XACML pour les environnement de cloud computing |
Sara,
Zatout |
lm2d/1285 |
1 |
|
|
Vers
l'intégration des mpdèles à base de composant : cas des bundles OSGI |
Imane,
Soudous |
lm2d/1293 |
1 |
|
|
Le
déploiement dans le modèle X-MAN |
Imane,
Henniche |
lm2d/1294 |
1 |
|
|
Modélisation
et réalisation d'un systéme de navigation et d'interconnexion dans les
réseaux routiers |
Hamza,
Benziane |
lm2d/1288 |
1 |
|
|
Application
pour la création des sites xeb des équipes de recherche |
Med
Nour Islam, Benhafed |
lm2d/1289 |
1 |
|
|
Une
approche basée réseaux de petri pour l'analyse de la similarité de
coportement des services web |
Zellagui,
Dina |
lm2d/1290 |
1 |
|
|
etude
de la reconfiguration dynamique dans le modèle de composant palladio |
Fatima
Zohra, Bensalhia |
lm2d/1291 |
1 |
|
|
Influence
des appels répétés et des canaux gardiens sur les performances des réseaux
mobiles cellulaires de petites cellules |
Ihcene,
Ben M'hamed |
lm2d/1292 |
1 |
|
|
Une
approche modulaire pour le développemnt des applications dand le cloud |
Imene,
Boudjadar |
lm2d/1284 |
1 |
|
|
Vers
l'amélioration du controle d'accés au dossier médical électronique dans un
environnement cloud |
Saida,
Bourouina |
lm2d/1287 |
1 |
|
|
Etude
expérimentale sur l'utilisation de l'algorithme génétique pour le débruitage
du signal ECG |
Dalel,
Mekkiou |
lm2d/1286 |
1 |
|
|
Une
approche pour la représentation et l'instanciation des patrons de conception |
Fatima
Zohra, Kenhani |
lm2d/1296 |
1 |
|
|
Une
nouvelle approche pour la résolution du problème de congestion dans les
VANETs sans infrastructure |
Saddam,
Belabed |
lm2d/1297 |
1 |
|
|
Modélisation
du comportement probabiliste : cas de l'elasticité dans les systémes cloud |
Esma,
Maatougui |
lm2d/1298 |
1 |
|
|
Une
approche intégré à base des bigraphes et les agents pour la spécification des
systèmes cloud |
Billel,
Seghir |
lm2d/1299 |
1 |
|
|
Validation
des transformations des processus métiers vers les réseaux de petri simples |
Amina,
Khellas |
lm2d/1309 |
1 |
|
|
La
securité dans les réseaux de capteurs sans fil : modélisation et simulation
du problème du trou noir dans les réseaux RCSF |
Cheima,
Degdeg |
lm2d/1307 |
1 |
|
|
Big
data analytics pour la securité des opérations bancaires |
Zakaria,
Berbeche |
lm2d/1303 |
1 |
|
|
Transformation
modèle vers modèle des diagrammes de communication vers BMachine |
Khadidja,
Chellia |
lm2d/1310 |
1 |
|
|
tableau
de bord pour la gestion de qualité de l'eau ( taux de chlore ) utilisant la
TGRC |
Housem
Eddine, Ferrah |
lm2d/1317 |
1 |
|
|
Repartition
dynamique de charge : application aux problèmes d'optimisation |
Issam,Benderradji |
lm2d/1315 |
1 |
|
|
Etude
comparative entre le protocole Chord et le protocole self-chord |
Bochra,
Guerroudj |
lm2d/1319 |
1 |
|
|
Modèles
et architectures pour la validation de clustering de données en MapReduce |
Amina,
Merniz |
lm2d/1318 |
1 |
|
|
An
efficient approach for job shop scheduling |
Ahmed
Yahia, Gharboudje |
lm2d/1314 |
1 |
|
|
MISC
2016 smart-symposium : une application android ambiante et connectée en vue
d'assister contextuellement des conferenciers |
Nadir,
Atamna |
lm2d/1316 |
1 |
|
|
Estimation
d'age à partir de données biométriques |
Soulef,
Tidi |
lm2d/1330 |
1 |
|
|
Implémentation
de l'algorithme d'accissibilité pour la vérification des systèmes temps réel
centralisés |
Soulef,
Tidi |
lm2d/1329 |
1 |
|
|
Problème
de consensus dans les systèmes distribués tolérants aux pannes |
Souhila,
Boudagha |
lm2d/1328 |
1 |
|
|
Reconnaissance
des matricules par apprentissage automatique |
Oussama,
Boulahbal |
lm2d/1327 |
1 |
|
|
Une
composition web services vers une composition cloud services |
Mouhamed
Cherif, Benlakhlef |
lm2d/1326 |
1 |
|
|
Utilisation
des bigActors pour la spécification du déploiement dans le cloud |
Imane,
Mesbah |
lm2d/1325 |
1 |
|
|
Mise
à l'échelle de l'ptimisation multi-objectif basée sur des modèles Hadoop
MapReduce |
Kenza,
Gasmi |
lm2d/1324 |
1 |
|
|
Transformation
de diagrammes de composant UML vers COQCOTS en utilsant TGG |
Khaled,
Mokrani |
lm2d/1323 |
1 |
|
|
Desambiguisation
des toponymes guidée par des ressources géographiques |
Naouel,
Bougriou |
lm2d/1321 |
1 |
|
|
Spécification
et réalisation d'un objet connecté dans le domaine de la vérification de la
qualitébd'un paramètre environnemental |
Sameh,
Bouteldja |
lm2d/1322 |
1 |
|
|
Construction
et évolution des centres d'interets à coutt et à long terme |
Mohamed,
Fehdi |
lm2d/1340 |
1 |
|
|
Conception
et réalisation d'un logiciel d'écoute clientèle |
Walid,
Dahmani |
lm2d/1339 |
1 |
|
|
Approche
génétique pour le problème de PVC |
Mokhtar,
Khellaf |
lm2d/1334 |
1 |
|
|
Génération
du code java à partir d'une spécification AADL |
Randa,
Ait Younes |
lm2d/1335 |
1 |
|
|
Système
biomètrique pour sécuriser l'accés au telephone mobile |
Sara,
Berrabah |
lm2d/1331 |
1 |
|
|
Une
aaproche d'optimisation de la consommation d'énérgie pour la déportation de
calculs dans le mobile cloud computing |
Sana,
Nadouri |
lm2d/1337 |
1 |
|
|
Approche
sécurisée pour le déchargement de calculs au niveau de mobile cloud computing |
Hadjer,
Guessoum |
lm2d/1332 |
1 |
|
|
Outils
de base d'un environnement de traitement des formules de la logique
propositionnelle |
Sid
Ali, Bouadjemine |
lm2d/1338 |
1 |
|
|
Un
système d'aide au diagnostic des maladies de la peau ( Lichen plan -psoriasis
) |
Zahira,
Hammadi |
lm2d/1344 |
1 |
|
|
AODVCS,
nouveau protocle de routage basé sur l'algorithme de recherche coucou pour la
résolution de problème de routage dans les réseaux mobile Ad Hoc |
Naima,
Saidi |
lm2d/1347 |
1 |
|
|
Contribution
à la résolution du problème de l'ensemble dominant connexe minimum .
Application aux réseaux de capteurs |
Hamza,
Aichour |
lm2d/1345 |
1 |
|
|
MOJIB
: un système web de question-réponses en langue arabe basé sur une
architecture générale améliorée |
Abdelbaki,
Hamadene |
lm2d/1343 |
1 |
|
|
Extraction
d'entités spatiales dans les textes guidée par ressources linguistique |
Yasmina,Fertas |
lm2d/1350 |
1 |
|
|
Conception
et réalisation d'un réseau de neurone convolutionelle : application sur des
images ( face, non-face ) |
Djamel,
Benrabah |
lm2d/1349 |
1 |
|
|
Une
nouvelle approche de gestion fédérée des identités pour le cloud computing |
Imed,
Derouiche |
lm2d/1348 |
1 |
|
|
Allocation
des ressources dans le cloud computing |
Lazhar,
Benyahia |
lm2d/1346 |
1 |
|
|
Résolution
du problème de Bin Packing à deux dimensions par BAT-DE Hybride |
Mohamed
Amine, Hebboul |
lm2d/1341 |
1 |
|
|
Approche
hybride baseé contexte et ontologie pour la sécurisation des systèmes
d'information application aux services web |
Mohamed
Amine, Hebboul |
lm2d/1342 |
1 |
|
|
Vie
privée et gestion fédérée des identités dans un environnement cloud computing |
Bilel,
Satouh |
lm2d/1357 |
1 |
|
|
Une
étude comparative de deux implémentations de pas de lévy : algorithmes
mantegna et MCculloch |
Lydia,
Meghari |
lm2d/1353 |
1 |
|
|
Tatouage
des images avec des données biométriques révocables pour la preuve de
propriété |
Zahia,
Ayadi |
lm2d/1358 |
1 |
|
|
Approche
bi-objectif basée NSGA II pour la classification automatique de données |
Chahinez,
Boucetta |
lm2d/1360 |
1 |
|
|
Une
approche basée ' sac de mots visuels ' pour la reconnaissance de la langue
des signes arabe |
Haroune,
Boulfoul |
lm2d/1359 |
1 |
|
|
Reconnaissance
de visage par sac de caractéristiques |
Racha,
Khengui |
lm2d/1355 |
1 |
|
|
Débruitage
d'images par l'utulisation des filtres , le PSO et le seuillage classique des
coéfficients d'ondelettes |
Dalila,
Ikhlef |
lm2d/1354 |
1 |
|
|
Approvisionnement
de qualité de service et la gestion dynamique des ressources d'interférence
dans le réseau 4G LTE |
Taha,
Bouchemal |
lm2d/1352 |
1 |
|
|
Clustering
des documents texyes par la méthode FireFly application au corpus : 20
newsgroups |
Ilhame,
Benberna |
lm2d/1370 |
1 |
|
|
Gestion
dynamique d'une institution académique et scientifique : application au
laboratoire MISC |
Mohamed
Raouf, Kanfoud |
lm2d/1369 |
1 |
|
|
Améliorartion
du contraste des images couleurs et en niveau de gris par des approches
bio-inspirées |
Amira,
Atissam |
lm2d/1367 |
1 |
|
|
Conception
et réalisation d'une application web eCV pour le recrutement électronique |
Manel,
Lamara |
lm2d/1366 |
1 |
|
|
Contribution
à la résolution du problème de l'ensemble dominant connexe minimum :
application à l'analyse des réseau sociaux |
Mouad,
Boulguemh |
lm2d/1364 |
1 |
|
|
Mobi-Diet
: une application mobile pour le suivi de régime |
Mohamed
Zakaria, Bouart |
lm2d/1363 |
1 |
|
|
La
mise en correspandance des images pour une application de la réalité
augmentée |
Wafa,
Boufeneche |
lm2d/1362 |
1 |
|
|
Envers
la réalisation d'un outil de vérification de qualité de l'eau en mesurant le
taux de chlore |
Nora,
Rais |
lm2d/1361 |
1 |
|
|
La
classification automatique des documents textes avec LSA |
Dallal,
Benmerache |
lm2d/1371 |
1 |
|
|
Intégration
d'une carte d'acquisition vidéo dans une plateforme FPGA de type
Xilinx-Virtex5 |
Yakoub,
Khouder |
lm2d/1372 |
1 |
|
|
Modélisation
et vérification d'un système temps réel avionique |
Zakaria,
Elaggoune |
lm2d/1380 |
1 |
|
|
Confiance
dans les systèmes à agents mobiles |
Ahmed
Naiim, Boudemagh |
lm2d/1378 |
1 |
|
|
Tableau
de bord pour la gestion de la qualité de l'air ( CO2) en utilisant la GRC (
gouvernance , risque et conformité ) et TGRC |
Farida,
Chetouane |
lm2d/1377 |
1 |
|
|
Optimisation
de la durée de vie d'un réseau de capteurs sans fil par les algorithmes basés
SWARM |
Bouthaina,
Bouhlassa |
lm2d/1376 |
1 |
|
|
Développement
d'un système de télésurveillance médicale des patients en réanimation |
Sara,
Bouhouche |
lm2d/1375 |
1 |
|
|
Sécurisation
d'un système biométrique avec préservation de l'anonymat |
Manal,
Rezzoug |
lm2d/1374 |
1 |
|
|
Simulation
d'un middleware pour résoudre le problème d'intéropérabilité dans le cloud
computing |
Ahmed
Charafeddine, Meftah |
lm2d/1373 |
1 |
|
|
mp-SAVE
0.1 : a multi-paradigm environment for systems specification and verification |
Sara,
Boumeddous |
lm2d/1379 |
1 |
|
|
Vérification
formelle d'un système de controle manufacturier reconfigurable |
Yahai
A.Rahmene, Boumendjel |
lm2d/1387 |
1 |
|
|
Conception
et réalisation d'un logiciel d'écoute clientèle |
Racim,
Abdou |
lm2d/1386 |
1 |
|
|
Concetion
et réalisation d'un logiciel d'écoute clientèle |
Ikram,
Harket |
lm2d/1385 |
1 |
|
|
Etude
des critères de fiabilité de reconfiguration dynamique dans les systèmes )
base de composants |
Meriem,
Bouyema |
lm2d/1383 |
1 |
|
|
Nouvelles
technologies dans les systèmes de gestion de pret de document |
Chouaib,
Bourahla |
lm2d/1382 |
1 |
|
|
gestion
des affectations des salles TDs/TPs de faculté NTIC |
Khaled,
Latreche |
lm2d/1381 |
1 |
|
|
Expression
et vérification de contraintes liées à une architecture logicielle dynamique
basée sur l'approche MDA |
Zakaria,
Kadri |
lm2d/1390 |
1 |
|
|
Nouvelles
technologies dans les systèmes de gestion de pret de document |
Fadi,
Amireche |
lm2d/1384 |
1 |
|
|
Etude
d'un algorithme de clusterisation distribué multi-saut dans les zones non
couvertes des réseaux ad-hoc véhiculaires |
Me
Ahmed Amine, Derradji |
lm2d/1388 |
1 |
|
|
Vers
la réalisation d'un système d'identification automatique des structures
anatomiques pour l'aide au diagnostic |
Yaakoub,
Checkchouk |
lm2d/1398 |
1 |
|
|
Spécification
formelle des applications à base de cloud computing |
Amel,
Guerra |
lm2d/1396 |
1 |
|
|
Nouvelles
technologies dans les systèmes de gestion de pret de documents |
Yasser,
Chaib |
lm2d/1395 |
1 |
|
|
La
confiance dans les systèmes à base d'agents mobiles |
Cheima,
Berdjouh |
lm2d/1393 |
1 |
|
|
Extension
du modèlr SCA par l'auto-Adaptation dirigée par la qualité |
Dounia,
Sahbi |
lm2d/1392 |
1 |
|
|
Modèle
pédagogique de sélection de formateurs basé sur leur profiles |
Zohra,
Nemdil |
lm2d/1391 |
1 |
|
|
Routage
dans les réseaux maillés sans fil |
Mohamed
Tayeb, Benterki |
lm2d/1399 |
1 |
|
|
Les
patrons de conception pour le cloud computing |
Moncef,
Sekhsoukh |
lm2d/1397 |
1 |
|
|
Déploiement
de logiciel et langage AADL |
Yasmine,
Haddi |
lm2d/1400 |
1 |
|
|
Simulation
simplifiée d'un robot domestique |
Oussama,
Dorbabi |
lm2d/1394 |
1 |
|
|
Système
de traitement de sondage en ligne pour l'assurance qualité au sein FNTIC |
Salima,
Benmerabet |
lm2d/1405 |
1 |
|
|
Une
application de transformation de modèle pour la méta-modélisation et la
spécification de l'élasticité dans le cloud |
Amira,
Aouissat |
lm2d/1403 |
1 |
|
|
Une
approche basée transformation de modèle pour la représentation des patrons de
conception dans Maude |
Ilhem,
Menzer |
lm2d/1402 |
1 |
|
|
Les
algorithmes évolutionnaires pour l'optimisation de la durée de vie d'un
réseau de capteurs sans fil |
Med
Redha, Berkane |
lm2d/1401 |
1 |
|
|
Une
approche de transformation et de vérification des diagrammes d'activité d'UML
vers CSP à l'aide de l'outil GROOVE |
Med
Amine, Charif |
lm2d/1404 |
1 |
|
|
Une
architecture combinant les paradigmes agent et service web sémantique pour la
gestion des processus métiers |
Med
Nadjib, Boufennara |
lm2d/1406 |
1 |
|
|
Conception
et réalisation d'une application pour la gestion de maintenance assistée par
ordinateur |
Aymen,
Chibouti |
lm2d/1408 |
1 |
|
|
Vers
l'amélioration du système de prescription électronique |
Sofiane,
Belagrouz |
lm2d/1411 |
1 |
|
|
Génération
distribué d'un espace d'etat dans un environnement dynamique |
Mohamed
Amine, Boufelfel |
lm2d/1426 |
1 |
|
|
Traitement
d'un signal ECG : estimation des intervalles cardiaques |
Nihad
Nour El Houda, Smail |
lm2d/1427 |
1 |
|
|
Extension
de DC-Maude par la notion d'evénement |
Ali,
Bensmail |
lm2d/1428 |
1 |
|
|
Construction
d'un système d'apprentissage automatique pour le transport intelligent dans
un contexte big data ( dand le cadre des smart city ) |
Louati,Amani |
lm2d/1493 |
|
|
|
Déportation
de calcul dans le mobile edge computing : un outil de partionnement |
Abada,Nour
El Houda |
lm2d/1492 |
1 |
|
|
La
validation externe du clustering des données massives sous SPARK |
Chebel,Hind |
lm2d/1491 |
1 |
|
|
Agent
conversationnel pour la gestion de la relation client |
Zani,Mohamed
Cherif |
lm2d/1490 |
1 |
|
|
Modélisation
basée composants des systèmes Edge computing |
Shout,Oussama
Nassim |
lm2d/1489 |
1 |
|
|
Approche
basée Deep Learning pour la classification des protéines |
Haddad,Hadjer |
lm2d/1488 |
1 |
|
|
WADIFNI
: une application web de e-recrutement par recommandation |
Ayad,Abdeldjalil |
lm2d/1487 |
1 |
|
|
Une
approche de transformation des ECATNets vers Maude en utilisant l'outil
AToMPM |
Khoutri,Sarra |
lm2d/1486 |
1 |
|
|
Réalisation
d'un système d'automatisation intelligente d(ouverture sécurisée de portes et
de controle électrique d'un building |
Bourahla,Chouaib |
lm2d/1485 |
1 |
|
|
Proposition
d'un système de reconnaissance des situations contextuelles dans un cadre des
maisons intelligentes |
Staifi,Noureddine |
lm2d/1484 |
1 |
|
|
Réalisation
de site web de demandes d'offres d'emplois indépendants ( freelance ) |
Benhacine,Mehdi |
lmd/1742 |
1 |
|
|
Concetion
et réalisation d'un site web dynamique pour l'hébergement ( Aaber Sabiil ) |
Lamara,Yasmine |
lmd/1743 |
1 |
|
|
Réalisation
de site web de demandes et d'offres d'emplois indépendants ( freelance ) |
Chelghoum,Massinissa |
lmd/1744 |
1 |
|
|
Conception
et réalisation d'un site web dynamique pour la gestion de covoiturage (
Noussafir ) |
Merahi,Selma |
lmd/1745 |
1 |
|
|
Conception
et réalisation d'un site web dynamique ( abeer sabiil ) |
Deneche,Aya |
lmd/1746 |
1 |
|
|
Gestion
de location de biens d'une agence immobilière |
Hamidechi,Mohamed
Aymen |
lmd/1747 |
1 |
|
|
Gestion
des ventes pour une société immobilière |
Yahiouche,Arslane |
lmd/1748 |
1 |
|
|
Gesstion
de location de biens d'une agence immobilère |
Boulkamh,Selma |
lmd/1749 |
1 |
|
|
Gestion
de location véhicules |
Touati,Hatem
Mohamed Nazim |
lmd/1750 |
1 |
|
|
Conception
et réalisation d'un site web dynamique pour la gestion de ( covoiturage ) |
Bedouhane,Karima |
lmd/1751 |
1 |
|
|
Vérification
formelle de la substitution des services WEB |
Bourouz,Sofiane |
th.doc/916 |
2 |
|
|
Modélisation
à base d’agents de l’apprentissage personnalisé et adaptatif |
Bouzenada,Smain
Nacer Eddine |
th.doc/918 |
1 |
|
|
Une
approche basée sur l’ingénierie dirigée par les modèles pour la vérification
des descriptions AADL |
Hamdane,Mohamed
El Kamel |
th.doc/920 |
2 |
|
|
Proposition
d’algorithmes de distribution des espaces d’etats en vue d’une verification
basee model checking :Application aux automates temporises avec durees
d’actions |
Bensetira,Imene |
th.doc/922 |
2 |
|
|
Approches
formelles basèes Agent pour la modèlisation des systèmes sensibles au
contexte |
Sahnoun,Ali |
th.doc/924 |
2 |
|
|
Gestion
autonome des réseaux IP basée sur la logique de gestion SDN |
Benchikh
El Houcine,Madjed |
th.doc/
927 |
2 |
|
|
Amélioration
de la sécurité industrielle par apprentissage automatique et profond |
Kerboua,Adlene |
th.doc/928 |
2 |
|
|
Mise
à l’échelle d’algorithmes d’apprentissage et extension de plateformes de
calcul distribué dans un contexte Big data |
Mennour,Rostom |
th.doc/930 |
2 |
|
|
Analyse
et traitement des images par des approches basées sur l’intelligence
computationnelle et la théorie des jeux |
Bouteldja,Mohamed
Abdou |
th.doc/932 |
2 |
|
|
Contributions
à la Composition de services dans le Cloud par optimisation et
auto-organisation |
Zertal,Soumia |
th.doc/934 |
2 |
|
|
Annotation
sémantique de textes à base de données liées |
Larbi,Lahcene |
th.doc/1496 |
1 |
|
|
Détection
des Malwares par l’Analyse Approfondie de l’En-tête PE |
Guelib,bouchra |
th.doc/1495 |
1 |
|
|
Des
ERP traditionnels au cloud ERP |
Dridi,Azza
|
lm2d/1494 |
1 |
|
|
Analyse
de mouvements dans une séquence d’images |
Ghoul,Khalid |
th.doc/936 |
2 |
|
|
Approches
immunitaires pour la détection d’intrusions réseaux |
Chikhi,Ramdane |
th.doc/938 |
2 |
|
|
Simulation
multi-agents de marchés financiers: Un modèle pour l’étude des bulles
spéculatives |
Benhammada,Sadek |
th.doc/914 |
2 |
|
|
Une
approche d’intégration de données et de services dans les systèmes
d'information pervasifs |
Belgharbi,Karima |
th.doc/940 |
2 |
|
|
Approches
bio-inspirées et apprentissage profond pour la reconnaissance des formes :
Application à la reconnaissance hors-ligne des caractères manuscrits arabes
isolés |
Boufenar,Chaouki |
th.doc/912 |
|
|
|
Une
méthodologie de construction et de vérification du processus d'affaires dans
le cloud computing basé sur les systèmes multi-agent et les méthodes
formelles |
|
th.doc/910 |
|
|
|
Specifcation
et Verifcation Formelle des Systemes Cloud |
Benzadri,Zakaria
|
th.doc/803 |
|
|
|
Véerification
de la Composition de Services par la Transformation de Mod`eles |
Nouara,Redouane |
th.doc/891 |
|
|
|
Contributions
au développement et au raisonnement par classification dans les ontologies
floues |
Asma,Djellal |
th.doc/895 |
|
|
|
Recherche
d‘Information Géographique à l‘aide des Ontologies Spatiales de Localisation |
Abdelkoui,Feriel |
th.doc/897 |
|
|
|
Efficient,
Scalable and Economics-based Resource Management in Peer-To-Peer Grids |
Chergui,Nabila
|
th.doc/905 |
2 |
|
|
Une
aaproche pour la vérification de la cohérence comportementale des diagrammes
UML2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers
les automates de Buchi |
Nabil,Messaoudi |
th.doc/903 |
2 |
|
|
Une
approche cognitive pour la validation collaborative des exigences |
Sourour,MAALEM
|
th.doc/942 |
2 |
|
|
Approches
de veri |
Said,MEGHZILI
|
th.doc/944 |
2 |
|
|
K-DPL
: un langage de modélisation des patrons de conception basé K |
Douibi,Halima |
th.doc/946 |
2 |
|
|
Développement
d'une application dédiée à l'analyse des fichiers logs des plateformes
d'E-learning ( moodle ) |
Ghennai,Yougourta |
lmd/1754 |
|
|
|
Location
based services in android operated mobile devices |
Dammene
Debbih,Abdelkrim |
lmd/1759 |
2 |
|
|
Application
pour la gestion de données dans la direction dans la direction des hopitaux -
CHU Dr Benbadis, Constantine |
Leghelimi,Zinelabidine |
lmd/1758 |
|
|
|
Développement
d'une application dédiée à l'analyse des fichiers logs des plateformes
d'E-learning ( moodle ) |
Talbi,Mounia |
lmd/1757 |
|
|
|
Application
pour la gestion de données dans la direction dans la direction des hopitaux -
CHU Dr Benbadis, Constantine |
Difallah
Ahmed Kouteiba |
lmd/1756 |
|
|
|
Conception
et réalisation d'une application mobile pour l'amélioration du service de
livraison |
Badli,Belhadj |
lmd/1755 |
|
|
|
Développement
d'une application dédiée à l'analyse des fichiers logs des plateformes
d'E-learning ( moodle ) |
Chekour,Anis |
lmd/1752 |
2 |
|
|
Gestion
des réservation d'un restaurant |
Benhizia,Abir |
lmd/1764 |
1 |
|
|
Conception
et réalisation d’un site web dynamique pour la gestion des comptes et crédits
bancaires |
Mehdi,Sabrina |
lmd/1765 |
2 |
|
|
Application
Web : pour la gestion des projets d'ateliers |
A.Sahnoun
|
lmd/1767 |
2 |
|
|
Détéction
de l'emotion par apprentissage profond ( deep learning ) via la
reconnaissance automatique de la parole |
talbi,nawel |
lmd/1769 |
2 |
|
|
Suivi
des patients dand les urgences médicales |
Zarour,Karim |
lmd/1771 |
2 |
|
|
Développemnt
d'une application web pour la gestion des projets déateliers |
Sahnoun,Ali |
lmd/1773 |
2 |
|
|
Conception
et réalisation d’un site web Dynamique de gestion E-commerce (high-tech et
matériel informatique) |
Allal,Nourhene |
lmd/1775 |
2 |
|
|
Application
REST de Gestion du restaurant avec paiement électronique |
Benazza,Omar |
lmd/1780 |
2 |
|
|
Gestion
de livraison et de réservation au restaurant |
Sadok
Bouziane,Khalil |
lmd/1782 |
1 |
|
|
Développement
d’une application mobile pour le covoiturage de personnes agées |
Guerza,Soufyane |
lmd/1783 |
1 |
|
|
Development
of an android based carpooling application dedicated for elderly people |
Boucheffa,Aymen |
lmd/1777 |
1 |
|
|
Gestion
des réservations d’un restaurant |
Benhizia,Abir |
lmd/1778 |
1 |
|
|
Application
mobile pour le covoiturage des personnes agées |
Kacimoussa,Abderrahim |
lmd/1779 |
1 |
|
|
Application
pour la gestion de données dans la direction des hôpitaux- CHU Dr. Benbadis,
Constantine |
Bouternikh,Hadjer |
lmd/1785 |
2 |
|
|
Analyse
des flux continus de données avec des techniques de Machine Learning |
Sadouni,Ouissal |
lm2d/1504 |
1 |
|
|
Design
of a Distributed Way of crosschecking airplanes' Altitudes and positions |
Boulkeddid,Zakaria |
lm2d/1505 |
2 |
|
|
Réalisation
d'une application à base d'objets connectés pour la surveillance de l'enfant
atteint d'un spectre autistique |
Abboudi,Raian |
lm2d/1507 |
1 |
|
|
Un
outil d’aide à la Décision pour le diagnostique de différents troubles
d’ordre psychologique & Psychiatrique |
Remadna,Mouadh |
lm2d/1508 |
2 |
|
|
Système
de surveillance et de contrôle distant pour la gestion énergétique d'une
maison connectée : Application à l’électricité |
Benbouras,Fatima
Zohra |
lm2d/1509 |
1 |
|
|
Une
approche deep learning sur CNN pour la classification automatique des images |
Bouhidel,Selsabil
Ines |
lm2d/1510 |
2 |
|
|
Un
système déapprentissage collaboratif basé sur des taches compétitives :
développement d'un plugin Moodle |
Khenfous,Bassem |
lm2d/1512 |
1 |
|
|
Conception
et réalisation d'un outil pour la planification des systèmes temps-réel
d'intelligence ambiante basée sur le langage time-AgLOTOS |
Bettahail
Boudouda,Anfel |
lm2d/1514 |
2 |
|
|
UNE
APPROCHE A BASE D’AGENTS POUR LA RESOLUTION DES PROBLEMES D’OPTIMISATION DES
OPERATEURS DE LA TELEPHONIE MOBILE |
Bouden,Cheima |
lm2d/1515 |
2 |
|
|
Développement
d'une approche de distribution des espaces d'états basée sur la théorie de
jeux : application au model checking distribué |
Karimou
Seyni Ibrahim |
lm2d/1518 |
1 |
|
|
Une
infrastructure d'attestation à distance pour le cloud |
Bechiri,Abdelghani |
|
|
|
|
Generation
automatique des types inductifs Gallina et Vernacular a partir de
Meta-Meta-Modele Ecore en utilise TGG |
Lemmou,karima |
lm2d/1521 |
2 |
|
|
Conception
et réalisation d'un outil pour la planification des systèmes temps-réel
d'intelligence ambiante basée sur le langage Time-AgLOTOS |
Berrahail
Boudouda,Anfel |
|
|
|
|
Approche
basée sur le Deep Learning pour la classification des maladies humaines |
Kacem,Karim |
lm2d/1524 |
2 |
|
|
Application
de l’apprentissage en profondeur dans la modélisation QSAR pour la prédiction
de l’activité biologique |
Boukernine,Abdellatif |
lm2d/1526 |
2 |
|
|
Système
à base de microservices pour la gestion des cabinets médicaux et des
rendez-vous en ligne |
Fekair,Abdelmadjid |
lm2d/1528 |
1 |
|
|
Development
of multi-on-demand services platform using micro-services architecture |
Tarfa,Ali |
lm2d/1529 |
1 |
|
|
Un
système de classification basée Deep learning pour la détection d’intrusions |
Kassah
Laouar,Amira |
lm2d/1530 |
2 |
|
|
Une
nouvelle architecture de d´etection et de reconnaissance de plaques
d’immatriculation |
Kabouya,Imed
Eddine |
lm2d/1532 |
1 |
|
|
Etude
des performances des protocoles de routage DSR et DSDV |
Laib,Mounir |
lm2d/1533 |
1 |
|
|
Etude
comparative des méthodes d’extraction des caractéristiques faciale (LBP,
Filtre de gabor, AAM) pour d’estimation d’âge et de genre |
Bouzegag,Hadjer |
lm2d/1534 |
2 |
|
|
Réalisation
d’un framework front-end pour le développement web |
|
|
|
|
|
L'apprentissage
profond pour la classification des images |
Nouioua,Asma |
lm2d/1537 |
1 |
|
|
Proposition
d'un protocole distribué de coordination d'agents dans un contexte
d'intelligence ambiante |
Zemmouri,Hadjer |
lm2d/1538 |
1 |
|
|
Un
processus de réduction des actions dans un environnement ambiant pour une
planification efficace |
Atma,Moufida |
lm2d/1539 |
1 |
|
|
Génération
automatique d'une spécification B à partir de diagramme de réalisation
d'opérations UML en utilisant TGG |
Regaissia,Chaima |
lm2d/1540 |
2 |
|
|
RComp
: un Outil pour la Composition des Services Web de type REST |
Belbekri,Adel |
lm2d/1542 |
2 |
|
|
Conception
et réalisation d’un système de maison intelligente multi capteurs à base
d’agents |
Bensalem,Aimene |
lm2d/1544 |
2 |
|
|
Vers
la modélisation d’un Cloud sécurisé : Approche basée Fog Computing |
Bouherpum,Ayoub |
lm2d/1546 |
2 |
|
|
Une
approche à base de méta-heuristique et d'agents pour la résolution des
problèmes d'optimisation dans les réseaux cellulaires |
Lanami,Mohamed
Anouar |
LM2D/1548 |
1 |
|
|
On
The Use of Soft Computing Approaches for Part-Of-Speech Tagging – Theoretical
and Practical Analyses |
Khaldi,Imed
Eddine |
lm2d/1549 |
1 |
|
|
Réalisation
d'un framework front-end pour le développement web |
Gheribi,Lotfi |
lm2d/1550 |
1 |
|
|
Etude
des interactions temporisées dans la composition de services basée sur les
automates temporisés |
Boukhtini,Souad |
lm2d/1497 |
2 |
|
|
Un
cadre de sécurité basé agent pour le stockage de données dans le cloud |
Mechri,Abderramane |
lm2d/1499 |
1 |
|
|
Une
approche sémantique pour la recommandation des ressources dans les réseaux
sociaux |
Boussouf,Mustapha
Akram |
lm2d/1500 |
1 |
|
|
Propriétés
self*(self-healing) dans les systèmes à base d'internet des objets |
Fathoun,Chamseddine |
lm2d/1501 |
2 |
|
|
HESM
: un mécanisme hybride de préservation de la confidentialité de données pour
le stockage de big data dans un environnement cloud |
Redouane,Nour
El Ouiam |
lm2d/1503 |
1 |
|
|
Les
systèmes multi-agents normatifs pour la mise en oeuvre de la securité dans
des applications complexex ( vers la pertinance des politique de securité) |
Cheribi,Haoua |
th.doc/952 |
1 |
|
|
Dissémination
robuste des messages de sécurité routière dans le cadre des réseaux
véhiculaires |
Hafi,Houda |
th.doc/950 |
1 |
|
|
Système
intelligent pour des personnes prenant en compte les pathologies |
Boufedah
Badissi,Azzouz |
th.doc/948 |
2 |
|
|
Analyse
structurelle et comportementale des automates cellulaires : application au
problème de la classification de dentsité |
Laboudi,Zakaria |
th.doc/953 |
1 |
|
|
Modélisation
et vérification des processus métiers dans les entreprises virtuelles : une
approche basée sur la transformation de graphes |
Elmansouri,Raida |
th.doc/954 |
4 |
|
|
Une
approche multi-agents de synthese de proteines pour le
developpement dynamique d'une ontologie proteique |
Kermani,Mohamed
Hachem |
th.doc/956 |
2 |
|
|
Identification
biométrique de l'identité par fusion multimodale des empreintes digitales et
du visage |
Meriama,Mahamdioua |
th.doc/958 |
2 |
|
|
Une
Approche à base d’Agents et Bigraphes pour Une Approche à base d’Agents et
Bigraphes pour |
Moudjari,Rayene
|
th.doc/960 |
2 |
|
|
Recherche
d’images basée sur les ontologies |
Korichi,Meriem
|
th.doc/962 |
4 |
|
|
Apport
des paradigmes d'intelligence computationnelle pour la résolution des
problèmes dans les réseaux de capteurs sans fil |
Sandeli,Mohamed |
th.doc/964 |
2 |
|
|
Contribution
à la spéci cation et l'analyse formelle des réseaux maillés mesh |
Boucebsi,Rachida |
th.doc/966 |
2 |
|
|
Introduction
de la technologie Linked Open Data (LOD) dans l'intégration des sources de
données : Une approche de matching d'instances basée sur le lien ViewSameAs |
Magra
Benchikha,Fouzia |
th.doc/968 |
2 |
|
|
Une
approche formelle de vérification des services Web sémantiques par
l'utilisation des automates temporisés |
Boumaza,Amel |
th.doc/971 |
2 |
|
|
Binarisation
et Restauration des Images de Documents Historiques Deteriores |
Ouafek,Naouel |
th.doc/978 |
2 |
|
|
Formalisation
et évaluation de stratégies d’élasticité multi-couches das le cloud |
Khebbab,Khaled |
th.doc/976 |
2 |
|
|
Un
Framework basé Agent pour la sécurité des Informations dans le Cloud
Computing |
ARKI,Oussama
|
th.doc/980 |
2 |
|
|
Apport
de l’Intelligence en Essaim et des Plans d’Expériences aux Protocoles de
Routage pour les Réseaux Mobiles Ad-hoc : Application au Routage Géographique
Inter-Couche |
Salim,Chikhi |
th.doc/982 |
2 |
|
|
Analyse
des Big Data médicales pour la découverte de médicaments |
SID,Karima |
th.doc/984 |
2 |
|
|
Découverte
et repositionnement des médicaments par des approches basées sur
l’apprentissage profond |
Bahi,Meriem |
th.doc/986 |
2 |
|
|
Security
mechanisms for cloud computing infrastructures : a strategic, operational and
technical methodology |
Satta,Abdelahhab |
th.doc/988 |
2 |
|
|
Une
approche d’intégration des données d’entreprises avec les données liées et
les données sociales à grande échelle |
SELLAMI,Samir
|
th.doc/990 |
2 |
|
|
Modélisation
et optimisation de problèmes de localisation-routage localisation-routage |
FERDI,Imene
|
th.doc/992 |
2 |
|
|
Génération
de cas de test pour la validation des diagrammes d’activités UML |
HETTAB,Abdelkamel
|
th.doc/994 |
2 |
|
|
Fouille
des données d'opinion appliquée à la classification des commentaires en arabe
dans la presse en ligne |
RAHAB,Hichem |
th.doc/996 |
2 |
|
|
Méthodes
d’intelligence computationnelle pour l’analyse et l’exploration des données
épigénétiques massives |
BOUKELIA,Abdelbasset
|
th.doc/998 |
2 |
|
|
La
mise en correspondance des ontologies : Via une approche basée sur mapGA,
Hill Climbing et la combinaison des matchers |
Guefrouchi,Ryma |
th.doc/1000 |
2 |
|
|
Approche
Multicritère pour l’Externalisation des Processus Métiers vers le Cloud |
Zarour,Karim |
th.doc/1002 |
2 |
|
|
Une
approche à base d'agents pour l'extraction des informations pertinentes dans
un environnement big data |
ELAGGOUNE,Zakarya |
th.doc/1004 |
2 |
|
|
Annottattiion
sémanttiique Mullttii--Poiintts de Vue ((MPV)) de ressources ett lleur
explloiittattiion à ttravers un llangage basé RDF |
OUAHIBA,DJAMA
|
th.doc/1006 |
2 |
|
|
Plagiarism
Detection: A focus on the Intrinsic Approach and the Evaluation in the Arabic
Language |
Bensalem,Imene
|
th.doc/1008 |
2 |
|
|
Approche
dirigée par les modèles pour la conception, véri cation et réalisation de
systèmes d'information complexes et dynamiques |
Sara,ZATOUT
|
th.doc/1010 |
2 |
|
|
Renforcement
de la sécurité dans le Cloud basé Software Defined Networking par approches
de détection d’intrusion et de tolérance aux fautes |
Oussama,HANNACHE
|
th.doc/1012 |
2 |
|
|
Un
NouveauModèle de Gestion Dynamique de la Confiance pour la Fédération des
Identités Dans le Cloud Computing |
Bendiab,Gueltoum
|
th.doc/1013 |
2 |
|
|
Reconnaissance
et identification d'identité basée sur la biométrie |
Cherif,Taouche |
th.doc/1015 |
2 |
|
|
Approche
par bissimulation de maximalité temporelle pour la vérification des systèmes
temps |
Riadh,Matmat |
th.doc/1023 |
2 |
|
|
Une
Approche d'Analyse de la Qualité dans les systèmes Auto-adaptatifs |
Esma,Maatougui |
th.doc/1025 |
2 |
|
|
Une
approche à base de deep learning et des techniques du NLP pour la traduction
automatique de l’anglais à l’arabe |
Abdelhalim,SAADI |
th.doc/1021 |
2 |
|
|
Contribution
aux Systèmes de Recommandation dans le Cadre du Web Intelligence |
Hanane,Zitouni |
th.doc/1027 |
2 |
|
|
Automatic
Summarization of Arabic Text basing on Topic Segmentation |
Belahcene,Bahloul |
th.doc/1029 |
2 |
|
|
Une
Approche de Mise en oeuvre d.un Systeme sécurisé dans un Environnement
Multi-Cloud et Interopérable |
Megouache,Leila
|
th.doc/1031 |
2 |
|
|
Optimisation
de l'architecture du cache de dernier niveau pour les systemes
multiprocesseurs |
Mohamed,Benmohammed |
th.doc/1033 |
2 |
|
|
Approches
intégratives pour la fusion de données omiques |
LEMSARA,Amina
|
th.doc/1035 |
2 |
|
|
Sécurisation
d'images medicales par methodes hybrides cryptage et insertion de données
cachées |
Brahimi,Zahia |
th.doc/1037 |
2 |
|
|
Contribution
au criblage virtuel et à la prédiction pour la découverte de médicaments |
Berrhail,Fouaz |
th.doc/1039 |
2 |
|
|
Apprentissage
automatique et optimisation pour la reconstruction des reseaux de
regulation de genes en bioinformatique |
Daoudi,Meroua |
th.doc/1041 |
2 |
|
|
Architectures
et protocoles applicatifs dans l’Internet des objets |
Miles,Badreddine
|
th.doc/1043 |
2 |
|
|
Contribution
à la fouille de données volumineuses : Validation du clustering de données
dans un contexte Big Data |
ZERABI,Soumeya |
th.doc/1047 |
2 |
|
|
Conception
et réalisation d'un site web et d'une application de bureau pour
l'etablissement ennadjah |
Ababsa,Aissa |
lmd/1638 |
1 |
|
|
conception
et réalisation d'une application bureau pour la gestion d'un cabinet médical |
Lina,Bounaas |
lmd/1554 |
|
|
|
conception
et réalidation d'un site web dynamique de vente en ligne des produits
informatiques |
Wissal,Saadouni |
|
|
|
|
gestion
de la production des dispositifs médicaux consommables pour sf médical
industries |
feriel,saifi |
lmd/1471 |
1 |
|
|
coception
et réalisation d'une application de gestion d'une cabinet médical |
oulaya,malki |
lmd/1614 |
1 |
|
|
gestion
des insecriptions online des étudiants en master 1 de la faculté |
ouail,bellal |
|
1 |
|
|
analysedes
flux continus de données avec techniques de machine learning |
ouissal,saadouni |
|
1 |
|
|
devloppement
d'une application bureau d'une gestion d'un cabinet médical |
khadidja,chillia |
|
|
|
|
dévloppement
d'une application bureau d'une gestion d'un cabinet médical |
chellia,khadidja |
lmd/1580 |
1 |
|
|
conception
et réalisation d'un site web dynamique pour le gestion des commandes et
livraison à domicile des bijoux |
zeroual,meriem |
lmd/1621 |
1 |
|
|
un
outil d'aide à la décision pour le diagnostique de différents troubles
d'ordre psychologique & psychiatrique |
remadana,mouadh |
|
1 |
|
|
Optimized
Scalable Resource Provisioning and Traffic Steering for Service Function
Chaining in NFV Environments |
Adel,Bouridah |
th.doc/1059 |
2 |
|
|
planification
multi-agents dans les systémes ambiants |
|
|
|
|
|
Adaptation
et Combinaison d’Approches de Fouille de Textes pour la Génération
Automatique des Résumés de Texte Biomédical |
Rouane,Oussama |
th.doc/1051 |
2 |
|
|
VERS
UN RAISONNEMENT |
Adel,Saadi |
th.doc/1057 |
2 |
|
|
Authentification
d'individus par des techniques biométriques |
Souheila,Benkheira |
th.doc/1049 |
2 |
|
|
dévloppement
d'une application de gestion d'un cabinet médical |
ababsa,oumnia |
lmd/1558 |
1 |
|
|
Vers
une approche multi-agent pour l'auto-adaptation dans le Cloud Computing
adaptation dans le Cloud Computing |
Sofiane,Kemchi |
th.doc/1063 |
2 |
|
|
Une
approche de gestion de l’élasticité dans le Cloud Computing |
Riad,Bouaita
|
th.doc/1065 |
2 |
|
|
Nouvelle
approche pour la reconnaissance de l’écriture manuscrite arabe dans les
dispositifs mobiles |
Fateh,Bougamouza
|
th.doc/1067 |
2 |
|
|
Techniquesd’optimisationpour
l’extraction desrèglesd’association en data-mining |
Abir,Derouiche |
th.doc/1069 |
2 |
|
|
Adaptation
et combinaison d'approches bio-inspirées et de fouille de textes pour la
sélection de descripteurs textuels |
Nourelhouda,Yahi |
th.doc/1071 |
2 |