This thesis started as an exploration of spaces created with subtle light changes in atmosphere, spaces created for the sole purpose of lingering in, of relaxing in, during a hot summer day, winter or in a busy day, when all you want to do is get away from it all in a soul-comforting place. Soon after, I realized that these spaces should have no other purpose than their simple existence, thus the idea of pavilions seemed to be the best fit for such a description. After locating the pavilions in Ramnicu-Valcea, Romania, through the exploration of the place memory, the present conditions and materials, the project started to take shape. The final project became a room within an urban setting. The pavilions, a series of five rooms connected by shape and materiality into two buildings, created in between a new plaza, a new urban space, a sixth room. / Master of Architecture

This thesis began with a program, the belly dance studio; the dance inspired the architecture through the translation of Arabic music into physical measurement as well as less tangible attributes that shaped the final design. There was an attempt to find a link between dance and architecture. Both dance and architecture can be physical representations of something less tangible. In the raqs sharqi, the Egyptian solo dance, the drummer creates a rhythm, normally improvised at the performance, and the dancer then follows the drummer in improvising her dance to the rhythm. Thus, this thesis proposes that a drum rhythm could possibly be translated into physical measurements that could then order physical objects. By performing the same function as dance, architecture can embody the dance. / Master of Architecture

This thesis is an exploration of three architectural types: regia, tholus, and theatrum which put together in the form of a building would demonstrate the nature of architecture. My quest traces these types in time and geography and combines them in a play that takes place in the form of a building in Blacksburg, Virginia and on the foothills of mythical Mount Alban near Rome, Italy. Furthermore, this thesis addresses questions regarding methods of construction techniques, and building materials used in each of the building forms presented. In doing so it reinterprets a traditional construction technique through a study model. / Master of Architecture

La Sécurité des Systèmes d'Information est l'un des défis les plus urgents des différents organismes de la société actuelle. Le problème de sécurité a émergé du progrès technologique rapide qui pousse à l'utilisation des \emph{Systèmes d'Information}. L'un de ces progrès est l'utilisation de code mobile. En effet, pour protéger ses informations critiques d'une éventuelle menace d'un code mobile, un organisme doit chercher des solutions de plus en plus élaborées. Une des approches émergeantes pour aborder ce problème est la compilation certifiée. Il s'agit d'une approche statique, basée sur le langage et génère en plus du code objet, un certificat constitué des informations relatives aux aspects de sécurité d'un programme. En plus des avantages de l'analyse statique, cette approche fait coopérer le producteur du code et son consommateur. De plus, ce dernier n'a plus à faire confiance au producteur. Dans cette thèse nous avons appliqué cette approche au langage Java afin de vérifier statiquement la sécurité. En effet, Java couvre une gamme de périphériques, d'ordinateurs et de réseaux grâce à son évolutivité, son efficacité, sa portabilité et sa sécurité. Toutefois, les propriétés de sécurité de haut niveau sont vérifiées dynamiquement dans Java par le vérificateur du \emph{bytecode} et le gestionnaire de sécurité. Nous proposons alors de concevoir et d'implanter un compilateur certificateur pour Java (JACC) afin d'accroître la flexibilité, l'efficacité et la robustesse de l'architecture de sécurité de Java. Le certificat que génère JACC est vérifié statiquement par le vérificateur de l'architecture JACC. Il est constitué d'annotations qui essaient de reporter et abstraire au mieux le comportement du programme. Les principaux résultats qui nous ont permis d'atteindre ces objectifs sont: \begin{enumerate} \item la définition de la syntaxe et sémantique des annotations du certificat; \item la conception et l'implantation de JACC en partant de Jikes, un compilateur pour le langage Java développé par IBM. Nous avons également pu mener une étude expérimentale pour mesurer la performance de JACC ainsi que la taille des fichiers \emph{.class} générés et nous les avons comparés à Jikes; \item l'élaboration d'un cadre formel pour spécifier le module d'inférence. Cette spécifi\-cation décrit la sémantique opérationnelle de chaque étape d'inférence et ce pour l'ensemble des \emph{opcodes} ainsi qu'un système de types pour les annotations du certificat. \end{enumerate} / Information Systems Security is one of the most pressing challenges facing all kind of organizations today. The security problem has raised from rapid technological advances that are stimulating a greater use of \emph{Information Systems} in world-wide organizations. One of these advances is the use of mobile code. Keeping critical information safe from malicious mobile code is challenging. One way to address the security issue for mobile code is using certifying compilation. The certifying compilation is a language-based, static technique used to collect information (certificate) regarding the safety and security of a software. In addition to the advantages of the static analysis, this approach alleviates the burden on the consumer. The other advantage of this approach is to restrict the trust of the consumer to the verifier only. In this thesis we have applied this approach to Java to check safety and security statically. As we know, Java is present in a wide range of devices, computers, and networks due to it's versatility, efficiency, platform portability and security . Nevertheless, high-level security properties are verified by bytecode verifier and security manager at run time. The main objectives of this thesis are the design and the implementation of a Java certifying compiler (JACC) that helps to increase the flexibility, efficiency and robustness of the Java security architecture. Indeed, JACC certificate is verified statically by the JACC verifier to ensure high-level security properties. The certificate is made up of annotations that try to capture the behavior of a software and represent it in an abstract form. This behavior could be critical and aims to threaten the software user. The main research contributions that led to reach these objectives are: \begin{enumerate} \item the definition of the certificate syntax and semantic; \item the design and the implementation of JACC based on Jikes. We have also measured the generated \emph{.class} files sizes and JACC performance and compared them to Jikes; \item the elaboration of a formal framework in which we formally specify the certificate inference. This specification describes the operational semantic of each inference step as long as a type system for the certificate annotations. \end{enumerate}

