Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

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

Modélisation sémantique, syntaxique et lexicale de la paraphrase

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

Rôles des gènes Pitx dans le développement des membres postérieurs : régulation transcriptionnelle de Tbx4

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

Role of Ptf1a in the development of endocrine and exocrine pancreas of Xenopus laevis embryos

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

Dynamic Programming Approaches for Estimating and Applying Large-scale Discrete Choice Models

People go through their life making all kinds of decisions, and some of these decisions affect their demand for transportation, for example, their choices of where to live and where to work, how and when to travel and which route to take. Transport related choices are typically time dependent and characterized by large number of alternatives that can be spatially correlated. This thesis deals with models that can be used to analyze and predict discrete choices in large-scale networks. The proposed models and methods are highly relevant for, but not limited to, transport applications. We model decisions as sequences of choices within the dynamic discrete choice framework, also known as parametric Markov decision processes. Such models are known to be difficult to estimate and to apply to make predictions because dynamic programming problems need to be solved in order to compute choice probabilities. In this thesis we show that it is possible to explore the network structure and the flexibility of dynamic programming so that the dynamic discrete choice modeling approach is not only useful to model time dependent choices, but also makes it easier to model large-scale static choices. The thesis consists of seven articles containing a number of models and methods for estimating, applying and testing large-scale discrete choice models. In the following we group the contributions under three themes: route choice modeling, large-scale multivariate extreme value (MEV) model estimation and nonlinear optimization algorithms. Five articles are related to route choice modeling. We propose different dynamic discrete choice models that allow paths to be correlated based on the MEV and mixed logit models. The resulting route choice models become expensive to estimate and we deal with this challenge by proposing innovative methods that allow to reduce the estimation cost. For example, we propose a decomposition method that not only opens up for possibility of mixing, but also speeds up the estimation for simple logit models, which has implications also for traffic simulation. Moreover, we compare the utility maximization and regret minimization decision rules, and we propose a misspecification test for logit-based route choice models. The second theme is related to the estimation of static discrete choice models with large choice sets. We establish that a class of MEV models can be reformulated as dynamic discrete choice models on the networks of correlation structures. These dynamic models can then be estimated quickly using dynamic programming techniques and an efficient nonlinear optimization algorithm. Finally, the third theme focuses on structured quasi-Newton techniques for estimating discrete choice models by maximum likelihood. We examine and adapt switching methods that can be easily integrated into usual optimization algorithms (line search and trust region) to accelerate the estimation process. The proposed dynamic discrete choice models and estimation methods can be used in various discrete choice applications. In the area of big data analytics, models that can deal with large choice sets and sequential choices are important. Our research can therefore be of interest in various demand analysis applications (predictive analytics) or can be integrated with optimization models (prescriptive analytics). Furthermore, our studies indicate the potential of dynamic programming techniques in this context, even for static models, which opens up a variety of future research directions.

Formal function and phrase structure in contemporary music : Pierre Boulez’s late solo works and Sean Clarke’s "Lucretia Overture" and "4 Impromptus"

Cette thèse présente une théorie de la fonction formelle et de la structure des phrases dans la musique contemporaine, théorie qui peut être utilisée aussi bien comme outil analytique que pour créer de nouvelles œuvres. Deux concepts théoriques actuels aident à clarifier la structure des phrases : les projections temporelles de Christopher Hasty et la théorie des fonctions formelles de William Caplin, qui inclut le concept de l’organisation formelle soudée versus lâche (tight-knit vs. loose). Les projections temporelles sont perceptibles grâce à l’accent mis sur les paramètres secondaires, comme le style du jeu, l’articulation et le timbre. Des sections avec une organisation formelle soudée ont des projections temporelles claires, qui sont créées par la juxtaposition des motifs distincts, généralement sous la forme d'une idée de base en deux parties. Ces projections organisent la musique en phrases de présentation, en phrases de continuité et finalement, à des moments formels charnières, en phrases cadentielles. Les sections pourvues d’une organisation plus lâche tendent à présenter des projections et mouvements harmoniques moins clairs et moins d’uniformité motivique. La structure des phrases de trois pièces tardives pour instrument soliste de Pierre Boulez est analysée : Anthèmes I pour violon (1991-1992) et deux pièces pour piano, Incises (2001) et une page d’éphéméride (2005). Les idées proposées dans le présent document font suite à une analyse de ces œuvres et ont eu une forte influence sur mes propres compositions, en particulier Lucretia Overture pour orchestre et 4 Impromptus pour flûte, saxophone soprano et piano, qui sont également analysés en détail. Plusieurs techniques de composition supplémentaires peuvent être discernés dans ces deux œuvres, y compris l'utilisation de séquence mélodiques pour contrôler le rythme harmonique; des passages composés de plusieurs couches musicales chacun avec un structure de phrase distinct; et le relâchement de l'organisation formelle de matériels récurrents. Enfin, la composition de plusieurs autres travaux antérieurs a donné lieu à des techniques utilisées dans ces deux œuvres et ils sont brièvement abordés dans la section finale.

"De la postcolonie" d'Achille Mbembe : recension d'une hypothèse cardinale sur le devenir de l'Afrique.

Cette recension s’intéresse à l’ouvrage d’Achille Mbembe De la postcolonie. Essai sur l’imagination politique dans l’Afrique contemporaine, Paris : Karthala, 2000 (2004). Elle propose une lecture en deux volets des cinq essais qui constituent l’ouvrage, correspondant grossièrement à deux champs de contributions (économie politique et philosophie politique) qu’ils entendent combler. Cette proposition de lecture est ponctuée d’une critique interne et formelle de cet ouvrage original dont la prémisse principale, novatrice, repose sur l’hypothèse de l’éviction de l’homme noir hors et contre l’univers de signifiants qui instituent l’identité occidentale.

Analyse des traces d'exécution pour la vérification des protocoles d'interaction dans les systèmes multiagents

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

Modélisation sémantique, syntaxique et lexicale de la paraphrase

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

Rôles des gènes Pitx dans le développement des membres postérieurs : régulation transcriptionnelle de Tbx4

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

Role of Ptf1a in the development of endocrine and exocrine pancreas of Xenopus laevis embryos

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

Algorithmique et complexité des systèmes à compteurs

Réalisé en cotutelle avec l'École normale supérieure de Cachan – Université Paris-Saclay

Direct catalytic macrolactonization and application of the phase separation strategy in complex molecule synthesis

Les macrolactones sont des squelettes structuraux importants dans de nombreuses sphères de l’industrie chimique, en particulier dans les marchés pharmaceutiques et cosmétiques. Toutefois, la stratégie traditionnelle pour la préparation de macrolactones demeure incommode en requérant notamment l’ajout (super)stœchiométrique d’agents activateurs. Conséquemment, des quantités stœchiométriques de sous-produits sont générées; ils sont souvent toxiques, dommageables pour l’environnement et nécessitent des méthodes de purification fastidieuses afin de les éliminer. La présente thèse décrit le développement d’une macrolactonisation efficace catalysée au hafnium directement à partir de précurseurs portant un acide carboxylique et un alcool primaire, ne générant que de l’eau comme sous-produit et ne nécessitant pas de techniques d’addition lente et/ou azéotropique. Le protocole a également été adapté à la synthèse directe de macrodiolides à partir de mélanges équimolaires de diols et de diacides carboxyliques et à la synthèse de dimères tête-à-queue de seco acides. Des muscs macrocycliques ainsi que des macrolactones pertinentes à la chimie médicinale ont pu être synthétisés avec l’approche développée. Un protocole pour l’estérification directe catalysée au hafnium entre des acides carboxyliques et des alcools primaires a aussi été développé. Différentes méthodes pour la macrolactonisation catalytique directe entre des alcools secondaires et des acides carboxyliques ont été étudiées. En outre, la stratégie de séparation de phase en macrocyclisation en débit continu a été appliquée lors de la synthèse totale formelle de la macrolactone ivorenolide A. Les étapes-clés de la synthèse incluent une macrocyclisation par le couplage d’alcynes de Glaser-Hay et une réaction de métathèse d’alcènes Z-sélective.

La pauvreté au masculin: De l'autoréalisation de soi à la "Vie Nue"

À l’origine de la présente thèse, il y a d’abord mes 25 ans d’engagement citoyen au sein du mouvement de lutte contre la pauvreté au Québec, notamment en défense collective des droits des personnes assistées sociales. C’est à travers cet engagement qu’a émergé la question de recherche de cette thèse : existe-t-il un lien entre l’expérience de pauvreté des hommes en situation de pauvreté et leur socialisation de genre? Afin de répondre à cette question de recherche, j’ai utilisé comme données secondaires pour cette thèse, 27 entrevues réalisées en 2006-2007 auprès d’hommes prestataires d’aide sociale par le Centre de recherche de Montréal sur les inégalités sociales, les discriminations et les pratiques alternatives de citoyenneté (CREMIS). Une analyse qualitative par catégories conceptualisantes a été utilisée pour analyser en profondeur 17 de ses 27 entrevues avec comme toile de fond une posture ontologique inspirée de l’approche de conscientisation de Paolo Freire, une posture épistémologique constructiviste, postmoderniste et critique, ainsi qu’un univers théorique et conceptuel inspiré de deux domaines de recherche : celui des études sur la pauvreté et celui des études sur les masculinités. Les résultats de l’analyse des entrevues ont permis d’en arriver aux quatre principaux constats suivants : 1) l’existence d’un lien entre pauvreté et masculinités, notamment l’adhésion des répondants à un certain nombre d’attributs de la masculinité hégémonique, et l’influence de cet idéal de la masculinité sur leur parcours d’autoréalisation de soi, ainsi que sur les stratégies et moyens utilisés pour faire face à différents obstacles; 2) l’inscription du parcours des répondants dans un projet ego-identitaire parsemé d’obstacles difficiles à surmonter pour des hommes appartenant à la classe des travailleurs génériques et disposant d’un capital humain, culturel et social qui, au fil de leur parcours, se détériore, rendant de plus en plus difficile leur projet d’autoréalisation de soi; 3) le constat que l’aide publique, plutôt que d’assurer un filet de protection sociale, punissait les hommes rencontrés en les poussant à la « vie nue » et que l’aide sociale agissait comme un appareil répressif d’État de maintien de l’oppression de l’ordre de genre : 4) la nécessité, pour la pratique du travail social, de développer une aide formelle adaptée aux besoins des hommes en situation de pauvreté en misant sur leur capacité de résilience comme levier d’intervention, mais aussi d’agir sur les causes structurelles de la pauvreté des hommes, notamment de déconstruire la masculinité hégémonique et de revendiquer un meilleur filet de sécurité sociale.

Liens entre les pratiques parentales préscolaires en littéracie et la lecture à 8 ans : Médiation par le vocabulaire et la connaissance des lettres

Ce mémoire doctoral s’intéresse aux pratiques parentales en littéracie comme prédicteurs des différences précoces en lecture. Les études antérieures ont rapporté des liens préférentiels entre deux types de pratiques parentales en littéracie, deux habiletés préalables à la lecture et le développement de la lecture au primaire. D’une part, l’enseignement des lettres par le parent, une pratique formelle, contribuait à la connaissance des lettres, laquelle était un prédicteur des habiletés de lecture de l’enfant. D’autre part, la lecture parent-enfant ainsi que l’exposition aux livres, des pratiques informelles, prédisaient le développement langagier de l’enfant, lequel contribuerait plus spécifiquement à la compréhension en lecture. L’hypothèse selon laquelle des processus de médiation sont impliqués a été proposé par plusieurs chercheurs mais, aucun n’avait testé formellement cette hypothèse. De plus, la contribution des pratiques parentales en littéracie était évaluée une seule fois, en maternelle ou au début de la première année du primaire, ce qui ne permettait pas d’identifier l’âge vers lequel il devient pertinent d’introduire l’enfant au monde littéraire. L’objectif du mémoire était donc d’évaluer formellement un modèle de double médiation à l’aide d’analyses acheminatoires tout en considérant l’exposition à la littéracie tout au long de la petite enfance. En accord avec les liens préférentiels suggérés dans la littérature, on a constaté que l’enseignement des lettres par les parents à 4 et 5 ans prédisent indirectement les habiletés en lecture (8 ans; décodage et compréhension en lecture) via leur contribution à la connaissance des lettres (5 ans). Également, le vocabulaire réceptif de l’enfant (5 ans) était un médiateur des contributions de la lecture parent-enfant à 2.5, 4 et 5 ans, à la compréhension en lecture (8 ans). Ce mémoire souligne l’importance d’initier les enfants à la littéracie en bas âge afin de supporter leur acquisition subséquente de la lecture.