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

Distribués sous des licences permissives qui assurent des droits d'utilisation, de modification et de redistribution aux licenciés, l'élaboration des logiciels libres est fondée sur un modèle de développement décentralisé. Ces caractéristiques posent de nombreux défis au milieu juridique, particulièrement en ce qui a trait à la responsabilité civile. Ainsi, les développeurs se demandent dans quelles circonstances leur responsabilité civile peut être engagée suite à la défaillance de leur logiciel libre. De la même façon, ils questionnent la possibilité d'appliquer cette responsabilité à un nombre important de développeurs dispersés aux quatre coins du globe. L'analyse présentée montre que le droit, tel qu'il existe actuellement, est en mesure de résoudre la majorité des problèmes relatifs à la détermination et l'application de la responsabilité civile en matière de logiciels libres. Les règles de la responsabilité civile représentent donc un risque potentiel pour les développeurs de logiciels libres, même s'ils sont relativement bien protégés par les contextes juridiques et factuels. / Distributed under permissive licenses that guarantee the users use, modification and redistribution rights, the development of free software is decentralized. Numerous legal challenges flow from this, particularly respecting civil liability matthers. In consequence, developers are concerned regarding the circumstances in which they could be liable based on the faillure of their free software. They are equally questionning the possibility that numerous developers scattered around the world could be jointly liable. The analysis show that the law, in its actual form, is able to answer the majority of the issues resulting from the establishment and the application of civil liability regarding free software. In this way, civil liability rules are representing a potential risk to free software developers, even if they are relatively weil protected by the legal and factual contexts.

Les modèles de séries chronologiques avec variances conditionnellement hétéroscédastiques sont devenus quasi incontournables afin de modéliser les séries chronologiques dans le contexte des données financières. Dans beaucoup d'applications, vérifier l'existence d'une relation entre deux séries chronologiques représente un enjeu important. Dans ce mémoire, nous généralisons dans plusieurs directions et dans un cadre multivarié, la procédure dévéloppée par Cheung et Ng (1996) conçue pour examiner la causalité en variance dans le cas de deux séries univariées. Reposant sur le travail de El Himdi et Roy (1997) et Duchesne (2004), nous proposons un test basé sur les matrices de corrélation croisée des résidus standardisés carrés et des produits croisés de ces résidus. Sous l'hypothèse nulle de l'absence de causalité en variance, nous établissons que les statistiques de test convergent en distribution vers des variables aléatoires khi-carrées. Dans une deuxième approche, nous définissons comme dans Ling et Li (1997) une transformation des résidus pour chaque série résiduelle vectorielle. Les statistiques de test sont construites à partir des corrélations croisées de ces résidus transformés. Dans les deux approches, des statistiques de test pour les délais individuels sont proposées ainsi que des tests de type portemanteau. Cette méthodologie est également utilisée pour déterminer la direction de la causalité en variance. Les résultats de simulation montrent que les tests proposés offrent des propriétés empiriques satisfaisantes. Une application avec des données réelles est également présentée afin d'illustrer les méthodes / Time series models with conditionnaly heteroskedastic variances have become almost inevitable to model financial time series. In many applications, to confirm the existence of a relationship between two time series is very important. In this Master thesis, we generalize in several directions and in a multivariate framework, the method developed by Cheung and Ng (1996) designed to examine causality in variance in the case of two univariate series. Based on the work of El Himdi and Roy (1997) and Duchesne (2004), we propose a test based on residual cross-correlation matrices of squared residuals and cross-products of these residuals. Under the null hypothesis of no causality in variance, we establish that the test statistics converge in distribution to chi-square random variables. In a second approach, we define as in Ling and Li (1997) a transformation of the residuals for each residual time series. The test statistics are built from the cross-correlations of these transformed residuals. In both approaches, test statistics at individual lags are presented and also portmanteau-type test statistics. That methodology is also used to determine the direction of causality in variance. The simulation results show that the proposed tests provide satisfactory empirical properties. An application with real data is also presented to illustrate the methods

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

