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


Développement d'un générateur automatique des cours pour les plates-formes de E-learning / Dounia Berkal
![]()
Titre : Développement d'un générateur automatique des cours pour les plates-formes de E-learning Type de document : texte imprimé Auteurs : Dounia Berkal, Auteur ; Karima Haddad, Auteur ; Iness Nedji Milat, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 81 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=7435 Développement d'un générateur automatique des cours pour les plates-formes de E-learning [texte imprimé] / Dounia Berkal, Auteur ; Karima Haddad, Auteur ; Iness Nedji Milat, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 81 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=7435 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110019 MSINF110019 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDFDéveloppement D’un logiciel pour une gestion efficace des ressources entre plusieurs agents / Hadjer Fadheli
![]()
Titre : Développement D’un logiciel pour une gestion efficace des ressources entre plusieurs agents Type de document : texte imprimé Auteurs : Hadjer Fadheli, Auteur ; Z. Sahnoun, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 71 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : Génie Logiciel 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=7041 Développement D’un logiciel pour une gestion efficace des ressources entre plusieurs agents [texte imprimé] / Hadjer Fadheli, Auteur ; Z. Sahnoun, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 71 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Tags : Génie Logiciel 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=7041 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120016 MSINF120016 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDFDistribution adaptative d'un espace d'états Application aux STEMs et Réseaux de Petri / Ahmed Chaouki Chaouche
![]()
Titre : Distribution adaptative d'un espace d'états Application aux STEMs et Réseaux de Petri Type de document : texte imprimé Auteurs : Ahmed Chaouki Chaouche, Auteur ; Djamel Eddine Saidouni, Directeur de thèse ; Jean Michel Ilie, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2011 Importance : 104 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : Distribution adaptative, voisinage, PSO, STEM, Réseaux
de Petri, Génération à la volée.Index. décimale : 004 Traitement de données. Informatique Résumé : La vérication de systèmes informatiques est une nécessité de par
leur ubiquité. Utilisés dans les domaines les plus critiques, lorsqu'ils sont
défectueux, leur impact se mesure en vies humaines ou en pertes maté-
rielles colossales. A cet eet, des techniques de vérication formelle performantes et de validation ecaces s'imposent dans la conception d'un
système. La technique de vérication formelle la plus attractive du point
de vue coût / performances est celle basée sur l'évaluation de modèles
(model checking).
Néanmoins, le facteur principal de limitation du model checking est
le problème de l'explosion combinatoire de l'espace d'états. L'utilisation
du modèle des systèmes de transitions étiquetées maximales (STEM)
n'échappe pas à ce problème. An d'y remédier, la solution la plus ré-
pandue, jusqu'à ce jour, est la distribution de l'espace d'états en vue de
la répartition de la charge du calcul telles que la génération à la volée de
l'espace d'états et la vérication de ses propriétés.
An d'obtenir une meilleure distribution du graphe sur les diérents
sites, nous proposons, dans le cadre de cette recherche, des algorithmes
évolutionnaires issus de l'optimisation combinatoire s'inspirant essentiellement des phénomènes naturels tels que l'étude du comportement social
des animaux évoluant en groupe (poissons, oiseaux ou abeilles) et cela
en adaptant la méta-heuristique "Optimisation par Essaim Particulaire
PSO" Ã la distribution des graphes. Permettant de trouver un compromis
entre l'équilibrage de charge et la diminution des messages inter-sites.
Par ailleurs, étant génériques, ces algorithmes, qui s'adaptent à n'importe quel graphe orienté, sont proposés pour traiter en particulier les
systèmes de transitions, les systèmes de transitions étiquetées et les systèmes de transitions étiquetées maximalesDiplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7736 Distribution adaptative d'un espace d'états Application aux STEMs et Réseaux de Petri [texte imprimé] / Ahmed Chaouki Chaouche, Auteur ; Djamel Eddine Saidouni, Directeur de thèse ; Jean Michel Ilie, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 104 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Tags : Distribution adaptative, voisinage, PSO, STEM, Réseaux
de Petri, Génération à la volée.Index. décimale : 004 Traitement de données. Informatique Résumé : La vérication de systèmes informatiques est une nécessité de par
leur ubiquité. Utilisés dans les domaines les plus critiques, lorsqu'ils sont
défectueux, leur impact se mesure en vies humaines ou en pertes maté-
rielles colossales. A cet eet, des techniques de vérication formelle performantes et de validation ecaces s'imposent dans la conception d'un
système. La technique de vérication formelle la plus attractive du point
de vue coût / performances est celle basée sur l'évaluation de modèles
(model checking).
Néanmoins, le facteur principal de limitation du model checking est
le problème de l'explosion combinatoire de l'espace d'états. L'utilisation
du modèle des systèmes de transitions étiquetées maximales (STEM)
n'échappe pas à ce problème. An d'y remédier, la solution la plus ré-
pandue, jusqu'à ce jour, est la distribution de l'espace d'états en vue de
la répartition de la charge du calcul telles que la génération à la volée de
l'espace d'états et la vérication de ses propriétés.
An d'obtenir une meilleure distribution du graphe sur les diérents
sites, nous proposons, dans le cadre de cette recherche, des algorithmes
évolutionnaires issus de l'optimisation combinatoire s'inspirant essentiellement des phénomènes naturels tels que l'étude du comportement social
des animaux évoluant en groupe (poissons, oiseaux ou abeilles) et cela
en adaptant la méta-heuristique "Optimisation par Essaim Particulaire
PSO" Ã la distribution des graphes. Permettant de trouver un compromis
entre l'équilibrage de charge et la diminution des messages inter-sites.
Par ailleurs, étant génériques, ces algorithmes, qui s'adaptent à n'importe quel graphe orienté, sont proposés pour traiter en particulier les
systèmes de transitions, les systèmes de transitions étiquetées et les systèmes de transitions étiquetées maximalesDiplome : Master 2 Permalink : https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7736 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF110046 MSINF110046 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDFEchange d'information inter et intra service cas du service pneumologie (CHU CONSTANTINE) / Fahima Tabet
![]()
Titre : Echange d'information inter et intra service cas du service pneumologie (CHU CONSTANTINE) Type de document : texte imprimé Auteurs : Fahima Tabet, Auteur ; Khadidja Maalem, Auteur ; Djamila Yekhlef, Auteur ; Mohamed Lamine Berkane, Directeur de thèse Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 129 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : Systèmes d’Information & Technologies Web 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=7044 Echange d'information inter et intra service cas du service pneumologie (CHU CONSTANTINE) [texte imprimé] / Fahima Tabet, Auteur ; Khadidja Maalem, Auteur ; Djamila Yekhlef, Auteur ; Mohamed Lamine Berkane, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 129 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Tags : Systèmes d’Information & Technologies Web 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=7044 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120019 MSINF120019 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDF
Titre : Enrichessement De Modèle Rex Type de document : texte imprimé Auteurs : Abdenacer Batouche, Auteur ; Ahmed Bousaha, Auteur ; Seifeddine Nadjer, Auteur ; Sonia guereaiche, Auteur Editeur : CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine Année de publication : 2012 Importance : 113 f. Format : 30 cm. Note générale : Une copie electronique PDF disponible au BUC. Langues : Français (fre) Catégories : Informatique Tags : informatique SITW 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=7024 Enrichessement De Modèle Rex [texte imprimé] / Abdenacer Batouche, Auteur ; Ahmed Bousaha, Auteur ; Seifeddine Nadjer, Auteur ; Sonia guereaiche, Auteur . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 113 f. ; 30 cm.
Une copie electronique PDF disponible au BUC.
Langues : Français (fre)
Catégories : Informatique Tags : informatique SITW 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=7024 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MSINF120012 MSINF120012 Document électronique Bibliothèque principale Mémoires Disponible Documents numériques
![]()
texte integréAdobe Acrobat PDF PermalinkPermalinkPermalinkPermalinkPermalinkEtude de sensibilité post optimal des méthodes de la programmation linéaire en nombre entier / Abdallah Bererhi
![]()
PermalinkPermalinkPermalinkExpression de la reconfiguration dynamique d’architecture logicielle dans un ADL et dans Maude / Imène Mazaoui
![]()
PermalinkPermalink