Parallelization of SAT on Reconfigurable Hardware

Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.

Les obligations du franchiseur : étude du droit civil et du guide d'Unidroit sur les accords internationaux de franchise principale

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maîtrise en droit (LL.M.)". Ce mémoire a été accepté à l'unanimité et classé parmi les 15% des mémoires de la discipline.

L'exécution des décisions de la Cour internationale de Justice : faiblesses et malentendus

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maîtrise en droit international (LL.M)"

La légitimité de l'État du port de contrôler la navigabilité des navires

"Mémoire présenté à la Faculté des études supérieures En vue de l'obtention du grade de maître en droit Option droit des affaires"

Rétro-ingénierie des diagrammes de séquence par visualisation interactive

Nous proposons une approche semi-automatique pour la rétro-ingénierie des diagrammes de séquence d’UML. Notre approche commence par un ensemble de traces d'exécution qui sont automatiquement alignées pour déterminer le comportement commun du système. Les diagrammes de séquence sont ensuite extraits avec l’aide d’une visualisation interactive, qui permet la navigation dans les traces d'exécution et la production des opérations d'extraction. Nous fournissons une illustration concrète de notre approche avec une étude de cas, et nous montrons en particulier que nos diagrammes de séquence générés sont plus significatifs et plus compacts que ceux qui sont obtenus par les méthodes automatisées.

Le devoir de coopération durant l'exécution du contrat

Sous le régime du Code civil du Bas-Canada, le devoir d’exécuter le contrat de bonne foi était une condition implicite de tout contrat suivant l’article 1024 C.c.B.C. Le 1er janvier 1994, ce devoir a toutefois été codifié à l’article 1375 du Code civil du Québec. Parallèlement à ce changement, le contrat a subi plusieurs remises en question, principalement en raison des critiques émises contre la théorie de l’autonomie de la volonté. En réponse à ces critiques, la doctrine a proposé deux théories qui supposent une importante coopération entre les contractants durant l’exécution du contrat, à savoir le solidarisme contractuel et le contrat relationnel. La notion de bonne foi a aussi évolué récemment, passant d’une obligation de loyauté, consistant généralement en une abstention ou en un devoir de ne pas nuire à autrui, à une obligation plus active d’agir ou de faciliter l’exécution du contrat, appelée devoir de coopération. Ce devoir a donné lieu à plusieurs applications, dont celles de renseignement et de conseil. Ce mémoire étudie la portée et les limites du devoir de coopération. Il en ressort que le contenu et l’intensité de ce devoir varient en fonction de critères tenant aux parties et au contrat. Une étude plus particulière des contrats de vente, d’entreprise et de franchise ainsi que des contrats conclus dans le domaine informatique indique que le devoir de coopération est plus exigeant lorsque le contrat s’apparente au contrat de type relationnel plutôt qu’au contrat transactionnel. Le créancier peut, entre autres choses, être obligé d’« aider » son débiteur défaillant et même de renégocier le contrat devenu déséquilibré en cours d’exécution, bien que cette dernière question demeure controversée. Le devoir de coopération n’est cependant pas illimité parce qu’il s’agit d’une obligation de moyens et non de résultat. Il est également limité, voire inexistant, lorsque le débiteur de cette obligation est tenu à d’autres obligations comme un devoir de réserve ou de non-ingérence, lorsque le cocontractant est de mauvaise foi ou qu’une partie résilie unilatéralement le contrat ou décide de ne pas le renouveler.

La réglementation des risques associés à la gouvernance des régimes complémentaires de retraite.

