Étude de quelques populations structurées : processus de coalescence et abondance d’une stratégie

Le fichiers qui accompagnent mon document ont été réalisés avec le logiciel Mathematica

Effets de la consanguinité dans des modèles de sélection pour des populations structurées en familles

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

Typologie des verbes utilisés dans la description des structures anatomiques

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

Structures turbulentes et mobilité des particules au lit d'une rivière graveleuse

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

Algorithme de comparaison de structures secondaires d'ARN

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

Newly-developed parameters to quantify texture : application to polymeric porous structures

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

Helix Explorer : une nouvelle base de données de structures de protéines

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

Advanced Adhesion Strength Testing Methods of Thin Film Multilayers in Electronic Packaging Systems

With the continued miniaturization and increasing performance of electronic devices, new technical challenges have arisen. One such issue is delamination occurring at critical interfaces inside the device. This major reliability issue can occur during the manufacturing process or during normal use of the device. Proper evaluation of the adhesion strength of critical interfaces early in the product development cycle can help reduce reliability issues and time-to-market of the product. However, conventional adhesion strength testing is inherently limited in the face of package miniaturization, which brings about further technical challenges to quantify design integrity and reliability. Although there are many different interfaces in today's advanced electronic packages, they can be generalized into two main categories: 1) rigid to rigid connections with a thin flexible polymeric layer in between, or 2) a thin film membrane on a rigid structure. Knowing that every technique has its own advantages and disadvantages, multiple testing methods must be enhanced and developed to be able to accommodate all the interfaces encountered for emerging electronic packaging technologies. For evaluating the adhesion strength of high adhesion strength interfaces in thin multilayer structures a novel adhesion test configuration called “single cantilever adhesion test (SCAT)” is proposed and implemented for an epoxy molding compound (EMC) and photo solder resist (PSR) interface. The test method is then shown to be capable of comparing and selecting the stronger of two potential EMC/PSR material sets. Additionally, a theoretical approach for establishing the applicable testing domain for a four-point bending test method was presented. For evaluating polymeric films on rigid substrates, major testing challenges are encountered for reducing testing scatter and for factoring in the potentially degrading effect of environmental conditioning on the material properties of the film. An advanced blister test with predefined area test method was developed that considers an elasto-plastic analytical solution and implemented for a conformal coating used to prevent tin whisker growth. The advanced blister testing with predefined area test method was then extended by employing a numerical method for evaluating the adhesion strength when the polymer’s film properties are unknown.

Data structures for SIMD logic simulation

