L'hypothèse qu'un grand nombre de problèmes n'admettent pas d'algorithme (exact et déterministe) polynomial date de l'avènement de la théorie de la NP-complétude dans les années 70. Depuis, de nombreuses théories et techniques algorithmiques se sont développées pour résoudre ces problèmes difficiles le plus efficacement possible. Dans cette thèse, nous nous intéressons aux algorithmes exacts faiblement exponentiels. L'objectif est d'obtenir des algorithmes de complexité 0* (c^n) où n est la taille de la donnée et c une Constante la plus faible possible / The assumption that many problems do not admit algorithm (exact and deterministic) polynomial ate of the advent of the theory of NP-completeness in the 70s. Since many theories and algorithmic techniques have been developed to solve these problems difficult as efficiently as possible. In this thesis, we focus on exact algorithms weakly exponential. The objective is to obtain algorithms complexity 0 * (c ^ n) where n is the size of the data and one constant c as small as possible

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

À ce jour, les analgésiques de choix dans le traitement de la douleur sont toujours les composés opioïdergiques agissant sur le récepteur mu (MOPR), comme par exemple la morphine. Étant donné les effets secondaires indésirables observés avec ces agonistes, des alternatives ont été envisagées pour traiter la douleur adéquatement tout en réduisant les effets indésirables. Un rôle pour le récepteur opioïdergique delta (DOPR) a été proposé, car son activation engendre moins d'effets secondaires que MOPR. Cependant, la faible efficacité analgésique de ses agonistes limite son utilisation clinique. Les études menées dans le laboratoire du Pr Louis Gendron ont pour but principal d'étudier les rôles de DOPR, sa régulation et ses mécanismes d'action pour contrer la douleur. Chez les rongeurs, il est entre autre [i.e. autres] possible d'augmenter l'analgésie induite par les agonistes DOPR dans certaines conditions, comme suite à un traitement chronique avec un agoniste MOPR ou lors d'une douleur de type inflammatoire ou neuropathique. En conditions normales, DOPR semble séquestré au niveau intracellulaire, ce qui pourrait expliquer sa faible efficacité analgésique. Cependant, une augmentation de la disponibilité membranaire de DOPR semble corrélée à l'augmentation de ses effets analgésiques. Différentes hypothèses ont été proposées pour expliquer ce phénomène et ce mémoire présente un survol des différents mécanismes de régulation proposés pour DOPR en s'attardant principalement sur le rôle possible de la substance P. Ce neuropeptide a en effet été décrit comme étant essentiel pour permettre l'expression membranaire de DOPR et ainsi permettre l'analgésie via ce récepteur. Cependant, des différences dans la localisation de la substance P et de DOPR ont été soulevées. Mon étude évalue donc le rôle de la substance P dans l'analgésie produite par des agonistes DOPR dans un modèle de douleur inflammatoire. Les résultats obtenus ici démontrent que la substance P ne semblent [i.e. semble] pas essentielle pour permettre la compétence fonctionnelle de DOPR. Cela suggère donc l'existence de mécanismes de régulation de DOPR indépendants de la substance P. Il ne semble donc pas y avoir un seul et unique mécanisme responsable de la régulation de DOPR, différentes hypothèses sont explorées dans ce mémoire.

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

Esta pesquisa busca a reconstituição dos fatos que deram origem ao Colégio Nossa Senhora do Patrocínio em Itu (SP), fundado e dirigido pelas Irmãs de São José de Chambéry, primeira instituição total confessional católica feminina de São Paulo. O estudo compreende também uma abordagem sobre Madre Maria Theodora Voiron e suas práticas educativas, que coloca o Colégio em lugar de destaque no cenário educacional brasileiro. / Cette recherche en visage la reconstitution des origenes de l'Ecole Notre Dame du Patronage à Itu (SP), fondée et dirigée par les Soeurs Saint-Joseph de Chambéry, premier institut complet confessionel catholique de jeune fille de Saint-Paul. L'étude comprend aussi une partie sur Mère Marie Théodore Voiron et ses méthodes éducatives, qui projettent l'école dans un important cadre de l'éducation brésilienne.

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010

Force est de constater que composer des applications existantes afin d'en réutiliser tout ou une partie est une tâche complexe. Pourtant avec l'apparition quotidienne d'applications, les éditeurs d'applications ont de plus en plus besoin d'effectuer de telles compositions pour répondre à la demande croissante des utilisateurs. Les travaux existants ne traitent généralement que d'un seul point de vue : celui du "Noyau Fonctionnel" dans le domaine du Génie Logiciel, celui des Tâches" ou celui de l'"Interface Graphique" dans le domaine des Interactions Homme-Machine (IHM). Cette thèse propose une nouvelle approche basée sur un modèle d'application complet (fonctionnel, tâche et interface graphique). Elle permet à un utilisateur de naviguer entre ces différents modèles pour sélectionner des ensembles cohérents pouvant être composé par substitution. Une implémentation de cette approche a permis d'effectuer des tests utilisateurs confortant les bienfaits d'une modélisation complète.

