No description available.

La quantité croissante de données traitées par les logiciels rend légitime le besoin de garanties de confidentialité. La propriété de non-interférence assure qu'un programme ne fuite pas de données privées vers une sortie publique. Nous proposons une méthode pour construire, une multisémantique annotée capable de capturer la propriété de non-interférence pour aider à prouver formellement des analyseurs. Nous fournissons un théorème prouvé indiquant que les annotations capturent correctement la non-interférence. Le théorème de correction permet de prouver un analyseur sans s'appuyer sur la définition de non-interférence mais sur les annotations. / Because of the increasing quantity of data processed by software, the need for privacy guarantees is legitimate. The property of non-interference ensures that a program does not leak private data to a public output. We propose a framework to build an annotated multisemantics able to capture the non-interference property to help formally prove analysers. The framework comes with a proved theorem stating that the annotations correctly capture non-interference. The correctness theorem allows to prove an analyser without relying on the definition of non-interference but on the annotations.

No description available.

Le sujet de la thèse s’inscrit dans le cadre du développement de modèles pour la simulation du contrôle non-destructif (CND) par ultrasons. L'objectif à long terme est la mise au point, par une méthode de rayons, d’un outil complet de simulation des échos issus de la géométrie (surfaces d’entrée, de fond…) ou des structures internes des pièces inspectées. La thèse vise plus précisément à intégrer le phénomène de diffraction par les dièdres à un modèle existant dérivant de l’acoustique géométrique et qui prend uniquement en compte les réflexions sur les faces.Pour cela, la méthode dite des fonctions spectrales, développée initialement pour le cas d'un dièdre immergé, est développée et validée dans un premier temps dans le cas des ondes acoustiques pour des conditions aux limites de type Dirichlet ou Neumann. La méthode est ensuite étendue à la diffraction des ondes élastiques par des dièdres infinis à faces libres et d'angles quelconques, pour une incidence 2D puis pour une incidence 3D. Cette méthode est semi-analytique puisque les solutions recherchées s'écrivent sous la forme d'une somme d'une fonction singulière, qui est déterminée analytiquement à l'aide d'un algorithme récursif, et d'une fonction régulière, qui est approchée numériquement.Les codes correspondants sont validés par comparaison à une solution exacte dans le cas acoustique et par comparaison à d'autres codes (semi-analytiques et numériques) dans le cas élastique. Des validations expérimentales du modèle élastodynamique sont également proposées. / This thesis falls into the framework of model development for simulation of ultrasonic non-destructive testing (NDT). The long-term goal is to develop, using ray methods, a complete simulation tool of specimen echoes (input, back-wall surfaces...) or echoes of inner structures of inspected parts. The thesis aims more specifically to integrate the phenomenon of diffraction by wedges to an existing model derived from geometrical acoustics, which only accounts for reflections on the wedge faces.To this end, a method called the spectral functions method, which was initially developed for immersed wedges, is developed and validated as a first step in the case of acoustic waves with Dirichlet or Neumann boundary conditions. The method is then extended to elastic wave diffraction by infinite stress-free wedges of arbitrary angles, for 2D and 3D incidences. This method is semi-analytic since the unknown solutions are expressed as the sum of a singular function, determined analytically using a recursive algorithm, and a regular function which is approached numerically.The corresponding codes are validated by comparison to an exact solution in the acoustic case and by comparison to other codes (semi-analytic and numerical) in the elastic case. Experimental validations of the elastodynamic model are also proposed.

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

This mémoire investigates how teachers use games as a pedagogical tool in teaching French as a foreign language (FLE). Games can be linked to the Swedish National Agency for Education's goals for language teaching and form a basis for teachers to reach out to students. The study is rooted in a qualitative research method and consists of four interviews with teachers of French. The results show how the use of games can help improve language learning and engage students in the classroom. / Ce mémoire examine comment les enseignants utilisent les jeux comme outil pédagogique dans l'enseignement du français langue étrangère (FLE). Les jeux peuvent être liés aux objectifs de l'Agence nationale suédoise pour l'éducation en matière d'enseignement des langues et constituent une base permettant aux enseignants d'atteindre les étudiants. L'étude s'appuie sur une méthode de recherche qualitative et consiste en quatre entretiens avec des professeurs de français. Les résultats montrent comment l'utilisation de jeux peut contribuer à améliorer l'apprentissage des langues et à impliquer les élèves dans la classe.