Due to the growth of design size and complexity, design verification is an important aspect of the Logic Circuit development process. The purpose of verification is to validate that the design meets the system requirements and specification. This is done by either functional or formal verification. The most popular approach to functional verification is the use of simulation based techniques. Using models to replicate the behaviour of an actual system is called simulation. In this thesis, a software/data structure architecture without explicit locks is proposed to accelerate logic gate circuit simulation. We call thus system ZSIM. The ZSIM software architecture simulator targets low cost SIMD multi-core machines. Its performance is evaluated on the Intel Xeon Phi and 2 other machines (Intel Xeon and AMD Opteron). The aim of these experiments is to: • Verify that the data structure used allows SIMD acceleration, particularly on machines with gather instructions ( section 5.3.1). • Verify that, on sufficiently large circuits, substantial gains could be made from multicore parallelism ( section 5.3.2 ). • Show that a simulator using this approach out-performs an existing commercial simulator on a standard workstation ( section 5.3.3 ). • Show that the performance on a cheap Xeon Phi card is competitive with results reported elsewhere on much more expensive super-computers ( section 5.3.5 ). To evaluate the ZSIM, two types of test circuits were used: 1. Circuits from the IWLS benchmark suit [1] which allow direct comparison with other published studies of parallel simulators.2. Circuits generated by a parametrised circuit synthesizer. The synthesizer used an algorithm that has been shown to generate circuits that are statistically representative of real logic circuits. The synthesizer allowed testing of a range of very large circuits, larger than the ones for which it was possible to obtain open source files. The experimental results show that with SIMD acceleration and multicore, ZSIM gained a peak parallelisation factor of 300 on Intel Xeon Phi and 11 on Intel Xeon. With only SIMD enabled, ZSIM achieved a maximum parallelistion gain of 10 on Intel Xeon Phi and 4 on Intel Xeon. Furthermore, it was shown that this software architecture simulator running on a SIMD machine is much faster than, and can handle much bigger circuits than a widely used commercial simulator (Xilinx) running on a workstation. The performance achieved by ZSIM was also compared with similar pre-existing work on logic simulation targeting GPUs and supercomputers. It was shown that ZSIM simulator running on a Xeon Phi machine gives comparable simulation performance to the IBM Blue Gene supercomputer at very much lower cost. The experimental results have shown that the Xeon Phi is competitive with simulation on GPUs and allows the handling of much larger circuits than have been reported for GPU simulation. When targeting Xeon Phi architecture, the automatic cache management of the Xeon Phi, handles and manages the on-chip local store without any explicit mention of the local store being made in the architecture of the simulator itself. However, targeting GPUs, explicit cache management in program increases the complexity of the software architecture. Furthermore, one of the strongest points of the ZSIM simulator is its portability. Note that the same code was tested on both AMD and Xeon Phi machines. The same architecture that efficiently performs on Xeon Phi, was ported into a 64 core NUMA AMD Opteron. To conclude, the two main achievements are restated as following: The primary achievement of this work was proving that the ZSIM architecture was faster than previously published logic simulators on low cost platforms. The secondary achievement was the development of a synthetic testing suite that went beyond the scale range that was previously publicly available, based on prior work that showed the synthesis technique is valid.

Superlattice structures in twisted bilayers of folded graphene

The electronic properties of bilayer graphene strongly depend on relative orientation of the two atomic lattices. Whereas Bernal-stacked graphene is most commonly studied, a rotational mismatch between layers opens up a whole new field of rich physics, especially at small interlayer twist. Here we report on magnetotransport measurements on twisted graphene bilayers, prepared by folding of single layers. These reveal a strong dependence on the twist angle, which can be estimated by means of sample geometry. At small rotation, superlattices with a wavelength in the order of 10 nm arise and are observed by friction atomic force microscopy. Magnetotransport measurements in this small-angle regime show the formation of satellite Landau fans. These are attributed to additional Dirac singularities in the band structure and discussed with respect to the wide range of interlayer coupling models.

Étude de quelques populations structurées : processus de coalescence et abondance d’une stratégie

Le fichiers qui accompagnent mon document ont été réalisés avec le logiciel Mathematica

Caractérisation des structures de septines hautement organisées chez la drosophile et leur interaction avec le cytosquelette d’actine

