DSpace Repository

Browsing Master by Title

Browsing Master by Title

Sort by: Order: Results:

  • Simulation et évaluation des performances du protocole TinyOS beaconing « TOSB ». 
    Chikouche, Ali (UNIVERSITE MOHAMED BOUDIAF M’SILA : FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE : Département d’Informatique, 2013)
    Un réseau de capteurs sans fil (RCSF) est un ensemble de noeuds communicants par des liaisons sans fil pour observer un phénomène donné. Vu leurs contraintes particulières, les RCSF demandent la mise en oeuvre de nouveaux ...
  • Site web locale pour la faculté des mathématiques et de l’informatique de l’université de M’sila 
    NOUASRI, Hamza (FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA, 2016)
    The goal of this project is the design and presentation of a local website for communication at the faculty MI University of Mohamed BoudiafM'sila, which can facilitatethe communication and the exchange of information ...
  • Site web pour un opticien-lunetier 
    Ben mekhfi, Asma; Chetouana, Nesrine; Rapporteur: Mokhtari, Rabah (UNIVERSITY of M'SILA, 2022-06-10)
    Enfin notre mémoire a Pour but de faire une bonne gestion d'un projet lorsqu'on décidé de créer un site web pour un opticien-lunetier qui répond aux besoins des opticien (utilisateurs). l’analyse et la conception sont ...
  • Slow Port Scanning Detection 
    DAOUD, Amel (UNIVERSITY OF M’SILA- FACULTY OF MATHEMATICS AND INFORMATICS - Department of Computer Science, 2014)
    Port scanning represents a sizable portion of today’s internet traffic. An attacker performs port scans of IP addresses to find vulnerable hosts to compromise. Port scanning detection has received a lot of attention by ...
  • Spécification et vérification des systèmes temps réel 
    MILI, Soufyane (2017)
    En informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Dans notre travail on a spécifié le ...
  • Spécification et vérification d’un système d’ascenseur par la méthode B 
    BENBOUDINA, Imane (FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE DEPARTEMENT D’INFORMATIQUE, 2018)
    Notre travail entre dans le cadre de génie logiciel. Cette mémoire s’intéresse à la spécification et vérification formelle des logiciels. Nous avons utilisé les méthodes formelles pour développer un système informatique. Nous ...
  • Stochastic Routing Algorithm for Ad-Hoc Networks 
    DAHMANE et SILINI, Khawla et Loubna (FACULTY of MATHEMATICS AND INFORMATICS DEPARTEMENT of CMPUTER SCIENCE - OPTION : RTIC, 2020)
    The need for communication services is rapidly increasing, because the mobile communication service is synonymous with an ideal communication style realizing communication anytime, anywhere and with anyone. Mobile ad hoc ...
  • STORY CLASSIFICATION IN THE HOLY QURAN 
    CHIKEUR, RIHAB; Supervisor : Bentrcia, Rahima (University of M'sila, 2021-06-10)
    Research has paid great attention to processing textual data in all languages, but the classification of Arabic texts is less in number than others, especially information systems that depend on the Arabic text in the Holy ...
  • Structuration des documents non structurés pour l’extraction de connaissances. Étude de cas : Documents Word et PDF 
    kehali, Nor elhouda (UNIVERSITE MOHAMED BOUDIAF - M’SILA FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE DEPARTEMENT D’INFORMATIQUE - OPTION : IDO, 2019)
    Ce travail vise le domaine du Big data qui contient différents types de données provenant de différentes sources. Notre objectif consiste à extraire les informations et les connaissances à partir de fichiers contenant ...
  • Suicide detection in social networks 
    BOUAFIA, MOHAMED (FACULTY OF MATHEMATICS AND COMPUTER SCIENCE-MOHAMED BOUDIAF UNIVERSITY - M’SILA, 2016)
    Suicide is phenomenon, which has a relevant impact on our society; also it is a major psychological health problem which requires early detection strategies. So the work undertaken within the framework of this research ...
  • (Supply Chaine) Problème de Tournée du Véhicule avec Fenêtre de Temps (PTVFT) 
    Hadbaoui et Nouibat, Nawal et Khaoula (FACULTE DE: MATHEMATIQUES ET DE L’INFORMATIQUE DEPARTEMENT :D'INFORMATIQUE - SPÉCIALITÉ: INFORMATIQUE DECISIONNEL ET OPTIMISATION, 2021)
    Dans les domaines industriels, l'intense compétitivité de l'environnement commercial oblige les entreprises à diversifier leurs offres pour mieux répondre aux demandes de leurs clients.La gestion de cette diversité est ...
  • Sur certains opérateurs linéaires et non linéaires bornés et continus de Lp (IRn ) dans Lq(IRn) 
    RADJA, FAID; Rapporteur: Moussi, Madani (UNIVERSITY of M'SILA, 2022-06-10)
    Nous avons étudié quelques opérateurs linéaires et non linéaires sur Lp (IRn ) dans Lq (IRn ), où on a expliqué quelques résultats intéressants en donnant des démonstrations détaillées. On a aussi formulé un ...
  • Sur les Opérateurs Paranormaux Dans Les Espaces De Banach 
    HERAIZ DOUNYA; Supervisor: Heraiz, Toufik (UNIVERSITY of M'SILA, 2022-06-10)
    Dans ce mémoire on a discuté la classe des opérateurs paranormaux qui est une généralisation de la classe des opérateurs auto adjoints avec quelques propriétés spectrales et plus précisément le théorème de Weyl.
  • Surface covering Robot simulator using Random walk strategy 
    Benmerzoug, Rima; Supervisor: MOUSSAOUI, Adel (UNIVERSITY of M'SILA, 2022-06-10)
    This work is a simplified study on the use of random walk strategy in covering 2D spaces on a blind robot simulator. The first chapter is a general introduction to the topic of surface covering, followed by some initial ...
  • SYSTEME AUTEUR D'AIDE A LA CREATION DES OBJETS PEDAGOGIQUES TEXTUELS 
    RABHI, Warda (FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE DE M’SILA, 2014)
    Le Learning Object Metadata (LOM) est le standard incontestable pour l’indexation des ressources pédagogiques. L'indexation de ces ressources en LOM est souvent accomplie manuellement par des documentalistes, Dans ce ...
  • système à base d’ontologie pour l’aide à la maintenance des machines 
    LADJENEF, Mohamed (FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE DEPARTEMENT D’INFORMATIQUE, 2018)
    Dans cette mémoire nous avons présenté le développement d'un system de maintenance pour les machine en utilisant une ontologie. pour ce faire nous avons développé un logiciel pour gérer cette ontologie… Notre application ...
  • Système Coopératif Basé Sur Les Web Services. 
    BEN YOUNES, Ibrahim (FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE DE M’SILA, 2012)
    Notre travail s'achève par la mise en œuvre d’une application coopérative permettent d’inter change les documents entre les différents services de la faculté assure la coordination et l’échange d’informations entre les ...
  • Système d'aide au diagnostic médical à base d'ontologie 
    GHERZOULI, Imane (FACULTE DES MATHEMATIQUES ET D'INFORMATIQUE - UNIVERSITE MOHAMED BOUDIAF - M’SILA, 2017)
    Dans ce mémoire nous avons présenté le développement d'un système d'aide pour la diagnostique médicale en utilisant une ontologie .pour ce faire nous avons développé un logiciel pour gérer cette ontologie… Notre application ...
  • Système de détection d’intrusion basé sur la classification comportementale des processus 
    CHIKOUCHE, Soumia (Faculté des Mathématiques et de l’Informatique -UNIVERSITE MOHAMED BOUDIAF DE M’SILA, 2012)
  • Système d’information collaboratif pour Les transferts inter-facultés 
    TOUAMA, Hakim (FACULTE DES MATHEMATIQUES ET DE L’INFORMATIQUE - UNIVERSITE DE Mohammed Boudiaf M’sila, 2014)
    L'objectif essentiel de notre travail, c’est de voir les système d’information collaboratif et essayer de contribuer à la réalisation d'une Application Web dynamique qui facilitera a l’étudiant et a l’administration le ...

Search DSpace


Advanced Search

Browse

My Account