University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Abdallah Khababa |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Apprentissage statistique pour l’extraction des relations à partir de textes Type de document : texte imprimé Auteurs : Belazzoug,Mouhoub, Auteur ; Abdallah Khababa, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (101 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Catégorisation des textes
Gain d'informationsIndex. décimale : 004 - Informatique Résumé :
Le modèle de sac de mots est couramment utilisé dans la catégorisation de textes. Le
problème principal de ce dernier réside dans le grand nombre d’attributs extraits, cela influe
négativement sur les performances des tâches de catégorisation. Pour résoudre ce problème,
une méthode de sélection des fonctionnalités est nécessaire. La sélection des fonctionnalités
est bénéfique pour réduire la dimensionnalité du problème, elle conduit à minimiser le temps
de calcul et à améliorer les performances de la tâche de catégorisation. Dans cette thèse, nous
proposons un nouvel algorithme amélioré de l’algorithme original de recherche Sinus
Cosinus (SCA) pour la sélection des fonctionnalités, qui permet une meilleure exploration
dans l'espace de recherche. Contrairement au SCA qui se concentre uniquement sur la
meilleure solution pour générer une nouvelle solution, le nouvel algorithme (ISCA) de notre
proposition prend en compte deux positions de la solution : (i) la position de la meilleure
solution trouvée jusqu'à présent, et (ii) une position aléatoire appartenant à l'espace de
recherche. Cette combinaison nous permet de proposer un algorithme simple capable d'éviter
une convergence prématurée et d'obtenir des performances très satisfaisantes. Pour valider le
nouvel algorithme ISCA, nous avons effectué une série d'expériences sur neuf collections de
textes, où nous avons comparé les résultats expérimentaux avec plusieurs algorithmes de
recherche, y compris l'algorithme SCA d'origine et certaines de ses versions améliorées, ainsi
que l’algorithme d’optimisation Moth-Flam (MFO). De plus, de l'état de l'art, les algorithmes
génétiques (GA) ainsi que les colonies de fourmis (ACO) sont choisis dans notre étude
comparative. Nos résultats d'évaluation démontrent la haute performance de notre algorithme
ISCA proposé qui le rend très utile pour les problèmes de catégorisation de textes.Côte titre : DI/0063 En ligne : http://dspace.univ-setif.dz:8888/jspui/bitstream/123456789/3845/1/Belazoug%20Th% [...] Format de la ressource électronique : Apprentissage statistique pour l’extraction des relations à partir de textes [texte imprimé] / Belazzoug,Mouhoub, Auteur ; Abdallah Khababa, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (101 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Catégorisation des textes
Gain d'informationsIndex. décimale : 004 - Informatique Résumé :
Le modèle de sac de mots est couramment utilisé dans la catégorisation de textes. Le
problème principal de ce dernier réside dans le grand nombre d’attributs extraits, cela influe
négativement sur les performances des tâches de catégorisation. Pour résoudre ce problème,
une méthode de sélection des fonctionnalités est nécessaire. La sélection des fonctionnalités
est bénéfique pour réduire la dimensionnalité du problème, elle conduit à minimiser le temps
de calcul et à améliorer les performances de la tâche de catégorisation. Dans cette thèse, nous
proposons un nouvel algorithme amélioré de l’algorithme original de recherche Sinus
Cosinus (SCA) pour la sélection des fonctionnalités, qui permet une meilleure exploration
dans l'espace de recherche. Contrairement au SCA qui se concentre uniquement sur la
meilleure solution pour générer une nouvelle solution, le nouvel algorithme (ISCA) de notre
proposition prend en compte deux positions de la solution : (i) la position de la meilleure
solution trouvée jusqu'à présent, et (ii) une position aléatoire appartenant à l'espace de
recherche. Cette combinaison nous permet de proposer un algorithme simple capable d'éviter
une convergence prématurée et d'obtenir des performances très satisfaisantes. Pour valider le
nouvel algorithme ISCA, nous avons effectué une série d'expériences sur neuf collections de
textes, où nous avons comparé les résultats expérimentaux avec plusieurs algorithmes de
recherche, y compris l'algorithme SCA d'origine et certaines de ses versions améliorées, ainsi
que l’algorithme d’optimisation Moth-Flam (MFO). De plus, de l'état de l'art, les algorithmes
génétiques (GA) ainsi que les colonies de fourmis (ACO) sont choisis dans notre étude
comparative. Nos résultats d'évaluation démontrent la haute performance de notre algorithme
ISCA proposé qui le rend très utile pour les problèmes de catégorisation de textes.Côte titre : DI/0063 En ligne : http://dspace.univ-setif.dz:8888/jspui/bitstream/123456789/3845/1/Belazoug%20Th% [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DI/0063 DI/0063 Thèse Bibliothéque des sciences Français Disponible
Disponible
Titre : Component models as enablers for real time systems (RTS) Type de document : texte imprimé Auteurs : Mansouri,Hayame, Auteur ; Abdallah Khababa, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (50 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Systèmes en temps réel
Composants
Modèles de composants
Délais
délais durs et souplesIndex. décimale : 004 - Informatique Résumé :
Les modèles de composants sont basés sur le concept de composants et constituent
le meilleur moyen de réaliser des systèmes en temps réel en raison de leur
nature modulaire et de la séparation entre le code et les interfaces. Un système en
temps réel signi e que la réponse doit être garantie dans une contrainte de temps
spéci ée ou que le système doit respecter le délai spéci é. Cette thèse présente une
étape vers la réalisation d'une application de streaming vidéo basée sur des composants
et respectant les exigences de synchronisation des systèmes temps réel. La
mise en ÷uvre de c'est à l'aide d'un rebase en temps réel qui contientun base de
données en temps réel, la vidéo sera diusée à tous les utilisateurs instantanément.
Le système qui répond à un délai spéci que est également présent.Côte titre : MAI/0378 En ligne : https://drive.google.com/file/d/1Qiets6WfRkuKRnEKTRT07_vtj_JRWsQ5/view?usp=shari [...] Format de la ressource électronique : Component models as enablers for real time systems (RTS) [texte imprimé] / Mansouri,Hayame, Auteur ; Abdallah Khababa, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (50 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Systèmes en temps réel
Composants
Modèles de composants
Délais
délais durs et souplesIndex. décimale : 004 - Informatique Résumé :
Les modèles de composants sont basés sur le concept de composants et constituent
le meilleur moyen de réaliser des systèmes en temps réel en raison de leur
nature modulaire et de la séparation entre le code et les interfaces. Un système en
temps réel signi e que la réponse doit être garantie dans une contrainte de temps
spéci ée ou que le système doit respecter le délai spéci é. Cette thèse présente une
étape vers la réalisation d'une application de streaming vidéo basée sur des composants
et respectant les exigences de synchronisation des systèmes temps réel. La
mise en ÷uvre de c'est à l'aide d'un rebase en temps réel qui contientun base de
données en temps réel, la vidéo sera diusée à tous les utilisateurs instantanément.
Le système qui répond à un délai spéci que est également présent.Côte titre : MAI/0378 En ligne : https://drive.google.com/file/d/1Qiets6WfRkuKRnEKTRT07_vtj_JRWsQ5/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0378 MAI/0378 Mémoire Bibliothéque des sciences Anglais Disponible
DisponibleEenrichissement de la sémantique des diagrammes d’états-transition : transformation vers maude / Amira Khalfaoui
Titre : Eenrichissement de la sémantique des diagrammes d’états-transition : transformation vers maude Type de document : texte imprimé Auteurs : Amira Khalfaoui, Auteur ; Oumaima Bakiri ; Abdallah Khababa, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (44 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Transition state diagrams
Maude
Transformation
Rewriting logic
Formal vérification
ModellingIndex. décimale : 004 - Informatique Résumé : UML (Unified Modeling Language) est un langage de modélisation et de construction
de programmes informatiques, mais sa critique fondamentale est qu’il manque d’une base
formelle pour l’utilisation de techniques de vérification formelle, puisqu’il manque d’outils
intégrés ou spécifiquement conçus pour vérifier les caractéristiques de ses diagrammes.
Dans cette situation, Maude, un langage déclaratif et formel de haute performance basé
sur la logique de réécriture, peut remplir ce rôle avec succès grâce à sa base purement
algébrique robuste pour décrire le comportement des systèmes concurrents et à sa gamme
d’outils de vérification formelle, y compris son vérificateur de modèles.
Dans notre mémoire, nous avons développé un outil permettant de convertir automatiquement les diagrammes d’états de transition d’UML vers la logique de réécriture
représentée dans Maude. Cet outil a pour but d’aider à valider les modèles proposés pour
la création de systèmes informatiques = UML (Unified Modeling Language) is a language for modeling and building computer
programs, but its fundamental criticism is that it lacks a formal basis for using formal
verification techniques, since it lacks built-in or specifically designed tools for verifying
the features of its diagrams.
In this situation, Maude, a high-performance declarative and formal language based
on rewrite logic, can successfully fulfill this role due to its robust purely algebraic basis for
describing the behavior of concurrent systems and its range of formal verification tools,
including its model checker.
In our dissertation, we developed a tool to automatically convert UML transition
state diagrams to the rewriting logic represented in Maude. This tool is intended to help
validate proposed models for the creation of computer systems.
Côte titre : MAI/0792
En ligne : https://drive.google.com/file/d/1SzHnQDEkUf3gIrLvtlzOvjkWY5qZ_Guf/view?usp=drive [...] Format de la ressource électronique : Eenrichissement de la sémantique des diagrammes d’états-transition : transformation vers maude [texte imprimé] / Amira Khalfaoui, Auteur ; Oumaima Bakiri ; Abdallah Khababa, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (44 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Transition state diagrams
Maude
Transformation
Rewriting logic
Formal vérification
ModellingIndex. décimale : 004 - Informatique Résumé : UML (Unified Modeling Language) est un langage de modélisation et de construction
de programmes informatiques, mais sa critique fondamentale est qu’il manque d’une base
formelle pour l’utilisation de techniques de vérification formelle, puisqu’il manque d’outils
intégrés ou spécifiquement conçus pour vérifier les caractéristiques de ses diagrammes.
Dans cette situation, Maude, un langage déclaratif et formel de haute performance basé
sur la logique de réécriture, peut remplir ce rôle avec succès grâce à sa base purement
algébrique robuste pour décrire le comportement des systèmes concurrents et à sa gamme
d’outils de vérification formelle, y compris son vérificateur de modèles.
Dans notre mémoire, nous avons développé un outil permettant de convertir automatiquement les diagrammes d’états de transition d’UML vers la logique de réécriture
représentée dans Maude. Cet outil a pour but d’aider à valider les modèles proposés pour
la création de systèmes informatiques = UML (Unified Modeling Language) is a language for modeling and building computer
programs, but its fundamental criticism is that it lacks a formal basis for using formal
verification techniques, since it lacks built-in or specifically designed tools for verifying
the features of its diagrams.
In this situation, Maude, a high-performance declarative and formal language based
on rewrite logic, can successfully fulfill this role due to its robust purely algebraic basis for
describing the behavior of concurrent systems and its range of formal verification tools,
including its model checker.
In our dissertation, we developed a tool to automatically convert UML transition
state diagrams to the rewriting logic represented in Maude. This tool is intended to help
validate proposed models for the creation of computer systems.
Côte titre : MAI/0792
En ligne : https://drive.google.com/file/d/1SzHnQDEkUf3gIrLvtlzOvjkWY5qZ_Guf/view?usp=drive [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0792 MAI/0792 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Elicitation activities and analyze of requirements in the context of big data projects Type de document : texte imprimé Auteurs : Abdelmounaam Bounab, Auteur ; Insaf Khouloud Kharchi ; Abdallah Khababa, Directeur de thèse Editeur : Sétif:UFS Année de publication : 2023 Importance : 1 vol (63 f.) Format : 29 cm Langues : Anglais (eng) Catégories : Thèses & Mémoires:Informatique Mots-clés : Elicitation activities
analytical activities
Requirements Engineering
Big DataIndex. décimale : 004 - Informatique Résumé : Collecter et stocker une grande quantité de données de différents types, ainsi
que celui de la récupération rapide des données nécessaires à l’analyse est considérée
comme une nouvelle offre de proposition par le Big Data à la base de données
conventionnelle. Le but de ce travail est de mettre en évidence l’efficacité des
activités analytiques et exigences d’élicitation utilisables sur le Big Data dans
plusieurs domaines, tels que la banque et les valeurs mobilières, les communications,
la santé et en particulier dans le domaine météorologique ensemble de données qui
sont apparues la nécessité de ces activités analytiques = Gathering and storing large amount of data of different types , as well as
that of rapid retrieval of data necessary for analysis , is considering as a new
proposition offering by the Big Data to conventional database. The purpose
of this work is to appear the efficiency of analytical activities and elicitation
requirements usable on Big Data into several fields , such as banking and securities,
communications, healthcare and especially in meteorological dataset which have
appeared the necessity of these analytical activities.
Côte titre : MAI/0828
En ligne : https://drive.google.com/file/d/151OXHngINv6hlqng4t8O-EzyVU3MOaX7/view?usp=shari [...] Format de la ressource électronique : Elicitation activities and analyze of requirements in the context of big data projects [texte imprimé] / Abdelmounaam Bounab, Auteur ; Insaf Khouloud Kharchi ; Abdallah Khababa, Directeur de thèse . - [S.l.] : Sétif:UFS, 2023 . - 1 vol (63 f.) ; 29 cm.
Langues : Anglais (eng)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Elicitation activities
analytical activities
Requirements Engineering
Big DataIndex. décimale : 004 - Informatique Résumé : Collecter et stocker une grande quantité de données de différents types, ainsi
que celui de la récupération rapide des données nécessaires à l’analyse est considérée
comme une nouvelle offre de proposition par le Big Data à la base de données
conventionnelle. Le but de ce travail est de mettre en évidence l’efficacité des
activités analytiques et exigences d’élicitation utilisables sur le Big Data dans
plusieurs domaines, tels que la banque et les valeurs mobilières, les communications,
la santé et en particulier dans le domaine météorologique ensemble de données qui
sont apparues la nécessité de ces activités analytiques = Gathering and storing large amount of data of different types , as well as
that of rapid retrieval of data necessary for analysis , is considering as a new
proposition offering by the Big Data to conventional database. The purpose
of this work is to appear the efficiency of analytical activities and elicitation
requirements usable on Big Data into several fields , such as banking and securities,
communications, healthcare and especially in meteorological dataset which have
appeared the necessity of these analytical activities.
Côte titre : MAI/0828
En ligne : https://drive.google.com/file/d/151OXHngINv6hlqng4t8O-EzyVU3MOaX7/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0828 MAI/0828 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Embedded Artificial intelligence applied to internet of things Type de document : texte imprimé Auteurs : AbdeLmalek ,Fatima-Zohra, Auteur ; Abdallah Khababa, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (47 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Internet des objets
Systèmes embarqués
Intelligence Artificielle (IA)Index. décimale : 004 - Informatique Résumé :
L’Internet des objets (Io) devient de plus en plus productif dans notre vie. Aujourd’hui, Io a permis des progrès remarquables sur une variété de tâches. Elle fait référence à un type de réseau pour connecter quoi que ce soit à Internet, en utilisant des équipements de détection avec un protocole spécifique pour effectuer des échanges d’informations et des communi- cations afin de parvenir à une reconnaissance, une surveillance et une administration intelligentes. En plus des systèmes embarqués et de l’intelligence artificielle (IA), quisont également plus excitants, et qui permettent aujourd’hui d’étourdir ces deux technologies ensemble, STMicrocontroller la concrétise en fournissant des réseaux de neurones et des microcontrôleurs optimisés.Les gens se concentrent actuellement sur la connexion de leurs appareils au cloud et la sécurité du système, mais au cours des prochaines années, nous commencerons à voir l’idée d’utiliser lentement l’Apprentissage profond et l’Apprentissage automatique et d’autres concepts d’IA pour migrer lentement du cloud vers la périphérie. Mais comment cette technologie semblet-elle faire partie de nos jours ? en raison de l’énorme écart de compétences entre le système embarqué et les experts en IA. Donc, pour résoudre ce problème, nous avons proposé le concept d’IA intégrée, et nous avons passé en revue le concept de base de l’IA, de l’Apprentissage profond, et mis en oeuvre une application pratique IA de bordure basée sur ces concepts et des microcontrôleurs ST en tant que carte NUCLEO-F411RE.Côte titre : MAI/0405 En ligne : https://drive.google.com/file/d/1NXkawgsaJI2AHZjzQc3nemsKGlE9C2Fa/view?usp=shari [...] Format de la ressource électronique : Embedded Artificial intelligence applied to internet of things [texte imprimé] / AbdeLmalek ,Fatima-Zohra, Auteur ; Abdallah Khababa, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (47 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Internet des objets
Systèmes embarqués
Intelligence Artificielle (IA)Index. décimale : 004 - Informatique Résumé :
L’Internet des objets (Io) devient de plus en plus productif dans notre vie. Aujourd’hui, Io a permis des progrès remarquables sur une variété de tâches. Elle fait référence à un type de réseau pour connecter quoi que ce soit à Internet, en utilisant des équipements de détection avec un protocole spécifique pour effectuer des échanges d’informations et des communi- cations afin de parvenir à une reconnaissance, une surveillance et une administration intelligentes. En plus des systèmes embarqués et de l’intelligence artificielle (IA), quisont également plus excitants, et qui permettent aujourd’hui d’étourdir ces deux technologies ensemble, STMicrocontroller la concrétise en fournissant des réseaux de neurones et des microcontrôleurs optimisés.Les gens se concentrent actuellement sur la connexion de leurs appareils au cloud et la sécurité du système, mais au cours des prochaines années, nous commencerons à voir l’idée d’utiliser lentement l’Apprentissage profond et l’Apprentissage automatique et d’autres concepts d’IA pour migrer lentement du cloud vers la périphérie. Mais comment cette technologie semblet-elle faire partie de nos jours ? en raison de l’énorme écart de compétences entre le système embarqué et les experts en IA. Donc, pour résoudre ce problème, nous avons proposé le concept d’IA intégrée, et nous avons passé en revue le concept de base de l’IA, de l’Apprentissage profond, et mis en oeuvre une application pratique IA de bordure basée sur ces concepts et des microcontrôleurs ST en tant que carte NUCLEO-F411RE.Côte titre : MAI/0405 En ligne : https://drive.google.com/file/d/1NXkawgsaJI2AHZjzQc3nemsKGlE9C2Fa/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0405 MAI/0405 Mémoire Bibliothéque des sciences Français Disponible
DisponiblePermalinkPermalinkPermalinkPermalinkPermalinkPermalink