Dans un univers financier en turbulence, les régimes de retraite privés gèrent une part importante de l’épargne-retraite des Québécois en conciliant les intérêts divergents de différents acteurs : employeurs, participants actifs, retraités, autres intervenants à la gestion. Considérant la complexité des techniques et des instruments financiers, la gestion des régimes de retraite est devenue, pour les administrateurs de régime, un exercice périlleux. Dans ce contexte, la réglementation des risques associés à la gouvernance des régimes de retraite constitue aujourd’hui un enjeu socio-économique important pour assurer leur pérennité dans notre système de retraite. Le cadre légal et réglementaire applicables aux régimes de retraite découle essentiellement de la Loi sur les régimes complémentaires de retraite et ses règlements ainsi que du Code civil du Québec. En s’appuyant sur des études économiques et financières, cette étude analyse le régime juridique du fonctionnement et de la gouvernance des régimes de retraite par les comités de retraite et propose des améliorations en utilisant une approche fondée sur le risque. À titre préliminaire, pour situer dans le temps la problématique actuelle, cette étude présente l’évolution des régimes de retraite privés de l’origine à nos jours en se concentrant sur les règles affectant leur administration. Ensuite, dans une première partie, le cadre théorique sur lequel s’appuie notre étude est exposé. Les régimes de retraite privés y sont présentés comme un intermédiaire opérant sur les marchés financiers par le biais d’autres intermédiaires : les gestionnaires de portefeuilles, les courtiers en valeurs et les gardiens de valeurs. Il s’applique aux régimes de retraite des principes de gouvernance d’entreprise particuliers fondés sur les risques encourus par l’organisation. Cette partie conduit au développement d’une théorie de l’agence des régimes de retraite privés impliquant notamment des relations fondamentales entre l’employeur, les participants et bénéficiaires et le(s) gestionnaire(s) de portefeuille. Dans la seconde partie, l’environnement légal et réglementaire de la gouvernance applicable des régimes de retraite privés est présenté et la structure incitative des règles analysée à la lumière de travaux économiques théoriques et empiriques. Après avoir expliqué les principaux contrats du régime de retraite, un examen de certains mécanismes légaux est effectué : les devoirs généraux des administrateurs, les règles de composition, le fonctionnement interne et l’obligation de rendre compte. Cette étude permet de proposer une série de recommandations visant à améliorer la gouvernance et le fonctionnement des régimes de retraite privés.

Critique féministe matérialiste du droit civil québécois : le travail « domestique » et les violences sexuées, les « impensés » du droit du logement.