Certains philosophes affirment que les relations causales sont fondées sur les lois de la nature. Cette conception cadre mal avec la réalité des sciences biomédicales et des sciences humaines. Pour se rapprocher de la pratique réelle des diverses sciences, James Woodward propose une conception de la causalité et de l’explication causale fondée sur une relation beaucoup moins exigeante que celle de loi de la nature, qu’il appelle l’invariance. Le but de ce mémoire est de présenter le concept d’invariance et les autres concepts causaux qui s’y rattachent et, d’identifier certaines difficultés, dans le but de cerner l’usage approprié de cette famille de concepts. La conception causale de Woodward suppose que le but de la recherche des causes est pratique plutôt que simplement épistémique : il s’agit pour les agents de s’appuyer sur les causes pour modifier les phénomènes. Cette conception est également non-réductive; elle utilise des contrefactuels et reflète les méthodes expérimentales des diverses sciences. La cohérence de cette conception avec les généralisations causales réelles des sciences fait en sorte qu’elle abandonne l’objectif d’universalité rattaché à la notion de loi de la nature, en faveur d’un objectif de fiabilité temporaire. De plus, comme le critère d’invariance est peu exigeant, d’autres critères doivent lui être ajoutés pour identifier, parmi les relations causales (c’est-à-dire invariantes), les relations les plus susceptibles d’être employées pour modifier les phénomènes de façon fiable. / Some philosophers claim that causal relations are based on the laws of nature. This view is not consistent with the actual causal relations found in the biomedical and social sciences. In order to better reflect the actual practice in the various sciences, James Woodward puts forward a view of causation and causal explanation based on a much less demanding relation than that of law of nature, which he calls ‘invariance’. This essay presents the concept of invariance and other related causal concepts, and identifies certain problems, in order to outline the proper use of this group of concepts. Woodward’s conception assumes that the goal of causal inquiry is practical rather than merely epistemic : agents use causal relationships to modify outcomes. The conception is also non reductive ; it uses counterfactuals and is a reflection of the experimental methods of the various sciences. The fact that this conception is consistent with the actual causal generalizations found in the various sciences implies that the goal of universal truth associated with the notion of law of nature is set aside and is replaced by an objective of temporary reliability. In addition, since the invariance criterion is not very demanding, other criteria must be added to identify, among causal (i.e. invariant) relations, those relations that can be relied upon to reliably modify outcomes.

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

Cette thèse est consacrée à une analyse doctrinale et philologique du commentaire de Thomas d'Aquin sur la distinction 35 du premier Livre des Sentences de Pierre Lombard. Le sujet de cette distinction est la science que Dieu a de lui-même et des autres choses. La première partie de notre travail est une présentation conceptuelle et historique de l'arrière-fond de cette distinction. Elle est divisée en quatre étapes. Dans la première, nous nous sommes interrogé sur la science divine dans une perspective linguistique. Dans la seconde, nous avons discuté le rôle de l'autre, en tant qu'objet, dans la connaissance divine. Dans la troisième,nous avons étudié la synthèse chez Thomas des éléments aristotéliciens et pseudo-dionysiens, comme la notion d'actus purus et la notion d'esse. La quatrième étape, présente brièvement le contexte historique pour comprendre la méthode du commentaire des Sentences, ainsi qu'un bref panorama de l'Université de Paris au XIIIe siècle. La deuxième partie de la thèse offre une édition critique de la distinction 35. Après avoir collationné les témoins manuscrits selon les critères de la Commission Léonine, nous avons présenté le texte avec une introduction où nous établissons les différentes familles de la transmission textuelle. / This dissertation provides a doctrinal and philological study of Aquinas' Commentary on Book I, dist. 35 ofPeter Lombard's Sentences. At issue is the knowledge that God has of Himself and of the things other thanHimself. The first part of the dissertation investigates the conceptual and historical background of dist. 35. Itdivides into four sections. First, we approach the topic of the divine science from a linguistic perspective.Secondly, we examine the role of things other than God as objects of the divine knowledge. Thirdly, we drawattention to Aquinas' synthesis of Aristotelian and pseudo-Dionysian elements, namely the notions of actuspurus and esse. The fourth section provides an overview of the historical context and the XIIIth-centuryUniversity of Paris, in order to better understand the method of commentaries on the Sentences. The secondpart of the dissertation intends to provide, for the first time, the critical edition of Aquinas' Commentary onBook I, dist. 35 of Peter Lombard's Sentences. The manuscripts are collated according to LeonineCommission's criteria. The critical text is introduced by a philological study in which we investigate the textualtransmission of dist. 35 and we propose a stemma.