Les septines sont des GTPases conservées dérégulées dans le cancer et les maladies neurodégénératives. Elles servent de protéines d’échafaudage et forment une barrière de diffusion à la membrane plasmique et au corps central lors de la cytokinèse. Elles interagissent avec l’actine et s’organisent en complexes qui polymérisent et forment des structures hautement organisées (anneaux et filaments). Leur dynamique d’assemblage et leur rôle dans la cellule restent à être élucidés. La Drosophile est un modèle simple pour l’étude des septines puisqu’on n’y retrouve que 5 gènes (sep1, sep2, sep4, sep5, peanut) comparativement aux 13 gènes chez l’humain. À l’aide d’un anticorps contre Pnut, nous avons identifié des structures tubulaires dans 30% des cellules S2 de Drosophile. Mon projet a comme but de caractériser ces tubes en élucidant leurs constituants, leur comportement et leurs propriétés pour mieux clarifier le mécanisme par lequel les septines forment des structures hautement organisées et interagissent avec le cytosquelette d’actine. Par immunofluorescence, j’ai pu démontrer que ces tubes sont cytoplasmiques, en mitose ou interphase, ce qui suggère qu’ils ne sont pas régulés par le cycle cellulaire. Pour investiguer la composition et les propriétés dynamiques de ces tubes, j’ai généré une lignée cellulaire exprimant Sep2-GFP qui se localise aux tubes et des ARNi contre les cinq septines. Trois septines sont importantes pour la formation de ces tubes et anneaux notamment Sep1, Sep2 et Pnut. La déplétion de Sep1 cause la dispersion du signal GFP en flocons, tandis que la déplétion de Sep2 ou de Pnut mène à la dispersion du signal GFP uniformément dans la cellule. Des expériences de FRAP sur la lignée Sep2-GFP révèlent un signal de retour très lent, ce qui indique que ces structures sont très stables. J’ai aussi démontré une relation entre l’actine et les septines. Le traitement avec la Latrunculin A (un inhibiteur de la polymérisation de l’actine) ou la Jasplakinolide (un stabilisateur des filaments d’actine) mène à la dépolymérisation rapide (< 30 min) des tubes en anneaux flottants dans le cytoplasme, même si ces tubes ne sont pas reconnus suite à un marquage de la F-actine. L’Actin05C-mCherry se localise aux tubes, tandis que le mutant déficient de la polymérisation, Actin05C-R62D-mCherry perd cette localisation. On observe aussi que la déplétion de la Cofiline et de l’AIP1 (ce qui déstabilise l’actine) mène au même phénotype que le traitement avec la Latrunculine A ou la Jasplakinolide. Alors on peut conclure qu’un cytosquelette d’actine dynamique est nécessaire pour la formation et le maintien des tubes de septines. Les futures études auront comme but de mieux comprendre l’organisation des septines en structures hautement organisées et leur relation avec l’actine. Ceci sera utile pour l’élaboration du réseau d’interactions des septines qui pourra servir à expliquer leur dérégulation dans le cancer et les maladies neurodégénératives.

Understanding the Impact of the Property Tax Appeal Process on Assessment Uniformity: Procedures, Structures, and Outcomes

Property taxes serve as a vital revenue source for local governments. The revenues derived from the property tax function as the primary funding source for a variety of critical local public service systems. Property tax appeal systems serve as quasi-administrative-judicial mechanisms intended to assure the public that property tax assessments are correct, fair, and equitable. Despite these important functions, there is a paucity of empirical research related to property tax appeal systems. This study contributes to property tax literature by identifying who participates in the property tax appeal process and examining their motivations for participation. In addition, the study sought to determine whether patterns of use and success in appeal systems affected the distribution of the tax burden. Data were collected by means of a survey distributed to single-family property owners from two Florida counties. In addition, state and county documents were analyzed to determine appeal patterns and examine the impact on assessment uniformity, over a three-year period. The survey data provided contextual evidence that single-family property owners are not as troubled by property taxes as they are by the conduct of local government officials. The analyses of the decision to appeal indicated that more expensive properties and properties excluded from initial uniformity analyses were more likely to be appealed, while properties with homestead exemptions were less likely to be appealed. The value change analyses indicated that appeals are clustered in certain geographical areas; however, these areas do not always experience a greater percentage of the value changes. Interestingly, professional representation did not increase the probability of obtaining a reduction in value. Other relationships between the variables were discovered, but often with weak predictive ability. Findings from the assessment uniformity analyses were also interesting. The results indicated that the appeals mechanisms in both counties improved assessment uniformity. On average, appealed properties exhibited greater horizontal and vertical inequities, as compared to non-appealed properties, prior to the appeals process. After, the appeal process was completed; the indicators of horizontal and vertical equity were largely improved. However, there were some indications of regressivity in the final year of the study.

Caractérisation des structures de septines hautement organisées chez la drosophile et leur interaction avec le cytosquelette d’actine