Cette recherche constitue un essai de théorie critique féministe matérialiste et radicale. Elle poursuit principalement un objectif de dénonciation de la structure actuelle du droit du logement. À partir d’un cadre conceptuel fondé sur le féminisme matérialiste et radical, elle souhaite faire ressortir le point de vue de la classe des femmes dans l’habitation. Le droit du logement est ici utilisé dans un sens large, puisqu’il se réfère à la fois au logement comme phénomène juridique, mais aussi sociologique. À l’intérieur de la discipline juridique, il renvoie à l’ensemble des législations actuellement en vigueur au Québec en ce qui concerne la vie à domicile. Notre étude se concentre sur deux modes d’occupation des lieux, à travers le droit de propriété et le système locatif. Le droit au logement fait l’objet d’une reconnaissance internationale dans les textes portant sur les droits humains. Il est reconnu comme le « droit à un logement suffisant ». Au Canada et au Québec, il ne fait pas l’objet d’une reconnaissance explicite, malgré les engagements pris sur la scène internationale. Un portrait statistique, appuyé sur le critère du sexe, permet de mettre en évidence qu’il existe des écarts entre les hommes et les femmes en ce qui concerne la mise en application du droit du logement. Les femmes accèdent plus difficilement à un logement; elles y effectuent la majorité du travail domestique, de service et de « care » et elles sont les principales victimes des violences commises à domicile. Dans le système d’habitation, l’expérience des femmes se comprend comme une appropriation à la fois privée et collective par la classe des hommes, telle que réfléchie par Colette Guillaumin, qui se concentre autour de la division sexuelle du travail et des violences sexuées. Le droit du logement, dans sa forme actuelle, repose sur l’appropriation de la force de travail des femmes et de leur corps. Ces deux critères permettent de construire une grille d’analyse féministe matérialiste et radicale pour analyser la structure du droit du logement, tel que conçu en droit civil. Cette analyse féministe permet également de situer le droit étatique comme une pratique patriarcale. Cette dernière contribue à assurer le maintien du système d’habitation, qui est assimilable à un système hégémonique, au sens développé par Gramsci. Cette étude réfléchit sur le droit du logement dans le climat politique néolibéral. Le néolibéralisme est développé comme une idéologie qui impose une rationalité marchande à l’ensemble des politiques étatiques. À partir d’une méthode décrite comme métathéorique externe radicalement réflexive, puisqu’elle propose l’importation d’outils conceptuels étrangers à la discipline du droit moderne, nous réfléchissons de manière radicale la construction du droit civil et des institutions qui encadrent le droit du logement. La collecte des données s’effectue à partir de la recherche documentaire. Quatre institutions du droit civil seront examinées dans le détail, soit le sujet du droit, la dichotomie privé/public, la médiation du droit du logement par les biens immeubles, à travers le rapport contractuel et le droit de propriété, et finalement les notaires. L’analyse féministe du sujet du droit insiste sur un paradoxe. D’une part, l’universalité présumée de ce sujet, laquelle permet de poser l’égalité et la liberté pour toutes les personnes juridiques. Or, plutôt que d’être neutre sexuellement comme le prétend le droit positif, nous démontrons comment ce sujet est constamment un membre de la classe des hommes. D’autre part, nous analysons comment le droit reconnaît le sexe de ses sujets, mais surtout comment cette sexualité est construite sur l’idéologie naturaliste. Ce modèle de sujet masculin est fondamental dans la construction du droit du logement. L’étude féministe de la dichotomie privé/public en fait ressortir le caractère situé. En effet, si par essence aucun domaine ou enjeu n’est en soit privé ou public, le processus de qualification, lui, est un acte de pouvoir. Nous verrons comment le droit civil crée des zones de droit privé, comprises comme des zones de non-droit pour les femmes. La qualification de privé dévalue également le travail accompli par cette classe de sexe. Le droit du logement est pourtant centré sur le rapport contractuel et sur le droit de propriété. Il importe alors d’examiner la nature du consentement donné par les femmes comme groupe social dans les contrats de vente et de location. Ces contrats ne prennent pas en compte l’expérience des femmes dans leur formation. Les catégories qui y sont attachées, telles que vendeur.e ou locataire, représentent le point de vue de la classe des hommes. Bien que la popularité de la copropriété auprès de la classe des femmes semble porteuse d’un vent de changement, nous analysons comment le discours dominant qui l’entoure instrumentalise certaines revendications féministes, tout en laissant dans l’ombre la question du travail domestique et des violences sexuées. Finalement, nous nous intéressons aux notaires en les repensant comme des intellectuel.les organiques, tels que conçu.es par Gramsci, pour la classe des hommes. Cette fonction d’intellectuel.les permet de mettre en lumière comment chaque transaction immobilière favorise la reproduction des intérêts patriarcaux, remettant ainsi en question la nature des devoirs de conseil et d’impartialité du notariat. À la lumière de cette analyse, le Code civil du Québec est qualifié dans une perspective féministe matérialiste et radicale pour devenir un système qui institutionnalise l’appropriation des femmes par l’entremise du droit du logement. Ce travail de recherche permet d’envisager certaines pistes de réflexion pour des rénovations potentielles des pratiques juridiques entourant le droit du logement, notamment la pratique notariale, tournées vers des objectifs féministes de justice sociale.

Fabrication et caractérisation de cellules solaires organiques nanostructurées par la méthode de nanoimpression thermique

