Jump to navigation
Résumé :
In the era of Big Data, we need efficient and scalable machine learning algorithms which can perform automatic classification of Tera-Bytes of data.
L'analyse statique de programme a pour but de prouver automatiquement qu'un programme vérifie certaines propriétés.
The present study focuses on (a) predicting parameters of already existing standard IR models and (b) learning new IR functions.
Dans cette thèse, nous nous intéressons à plusieurs méthodes pour améliorer la sécurité des réseaux sans fil ad hoc.
 L'explosion de la quantité de documents multimédias, suite à l'essor des technologies numériques, a rendu leur l'indexation très coûteuse et manuellement impossible.
Les boîtes quantiques sont les nanostructures confinées suivant les trois directions de l'espace.
Les alliages à mémoire de forme Nickel-Titane sont connus pour leurs propriétés de superélasticité associées à une transformation martensitique élastique, de ferroélasticité liées à la réorientatio
Les dernières décennies ont vu croître en quantité et en qualité les données satellites. Au fil des ans, ces observations ont pris de plus en plus d’importance en prévision numérique du temps.
Les processus métier des organisations deviennent de plus en plus complexes et dépendent souvent des processus et des services fournis par d’autres organisations.