Contribution a lโ€™etude des relations communicationnelles face aux NTICs dans le cadre de la vie a la numรฉrique actuelle

Gรฉnรฉralitรฉ Si lโ€™humanitรฉ a acquis une certaine maturitรฉ, cela signifie quโ€™elle est parvenue au terme dโ€™une longue รฉvolution. En revanche, des explorateurs du XIXe siรจcle ont dรฉjร  emmenรฉ leur voyage, dans le champ du cerveau, ce nouveau continent de la...

Sous-graphes connexes tropicaux minimum

Tรฉlรฉcharger le fichier pdf d'un mรฉmoire de fin d'รฉtudes Graphes sommet-colorรฉs โ€” Une coloration dโ€™un graphe G = (V; E) est une fonction c qui ร  chaque sommet de V associe une couleur. On notera Gc le graphe G muni...

Du diagnostic au diagnostic distribuรฉ : algorithmes, structure et challenge

Tรฉlรฉcharger le fichier pdf d'un mรฉmoire de fin d'รฉtudes Le diagnostic `a base de cohยดerence Les travaux pionniers de Mackworth et al [dKMR92] dยดefinissent di๏ฌ€ยดerents types de diag-nostics `a base de cohยดerence. Dans notre ยดetude nous nous intยดeressons plus particuli`erement...

Le couplage quantique de la dynamique de spin et de la dynamique molรฉculaire

Tรฉlรฉcharger le fichier pdf d'un mรฉmoire de fin d'รฉtudes La dynamique de spin ab initio : Liaisons fortes et DFT Les calculs de structure รฉlectronique ont permis, ร  partir dโ€™un traitement adiaba-tique du magnรฉtisme non-colinรฉaire, dโ€™รฉtudier di๏ฌ€รฉrentes grandeurs en magnรฉtisme....

Gestion des documents XML temporels : รฉtat de lโ€™artย 

Tรฉlรฉcharger le fichier pdf d'un mรฉmoire de fin d'รฉtudes Le langage XPath L'interrogation, la transformation et la mise ร  jour sont de s fonctionnalitรฉs qui requiรจrent de naviguer dans la structure arborescente des documents XML. XPath est le langage permettant...

Compatibilitรฉ du code gรฉnรฉrรฉ avec CompCert

Tรฉlรฉcharger le fichier pdf d'un mรฉmoire de fin d'รฉtudes Un petit programme flot de donnรฉes Nous pouvons ร  prรฉsent รฉcrire notre premier (et dernier) programme en Lustre (ver-sion 4) [53]. Un programme en Lustre se prรฉsente comme un systรจme dโ€™รฉquations...

Optimisation du reseau informatique de Lโ€™ASECNA

La sรฉcuritรฉ constitue une condition sine qua non de la rรฉussite dโ€™un vol jusquโ€™ร  destination, lโ€™Agence pour la Sรฉcuritรฉ de la Navigation Aรฉrienne en Afrique et ร  Madagascar รฉtant lโ€™une des firmes multinationales qui assurent cette mission. Pour ce faire,...

Extraction de lexiques bilingues ร  partir de corpus paralรจllesย 

Tรฉlรฉcharger le fichier pdf d'un mรฉmoire de fin d'รฉtudes Corpus multilingues Les corpus multilingues sont composยดes de documents dans des langues di๏ฌ€ยดerentes. Les informations qui peuvent ห†etre mises `a jour par lโ€™investigation et lโ€™analyse de ces corpus en font une...

Elรฉments dโ€™architectures et de programmation parallรจles

Tรฉlรฉcharger le fichier pdf d'un mรฉmoire de fin d'รฉtudes Architectures de processeurs parall`eles Cette section presenteยด les architectures paralleles` actuelles. En particulier, on en con-sidere` trois : les processeurs multi-coeurs avec unitesยด vectorielles, le processeur Cell et les GPU. Ces...

La segmentation des textes en รฉvรจnements

Tรฉlรฉcharger le fichier pdf d'un mรฉmoire de fin d'รฉtudes Extraction dโ€™information : vue dโ€™ensemble du domaine Extraction dโ€™information Lโ€™extraction dโ€™information peut ห†etre dยดefinie de faยธcon gยดenยดerale comme lโ€™extrac-tion dโ€™informations structurยดees `a partir de textes en langue naturelle, donc non structurยดes....