La morphologie des couches actives des cellules solaires organiques joue un rôle important sur l’efficacité de conversion de l’énergie solaire en énergie électrique de ces dispositifs. Les hétérojonctions planaires et les hétérojonctions en volume sont les plus communément utilisées. Cependant, la morphologie idéale pour l’efficacité se situerait à mis chemin entre celles-ci. Il s’agit de l’hétérojonction nanostructurée qui augmenterait la surface entre les couches actives de matériaux tout en favorisant le transport des porteurs de charge. L’objectif de ce projet de maîtrise est d’étudier l’impact de l’implantation de nanostructures dans les cellules solaires organiques sur leurs performances photovoltaïques. Pour ce faire, on utilise la méthode de nanoimpression thermique sur le matériau donneur, le P3HT, afin que celui-ci forme une interface nanostructurée avec le matériau accepteur, le PCBM. Pour effectuer les nanoimpressions, des moules en alumine nanoporeuse ont été fabriqués à l’aide du procédé d’anodisation en deux temps développé par Masuda et al. Ces moules ont subi un traitement afin de faciliter leur séparation du P3HT. Les agents antiadhésifs PDMS et FTDS ont été utilisés à cette fin. Les résultats obtenus témoignent de la complexité d’exécution du procédé de nanoimpression. Il a été démontré que la pression appliquée durant le procédé, la tension superficielle des éléments en contact et les dimensions des nanopores des moules sont des paramètres critiques pour le succès des nanoimpressions. Ceux-ci ont donc dû être optimisés de manière à réussir cette opération. Ainsi, des cellules à interface nanostructurée à 25% avec des nanobâtonnets de 35 nm de hauteur ont pu être fabriquées. Les cellules nanostructurées ont démontré une efficacité 2,3 ± 0,6 fois supérieure aux cellules sans nanostructures, dites planaires. D’autre part, un solvant a été proposé pour diminuer l’interdiffusion entre les couches de P3HT et de PCBM pouvant altérer les nanostructures. Ce phénomène bien connu survient lors du dépot de la couche de PCBM avec le dichlorométhane, un solvant orthogonal avec ces matériaux. Des mesures au TOF-SIMS ont démontré que le limonène permet de diminuer l’interdiffusion entre les couches de P3HT et de PCBM, ce qui en fait un meilleur solvant orthogonal que le dichlorométhane.

A model of dynamic liquidity contracts

I study long-term financial contracts between lenders and borrowers in the absence of perfect enforceability and when both parties are credit constrained. Borrowers repeatedly have projects to undertake and need external financing. Lenders can commit to contractual agreements whereas borrowers can renege any period. I show that equilibrium contracts feature interesting dynamics: the economy exhibits efficient investment cycles; absence of perfect enforcement and shortage of capital skew the cycles toward states of liquidity drought; credit is rationed if either the lender has too little capital or if the borrower has too little collateral. This paper's technical contribution is its demonstration of the existence and characterization of financial contracts that are solutions to a non-convex dynamic programming problem.

The reform of electronic consumer contracts in Europe: towards an effective legal framework?

Christine Riefa is a lecturer in Consumer Law and Intellectual Property Law at Brunel University in the UK. She is an elected board member of the International Association of Consumer Law and an academic correspondent to the Euro-American Chair for the legal protection of consumers (University of Cantabria, Spain). In 2009-2010, Dr Riefa is a Fulbright EU Scholar-in-Residence at Cleveland-Marshall College of Law, Ohio USA. A first version of this article was presented at the Summer School in Consumer Law, organised by the GREDICC (Groupe de recherche en droit international et comparé de la consummation), UQAM, Montréal, 29th June – 4th July 2009.

Habit Formation and the Persistence of Monetary Shocks

This paper studies the persistent effects of monetary shocks on output. Previous empirical literature documents this persistence, but standard general equilibrium models with sticky prices fail to generate output responses beyond the duration of nominal contracts. This paper constructs and estimates a general equilibrium model with price rigidities, habit formation, and costly capital adjustment. The model is estimated via Maximum Likelihood using US data on output, the real money stock, and the nominal interest rate. Econometric results suggest that habit formation and adjustment costs to capital play an important role in explaining the output effects of monetary policy. In particular, impulse response analysis indicates that the model generates persistent, hump-shaped output responses to monetary shocks.

Explaining the Persistence of Commodity Prices

This paper extends the Competitive Storage Model by incorporating prominent features of the production process and financial markets. A major limitation of this basic model is that it cannot successfully explain the degree of serial correlation observed in actual data. The proposed extensions build on the observation that in order to generate a high degree of price persistence, a model must incorporate features such that agents are willing to hold stocks more often than predicted by the basic model. We therefore allow unique characteristics of the production and trading mechanisms to provide the required incentives. Specifically, the proposed models introduce (i) gestation lags in production with heteroskedastic supply shocks, (ii) multiperiod forward contracts, and (iii) a convenience return to inventory holding. The rational expectations solutions for twelve commodities are numerically solved. Simulations are then employed to assess the effects of the above extensions on the time series properties of commodity prices. Results indicate that each of the features above partially account for the persistence and occasional spikes observed in actual data. Evidence is presented that the precautionary demand for stocks might play a substantial role in the dynamics of commodity prices.