Les septines sont des GTPases conservées dérégulées dans le cancer et les maladies neurodégénératives. Elles servent de protéines d’échafaudage et forment une barrière de diffusion à la membrane plasmique et au corps central lors de la cytokinèse. Elles interagissent avec l’actine et s’organisent en complexes qui polymérisent et forment des structures hautement organisées (anneaux et filaments). Leur dynamique d’assemblage et leur rôle dans la cellule restent à être élucidés. La Drosophile est un modèle simple pour l’étude des septines puisqu’on n’y retrouve que 5 gènes (sep1, sep2, sep4, sep5, peanut) comparativement aux 13 gènes chez l’humain. À l’aide d’un anticorps contre Pnut, nous avons identifié des structures tubulaires dans 30% des cellules S2 de Drosophile. Mon projet a comme but de caractériser ces tubes en élucidant leurs constituants, leur comportement et leurs propriétés pour mieux clarifier le mécanisme par lequel les septines forment des structures hautement organisées et interagissent avec le cytosquelette d’actine. Par immunofluorescence, j’ai pu démontrer que ces tubes sont cytoplasmiques, en mitose ou interphase, ce qui suggère qu’ils ne sont pas régulés par le cycle cellulaire. Pour investiguer la composition et les propriétés dynamiques de ces tubes, j’ai généré une lignée cellulaire exprimant Sep2-GFP qui se localise aux tubes et des ARNi contre les cinq septines. Trois septines sont importantes pour la formation de ces tubes et anneaux notamment Sep1, Sep2 et Pnut. La déplétion de Sep1 cause la dispersion du signal GFP en flocons, tandis que la déplétion de Sep2 ou de Pnut mène à la dispersion du signal GFP uniformément dans la cellule. Des expériences de FRAP sur la lignée Sep2-GFP révèlent un signal de retour très lent, ce qui indique que ces structures sont très stables. J’ai aussi démontré une relation entre l’actine et les septines. Le traitement avec la Latrunculin A (un inhibiteur de la polymérisation de l’actine) ou la Jasplakinolide (un stabilisateur des filaments d’actine) mène à la dépolymérisation rapide (< 30 min) des tubes en anneaux flottants dans le cytoplasme, même si ces tubes ne sont pas reconnus suite à un marquage de la F-actine. L’Actin05C-mCherry se localise aux tubes, tandis que le mutant déficient de la polymérisation, Actin05C-R62D-mCherry perd cette localisation. On observe aussi que la déplétion de la Cofiline et de l’AIP1 (ce qui déstabilise l’actine) mène au même phénotype que le traitement avec la Latrunculine A ou la Jasplakinolide. Alors on peut conclure qu’un cytosquelette d’actine dynamique est nécessaire pour la formation et le maintien des tubes de septines. Les futures études auront comme but de mieux comprendre l’organisation des septines en structures hautement organisées et leur relation avec l’actine. Ceci sera utile pour l’élaboration du réseau d’interactions des septines qui pourra servir à expliquer leur dérégulation dans le cancer et les maladies neurodégénératives.

Self-assembly of gold nanocrystals into discrete coupled plasmonic structures

Development of methodologies for the controlled chemical assembly of nanoparticles into plasmonic molecules of predictable spatial geometry is vital in order to harness novel properties arising from the combination of the individual components constituting the resulting superstructures. This paper presents a route for fabrication of gold plasmonic structures of controlled stoichiometry obtained by the use of a di-rhenium thio-isocyanide complex as linker molecule for gold nanocrystals. Correlated scanning electron microscopy (SEM)—dark-field spectroscopy was used to characterize obtained discrete monomer, dimer and trimer plasmonic molecules. Polarization-dependent scattering spectra of dimer structures showed highly polarized scattering response, due to their highly asymmetric D∞h geometry. In contrast, some trimer structures displayed symmetric geometry (D3h), which showed small polarization dependent response. Theoretical calculations were used to further understand and attribute the origin of plasmonic bands arising during linker-induced formation of plasmonic molecules. Theoretical data matched well with experimentally calculated data. These results confirm that obtained gold superstructures possess properties which are a combination of the properties arising from single components and can, therefore, be classified as plasmonic molecules