À ce jour, on estime que 60% des cancers , tous types confondus, formeront des métastases qui vont se loger dans les os. Bien que des avancées majeures aient été réalisées dans la détection et le traitement du cancer, dans le cas du cancer des os les soins ne sont habituellement que palliatifs et la douleur toujours grandissante. Parmi les douleurs cancéreuses, celle causée par le cancer des os est la plus commune mais aussi la plus difficile à traiter. À ce jour, les antalgiques de la famille des alcaloïdes (i.e. la morphine et ses dérivés) demeurent la meilleure thérapie pour combattre la douleur due au cancer des os, et ce même si leur utilisation prolongée entraîne des épisodes de tolérance analgésique. Cependant, dans le cas d'un cancer avancé la dose de narcotiques requise pour lutter adéquatement contre la douleur intense est généralement limitée par l'apparition d'effets indésirables qui, s'ils ne sont pas contrôlés adéquatement, poussent plusieurs patients à abandonner leurs traitements. La majorité des analgésiques opioïdergiques utilisés en clinique ont pour cible le récepteur opioïde mu, MOPR. Ce récepteur est aussi responsable de la majorité des effets indésirables associés à la prise de narcotiques. Plusieurs données importantes recueillies au cours des dernières années indiquent que l'activation du récepteur opioïde delta, DOPR, ne semble pas entraîner les effets secondaires qu'on associe habituellement aux narcotiques. Nous pensons ainsi que DOPR , pourrait être une cible thérapeutique intéressante pour réduire la douleur due au cancer, plus particulièrement celle due au cancer des os. Ce projet a donc pour but de déterminer si les agonistes sélectifs du récepteur DOPR peuvent représenter une avenue intéressante pour le traitement de la douleur cancéreuse dans un modèle animal de douleur cancéreuse. La douleur provoquée par le cancer des os a été induite chez le rat Sprague-Dawley par l'injection de cellules cancéreuses originaires d'une tumeur mammaire de rat (MRMT-1) dans la cavité médullaire du fémur. Quartorze jours après l'implantation des cellules cancéreuses dans le fémur, l'administration intrathécale de l'agoniste delta, deltorphine II, a renversé significativement l'allodynie. De plus, nous avons démontré que la deltorphine II soulageait la douleur inflammatoire et cancéreuse de façon comparable. Dans cette étude, nous avons confirmé les effets analgésiques d'un agoniste sélectif des récepteurs opioïdes delta, delorphine II, administré par la voie intrathécale. Les résultats de cette étude montrent, pour la première fois, l'effet analgésique spinale de la deltorphine II dans un modèle de douleur osseuse chez le rat.

Les propriétés des matériaux métalliques sont très liées à leurs caractéristiques microstructurales. Par exemple il est bien connu que la taille de grains joue sur la limite élastique du matériau ainsi que sur ses capacités d'écrouissage. Ainsi, la compréhension et la modélisation de l'évolution de la microstructure d'un métal pendant un traitement thermomécanique est d'une importance primordiale afin de prédire finement son comportement ainsi que ses propriétés finales. Dans le cadre de cette thèse, nous nous sommes concentrés sur la modélisation, à l'échelle d'un agrégat polycristallin, de la plasticité cristalline, de la recristallisation statique et de la croissance des grains dans un contexte de mobilité et d'énergie d'interface isotrope. Un modèle à champ complet dans un cadre éléments finis (EF) est proposé. Les grains sont représentés grâce à un formalisme level-set. L'étude EF développée peut être divisée en trois grandes parties: la génération statistique de microstructures digitales, la modélisation de la plasticité cristalline et la modélisation de la migration des joins de grains en régime de recristallisation statique. Concernant la génération statistique des microstructures digitales, une étude comparative entre deux méthodes de génération (Voronoï et Laguerre-Voronoï) a été réalisée. La capacité de la deuxième approche à respecter une microstructure basée sur des données expérimentales est mise en valeur en 2D et en 3D. Dans une deuxième étape, la plasticité cristalline des matériaux métalliques est étudiée. Deux modèles d'écrouissage ont été implémentés et validés : un premier modèle considérant uniquement les densités de dislocations totales, et un deuxième modèle différenciant les dislocations statistiquement stockées (SSDs) des dislocations géométriquement nécessaires (GNDs). Afin de valider l'implémentation de ces deux modèles issus de la littérature deux cas ont été étudiés : le premier correspond à l'étude à chaud d'un essai de compression plane d'un acier 304L, et le deuxième correspond à l'étude d'un essai à froid de compression simple d'un oligocristal de tantale composé de 6 grains. Les résultats numériques obtenus sont comparés avec les données expérimentales des deux essais. La migration des joints de grains est étudiée dans le contexte des régimes de recristallisation statique et de croissance de grains. Par rapport aux travaux pre-existants dans un cadre level-set, l'accent est mis sur la prise en compte des forces capillaires. La croissance des grains pure est en effet développée dans le formalisme éléments finis/level set considéré, et des validations à partir de résultats analytiques connus sont présentées. De plus, un travail d'analyse de modèles de croissance des grains à champ moyen existant dans la littérature est réalisé. Deux modèles en particuliers sont étudiés : celui de Burke et Turnbull et celui de Hillert/Abbruzzese. En comparant ces modèles avec les résultats obtenus par l'approche en champ complet développée, il est mis en évidence que le modèle simple de Burke et Turnbull n'est pas approprié pour décrire la croissance de grains pour tout type de distribution initiale de taille de grains. La recristallisation statique est ensuite abordée, avec une prise en compte des deux forces motrices liées (i) aux gradients d'énergies stockées sous la forme de dislocations, et (ii) aux effets capillaires. L'influence des effets de capillarité apparaît comme fortement liée à la distribution spatiale des nouveaux germes. Finalement, les résultats des simulations réalisées en plasticité cristalline sont utilisés comme données d'entrée du modèle de recristallisation statique développé. La comparaison des prédictions obtenues comparativement aux résultats expérimentaux sur 304L permet d'illustrer la pertinence d'une approche de type SSD/GND afin de prédire les sites de germination potentiels.

Le développement de comportements utiles pour les robots complexes, tel que des humanoïdes, s'avère difficile. La commande corps-complet à base de modèle allège en partie ces difficultés, en permettant la composition des comportements corps-complets complexes à partir de plusieurs tâches atomiques effectuées simultanément sur le robot. Cependant, des hypothèses et erreurs de modélisation, faites pendant la planification des tâches, peuvent produire des combinaisons infaisables/incompatibles quand exécutées sur le robot, créant des mouvements corps-complet imprévisibles, et probablement dangereux. L'objectif de ce travail est de mieux comprendre ce qui rend les tâches infaisables ou incompatibles et de développer des méthodes automatiques pour améliorer ces problèmes pour que les mouvements corps-complets puissent être accomplis comme prévu. Nous commençons par construire un formalisme permettant d'analyser quand les tâches sont faisables et compatibles étant données les contraintes de commande. En utilisant les métriques de faisabilité et compatibilité à base de modèle, nous démontrons comment optimiser les tâches avec des outils de commande prédictive non-linéaire ainsi que les inconvénients de cette approche. Afin de surmonter ces faiblesses, une boucle d'optimisation est formulée, qui améliore automatiquement la faisabilité et compatibilité des tâches via la recherche de politique sans modèle en conjonction avec la commande corps-complets à base de modèle. À travers une série d'expériences simulées et réelles, nous montrons que la simple optimisation de faisabilité et compatibilité des tâches nous permet de réaliser des mouvements corps-complets utiles. / Producing useful behaviors on complex robots, such as humanoids, is a challenging undertaking. Model-based whole-body control alleviates some of this difficulty by allowing complex whole-body motions to be broken up into multiple atomic tasks, which are performed simultaneously on the robot. However, modeling errors and assumptions, made during task planning, often result in infeasible and/or incompatible task combinations when executed on the robot. Consequently, there is no guarantee that the prescribed tasks will be accomplished, resulting in unpredictable, and most likely, unsafe whole-body motions. The objective of this work is to better understand what makes tasks infeasible or incompatible, and develop automatic methods of improving on these two issues so that the overall whole-body motions may be accomplished as planned. We start by building a concrete analytical formalism of what it means for tasks to be feasible with the control constraints and compatible with one another. Using the model-based feasibility and compatibility metrics, we demonstrate how the tasks can be optimized using non-linear model predictive control, while also detailing the shortcomings of this model-based approach. In order to overcome these weaknesses, an optimization loop is designed, which automatically improves task feasibility and compatibility using model-free policy search in conjunction with model-based whole-body control. Through a series of simulated and real-world experiments, we demonstrate that by simply optimizing the tasks to improve both feasibility and compatibility, complex and useful whole-body motions can be realized.