- Sunday
- September 24th, 2023
- Publier un document

Télécharger le fichier pdf d'un mémoire de fin d'études Routage dans les réseaux sans fil multi-sauts Par nature, le routage dans les réseaux sans fil multi-sauts se base sur des algorithmes distribués. Étant donné que le déploiement de ce type...

Télécharger le fichier pdf d'un mémoire de fin d'études Les types des résumés automatiques Les résumés automatiques et leurs méthodes peuvent être catégorisés selon différents critères Nenkova and McKeown (2012). Nous citons les plus importants et les plus utilisés dans...

Télécharger le fichier pdf d'un mémoire de fin d'études Analytique de l’apprentissage pour l’évaluation En technologies de l’éducation, il existe deux domaines très proches qui sont celui de la fouille de données éducatives 3 et l’analytique de l’apprentissage. La première...

Télécharger le fichier pdf d'un mémoire de fin d'études Architectures embarquées pour les ADAS Les fonctions ADAS citées précédemment nécessitent de la puissance de calcul pour pouvoir traiter les données issues des différents capteurs, prendre des décisions et agir en...

Télécharger le fichier pdf d'un mémoire de fin d'études Extraction et espionnage direct des composants Un premier vecteur d’attaque possible est l’accès direct au programme par extraction ou lecture des composants mémoires. Ceci est particulièrement envisageable lorsque ces composants sont...

Télécharger le fichier pdf d'un mémoire de fin d'études Hypothèses de travail Dans ce manuscrit, nous considérons principalement une hiérarchie avec un seul niveau de Fog : les clients situés en bordure du réseau, une couche de Fog et le...

Smartphone et mobilité Le terme smartphone désigne un téléphone mobile disposant d’un nombre important de fonctionnalités que l’on retrouve habituellement sur un ordinateur. Ainsi, en plus d’être capable d’émettre et de recevoir des appels ou des messages textuels, il permet...

Diffusion scientifique Les travaux présentés dans ce document ont fait l’objet de publications présentées dans des conférences francophone et internationales avec comité de lecture : [1] Alexandre Garnier, Jean Marc Menaud, and Rémy Pottier. Sensorscript : un langage de requête...

Choix d’une approche sceptique Mes travaux de thèse ont pour objectif de renforcer la confiance que l’on peut accorder aux transformations logiques. Nous nous intéressons aux transformations logiques des outils de vérification déductive, et nous appliquons notre méthode aux transformations...