Dans cette thèse nous présentons une approche générale et robuste pour la décomposition des jeux décrits en Game Description Language (GDL). Dans le domaine du General Game Playing (GGP), les joueurs peuvent significativement diminuer le coût de l'exploration d'un jeu s'ils disposent d'une version décomposée de celui-ci. Les travaux existants sur la décomposition des jeux s'appuient sur la structure syntaxique des règles, sur des habitudes d'écriture du GDL ou sur le coûteux calcul de la forme normale disjonctive des règles. Nous proposons une méthode plus générale pour décomposer les jeux solitaires ou multijoueurs. Dans un premier temps nous envisageons une approche fondée sur l'analyse logique des règles. Celle-ci nécessite l'utilisation d'heuristiques, qui en limitent la robustesse, et le coûteux calcul de la forme normale disjonctive des règles. Une seconde approche plus efficace est fondée sur la collecte d'informations durant des simulations (playouts). Cette dernière permet la détection des liens de causalité entre les actions et les fluents d'un jeu. Elle est capable de traiter les différents types de jeux composés et de prendre en charge certains cas difficiles comme les jeux à actions composées et les jeux en série. Nous avons testé notre approche sur un panel de 597 jeux GGP. Pour 70% des jeux, la décomposition nécessite moins d'une minute en faisant 5k playouts. Nous montrons de 87% d'entre eux peuvent être correctement décomposés après seulement 1k playouts. Nous ébauchons également une approche originale pour jouer avec ces jeux décomposés. Les tests préliminaires sur quelques jeux solitaires sont prometteurs. / This PhD thesis presents a robust and general approach for the decomposition of games described in Game Description Language (GDL). In the General Game Playing framework (GGP), players can drastically decrease game search cost if they hold a decomposed version of the game. Previous works on decomposition rely on syntactical structures and writing habits of the GDL, or on the disjunctive normal form of the rules, which is very costly to compute. We offer an approach to decompose single or multi-player games. First, we consider an approach based on logical rule analysis. This requires the use of heuristics, which limit its robustness, and the costly calculation of the disjunctive normal form of the rules. A second more efficient approach is based on information gathering during simulations of the game (playouts). The latter allows the detection of causal links between actions. It can handle the different classes of compound games and can process some difficult cases like synchrounous parallel games with compound moves and serial games. We tested our program on 597 games. Given 5k playouts, 70% of the games are decomposed in less than one minute. We demonstrate that for 87% of the games, 1k playouts are sufficient to obtain a correct decomposition. We also sketch an original approach to play with these decomposed games. Preliminary tests on some one-player games are promising. Another contribution of this thesis is the evaluation of the MPPA architecture for the parallelization of a GGP player (LeJoueur of Jean-Noël Vittaut).

La concession est une relation logique « secondaire » complexe qui se nourrit de plusieurs notions de base : l’hypothèse, la temporalité, la causalité, la négation, l’intensité, la subjectivité, etc. En reliant toutes ces notions, nous traitons les quatre locutions concessives les plus utilisées ainsi que leurs homologues dérivés de la même série en chinois : ji shi « bien que » « même si », sui ran « bien que » « malgré » (et zong ran « bien que » « même si »), na pa « bien que » « même si », jiu shi « même si » (et jiu suan « bien que » « même si »). L’objectif de notre travail est d’explorer le mécanisme concessif dans ces deux langues typologiquement distantes et différentes. En nous inscrivant en principe dans la même ligne que A. Meillet (1912), R. Martin (1982 et 1987) et O. Soutet (1987, 1990 et 1992), etc., nos recherches démontrent non seulement l’évolution diachronique de ce marqueur concessif étudié, mais mettent également en évidence ses rapprochements avec certains connecteurs analogues français (tels que cependant, alors, si, ja, nonobstant, etc.) pendant leur processus de grammaticalisation d’une manière à la fois sémantico-logique et syntaxico-discursive. Notre étude comprend divers corpus allant du chinois archaïque au chinois moderne, ainsi que des méthodologies linguistiques pour classer et traduire les exemples choisis. Nous constatons une ressemblance frappante entre la combinaison des notions de base au cours de la formation du mécanisme concessif dans les deux langues étudiées. / The concession is a “secondary” or “composed” linguistic concept since it combines many fundamental linguistic notions: hypothesis, temporality, causality, negation, intensity, subjectivity, etc. By relating all these crucial notions, our research examines the four most used concessive markers as well as their homologues derived from the same series in Chinese: ji shi "although" "even if", sui ran "although" "despite" (and zong ran "although" "even if"), na pa "although" "even if", jiu shi "even if" (and jiu suan "although" "even if"), as well as their equivalents in French based on previous theories and analyses in the two languages. The aim of the work is to explore the concessive mechanism in these two languages that are typologically distant and different. In the same line as A. Meillet (1912), R. Martin (1982 and 1987) and O. Soutet (1987, 1990 and 1992), etc., our research not only demonstrates the historical evolution of the studied concessive markers, but also highlights its rapprochements with certain French concessive connectors (such as cependant, alors, bien, si, ja, nonobstant, etc.) during their grammaticalization processes from semantic-logical and syntactic-discursive points of view. Our study involves various corpuses from archaic to contemporary Chinese and French, as well as technical linguistic methodologies to categorize and translate the extracted examples. The results of our present research show surprising similarities in terms of the concessive evolution despite the enormous etymological and cultural divergences of the two studied languages.

