Loop vectorization is a powerful optimization technique that can significantly boost the runtime of loops. This optimization depends on functional equivalence between the original and optimized code versions, a requirement typically established through the compiler's static analysis. When this condition is not met, the compiler will miss the optimization. The process of manually rewriting the source code to pass an already missed compiler optimization is time-consuming, given the multitude of potential code variations, and demands a high level of expertise, making it impractical in many scenarios. In this work, we propose a novel framework that aims to take the code blocks that the compiler failed to optimize and transform them to another code block that passes the compiler optimization. We develop an algorithm to efficiently search for a code structure that automatically passes the compiler optimization (weakly verified through a correctness test). We focus on loop-vectorize optimization inside OpenMP directives, where the introduction of parallelism adds complexity to the compiler's vectorization task and is shown to hinder optimizations. Furthermore, we introduce a modified version of TSVC, a loop vectorization benchmark in which all original loops are executed within OpenMP directives. Our evaluation shows that our framework enables " loop-vectorize" optimizations that the compiler failed to pass, resulting in a speedup up to 340× in the blocks optimized. Furthermore, applying our tool to HPC benchmark applications, where those applications are already built with optimization and performance in mind, demonstrates that our technique successfully enables extended compiler optimization, thereby accelerating the execution time of the optimized blocks in 15 loops and the entire execution time of the three applications by up to 1.58 times. / Master of Science / Loop vectorization is a powerful technique for improving the performance of specific sections in computer programs known as loops. Particularly, it simultaneously executes instructions of different iterations in a loop, providing a considerable speedup on its runtime due to this parallelism. To apply this optimization, the code needs to meet certain conditions, which are usually checked by the compiler. However, sometimes the compiler cannot verify these conditions, and the optimization fails. Our research introduces a new approach to fix these issues automatically. Normally, fixing the code manually to meet these conditions is time-consuming and requires high expertise. To overcome this, we've developed a tool that can efficiently find ways to make the code satisfy the conditions needed for optimization. Our focus is on a specific type of code that uses OpenMP directives to split the loop on multiple processor cores and runs them simultaneously, where adding this parallelism makes the code more complex for the compiler to optimize. Our tests show that our approach successfully improves the speed of computer programs by enabling optimizations initially missed by the compiler. This results in significant speed improvements for specific parts of the code, sometimes up to 340 times faster. We've also applied our method to well-optimized computer programs, and it still managed to make them run up to 1.58 times faster.

In today’s linear control systems, exact solutions can be obtained by the use of Laplace Transforms in the frequency domain. In dealing with nonlinear systems, exact solutions are not always achievable. For this reason, it is necessary to linearize the system and then apply frequency response methods. This paper shows the comparison of a nonlinear system with the linearized model of the same system. For both proportional and proportional-integral control, the response to a unit step change in the set point showed minimal difference between the linearized and nonlinear system.

Digitization has fundamentally changed businesses, segments of society, and individuals’ life. There are two changing perspectives in the history of digital transformation. One is the expanding boundary of digitization, from a transformation within organizations, through innovations in interactions among businesses and customers, to societal changes at large. The other is the shifting focus of digitization, from digitizing production and delivery of goods and services, to digitizing all aspects of everyday life. However, extant research in digitization has not paid much attention to its impacts beyond the organizational boundary and the business relationships, and often adopted a technology-deterministic view of digitization. In this dissertation, I propose the notion, “digital citizenship”, to reexamine the nature and impact of digitization from a human-centric perspective and embed digitization in a broader social context. To elaborate on the notion of digital citizenship, I study the informative, automate, and transformative roles of digitization, and why and how various types of digitization enhance overall welfare for all parties of digital citizens. These three studies, presented as separate essays herein, i) evaluate the effectiveness of Intelligent Transportation Systems adopted by local governments transforming urban traffic management, ii) explore enhancing drivers’ traffic safety effort due to the deterrent potential of automated surveillance technology on the road, and iii) examine the mechanisms of information provision on customers decision making on churn and the implications for firms on the challenge of digital channel attribution. In regard to each, I discuss the relevant theory, the methodology, data sources, results, and implications. I conclude by highlighting the contributions of my work, and possible avenues for future research. / Business Administration/Management Information Systems

No description available.

A new analytical tool called “voice-leading class” is introduced that can quantify on an angular scale any transformation mapping one pitch dyad onto another. This method (based on a concept put forth by Dmitri Tymoczko) can be applied to two-voice, first-species counterpoint or to single-voice motivic transformations. The music of Béla Bartók is used to demonstrate the metric because of his frequent use of inversional symmetry, which is important if the full range of the metric’s values is to be tested. Voice-leading class (VLC) analysis applied to first-species counterpoint reveals highly structured VLC frequency histograms in certain works. It also reveals pairs of VLC values corresponding to motion in opposite directions along lines passing through the origin in pitch space. VLC analysis of motivic transformations, on the other hand, provides an efficient way of characterizing the phenomenon of chromatic compression and diatonic expansion. A hybrid methodology is demonstrated using Segall’s gravitational balance method that provides one way of analyzing textures with more than two voices. A second way is demonstrated using a passage from Bartók’s Concerto for Orchestra. Finally, the third movement of the String Quartet #5 is analyzed. Families of geometrically related VLC values are identified, and two are found to be particularly salient because of their relationship to major and minor thirds, intervals which play an important role in the movement. VLC values in this movement are linked to contour, form, motivic structure, pitch-class sets and pitch centricity, and are thus demonstrated to be useful for understanding Bartók’s music and the music of other composers as well.

