Conception assistée d'entrepôts de données et de documents XML pour l'analyse OLAP
FR
Répondre à des questions à réponses multiples sur le Web
FR
A Refinement based methodology for software process modeling
FR
Foundations for analyzing security APIs in the symbolic and computational model / Fondations d'analyse de APIs de sécuri...
Dans une infrastructure logicielle, les systèmes critiques ont souvent besoin de garder des clés cryptographiques sur des HSM ou des serveurs consacrés à la gestion de clés. Ils ont pour but de séparer les opérations cryptographiques, très critiques, du reste du réseau, qui est plus vulnérable. L'accès aux clés est fourni au travers des APIs de séc...
Digital surface model generation and 3D change detection from high resolution satellite stereoscopic imagery / Génératio...
L'imagerie satellite permet aujourd'hui l'acquisition d'un nombre croissant de données dont l'augmentation des résolutions spatiale et temporelle permet de caractériser de plus en plus finement une scène et son évolution. Dans ce contexte, les méthodes de détection des changements apparus entre deux scènes sont particulièrement étudiées. Elles sont...
méthodologie de modélisation de la croissance de neurosphères sous microscope à contraste de phase / Framework for neuro...
L'étude des cellules souches est l'un des champs de recherches les plus importants dans le domaine biomédical. La vision par ordinateur et le traitement d'images ont été fortement mis en avant dans ce domaine pour le développement de solutions automatiques de culture et d'observation de cellules. Ce travail de thèse propose une nouvelle méthodologi...
Matrix factorization, application to preference prediction in recommender systems / Factorisation matricielle, applicati...
Cette thèse s'articule autour des problèmes d'optimisation à grande échelle, et plus particulièrement autour des méthodes de factorisation matricielle sur des problèmes de grandes tailles. L'objectif des méthodes de factorisation de grandes matrices est d'extraire des variables latentes qui permettent d'expliquer les données dans un espace de dimen...
On models for performance analysis of a core cache network and power save of a wireless access network
FR
Présentations parcimonieuses sur dictionnaire d'apprentissage pour l'analyse de documents
FR
Game design methodology to generate player psychological profile / Méthode de game design pour la création d'un profil p...
Générer du gameplay est un incontournable objectif de la réalisation d un jeu. Nous le recherchons lorsque nous nous rentrons dans la bulle ludique. Pourtant, les éléments produits par les game designer sont des systèmes de jeu, des règles, une simulation, etc. Pour que ce système permette la naissance du gameplay, les game designers doivent nécess...