La présente thèse a pour objectif d’explorer la relation entre le sacrifice de soi et la satisfaction conjugale en portant une attention particulière aux disparités sexuelles des partenaires. Au total, 150 couples hétérosexuels provenant de la province de Québec ont répondu à l’Échelle d’ajustement dyadique, à l’Inventaire des Syndromes psychiatriques, au Questionnaire de patrons de communication du couple, ainsi qu’à l’Inventaire d’organisation de la personnalité. Les résultats de cette étude témoignent de la nature multifactorielle du concept de sacrifice de soi et de quelques différences sexuelles sur cette variable. De plus, les résultats des analyses acheminatoires indiquent que le sacrifice de soi est associé à des taux plus élevés de détresse psychologique et conjugale.

Dans cette thèse, nous combinons des méthodes itératives basées sur l'élément fini P₂ hiérarchique et une stratégie d'adaptation de maillage anisotrope fondée sur l'intersection de métriques pour résoudre les écoulements turbulents avec ou sans surface libre. Les métriques sont obtenues en considérant la matrice hessienne des différentes composantes du gradient de chaque variable. Le modèle k-e , en formulation logarithmique, est utilisé pour modéliser la turbulence, et la surface libre est calculée par la méthode des surfaces de niveau («level sets»). Après avoir résolu quelques problèmes classiques qui mettent en évidence l'efficacité du solveur itératif et de la stratégie d'adaptation de maillage anisotrope, nous résolvons un problème d'écoulement tourbillonnaire entrant dans un diffuseur conique. Cette simulation a beaucoup d'intérêt pour les écoulements dans un aspirateur hydraulique. L'ensemble de notre approche est ensuite appliquée pour simuler un écoulement turbulent autour d'un cylindre perçant la surface libre. Finalement, les résultats positifs obtenus dans cette étude nous permettent d'aborder le phénomène d'aquaplanage en simulant l'écoulement turbulent à surface libre autour d'un pneu.

Cette étude évalue des techniques d'extraction des lipides de microalgues, alternatives aux techniques conventionnelles par solvant. Les techniques disponibles d'extraction aqueuse ont été revues et deux d'entre elles ayant la meilleure applicabilité industrielle ont été testés, soit l'homogénéisation à haute pression (HHP) et l'homogénéisation à billes (HB). L'efficacité de ces techniques est évaluée en faisant varier leur principaux paramètres, en combinant la technique à la digestion enzymatique et en variant l'espèce de microalgues (Nannochloropsis oculata, Pavlova lutheri et Chlorella sp.). Des pourcentage de bris cellulaire appréciable de plus de 80 % sont obtenus, mais la récupération est en dessous de 10%. Les problématiques liées à cette étape de récupération sont discutées. L'identification des défis à relever au niveau de l'extraction des lipides et de leur récupération permet de faire un pas vers le développement d'une technologie de production de biodiésel microalgal plus abordable.

