Le mur-écran Le mur-écran (figure 1) est un nouveau dispositif d’affichage conçu pour mettre en…
Informatique
Projet de fin d’étude en informatique :
Rapport de stage en informatique, chatpfe.com vous propose de télécharger un maximum de mémoires online et thèses d’étudiants en accès gratuit sur internet, les étudiants de formations de niveau licence (PFE) ou master (mémoire) rédiger un projet d’étude informatique complet avec exemple rapport de stage développement informatique en pdf ou exemple rapport de stage technicien informatique pdf pour savoir comment rédiger un plan d’étude.
Nouvel algorithme d’optimisation bayésien
Probabilité d’amélioration Historiquement, le premier critère utilisé dans un cadre de l’optimisation bayésienne fut introduit…
Mise en oeuvre d’un moteur d’exécution de modèles UML
Les principes de l’IDM L’ingénierie dirigée par les modèles [3] est un paradigme de développement…
Graphes du Web, Mesures d’importance à la PageRank
Les moteurs de recherche aujourd’hui DEPUIS quelques années, l’Internet, et le Web en particulier, ont…
Transformation de programmes logiques
Systèmes de recommandation Les systèmes de recommandation ont pour l’objectif principal de recommander des items…
Reconfiguration Dynamique des Applications à base de Composants Logiciels
LE MODELE DE PROGRAMMATION PAR COMPOSANTS Le développement orienté composant [HC01] a pour objectif la…
Solutions d’intégration en boîtier de puces MMIC via la technologie LTCC
La technologie d’intégration hybride des modules micro-ondes, voire millimétriques, est un sujet très important dans les…
Algorithmique des courbes elliptiques dans les corps finis
Algorithme de Schoof Avec la publication en 1985 d’un algorithme déterministe de complexité en O(log8q) pour…
Simulation entre modèles de calcul naturel et modularité des réseaux d’automate
Machines de Turing Les machines de Turing sont un modèle de calcul que l’on peut…
Apport des architectures à composants pour l’administration des intergiciels
Les défis de l’administration d’applications réparties Les systèmes informatiques modernes intègrent un nombre croissant de…
Reconnaissance Bimodale de Visages
Techniques d’acquisition active La technique active est la plus utilisée pour l’acquisition de la forme…
Utiliser les technologies de réalité virtuelle pour apprendre
Définition : des EIAH aux EVAH La communauté scientifique s’accorde pour employer les termes d’EIAH…
Transfert de déformations géométriques lors des couplages de codes de calcul
ISAS En 1995, afin de pallier le problème du dialogue entre les codes de calcul,…
Vers une analyse syntaxique à granularité variable
Autour du mot syntaxe La rigueur qu’exige le travail de recherche ne doit pas être…
Sécurité des systèmes biométrique
Description des empreintes digitales Une empreinte digitale est le dessin formé par les lignes de…
Système d’aide à la spécification et à la preuve de programmes ML
Lambda-calcul Le lambda-calcul, inventé par Church, est avant tout une formalisation de l’écriture des fonctions.…
Coordination entre outils dans un environnement intégré de développement de logiciels
Modèles de description du processus de développement MARVEL [9][10] est un exemple d’approche déclarative, fondée…
Surveillance et diagnostic par le flux d’ateliers de production cyclique
Concepts fondamentaux du diagnostic Terminologies :Cette partie vise à rappeler les terminologies utilisées pour la surveillance…
Neutralité du Net
Introduction La conservation, ou non, de la neutralité du Net est un sujet d’actualité. Ce principe,…
Harnessing uncertain data structure
Providing high-quality content or facilitating a uniform access to content, through effective tools, is undoubtedly one…
Planification locale de trajectoire sous contraintes
Le problème de planification de trajectoire sous contraintes et optimisation Un robot est limité par ses…
Mesure de l’attention auditive par électroencéphalographie
Inria et l’équipe-projet Athena Inria, Institut national de recherche en informatique et en automatique, est…
Agrégation et extraction des connaissances dans les réseaux inter-véhicules
La voiture est de nos jours le moyen de locomotion le plus répandu. Aujourd’hui cette voiture…
La vérification de propriétés de sécurité de protocoles cryptographiques
Logique du premier ordre Nous allons définir ici de manière succincte la syntaxe et la…
Modèles de mémoires pour la navigation autonome
Stockage Le processus de stockage représente sans doute la phase la plus complexe de la…
Contribution au dimensionnement des PLL pour des modulations polaires larges bandes
Évolution des standards de téléphonie mobile Historique La motivation principale derrière toutes ces évolutions est l’augmentation…
Problématique des entrepôts de données textuelles
Il faut remonter jusqu’en 1600 avant J.-C. pour trouver les premiers rapports médicaux rédigés sur un…
Méthodes de reconstruction tridimensionnelle intégrant des points cycliques
Calcul de la structure et du mouvement à partir de correspondances de points Un des…
Normalisation et Apprentissage de Transductions d’Arbres en Mots
Mots et langages Un alphabet est un ensemble fini et non vide de symboles. La…
Intégration d’un client mobile à CTH
Architecture à mémoire partagée : Shared-Memory Dans une architecture à mémoire partagée, les disques et…