La dysplasie acétabulaire est une pathologie causant de l'instabilité articulaire et une réduction de la superficie de chargement au niveau de la hanche. Celle-ci augmente le risque de développement précoce d'ostéoarthrose, causant de la douleur et menant à la perte de la fonction articulaire. La dysplasie est conventionnellement traitée par ostéotomie péri-acétabulaire, mais les effets précis de cette correction sur la biomécanique intra-articulaire restent à être élucidées. À l'aide de la méthode de simulation par éléments discrets, la distribution de pression articulaire a été évaluée de manière pré et post opératoire chez 9 patients dysplasiques. Différentes mesures orthopédiques évaluant le degré de correction acétabulaire ont été acquises et plusieurs scores numériques évaluant la surcharge articulaire ont été calculés. Des corrélations entre ces mesures et ces scores ont ensuite été effectués. Il a été noté que les mesures d'angle centre-externe latéral, d'index acétabulaire et d'index d'extrusion de la tête fémorale sont corrélés avec l'augmentation de l'aire de contact moyen durant la marche (p < 0.05, R² de 0.22 à 0.50). L'influence significative de la méthode de reconstruction cartilagineuse (distributions d'épaisseurs moyennes saine vs. dysplasique) et du profil de marche utilisé (phase d'appui moyen sain vs. dysplasique) a été remarqué auprès de la majorité des métriques évaluées. Ces résultats, ainsi que les facteurs qui les influencent, peuvent servir à assister la planification chirurgicale, effectuer des validations in-vitro d'optimisation d'ostéotomie péri-acétabulaire et, par la suite, guider la conception de nouveaux traitements. / Acetabular dysplasia causes articular instability and the reduction of the loading area in the hip. This causes the early onset of osteoarthritis which leads to pain and the eventual loss of articular function. Acetabular dysplasia is commonly treated by periacetabular osteotomy, but the precise effects of this correction on intra-articular biomechanics is not yet well known. Using discrete element analysis, pressure distribution has been calculated in the dysplastic hips of 9 patients before and after periacetabular osteotomy. A variety of radiographic measurements and numerical metrics have been evaluated in order to quantify the degree of acetabular correction and excessive loading. Correlations between these measures and metrics have been established in order to reveal any causal effects. In particular, the corrections of the lateral center-edge angle, acetabular index and femoral head extrusion index are correlated to the rise of average contact area during gait (p-value < 0.05, R² = 0.22 to 0.50). Additionally, the influence of cartilage layer reconstruction method (population-based healthy vs. dysplastic thicknesses) and loading parameters (healthy vs. dysplastic gait profiles) was significant for a majority of evaluated metrics. These results and influencing factors can help to assist with surgical planning, provide a basis for in-vitro validation of surgical optimization and act as a standard for designing new orthopedic treatments for acetabular dysplasia.

