Full list
You will be redirected to the institution’s website in order to read these documents.
-
2007 — A multi-abstraction level platform for the validation and verification of complex digital designsAbstract
La validation et la vérification de circuits numériques sont aujourd'hui considérées comme les plus imposants défis que doivent relever les ingénieurs de conception. D'une complexité toujours croissante, les circuits numériques sont devenus depuis quelques années des systèmes entiers sur puce de silicium. Composés de plusieurs fonctions et d'une capacité de calcul phénoménale, la vérification de ces systèmes-sur-puce peut consommer près de 70% du temps total alloué à un projet. La conception de systèmes numériques complexes exige une modélisation à plusieurs niveaux d'abstraction, ce qui exige l'utilisation de plusieurs langages et outils de conception. Ceci a pour conséquence d'alourdir considérablement le … Read more
-
2007 — Using image analysis and GIS for coffee mappingAbstract
Actuellement, le système que les pays en voie de développement emploient pour cartographier les récoltes de café est cher, pénible et imprécis. Ainsi, les cartes de café ne peuvent être mises à jour fréquemment et la production ne peut pas être estimée avec exactitude. Si ces pays pouvaient cartographier les récoltes de café d'une manière plus économique, ils auraient un avantage pour fixer les prix et obtenir des revenus plus élevés pour leur produit. Je pose ici l'hypothèse que les zones de café peuvent être correctement caractérisés et cartographiés en utilisant l'information spectrale et spatiale dérivée des images satellites et … Read more
-
2007 — Interest management for massively multiplayer gamesAbstract
La popularité des jeux massivement multijoueurs a augmenté de façon phénoménale au cours des dernières années. Les fournisseurs de jeux rencontrent de plus en plus de problèmes d’extensibilité pour supporter des populations croissantes de joueurs. La diffusion à tous les joueurs des changements réalisés dans le monde virtuel n’est pas une solution viable pour maintenir une vision cohérente du monde dans un jeu massivement multijoueurs. Pour surmonter ce défi d’extensibilité, les jeux massivement multijoueurs doivent utiliser des techniques de gestion d’intérêt sophistiquées qui relaient seulement l’information pertinente vers chaque joueur. Dans cette thèse nous développons une technique de partition de … Read more
-
2007 — Methane hydrate film growth measurements by microscopyAbstract
Les hydrates gazeux font partis de la catégorie des complexes d’inclusion. Ce type de molécule se forme lorsque des molécules d’eau se structurent par liaisons hydrogène pour former une cage pouvant accepter une molécule «invité» d’une grandeur appropriée. Ces complexes sont thermodynamiquement stable à basse temperatures (~ 0°C) et pressions relativement élevées. Ces conditions sont reproduites dans les fonds marins. Ceux-ci abritent une énorme quantité d’hydrates gazeux, ce qui en fait la plus grande source d’hydrocarbures sur terre. Les hydrates gazeux sont également étudiés parce qu’ils se forment dans les conduits transportant du gaz ou du pétrole causant plusieurs problèmes. … Read more
-
2007 — La contribution des organisations non gouvernementales (ONG) à la justice internationale /Abstract
La participation des organisations non gouvernementales (ONG) aux travaux des organisations intergouvernementales et des grandes conferences internationales est un phenomene desormais connu, reconnu et etudie. En revanche, leur contribution a l'edification du systeme judiciaire international, a sa bonne marche et au developpement des nonnes internationales par voie de recours judiciaire reste encore a conceptualiser. La presente etude s'y attelle donc en demontrant a travers l'analyse du role et de l'impact des ONG, leur contribution a la "judiciarisation" de la societe internationale, a la collectivisation de la justice internationale et a sa communautarisation. Se faisant, ce travail s'inscrit dans une approche … Read more
-
2007 — Le Motif du Miroir dans L’œuvre de Milan KunderaAbstract
Pour Milan Kundera, la question de l'identité est une des interrogations essentielles autour desquelles s'articule un roman. Le romancier tente de cerner la matière en explorant les thèmes existentiels qui y sont relies. Ces thèmes sont à leur tour éclaires sous divers angles par ce que l'auteur appelle des « motifs ». Nous avons axe notre étude sur l'un de ces motifs, celui du miroir, à travers lequel l'auteur saisit de plus près « l'énigme du moi ». L'analyse typologique de ce motif dans les dix romans de Kundera nous amène à reconnaitre, chez les personnages, deux attitudes fondamentales vis-à-vis … Read more
-
2007 — Enzyme-catalysed oxidation of 17beta-estradol using immobolized laccase from «T. Versicolor»Abstract
La perturbation des systèmes endocriniens est un problème qui gagne de plus en plus d'importance dans l'environnement naturel. Les scientifiques continuent de trouver bien des effets néfastes dans les poissons et la faune qui ont été exposé à une grande variété de composants toxiques ayant été rejetés dans les systèmes aquatiques à travers les effluents municipaux et industriels et le ruissellement agricole. Les estrogènes qu'excrètent les humains et qui se retrouvent ensuite dans les systèmes aquatiques après avoir passé à travers les usines de traitement d'eaux usées sont particulièrement intéressantes d'un point de vue de recherche car cette excrétion ne … Read more
-
2007 — Spatio-temporal analysis of aquifer recharge and groundwater potentiometric levels in the Basin of Mexico through the development of a regional database and an open source tool for groundwater flow modellingAbstract
La gestion de l'eau dans le bassin de Mexico (où se trouve la zone métropolitaine de la ville de Mexico avec ses 20 millions d'habitants), a eu deux approches opposées: d'abord on a lutté pour vider les lacs qui couvraient cette région auparavant puis dans les années 50 on commencé a importer de l'eau d'autres bassins.De plus, les grandes quantités d'eau extraites de la couche aquifère du bassin ont causé l'abaissement du niveau de la table d'eaux souterraines et par conséquent, l'aisément du terrain jusqu'à 40 cm/année dans quelques secteurs.Les habitants du Bassin de Mexico, qui comprend 5 entités politiques … Read more
-
2007 — Recreating time, history, and the poetic imaginary: Alexandre Lenoir and the Musée des Monuments français (1795-1816)Abstract
Cette dissertation est une étude herméneutique et philosophique sur l'émergence du musée narratif à la fin du XVIIIe siècle en France. Un des premiers exemples de ce genre, le Musée des Monuments français (1795-1816) a été créé par Alexandre Lenoir à partir d'une collection de sculptures d'un dépôt post-révolutionnaire au # 14 de la rue de Petite-Seine sur la Rive Gauche de Paris. Ce musée prétendait présenter l'histoire de la nation française par l'arrangement chronologique et esthétique d'une collection de sculptures, de monuments funéraires, et de fragments architecturaux. Depuis le mois d'octobre 1790, ces objets avaient trouvé refuge dans l'ancien … Read more
-
2007 — Study of CeO₂ synthesis from liquid precursors in a RF-inductively coupled plasma reactorAbstract
Un nouveau reacteur et une technique innovatrice d’echantillonnage in situ furent developpes pour etudier la synthese de poudres de Ce02 produites a partir de sels de nitrate de cerium dissous. Le reacteur minimise la recirculation des particules et fournit un plasma non perturbe et grandement symetrique approprie pour l’analyse des phenomenes affectant la formation de poudres de Ce02. De plus, une sonde permet un echantillonnage in situ et en vol des particules de Ce02 et ce, en continu et sans contamination croisee. Les particules ainsi captees sont recueillies grace a un systeme de collecte par voie humide qui est compose … Read more
-
2007 — Portfolio management: an empirical study of the Anticor algorithmAbstract
L'algorithme Anticor pour la sélection de portefeuilles, développé par Borodin, El-Yaniv et Gogan, est empiriquement étudié. Dans la présentation originale de cet algorithme, Borodin et autres donnent des résultats basés sur des marchés financiers historiques qui démontrent que l'algorithme Anticor non seulement "bat le marché" mais peut aussi surperformer le meilleur titre. Notre étude de l'algorithme Anticor ajoute à ces résultats de plusieurs faons. Premièrement, nous examinons comment l'algorithme Anticor performe sur les marchés financiers récents. Deuxièmement, nous appliquons l'algorithme Anticor à des marchés simulés afin de tenter d'expliquer ce qui détermine une "bonne" performance. Finalement, nous examinons comment la … Read more
-
2007 — Bayesian exploration in Markov decision processesAbstract
Les processus de décision Markoviens sont des modèles mathématiques fréquemment utilisés pour résoudre des problèmes d'optimisation stochastique et de contrôle. L'apprentissage par renforcement est une branche de l'intelligence artificielle qui s'intéresse aux environnements stochastiques où la dynamique du système est inconnue. Un problème majeur des algorithmes d'apprentissage est de bien balancer l'exploration de l'environnement, pour acquérir de nouvelles connaissances, et l'exploitation des connaissances acquises. Nous présentons trois méthodes pour obtenir de bons compromis exploration-exploitation dans les processus de décision Markoviens. L'approche adoptée est Bayésienne, en ce sens où nous utilisons et maintenons une estimation du modèle. L'existence d'une politique optimale … Read more