Understanding architecture through a contemporary context of the transformations of art and technology was the springboard for this thesis. Identifying folding as a basic transformation became the focus for developing an Old town, Alexandria, Virginia law firm building. Folding is conceptually used in the spatial and inhabitable forms of the building as well as the materials, textures, and finishes of the walls, ceilings, and floors. Folding is structurally investigated by taking once planer and flimsy elements and creating folded, rigid, and load-bearing elements. Architectural concepts of day lighting, shading, rain runoff, partitioning, vertical circulation, horizontal circulation, library stacks, file storage, solar energy collection, gardening, building services, furnishings, reading, and inhabitation are all thought of in terms of folding. Designing a law firm for Old town, Alexandria, Virginia was chosen from a random number generating process cross referenced with the Alexandria, Virginia phone book. I interviewed a local law firm and based the programmatic spaces on their office needs and relationships. / Master of Architecture

Notre thèse étudie la relation entre les mécaniques classique et relativiste. Il est généralement supposé, à partir de l’hypothèse des petites vitesses, que la mécanique classique correspond à la mécanique relativiste dans les cas où la vitesse des objets est petite par rapport à la vitesse de la lumière. Cette position nous semble inadéquate pour la simple raison que la mécanique classique ne peut être restreinte au seule domaine des petites vitesses. Nous proposons l’hypothèse que les deux mécaniques ont une structure commune et que chacune se distingue sous certaines conditions. Pour appuyer cette hypothèse, nous proposons une axiomatisation de la mécanique suffisamment générale pour servir de structure commune aux mécaniques classique et relativiste. Cette axiomatisation comporte une théorie de la relativité qui précise comment les quantités relatives sont reliées entre elles lorsque déterminées par rapport à différents référentiels, et les lois du mouvement qui précisent comment les forces exercées sur un objet détermine son mouvement. Cette mécanique générale est déterminée à deux constantes près et c’est en déterminant la valeur de ces constantes qu’apparaît le bris de la structure commune qui génère la mécanique classique d’une part et la mécanique relativiste d’autre part. / Our thesis studies the relationship between classical and relativistic mechanics. It is generally assumed, based on the assumption of small velocities, that classical mechanics corresponds to relativistic mechanics in cases where the speed of objects is small compared to the speed of light. This position seems inadequate to us, for the simple reason that classical mechanics cannot be restricted to the realm of small velocities alone. We propose the hypothesis that the two mechanics have a common structure, and that each can be distinguished under certain conditions. To support this hypothesis, we propose an axiomatization of mechanics that is sufficiently general to serve as a common structure for both classical and relativistic mechanics. This axiomatization includes a theory of relativity that specifies how relative quantities are related to each other when determined with respect to different reference frames, and laws of motion that specify how forces exerted on an object determine its motion. This general mechanics is determined to within two constants, and it is by determining the value of these constants that the common structure that generates classical mechanics on the one hand and relativistic mechanics on the other is broken down.

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

Tomato serves as an important model organism for Solanaceae in both molecular and agronomic research. With whole genome sequencing in progress, there is a need to study functional genetics through mutant lines that exceed the practical limitations imposed by the popular research cultivar, Micro-Tom. This project utilized Agrobacterium transformation and the transposon tagging construct, Ac-DsATag-Bar_gosGFP, to produce activation tagged and knockout mutants in the processing tomato variety, M82. The construct contained hygromycin resistance (hyg), green fluorescent protein (GFP), and maize transposase (TPase) on the stable Ac element, along with a 35S enhancer tetramer and glufosinate herbicide resistance (BAR) on the mobile Ds element. An in vitro propagation strategy was used to produce a population of 25 T0 plants from a single transformed plant regenerated in tissue culture. A T1 population of 10,568 selfed and M82 backcross progeny was produced from the functional T0 line. This population was screened by spraying with 0.05% Liberty® herbicide, followed by a 100 mg/L hygromycin leaf painting procedure to select for Ds only (herbicide tolerant and hygromycin sensitive) individuals. The T-DNA genotype of Ds only plants was confirmed through multiplex PCR and the location of insertions within the genome was determined through TAIL-PCR. Resulting product sequences were blasted against the pre-publication tomato genome browser to determine insertion sites. A population of 309 independent transposants dispersed to all twelve chromosomes from the original insertion site on chromosome five has been developed. The transposon tagged lines are currently being immortalized in seed stocks. / Master of Science

Groundwater contaminants such as chlorinated ethenes, chlorinated ethanes and nitroaromatic explosive compounds (e.g. 2,4,6-Trinitrotoluene (TNT)) degrade in the subsurface primarily by microbially catalyzed reductive transformation reactions. From a regulatory point of view, the capability to simulate the kinetics of these reductive transformation reactions coupled with other attenuation processes in the subsurface (e.g., sorption, advection, and dispersion) is required for site-specific solute transport models. A kinetic model based on Michaelis-Menten type equations (Widdowson 2004) has been successfully validated for the linear reductive dechlorination pathway of chlorinated ethenes, and implemented in solute transport codes such as SEAM3D (Waddill and Widdowson 2000). However, TNT degrades through more complex branched pathways, and kinetic models are lacking in the current literature. This research study was undertaken with the objective of extending the kinetic model developed for the linear reductive pathway of chlorinated ethenes to branched pathways. The proposed extended kinetic model was validated with experimental concentration-time data of TNT and its metabolites from two prior published laboratory studies (Daun et al. 2000; Hwang et al. 2000), both in the presence and absence of sorption. The model-predicted concentrations with time of TNT and its degradation intermediates and end-products correlated well with the experimental data. The model is further compatible with and can be easily incorporated into solute transport codes (e.g., SEAM3D), and used to evaluate the fate and transport of TNT and other similar contaminants in the subsurface. / Master of Science