Étude du mécanisme de repliement de l'ubiquitine de levure par l'introduction de contraintes conformationnelles dans son état dénaturé

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Étude du mécanisme de repliement de l'ubiquitine de levure par l'introduction de contraintes conformationnelles dans son état dénaturé

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Développement de méthodes de synthèse pour les acides aminés indolizidin-9-ones substitués et utilisation des acides aminés azabicycloalcanes en tant que mimes peptidiques

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Développement de méthodes de synthèse pour les acides aminés indolizidin-9-ones substitués et utilisation des acides aminés azabicycloalcanes en tant que mimes peptidiques

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Estimation non paramétrique d'une fonction d'évaluation d'options avec contraintes de monotonie et de convexité.

Rapport de recherche

Une évaluation empirique des contraintes de crédit au Maroc urbain.

Rapport de recherche

Contraintes de liquidite sur les marches financiers, information asymetrique et differences institutionnelles entre pays.

Rapport de recherche

Contraintes de liquidités, asymétrie d'information et comparaison des structures financières des firmes entre six pays industrialisés : une approche par la méthode généralisée des moments (GMM).

Rapport de recherche

Exploitation de contraintes photométriques et géométriques en vision : application au suivi, au calibrage et à la reconstruction

Cette thése a été réalisée dans le cadre d'une cotutelle avec l'Institut National Polytechnique de Grenoble (France). La recherche a été effectuée au sein des laboratoires de vision 3D (DIRO, UdM) et PERCEPTION-INRIA (Grenoble).

Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes

Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement.

Étude d'un problème de tournées de véhicules sur les arcs avec contraintes de capacité et coûts de service dépendants du temps

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal