Un modèle de validation automatique de mécanismes de sécurisation des communications

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

Les approches de synthèse exploratoire dans le domaine de la santé

Contexte: Les approches de synthèse exploratoire (ou scoping studies) font actuellement l’objet de confusion dans leur appellation, définition et but. Elles continuent aussi de manquer de description méthodologique suffisante ou de détails sur le processus de l’analyse de données. Objectif : Cette synthèse exploratoire fait le point des connaissances sur les approches de synthèse exploratoire utilisées en santé. Plus spécifiquement, ses objectifs sont : 1) d’examiner le volume et l’étendue des synthèses exploratoires ainsi que les domaines d’étude dans lesquels elles ont été conduites; 2) de faire l’inventaire de leurs définitions, buts, forces et faiblesses; et 3) et de faire l’inventaire des approches méthodologiques existantes. Méthodes : Une recherche systématique des synthèses exploratoires a été entreprise jusqu’en avril 2014 dans les bases de données Medline, PubMed, ERIC, PsycINFO, CINAHL, EMBASE, EBM Reviews/Cochrane. Des critères d’inclusion et d’exclusion ont été appliqués afin de ne retenir que des études de langue française et anglaise présentant des définitions, méthodes et écarts de connaissances sur les synthèses exploratoires, ainsi que celles les comparant à d’autres types de revues de littérature. Deux reviseurs ont examiné de façon indépendante les références pertinentes. Une grille d’extraction des données a été conçue afin de recueillir pour chacune des études, les données contextuelles, les étapes méthodologiques ainsi que les définitions, buts et limites des synthèses exploratoires. Les données ont été répertoriées et classées afin de dresser un portrait global des approches de synthèses exploratoires dans un format narratif et tabulaire. Résultats : Sur deux cent cinquante-deux références identifiées, quatre-vingt-douze références pertinentes ont été retenues. Les synthèses exploratoires ont été publiées par 6 pays dans 10 domaines d’études et 73 journaux. Elles ont pour finalité d’être à la fois un support aux connaissances, une aide à la décision et un préalable à une revue systématique de littérature. Cinq auteurs ont été cités en référence et huit autres ont publié sur leur méthodologie. Elles ont 3 étapes importantes de réalisation dont la revue de littérature, la consultation des parties prenantes et la synthèse globale avec ou sans validation des résultats. Les synthèses exploratoires utilisent une méthode systématique, pas toujours exhaustive et sans évaluation formelle des études incluses Des notions claires portant sur leur définition, buts, forces et faiblesses ont été identifiées. Conclusion : Nous suggérons que de nouvelles études soient entreprises afin d’asseoir complètement cette méthode et dégager des lignes directrices pour les chercheurs qui s’y intéresseront.

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.

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.

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.