Browsing Theses by Title
Now showing items 15116-15131 of 15131
-
Z3str4: A Solver for Theories over Strings
(University of Waterloo, 2021-06-15)Satisfiability Modulo Theories (SMT) solvers supporting rich theories of strings have facilitated numerous industrial applications with the need to reason about string operations and predicates that are present in many ... -
Zigzags of Finite, Bounded Posets and Monotone Near-Unanimity Functions and Jónsson Operations
(University of Waterloo, 2009-09-25)We define the notion of monotone operations admitted by partially ordered sets, specifically monotone near-unanimity functions and Jónsson operations. We then prove a result of McKenzie's in [8] which states that if a ... -
Zinc Remediation by Zero-Valent Iron and the Associated Isotope Fractionation: Batch Experiments
(University of Waterloo, 2017-09-19)Zinc is a bio-essential micro nutrient which is essential to the health of humans and other organisms. However, high Zn concentrations, as has been observed in mining waste water and urban runoff, can be harmful. The major ... -
The Zombie in American Culture
(University of Waterloo, 2013-09-13)My research explores how the oft-maligned zombie genre reveals deep-seated American cultural tendencies drawn from the nation's history with colonization and imperialism. The zombie genre is a quintessentially American ... -
Zonal Energy Management and Optimization System (ZEMOS) for Smart Grid Applications
(University of Waterloo, 2014-08-15)In the context of implementing the smart grid, electric energy consumption, generation resources, should be managed and optimized in a way that saves energy, improves efficiency, enhances reliability and maintains security ... -
Zone-Distributed Optimization System for Energy Management in Smart Grids
(University of Waterloo, 2017-08-24)Energy management system (EMS) is an important component of smart grid operation. A proper EMS is the key to the integration of smart grid (SG) features, which include two-way communication, smart metering as well advanced ... -
?Zur Zeit Maler und Dichter? ? DER DOPPELTE GEORGE GROSZ: INTERMEDIALE BEZÜGE ZWISCHEN GROSZ? LYRISCHEM WERK UND AUSGEWÄHLTEN ZEICHNUNGEN
(University of Waterloo, 2005)The following thesis examines the poetic oeuvre of George Grosz in relation to selected drawings from the same period of time. A survey of the research on George Grosz shows that the scholarly focus has so far mainly ... -
Zwei Skandalstücke im Kontext von Antisemitismus: Thomas Bernhards Heldenplatz und Rainer Werner Fassbinders Der Müll, die Stadt und der Tod
(University of Waterloo, 2009-08-26)In the 1980s Rainer Werner Fassbinders Der Müll, die Stadt und der Tod (1976) and Thomas Bernhard’s Heldenplatz (1988) caused two of the biggest theatre scandals in the history of German-language literature, leading to ... -
Zwischen Vater und Mann. Die Krise von Familie und Männerrolle in Breaking Bad.
(University of Waterloo, 2015-08-31)In my thesis I examine the crisis of masculinity and family in AMC’s TV series Breaking Bad. In prior research, the protagonist Walter White has been analyzed as a man who wants to escape his responsibilities and the ... -
Zwischen Zucht und Zärtlichkeit – Die Vaterfiguren in Theodor Storms Erzählwerk/Between Discipline and Tenderness – The Father Figures in Theodor Storm's Novellas
(University of Waterloo, 2014-09-08)This paper analyzes and compares the various constructions of fatherhood in Theodor Storm’s later novellas Carsten Curator (1878), Hans und Heinz Kirch (1882) and Bötjer Basch (1887). More specifically, I focus on examining ... -
µProfiler: A Concurrent Profiler for Concurrent C++ (µC++)
(University of Waterloo, 2007-08-21)A concurrent program, unlike a sequential program, has multiple threads of execution, resulting in numerous advantages (e.g., faster execution), but also in complex and unpredictable interaction. As a consequence, a ... -
α-Dystroglycan is essential for the induction of Egr3, a transcription factor important in muscle spindle formation
(University of Waterloo, 2009-10-20)Muscle spindle fibers are specialized stretch receptors that allow the perception and coordination of limb movement. Differentiation of muscle spindles is initiated by signals derived from the in growing Ia sensory neurons ... -
β2-microglobulin distribution in trout body fluids and release from intestinal epithelial cells in response to plant meal components
(University of Waterloo, 2011-08-04)β2-microglobulin (β2m) exists free of the major histocompatibility complex class I (MHC I) receptor in many bodily fluids. The amount of protein present in these fluids has been found to be a useful prognostic marker for ... -
β‐Parvin Mediates Novel Integrin Signaling Pathways During Early Xenopus laevis Development.
(University of Waterloo, 2019-01-24)Crosstalk between cell adhesion molecules is critical for the cell rearrangements that occur during early Xenopus laevis development. Cells primarily use integrin receptors to adhere to and interpret the extracellular ... -
κDOT: A DOT Calculus with Mutation and Constructors
(University of Waterloo, 2018-09-26)Scala is a functional and object-oriented programming language which unifies concepts from object and module systems by allowing for objects with type members which are referenced via path-dependent types. The Dependent ... -
μ-PIV Study of the Effect of Surfactant Concentration On the Internal Flow Fields Inside a Moving Droplet
(University of Waterloo, 2015-09-25)Droplet microfluidics has enormous potential in scientific research as well as in industrial and medical applications. Droplet microfluidics enables the generation of segments in the form of discrete fluid packets. These ...