Search
Now showing items 21-30 of 147
Transformation by example
(2011-03-03)
La transformation de modèles consiste à transformer un modèle source en un modèle cible conformément à des méta-modèles source et cible. Nous distinguons deux types de transformations. La première est exogène où les ...
Contrôle d’Accès Sécurisé dans l’Info-Nuage Mobile (Secure Access Control in Mobile Cloud)
(2018-03-21)
L'info-nuage mobile (MCC) a émergé comme une technologie prometteuse; il utilise des serveurs hautement évolutifs dans le nuage et permet de surmonter les limitations (en termes de calcul et d’énergie) des appareils mobiles. ...
Predictive models for career progression
(2018-10-18)
Linkedin est le plus grand réseau social pour les professionnels où les utilisateurs du service partagent toute leur histoire professionnelle. Dans ce travail, nous explorons les méthodes par lesquelles nous pouvons modéliser ...
Matrix-based Parameterizations of Skeletal Animated Appearance
(2017-09-15)
Alors que le rendu réaliste gagne de l’ampleur dans l’industrie, les techniques à la
fois photoréalistes et basées sur la physique, complexes en terme de temps de calcul,
requièrent souvent une étape de précalcul hors-ligne. ...
Influencing the Properties of Latent Spaces
(2017-03-28)
L'apprentissage automatique repose sur l'étude des méthodes de détermination de paramètres de modélisation de données a n d'accomplir une tâche, telle que la classification d'image ou la génération de phrases, pour un jeu ...
Modelling and Reasoning with Software Product Lines with Design Choices
(2019-05-08)
Les gammes de produits logiciels (Software Product Lines)(SPLs) permettent de gérer la variabilité qui apparaît dans les familles de modèles logiciels connexes en raison des variations des besoins des clients. Durant la ...
Load sequencing for double-stack trains
(2019-05-08)
Les trains à empilement double sont une composante majeure du réseau de transport ferroviaire pour les conteneurs intermodaux dans certains marchés comme celui de l’Amérique du Nord. Le séquençage du chargement ...
Towards a Privacy-enhanced Social Networking Site
(2012-09-04)
L’avénement des réseaux sociaux, tel que Facebook, MySpace et LinkedIn, a fourni une plateforme permettant aux individus de rester facilement connectés avec leurs amis, leurs familles ou encore leurs collègues tout en les ...
Scheduled service network design for integrated planning of rail freight transportation
(2011-03-03)
Cette thèse étudie une approche intégrant la gestion de l’horaire et la conception de réseaux de services pour le transport ferroviaire de marchandises. Le transport par rail s’articule autour d’une structure à deux niveaux ...
A Compiler for the dependently typed language Beluga
(2012-10-11)
Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte ...