Randomized Hamiltonian Monte Carlo as Scaling Limit of the Bouncy Particle Sampler and Dimension-Free Convergence Rates

The Bouncy Particle Sampler is a Markov chain Monte Carlo method based on a nonreversible piecewise deterministic Markov process. In this scheme, a particle explores the state space of interest by evolving according to a linear dynamics which is altered by bouncing on the hyperplane tangent to the gradient of the negative log-target density at the arrival times of an inhomogeneous Poisson Process (PP) and by randomly perturbing its velocity at the arrival times of an homogeneous PP. Under regularity conditions, we show here that the process corresponding to the first component of the particle and its corresponding velocity converges weakly towards a Randomized Hamiltonian Monte Carlo (RHMC) process as the dimension of the ambient space goes to infinity. RHMC is another piecewise deterministic non-reversible Markov process where a Hamiltonian dynamics is altered at the arrival times of a homogeneous PP by randomly perturbing the momentum component. We then establish dimension-free convergence rates for RHMC for strongly log-concave targets with bounded Hessians using coupling ideas and hypocoercivity techniques.Comment: 47 pages, 2 figure

Savoir comment faire pour enseigner les savoir-faire

Une équipe de professeurs et professionnels du Collège Montmorency s’est concertée pour peaufiner une méthode permettant d’enseigner plus efficacement les savoir-faire pratiques dans les classes de sciences. En plus de renforcer le sentiment de responsabilité des étudiants face à l’apprentissage, celle-ci vise, entre autres, à leur assurer une plus grande maitrise de diverses connaissances et compétences procédurales. Une approche didactique, une marche à suivre comportant quatre étapes et des outils d’accompagnement, de vérification et de correction ont été développés pour favoriser la cohérence du travail des professeurs et des techniciens et pour leur permettre d’allouer plus de temps à l’enseignement pratique, essentiel dans leur discipline. Il faut lire cet article stimulant pour en savoir plus et se laisser inspirer

Knowing how to teach know-how : imparting procedural knowledge

Comprend des réréfences bibliographiques

Fiber-based wavelength-swept spontaneous Raman spectroscopy for brain tissue classification

Please click Additional Files below to see the full abstract

Conception par composantes de contrôleurs d'usines modulaires utilisant la théorie du contrôle supervisé

La complexité croissante des processus industriels et de leurs systèmes de contrôle rend de plus en plus attrayant l'usage des méthodes formelles pour leur conception. Plusieurs méthodes ont été mises au point tant pour la synthèse que pour la vérification, utilisant divers formalismes pour la modélisation de problèmes de contrôle et le raisonnement. Lorsqu'un processus peut être modélisé sous forme d'un système à événements discrets, la théorie du contrôle supervisé, originalement formulée par Ramadge et Wonham, offre une base formelle intéressante pour la spécification de problèmes de contrôle car elle permet, par l'application de procédures de synthèse, d'obtenir automatiquement un contrôleur pour le processus.La théorie souffre cependant d'un problème d'explosion combinatoire puisqu'elle utilise des automates d'états finis comme formalisme de modélisation. Plusieurs investigations se sont concentrées sur les moyens de mitiger ce problème en prenant avantage, soit de la structure des systèmes modélisés, soit des propriétés de leur spécification. Il en résulte plusieurs formes de la théorie dont, entre autres, les variantes modulaire, répartie et hiérarchique. D'autre part, certains efforts de recherche se sont concentrés sur le problème de l'implémentation des contrôleurs obtenus par les procédures de synthèse de la théorie. Il existe donc à ce jour plusieurs implémentations de ces procédures couvrant toutes les variantes de la théorie. Mais il ne semble pas y avoir encore d'environnement couvrant le processus de conception au complet. Le problème est encore plus aigu si l'on considère que la phase de modélisation est en général mal définie, voire même ignorée, dans ces implémentations.La présente thèse se propose de dégager les principes permettant de concevoir un environnement couvrant l'ensemble du processus d'ingénierie de contrôleurs dans le cadre de la théorie du contrôle supervisé, intégrant un outillage adéquat pour les trois phases du processus : modélisation, synthèse et génération de code

Power strategy formation in a human service organization undergoing turbulent change

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur

Système de génération de code pour des usines industrielles modulaires

L’automatisation industrielle date du début de l’ère industrielle. Elle bénéficie ainsi d’une riche pratique, comme en témoigne le domaine des procédés industriels modernes avec sa panoplie de dispositifs tout aussi ingénieux qu’utiles. Dans ce contexte, il n’est pas surprenant de constater, dès le début du XXe siècle, l’apparition d’une discipline théorique, la cybernétique, qui est propre à ce domaine. L’avènement de l’ordinateur et la miniaturisation, en ajoutant à la versatilité et à la complexité des procédés industriels, n’ont fait qu’accentuer le besoin d’une telle discipline. On peut toutefois se surprendre que, malgré cette longue histoire, et malgré des avancées considérables dans les différents modèles théoriques de ce qu’il convient d’appeler « le contrôle des processus en temps réel », les méthodes pour la programmation de ces systèmes demeurent, aujourd’hui encore, toujours si empiriques. Quant à l’utilisation de méthodes formelles pour la spécification de tels systèmes, on en entend à peu près pas parler dans l’industrie. Il semble qu’il y ait un problème sérieux à passer de la théorie à la pratique. Ce mémoire s’inscrit dans ce contexte. Il explore le problème de la génération de code pour des usines industrielles modulaires contrôlées par des automates programmables

Les rites de possession chez les Gaddis du Dhaulādhār (Himachal Pradesh, Inde) : spiritualité, guérison, société

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

Recherche-action sur la création d'une coopérative de travailleurs actionnaire dans l'industrie du tourisme d'aventure au Québec

Ce présent essai constitue l'ultime étape de formation à la maîtrise en gestion et développement des coopératives. La démarche de réalisation sélectionnée s'inscrit dans le type d'une recherche-action, plus spécifiquement, d'une étude de faisabilité sur la création d'une coopérative de travailleurs actionnaires dans le secteur du tourisme d'aventure. Cet essai se veut le fruit d'un travail structuré dans lequel nous avons fait état de nos connaissances et de nos aptitudes à traiter systématiquement d'un sujet pertinent à notre champ d'étude, à savoir ; la gestion de projet coopératif. En outre, dans une perspective plus large, l'essai a été réalisé dans le but de confronter la théorie à la pratique en tentant de mettre véritablement sur pied une entreprise coopérative de travailleurs actionnaires