En santé publique, l’étude de la progression d’une maladie chronique et de son mécanisme peut nécessiter la modélisation conjointe de plusieurs marqueurs longitudinaux et leur structure de dépendances. Des approches de modélisation existent dans la littérature pour répondre partiellement aux objectifs de modélisation. Ces approches deviennent rapidement coûteuses et difficiles à utiliser dans certaines maladies complexes à caractère latent, dynamique et multidimensionnel, comme la maladie d’Alzheimer. Dans un tel contexte, l’objectif de cette thèse était de proposer une méthodologie innovante pour modéliser la dynamique de plusieurs processus latents et leurs influences temporelles à des fins d’interprétations causales à partir d’observations répétées de marqueurs continus Gaussiens et non Gaussiens. L’approche proposée, centrée sur des processus latents, définit un modèle structurel pour la trajectoire des processus latents et un modèle d’observation pour lier les marqueurs longitudinaux aux processus qu’ils mesurent. Dans le modèle structurel, défini en temps discret, le niveau initial et le taux de variation des processus spécifiques aux individus sont modélisés par des modèles linéaires à effets mixtes. Le modèle du taux de variation comporte une composante auto-régressive d’ordre 1 qui permet de modéliser l’effet d’un processus sur un autre processus en tenant explicitement compte du temps. Le modèle structurel, tel que défini, bénéficie des mêmes interprétations causales que les modèles à équations différentielles (ODE) de l’approche mécaniste de la causalité tout en évitant les problèmes numériques de ces derniers. Le modèle d’observation utilise des fonctions de lien paramétrées pour que le modèle puisse être appliqué à des marqueurs longitudinaux possiblement non Gaussiens. La méthodologie a été validée par des études de simulations. Cette approche, appliquée à la maladie d’Alzheimer a permis de décrire conjointement la dynamique de l’atrophie de l’hippocampe, du déclin de la mémoire épisodique, du déclin de la fluence verbale et de la perte d’autonomie ainsi que les influences temporelles entre ces dimensions dans plusieurs phases de la maladie à partir des données ADNI. / In public health, the study of the progression of a chronic disease and its mechanisms may require the joint modeling of several longitudinal markers and their dependence structure. Modeling approaches exist in the literature to partially address these modeling objectives. But these approaches become rapidly numerically expensive and difficult to use in some complex diseases involving latent, dynamic and multidimensional aspects, such as in Alzheimer’s disease. The aim of this thesis was to propose an innovative methodology for modeling the dynamics of several latent processes and their temporal influences for the purpose of causal interpretations, from repeated observations of continuous Gaussian and non Gaussian markers. The proposed latent process approach defines a structural model in discrete time for the latent processes trajectories and an observation model to relate longitudinal markers to the process they measure. In the structural model, the initial level and the rate of change of individual-specific processes are modeled by mixedeffect linear models. The rate of change model has a first order auto-regressive component that can model the effect of a process on another process by explicitly accounting for time. The structural model as defined benefits from the same causal interpretations as the models with differential equations (ODE) of the mechanistic approach of the causality while avoiding major numerical problems. The observation model uses parameterized link functions to handle possibly non-Gaussian continuous markers. The consistency of the ML estimators and the accuracy of the inference of the influence structures between the latent processes have been validated by simulation studies. This approach, applied to Alzheimer’s disease, allowed to jointly describe the dynamics of hippocampus atrophy, the decline of episodic memory, the decline of verbal fluency, and loss of autonomy as well as the temporal influences between these dimensions in several stages of Alzheimer’s dementia from the data of the ADNI initiative.