Catalogue des Mémoires de master
Catégories
Documents disponibles dans cette catégorie (115)


Titre : L'utilisation des agents dans le data mining Type de document : texte imprimé Auteurs : Hani Kerboua, Auteur ; Ahlem Bouakkaz, Auteur ; Sahnoun Zaidi, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 65 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Résumé : Le Data Mining est une technologie dont le but est la valorisation de l'information et
L’extraction de connaissances d’un grand nombre de données. Cette technologie qui est
Devenue un outil important pour améliorer les revenus des entreprises rencontre des
problèmes dus à la quantité énorme de données à exploiter. Le paradigme multi agents ouvre
une nouvelle voie de recherche pour la conception et l’implémentation de tels systèmes qui
demandent un certains nombre d’éléments distribués pour leurs solutions. Notre travail
présente la proposition et la réalisation d’un système Data Mining Basé Agents qui prend en
charge le processus Data Mining durant chacune de ses étapes. La recommandation de la
technique d’exploration est au centre de notre proposition.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7048 L'utilisation des agents dans le data mining [texte imprimé] / Hani Kerboua, Auteur ; Ahlem Bouakkaz, Auteur ; Sahnoun Zaidi, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 65 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Résumé : Le Data Mining est une technologie dont le but est la valorisation de l'information et
L’extraction de connaissances d’un grand nombre de données. Cette technologie qui est
Devenue un outil important pour améliorer les revenus des entreprises rencontre des
problèmes dus à la quantité énorme de données à exploiter. Le paradigme multi agents ouvre
une nouvelle voie de recherche pour la conception et l’implémentation de tels systèmes qui
demandent un certains nombre d’éléments distribués pour leurs solutions. Notre travail
présente la proposition et la réalisation d’un système Data Mining Basé Agents qui prend en
charge le processus Data Mining durant chacune de ses étapes. La recommandation de la
technique d’exploration est au centre de notre proposition.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7048 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120023 MSINF120023 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDF
Titre : Utilisation de la Méthode B dans la Spécification Formelle des Systèmes Type de document : texte imprimé Auteurs : Chahira Boutefnouche, Auteur ; Amel Daas, Auteur ; Ilham Kitouni, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 98 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : Validation des systèmes, Méthode B, Raffinement, LOTOS, Transformation. Index. décimale : 004 Traitement de données. Informatique Résumé : Dans ce mémoire on va présenter la méthode B et ses constructeurs de base tel que la
machine abstraite, le raffinement et l’implémentation. On va rappeler le langage LOTOS
ensuite nous proposons une transformation du langage LOTOS vers la méthode B et discutons
l’avantage d’un tel passage. Enfin nous présentons l’outil opérationnele de cette méthode
appelé l’atelier B.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7582 Utilisation de la Méthode B dans la Spécification Formelle des Systèmes [texte imprimé] / Chahira Boutefnouche, Auteur ; Amel Daas, Auteur ; Ilham Kitouni, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 98 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Tags : Validation des systèmes, Méthode B, Raffinement, LOTOS, Transformation. Index. décimale : 004 Traitement de données. Informatique Résumé : Dans ce mémoire on va présenter la méthode B et ses constructeurs de base tel que la
machine abstraite, le raffinement et l’implémentation. On va rappeler le langage LOTOS
ensuite nous proposons une transformation du langage LOTOS vers la méthode B et discutons
l’avantage d’un tel passage. Enfin nous présentons l’outil opérationnele de cette méthode
appelé l’atelier B.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7582 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110035 MSINF110035 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDF
Titre : Utilisation de schéma XML pour la fédération de bases de données Type de document : texte imprimé Auteurs : Eddine Zehani Houssem, Auteur ; Mohamed Lamine Abed, Auteur ; Adla Bentellis, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 96 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7332 Utilisation de schéma XML pour la fédération de bases de données [texte imprimé] / Eddine Zehani Houssem, Auteur ; Mohamed Lamine Abed, Auteur ; Adla Bentellis, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 96 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7332 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110005 MSINF110005 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDF
Titre : Utilisation de la technique des agents mobiles dans Un système distribué Type de document : texte imprimé Auteurs : Samira Boutemmine, Auteur ; Naima Lakehal, Auteur ; Benoudina, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 68 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC Langues : Français (fre) Catégories : Informatique Tags : système distribué, agents mobiles, équilibre de charge. Index. décimale : 004 Traitement de données. Informatique Résumé : Pour bien fonctionner sur un système distribué, une application doit permette aux tâches qui
la constituent de communiquer et d’échanger des informations.
Ceci nous a poussées à faire appel à la technique des agents mobiles utilisée dans notre
approche, qui apparait comme une solution prometteuse, non pas pour résoudre différents
problèmes, mais surtout celui de l’équilibre de charge qui ne possède pas une méthode
standard. Aussi l’architecture utilisée est décentralisée et permet l’équilibrage de charge de
façon dynamique.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7393 Utilisation de la technique des agents mobiles dans Un système distribué [texte imprimé] / Samira Boutemmine, Auteur ; Naima Lakehal, Auteur ; Benoudina, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 68 f. ; 30 cm.
Une copie electronique PDF disponible au BUC
Langues : Français (fre)
Catégories : Informatique Tags : système distribué, agents mobiles, équilibre de charge. Index. décimale : 004 Traitement de données. Informatique Résumé : Pour bien fonctionner sur un système distribué, une application doit permette aux tâches qui
la constituent de communiquer et d’échanger des informations.
Ceci nous a poussées à faire appel à la technique des agents mobiles utilisée dans notre
approche, qui apparait comme une solution prometteuse, non pas pour résoudre différents
problèmes, mais surtout celui de l’équilibre de charge qui ne possède pas une méthode
standard. Aussi l’architecture utilisée est décentralisée et permet l’équilibrage de charge de
façon dynamique.Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7393 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110010 MSINF110010 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDF
Titre : verification de la cohérence d'un diagramme ecrit en notion BPMN Type de document : texte imprimé Auteurs : Soumeya Aouati, Auteur ; Meriem Ramdani, Auteur ; Mohamed Naoufel Kholladi, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 69 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7322 verification de la cohérence d'un diagramme ecrit en notion BPMN [texte imprimé] / Soumeya Aouati, Auteur ; Meriem Ramdani, Auteur ; Mohamed Naoufel Kholladi, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 69 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Index. décimale : 004 Traitement de données. Informatique Diplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7322 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120058 MSINF120058 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDFVérification de la cohérence des diagrammes d’activité UML: approche basée sur la transformation de graphes / Meriem Ati
![]()
PermalinkVérification Formelle de modèles AADL par le modèle checker UPPAAL Etude de cas : contrôleur de température d’un réacteur d’avion / Abderrahmane Ayari
![]()
PermalinkPermalinkPermalinkPermalinkPermalink