University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 004 - Informatique
Ajouter le résultat dans votre panier Affiner la recherche
E-mail sur l'internet / Stépane Solliec
Titre : E-mail sur l'internet Type de document : texte imprimé Auteurs : Stépane Solliec Editeur : Paris : Dunod Année de publication : 1996 Importance : 1 vol. (155 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-002927-3 Note générale : Index p.151-155 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
InternetIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
1- Introduction
2- Bases de l'e-mail
3- E-mail, fonctions avancées
4- Tronsmettre vos fichiers transemettre votre travail
5- Us et coutumes de l'e-mail
6- Autres services d'internet par e-mail
7- Confidentialité et authentification des mailsCôte titre : Fs/8271 E-mail sur l'internet [texte imprimé] / Stépane Solliec . - Paris : Dunod, 1996 . - 1 vol. (155 p.) : ill. ; 24 cm.
ISBN : 978-2-10-002927-3
Index p.151-155
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
InternetIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
1- Introduction
2- Bases de l'e-mail
3- E-mail, fonctions avancées
4- Tronsmettre vos fichiers transemettre votre travail
5- Us et coutumes de l'e-mail
6- Autres services d'internet par e-mail
7- Confidentialité et authentification des mailsCôte titre : Fs/8271 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/8271 Fs/8271 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Ecient Routing Protocol for Flying Ad hoc Networks (FANETs) Type de document : texte imprimé Auteurs : Guemer,Houssem, Auteur ; Aliouat ,Zibouda, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (43 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Fanet
Uav
Routing
Clustering
Energy optimizationIndex. décimale : 004 - Informatique Résumé : Flying Ad-hoc NETworks (FANETs) of Unmanned Aerial Vehicles (UAVs) have gained
an increased interest of researchers owed to a large number of applications they provide
for dierent purposes in civilian and military domains. Data communication and rout-
ing are of vital signicance for the collaboration and coordination of UAVs in order to
accomplish their missions. Yet, FANETs present unique challenges due to the scarce
energy sources and the high mobility of the UAVs that should be addressed. The main
aim of this work is to study the routing issue in FANETs with regard to the aforemen-
tioned characteristics. Here, we attempt to optimize the energy consumption by solving
the high mobility problem through a geological position based clustering architecture.
We propose a Simple Area Division (SAD) protocol that takes advantage/exploits the
available information about the node's communication range and the deployment area.
The proposed protocol divides the deployment area into smaller zones (clusters) man-
aged by a single hovering UAV (CH). The simulation of the proposed protocol carried
out using the network simulator 3 (Ns3) has yielded convincing results, in terms of en-
ergy consumption and network lifetime, outperforming those exhibited by the referred
protocol.Côte titre : MAI/0370 En ligne : https://drive.google.com/file/d/12tjv9V4OYWLNnSUd_H5cA343SjZbdsIB/view?usp=shari [...] Format de la ressource électronique : Ecient Routing Protocol for Flying Ad hoc Networks (FANETs) [texte imprimé] / Guemer,Houssem, Auteur ; Aliouat ,Zibouda, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (43 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Fanet
Uav
Routing
Clustering
Energy optimizationIndex. décimale : 004 - Informatique Résumé : Flying Ad-hoc NETworks (FANETs) of Unmanned Aerial Vehicles (UAVs) have gained
an increased interest of researchers owed to a large number of applications they provide
for dierent purposes in civilian and military domains. Data communication and rout-
ing are of vital signicance for the collaboration and coordination of UAVs in order to
accomplish their missions. Yet, FANETs present unique challenges due to the scarce
energy sources and the high mobility of the UAVs that should be addressed. The main
aim of this work is to study the routing issue in FANETs with regard to the aforemen-
tioned characteristics. Here, we attempt to optimize the energy consumption by solving
the high mobility problem through a geological position based clustering architecture.
We propose a Simple Area Division (SAD) protocol that takes advantage/exploits the
available information about the node's communication range and the deployment area.
The proposed protocol divides the deployment area into smaller zones (clusters) man-
aged by a single hovering UAV (CH). The simulation of the proposed protocol carried
out using the network simulator 3 (Ns3) has yielded convincing results, in terms of en-
ergy consumption and network lifetime, outperforming those exhibited by the referred
protocol.Côte titre : MAI/0370 En ligne : https://drive.google.com/file/d/12tjv9V4OYWLNnSUd_H5cA343SjZbdsIB/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0370 MAI/0370 Mémoire Bibliothéque des sciences Français 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
DisponibleEffective Speech Emotion Recognition Using Deep leaning approaches for algerian dialect / Yahia cherif,Raoudha
Titre : Effective Speech Emotion Recognition Using Deep leaning approaches for algerian dialect Type de document : texte imprimé Auteurs : Yahia cherif,Raoudha, Auteur ; Moussaoui ,Abdelouahab, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux neuronaux convolutionnels
Long Short Term Memory
Apprentissage
Dialecte algérienIndex. décimale : 004 - Informatique Résumé :
La reconnaissance des émotions à partir des signaux vocaux basée sur l’apprentissage
profond est un domaine de recherche assez actif. Dans cette thèse, la reconnaissance
des émotions dans le dialecte algérien est étudiée. La base de données émotionnelle est
collectée à partir des émissions télévisées algériennes. Les audios sont étiquetés par
leurs émotions: happy, angry, neutral ou sad et diverses méthodes de classification
sont appliquées: apprentissage automatique, réseaux de neurones convolutionnels profonds(
CNNs) et Long Short Term Memory(LSTM). Après avoir appliqué les modèles
proposés sur notre jeu de données, la meilleure précision obtenue est de 92,93% également
atteinte par le modèle LSTM-CNN.Côte titre : MAI/0356 En ligne : https://drive.google.com/file/d/1L2gfCo9jF4lVvIJccOREFYokFTDdt0AX/view?usp=shari [...] Format de la ressource électronique : Effective Speech Emotion Recognition Using Deep leaning approaches for algerian dialect [texte imprimé] / Yahia cherif,Raoudha, Auteur ; Moussaoui ,Abdelouahab, Directeur de thèse . - [S.l.] : Setif:UFA, 2020.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux neuronaux convolutionnels
Long Short Term Memory
Apprentissage
Dialecte algérienIndex. décimale : 004 - Informatique Résumé :
La reconnaissance des émotions à partir des signaux vocaux basée sur l’apprentissage
profond est un domaine de recherche assez actif. Dans cette thèse, la reconnaissance
des émotions dans le dialecte algérien est étudiée. La base de données émotionnelle est
collectée à partir des émissions télévisées algériennes. Les audios sont étiquetés par
leurs émotions: happy, angry, neutral ou sad et diverses méthodes de classification
sont appliquées: apprentissage automatique, réseaux de neurones convolutionnels profonds(
CNNs) et Long Short Term Memory(LSTM). Après avoir appliqué les modèles
proposés sur notre jeu de données, la meilleure précision obtenue est de 92,93% également
atteinte par le modèle LSTM-CNN.Côte titre : MAI/0356 En ligne : https://drive.google.com/file/d/1L2gfCo9jF4lVvIJccOREFYokFTDdt0AX/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0356 MAI/0356 Mémoire Bibliothéque des sciences Français Disponible
DisponibleEfficacité du Stockage Thermique par Chaleur Latente Expérimentation et Application à des Systèmes Energétiques réels / Djeffal,Rachid
Titre : Efficacité du Stockage Thermique par Chaleur Latente Expérimentation et Application à des Systèmes Energétiques réels Type de document : texte imprimé Auteurs : Djeffal,Rachid, Auteur ; Bekkouche, Sidi Mohammed El Amine, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (128 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Confort thermique
Efficacité énergétiqueIndex. décimale : 004 - Informatique Résumé :
Les travaux effectués dans cette thèse sont consacrés globalement à minimiser la consommation énergétique des bâtiments tout en assurant l’efficacité énergétique des logements et le confort hygrothermique des habitants. Nous nous intéressons à l'intégration des matériaux intelligents (Matériaux à Changement de Phase "MCP") dans les parois opaques d’un habitat, une cellule frigorifique et un chauffe bain domestique. L'intégration des MCPs dans les murs et les toits peut être une solution efficace. L'influence de ce concept passif (MCP + isolation) sur le chauffage et la climatisation est importante car elle favorise une diminution d'environ 65.9%. D’autre part, l'intégration du MCP sur les parois d’une cellule frigorifique peut
réduire l'énergie annuelle consommée jusqu'à 12.88%. Par ailleurs, pour les systèmes de chauffage d’eau, en particulier ceux équipés de réservoirs latents (en MCP), il s'est avéré qu'il était favorable de conserver des températures plus élevées pour une meilleure production. La production d'ECS augmentera considérablement en augmentant la température du thermostat. En augmentant la température de l'eau de 50 à 75 °C, une économie financière d'environ 47.42% a été réalisée. En fait, les résultats obtenus prouvent que les MCPs présentent des solutions fiables et utiles pour différentes applications.Côte titre : DI/0068 En ligne : https://drive.google.com/file/d/16yHSF8h3XKxlWawvhcSh5ChD0phef_wG/view?usp=shari [...] Format de la ressource électronique : Efficacité du Stockage Thermique par Chaleur Latente Expérimentation et Application à des Systèmes Energétiques réels [texte imprimé] / Djeffal,Rachid, Auteur ; Bekkouche, Sidi Mohammed El Amine, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (128 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Confort thermique
Efficacité énergétiqueIndex. décimale : 004 - Informatique Résumé :
Les travaux effectués dans cette thèse sont consacrés globalement à minimiser la consommation énergétique des bâtiments tout en assurant l’efficacité énergétique des logements et le confort hygrothermique des habitants. Nous nous intéressons à l'intégration des matériaux intelligents (Matériaux à Changement de Phase "MCP") dans les parois opaques d’un habitat, une cellule frigorifique et un chauffe bain domestique. L'intégration des MCPs dans les murs et les toits peut être une solution efficace. L'influence de ce concept passif (MCP + isolation) sur le chauffage et la climatisation est importante car elle favorise une diminution d'environ 65.9%. D’autre part, l'intégration du MCP sur les parois d’une cellule frigorifique peut
réduire l'énergie annuelle consommée jusqu'à 12.88%. Par ailleurs, pour les systèmes de chauffage d’eau, en particulier ceux équipés de réservoirs latents (en MCP), il s'est avéré qu'il était favorable de conserver des températures plus élevées pour une meilleure production. La production d'ECS augmentera considérablement en augmentant la température du thermostat. En augmentant la température de l'eau de 50 à 75 °C, une économie financière d'environ 47.42% a été réalisée. En fait, les résultats obtenus prouvent que les MCPs présentent des solutions fiables et utiles pour différentes applications.Côte titre : DI/0068 En ligne : https://drive.google.com/file/d/16yHSF8h3XKxlWawvhcSh5ChD0phef_wG/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DI/0068 DI/0068 Thèse Bibliothéque des sciences Français Disponible
DisponiblePermalinkEJB 3:Des conceptions à l'écriture du code :Guide du développer / Frédérique Chuong
PermalinkÉléments fondamentaux de l'informatique:Les Ordinateurs / Pierre Poulain
PermalinkÉléments d'informatique, 6e édition / Danielle Hevey, Francis Fournelle, Timothy O'Leary, Linda O'Leary
PermalinkEléments de programmation / Jacques Schmit
PermalinkPermalinkElicitation activities and analyze of requirements in the context of big data projects / Abdelmounaam Bounab
PermalinkPermalinkPermalinkEmotional facial expression Recognition / Soualah,Khalil
Permalink