Ce mémoire présente les résultats d’estimation de ressources minérales en éléments des terres rares (ETR) réalisés à l’aide de simulations géostatistiques gaussiennes séquentielles (SGS) en facteurs spatialement décorrélés par la méthode MAF (Minimum/Maximum Autocorrelation Factors). Cette étude s’inscrit dans le cadre du projet de recherche « Caractérisation des gîtes de terres rares d’intrusions alcalines : géologie, métallogénie et géométallurgie du complexe syénitique de Kipawa » (FRQNT, 2017, p. 59). Les SGS se proposent comme une méthode alternative à la technique reconnue du krigeage ordinaire ayant été utilisée pour l’estimation des ressources minérales d’ETR du gisement de Kipawa, site à l’étude. Ce mémoire compare les résultats d’estimation des ressources minérales d’ETR des SGS à ceux du krigeage ordinaire. À cette fin, le site à l’étude est d’abord présenté en compagnie de la base de données conjointement utilisées par les deux méthodes. Ensuite, une revue de littérature aborde les notions et concepts nécessaires à la réalisation des SGS de cette étude. Une fois ces connaissances acquises, la méthode de recherche est développée. Son aboutissement permet de présenter les résultats et d’en discuter. Globalement, les résultats démontrent que les SGS en facteurs offrent l’avantage de procéder à l’estimation de ressources minérales d’ETR de façon multivariée, de limiter le lissage des résultats tout en fournissant une évaluation de leur incertitude. Les SGS proposent une distribution normale des ressources minérales en ETR totaux allant d’un minimum de 91 035 t à un maximum de 103 118 t. D’autre part, le krigeage ordinaire en estime, sans teneur de coupure, une valeur unique de 113 717 t. En conclusion, le tonnage évalué des ressources minérales en ETR du gisement Kipawa est moindre par la méthode des SGS que par le krigeage ordinaire. MOTS CLÉS : Simulations, géostatistique, simulations gaussiennes séquentielles (SGS), facteurs d’autocorrélation minimum/maximum (MAF), éléments des terres rares (ETR), ressources minérales. / This thesis presents the results of rare earth elements (REE) mineral resources estimate using Sequential Gaussian Simulations (SGS) of spatially decorrelated factors calculated from the Minimum/Maximum Autocorrelation Factors (MAF) method. This study is part of the research project "Characterization of REE deposits of alkaline intrusions: geology, metallogeny and geometallurgy of the Kipawa syenite complex" (FRQNT, 2017, p. 59). SGS are proposed as an alternative method to the acknowledge ordinary kriging technic which was used for the REE mineral resources estimation of the Kipawa deposit, site under study. This report compares the results of the SGS mineral resources estimate to those of ordinary kriging. To this end, the study site is first presented along with the database jointly used by the two methods. Then, a literature review discusses the notions and concepts required to carry out the SGS of this study. Once this knowledge acquired, the research method is developed. Afterward, the results are presented and discussed. Overall, results demonstrate that SGS of MAF factors offer the advantage of estimating REE mineral resources in a multivariate manner, limiting the smoothing of the results while providing an assessment of their uncertainty. The SGS propose a normal distribution of the total REE ranging from a minimum of 91 035 t to a maximum of 103 118 t. On the other hand, the ordinary kriging estimates a single value of 113 717 t in total REE with no cut-off grade. In conclusion, the SGS method evaluates a lesser tonnage of REE mineral ressources at the Kipawa deposit than the ordinary kriging technic. KEYWORDS: Simulations, Geostatistic, Sequential Gaussian Simulations (SGS), Min/Max Autocorrelation Factors (MAF), Rare Earth Elements (REE), Mineral resources.

La présente étude examine la récidive sexuelle - définie comme tout nouveau délit sexuel qui a été saisi par le système de justice et qui a engendré une sanction pénale - chez les auteurs d'infractions sexuelles adultes. L'échantillon comprend 759 individus d'âge adulte ayant commis au moins un crime sexuel de toute nature confondue. Ceux-ci avaient, à un moment ou à un autre de leur trajectoire délictuelle, fait l'objet d'une évaluation actuarielle à l'aide de l'outil Stable. Une analyse de régression logistique hiérarchique a été effectuée afin de déterminer le rôle contributif de certains facteurs statiques et dynamiques dans la répétition d'un comportement répréhensible de nature sexuelle. Les résultats indiquent que plus de la moitié des délits sexuels ont été perpétrées par les 236 récidivistes sexuels, alors que le taux de récidive de l'échantillon est de 31%. De plus, il existe des distinctions entre les facteurs criminogènes du récidiviste sexuel et celle de l'auteur d'un seu ldélit sexuel. Le premier se distingue par la prépondérance des problématiques d'ordre sexuel. Les précurseurs à l'agir criminel du second ne seraient pas très éloignés des facteurs sous tendant la commission d'un crime de délinquance générale. Ces résultats sont cohérents avec les données issues de la littérature et permettent de contribuer à améliorer les connaissances disponibles sur la délinquance sexuelle et sa récidive.

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