Browsing Theses by Title
Now showing items 13597-13616 of 15565
-
StringFuzz: A Fuzzer for String SMT Solvers
(University of Waterloo, 2018-08-10)We introduce StringFuzz, a software tool for automatically testing string SMT solvers. String SMT solvers are specialised software tools for solving the Satisfiability Modulo Theories (SMT) problem with string contraints, ... -
Strong Hydrogen Bonds in Anion-Solvent Clusters: Structural and Thermochemical Properties
(University of Waterloo, 2008-08-28)Insight into the effect of secondary interactions, fluorination, as well as substituent effects on strong ionic hydrogen bonds has been acquired through studies of FHF-, NFnH3-n•••F- (n = 0..2) and [M-H]- (M = Glycine, ... -
Strong Induction in Hardware Model Checking
(University of Waterloo, 2019-08-14)Symbolic Model checking is a widely used technique for automated verification of both hardware and software systems. Unbounded SAT-based Symbolic Model Checking (SMC) algorithms are very popular in hardware verification. ... -
Strong Morita Equivalence and Imprimitivity Theorems
(University of Waterloo, 2016-09-15)The purpose of this thesis is to give an exposition of two topics, mostly following the books \cite{R & W} and \cite{Wil}. First, we wish to investigate crossed product $C^*$-algebras in its most general form. Crossed ... -
The Stroop Effect: Why Proportion Congruent has Nothing to do with Congruency and Everything to do with Contingency
(University of Waterloo, 2007-07-17)Participants are slower to identify the print colour of incongruent colour words (e.g., the word ORANGE printed in green) than of congruent colour words (e.g., ORANGE printed in orange). The difference in time between these ... -
Struck-at Fault Tolerance with Emerging Technology RAM in the NeuroSim MLP Neural Network System
(University of Waterloo, 2021-09-15)After decades of technology advancements, benefits from conventional dimensional scaling and effective scaling such as strain and high-k gate dielectrics are diminishing. In the post-Moore era, interests gathers around ... -
Structural and Biochemical Insights into Previously Uncharacterized Activity of Nucleotide-Dependent Phosphoenolpyruvate Carboxykinases
(University of Waterloo, 2024-04-08)Phosphoenolpyruvate carboxykinase (PEPCK) enzymes are central to glucose metabolism, with their main role in catalyzing one of the first steps of gluconeogenesis. In addition to its primary role, PEPCK is also involved, ... -
A Structural and Economic Evaluation of Perpetual Pavements: A Canadian Perspective
(University of Waterloo, 2013-01-25)Perpetual pavement design philosophy provides a long-life pavement design alternative. The ability of a pavement design to perform as long-life pavement is subjected to several technical constraints. Throughout the past ... -
Structural and Enzymatic Comparison of Faecalibacterium prausnitzii GH31 α-Glycosidases
(University of Waterloo, 2022-05-02)The gut microbiome is home to thousands of species of bacteria, that are essential for human digestion, immunity and physiology. Faecalibacterium prausnitzii makes up about 5% of a healthy human gut microbiome and a lower ... -
Structural and geochronological investigation of the southern Alexander terrane in the vicinity of Porcher Island, northwestern British Columbia
(University of Waterloo, 2013-02-22)The Alexander terrane is an allochthonous terrane within the North American Cordillera. New structural mapping and geochronology within the southern Alexander terrane in the vicinity of Porcher Island provides evidence ... -
Structural and geologic controls on gigantic (>1 Gm³) landslides in carbonate sequences: case studies from the Zagros Mountains, Iran and Rocky Mountains, Canada
(University of Waterloo, 2008-05-27)Two gigantic landslides in carbonate sequences were studied through a combination of remotely sensed datasets and detailed field investigation. Field investigations supplemented the remote analysis at both sites. The ... -
Structural and kinetic characterization of the mechanism of regulation of phosphoenolpyruvate carboxykinase by anions
(University of Waterloo, 2019-12-19)Phosphoenolpyruvate carboxykinase (PEPCK) catalyses a reaction that is known to be thermodynamically reversible. In contrast to this thermodynamic reversibility, in eukaryotes, PEPCK is observed to primarily catalyze the ... -
A structural and stratigraphic study in Liuyuan area, Southern Beishan orogenic collage, Northwest China
(University of Waterloo, 2019-04-17)A stratigraphic and structural study of the Permian North Shuangbaotang Complex offers new evidence constraining the timing of the final closure of the Paleo-Asian Ocean to the late Permian. The fold and thrust belt of ... -
Structural Behaviour of Lapped Cold-Formed Steel Z-Shaped Purlin Connections with Vertical Slotted Holes
(University of Waterloo, 2014-05-13)Lapped joints of cold-formed steel (CFS) Z-shaped purlins are extensively used in metal building roof systems. The research that has been carried out so far for these lapped connections is primarily focused on connections ... -
Structural Behaviour of Mechanical Connections in Weld-Free Modular Aluminum Bridge Decks
(University of Waterloo, 2021-01-13)This research was done in collaboration with MAADI Group Inc. who designs and fabricates aluminum bridges. Aluminum in bridge engineering is effective since it is a lightweight and highly corrosion-resistant material. MAADI ... -
Structural characterization and engineering of Adnectin inclusion bodies
(University of Waterloo, 2022-08-15)Protein aggregation is a fundamental process occurring as a response to aging, disease, protein overexpression and in many areas of biotechnology and medical applications. There has been much recent progress in determining ... -
Structural characterization of f-ALS associated SOD1 mutant aggregates using conformation-specific antibodies
(University of Waterloo, 2020-06-01)Superoxide dismutase 1 (SOD1) is a metalloenzyme ubiquitously expressed in all cells and acts as an antioxidant enzyme by catalyzing the dismutation of superoxide radicals. Several mutations in the gene encoding SOD1 are ... -
Structural Controls and Deformation History of the Orogenic Island Gold Deposit, Michipicoten Greenstone Belt, Ontario
(University of Waterloo, 2019-07-11)Island Gold is a currently producing mine on the high-grade orogenic Island Gold deposit in northern Ontario. It is located within the southern domain of the regional Goudreau Lake Deformation Zone (GLDZ), which trends ... -
Structural Geology and Geochronology of the Bernic Lake Area in the Bird River Greenstone Belt, Manitoba: Evidence for Syn-Deformational Emplacement of the Bernic Lake Pegmatite Group
(University of Waterloo, 2010-08-31)The Bernic Lake Formation in the Bird River greenstone belt consists dominantly of mafic to felsic arc volcanic and volcaniclastic rocks, with varying amounts of mafic to felsic intrusive rocks, including the Bernic Lake ... -
Structural geology and geochronology of the Kluane schist, southwestern Yukon Territory
(University of Waterloo, 2012-10-02)In light of the recent increase of mineral exploration in the northern Cordillera, private, educational, and governmental agencies have been compelled to revisit and research areas of the Cordillera whose geologic evolution ...