L'ovule est la seule cellule capable de remodeler l'information génétique de deux parents en celle d'un nouvel embryon, et ce potentiel s'est hautement conservé au cours de l'évolution. La reprogrammation d'un noyau se produit, pour la majorité des espèces, en absence de transcription. Ainsi. l'ARN et les protéines présentes dans l'ovule au moment de la fécondation constituent tout le matériel nécessaire pour soutenir le développement embryonnaire précoce. Les mécanismes tels que l'arrêt méiotique, la méthylation/déméthylation de l'ADN et les réarrangements épigénétiques sont communs à la majorité des vertébrés. Par contre, certaines différences peuvent être observées dans des processus tels la fécondation et la reconnaissance des gamètes. Ce projet vise à identifier des gènes conservés chez les vertébrés et impliqués dans les mécanismes de reprogrammation, puis d'évaluer l'impact de la surexpression de gènes sélectionnés sur la configuration de la chromatine de cellules humaines. La première étape du projet était d'établir un profil fonctionnel des différences et similitudes observables dans le transcriptome de l'ovule des vertébrés. Pour ce faire, nous avons comparé le transcriptome de l'ovule humain aux transcriptomes spécifiques à l'ovule de souris, de bovin et de xénope via une analyse par biopuce développée au sein de notre laboratoire. Pour la seconde partie de la thèse, nous avons sélectionné des candidats qui ont été surexprimés dans des cellules humaines en culture, et avons évalué leur impact à plusieurs niveaux sur la chromatine. Suite aux résultats obtenus, nous nous sommes concentrés sur l'analyse de gènes pouvant être impliqués dans la déméthylation de l'ADN et avons vérifié si leur coexpression pouvait induire la déméthylation d'ADN dans des fibroblastes humains. Une approche d'immunoprécipitation de chromatine et de séquençage au bisulfite nous a permis d'observer une déméthylation modérée à certains sites spécifiques, confirmant un rôle de ces gènes dans la déméthylation de l'ADN humain. Les travaux présentés dans cette thèse permettent de souligner le potentiel de gènes ovocytaires à reconfigurer la chromatine dans d'autres types cellulaires. Leur caractérisation plus poussée pourrait notamment contribuer à des avancements dans la compréhension et la maîtrise des mécanismes de reprogrammation pour la recherche en reproduction ou en médecine regenerative.

Nous allons étudier la résolution de problèmes linéaires en trois dimensions à l'aide de la méthode optimisée de Schwarz. Pour ce faire, nous allons d'abord présenter la méthode classique de Schwarz. Nous ferons une étude de convergence pour un problème type à l'aide de l'analyse de Fourier. Par la suite, nous expliquerons brièvement la méthode de discrétisation utilisée dans nos calculs, c'est-à-dire celle des éléments finis. Nous en profiterons pour présenter les problèmes à l'étude, soit les problèmes de diffusion et d'élasticité linéaire. Nous regarderons ensuite une généralisation de la méthode classique qui mènera à la méthode optimisée de Schwarz. De plus, nous proposerons la version discrète de la méthode optimisée. Finalement, quelques résultats numériques seront présentés. Nous mettrons en évidence plusieurs choix optimaux de paramètres pour des domaines homogènes et hétérogènes.

Résumé du roman À la fin de la session universitaire, Bastien conduit son amoureuse à l'aéroport où elle s'envole vers le pays de ses ancêtres. Vent s'en va visiter sa tante paternelle qui réside au coeur de la Chine. Elle part sans son copain, car leur couple bat de l'aile. Elle souhaite ainsi faire le point sur leur relation. Deux semaines plus tard, soit le 12 mai 2008 à 14 h 28 (heure locale), la terre tremble au Sichuan et une partie de la ville où se trouve la jeune femme s'effondre. Bastien et son beau-père, monsieur Shuo, ont beau essayé d'appeler Vent sur son cellulaire, pas de réponse. Le jeune homme décide de prendre d'urgence un vol pour Shanghai et de dénicher sur place un moyen de se rendre au centre de l'Empire du Milieu. Il rencontra là-bas madame Wangsu (la tante de son amoureuse) qui le supportera dans ses recherches. Résumé de l'essai</p> Chaque être humain doit endosser à un moment ou à un autre de sa vie un statut d'altérité. En littérature, il en va de même avec les personnages d'oeuvres romanesques. Successivement, Bastien, Vent et monsieur Shuo deviennent des Autres. Dans un premier temps, j'aborde dans cet essai les thèmes de l'immigration et du métissage. Dans un second temps, je me questionne sur l'étrangeté des Québécois, autant ceux qui vivent au Canada que ceux qui voyagent à l'extérieur du pays (la plus grande altérité se rencontre lorsque nous devenons étrangers à nous-mêmes). Dans un troisième temps, je m'interroge sur le décalage qui se fait quand nous nous regardons à travers les yeux des Autres. Je termine cette réflexion en rappelant l'importance du « terrain » pour les romanciers qui tentent de mettre en scène des gens issus d'une culture différente de la leur.