Now showing items 13507-13526 of 13851

    • Verification of temporal properties involving multiple interacting objects 

      Naeem, Nomair A. (University of Waterloo, 2013-10-24)
      Defects that arise due to violating a prescribed order for executing statements or executing a disallowed sequence of statements can be hard to detect since the sequence is often spread over multiple functions and source ...
    • Verifying Mutable Systems 

      Scott, Joseph (University of Waterloo, 2017-10-23)
      Model checking has had much success in the verification of single-process and multi-process programs. However, model checkers assume an immutable topology which limits the verification in several areas. Consider the security ...
    • Vernacular of Adaptation: Undercurrent of Carpatho-Rusyn Perseverance 

      Kolbas, Aleksandar (University of Waterloo, 2009-08-31)
      In the nineteen nineties, former Yugoslavia, went through a series of interstitial disputes, both religious and political, which evolved into hatred amongst its own people and ultimately into an unforgiving civil war. ...
    • Vernichtetes Geld und vernichtendes Geld Das Geldmotiv in den zwei zeitgenössischen Romanen "Die Nacht der Händler" von Gert Heidenreich und "MOI" von Heiko Michael Hartmann 

      Martin, Christine (University of Waterloo, 2004)
      The present work deals with the motif of money in contemporary German literature, taking as examples the two novels <i>Die Nacht der Händler</i> (1995) by Gert Heidenreich and <i>MOI</i> by Heiko Michael Hartmann (1997). ...
    • Versatile Routes for Acrylonitrile Butadiene Rubber Latex Hydrogenation 

      Liu, Yin (University of Waterloo, 2012-06-19)
      The direct catalytic hydrogenation of acrylonitrile-butadiene-rubber in latex form was studied for the development of a simple process for the modification of unsaturated diene-based polymers. Acrylonitrile-butadiene-rubber, ...
    • The Vertex Algebra Vertex 

      Rapcak, Miroslav (University of Waterloo, 2019-07-19)
      This thesis reviews some aspects of a large class of vertex operator algebras labelled by $(p,q)$ webs colored by non-negative integers associated to faces of the web diagrams [1,2,3,4]. Such vertex operator algebras ...
    • Vertex Stabilizers for Network Bargaining Games 

      Gerstbrein, Matthew (University of Waterloo, 2022-03-04)
      Network bargaining games form a prominent class of examples of game theory problems defined on graphs, where vertices represent players, and edges represent their possible interactions. An instance of a \emph{network ...
    • Vertical Handoff between 802.11 and 802.16 Wireless Access Networks 

      Zhang, Yongqiang (University of Waterloo, 2008-05-22)
      Heterogeneous wireless networks will be dominant in the next-generation wireless networks with the integration of various wireless access networks. Wireless mesh networks will become to a key technology as an economically ...
    • Vertical Semiconductor Nanowires: Engineering Light at Nanoscale 

      Dhindsa, Navneet (University of Waterloo, 2016-12-01)
      Vertical semiconductor nanowires have gained considerable attention in the last decade for their attractive optical and electronic properties. Their high surface to volume ratio and their ability to confine charge carriers ...
    • Vertical Thin Film Transistors for Large Area Electronics 

      Moradi, Maryam (University of Waterloo, 2008-08-29)
      The prospect of producing nanometer channel-length thin film transistors (TFTs) for active matrix addressed pixelated arrays opens up new high-performance applications in which the most amenable device topology is the ...
    • Vertical Urbanity: Urban Dwelling in an Age of Programmatic Promiscuity 

      Panacci, Michael (University of Waterloo, 2011-08-31)
      Welcome to CityPlace. Thirty-five hectares of formerly unoccupied rail-lands in downtown Toronto are currently undergoing a transformation into an instant neighbourhood. Eventually, CityPlace will be the home to over ...
    • Vertical Vernacular 

      Tang, Fan-ju Susan (University of Waterloo, 2006)
      The rapid modernization and densification of Taipei has resulted in a culturally and socially unsustainable society. The North American paradigm of high-rise condominiums disrupts the social pattern of the vernacular ...
    • Viability Profile of ex vivo Corneal Epithelial Cell Samples 

      Cira, Daniel (University of Waterloo, 2011-10-28)
      The corneal epithelium is a vital tissue which must retain its integrity to preserve vision and protect against harmful bacterial infections and other insults. Corneal disease represents the second most common cause of ...
    • Vibration characterisation of aluminium pedestrian bridges 

      Sychterz, Ann (University of Waterloo, 2014-08-29)
      Despite several full-scale applications in Canada, the vibrational characteristics and performance of aluminium pedestrian bridges have not been studied comprehensively in the literature. There is a large degree of variability ...
    • Vibration Control in Cable Robots Using a Multi-Axis Reaction System 

      Rushton, Mitchell (University of Waterloo, 2016-09-28)
      The primary motivation of this thesis is to develop a control strategy for eliminating persistent vibrations in all six spatial directions of the end effector of a planar cable-driven parallel robotic manipulator. By ...
    • Vibration Serviceability and Dynamic Modeling of Cold-Formed Steel Floor Systems 

      Parnell, Russell (University of Waterloo, 2008-09-10)
      The use of cold-formed steel as a framework for floor systems in multi-story buildings and single occupancy residences is becoming an increasingly popular alternative to traditional materials and techniques. Builders and ...
    • Vibration Serviceability of Cold-Formed Steel Floor Systems 

      Zhang, Sigong (University of Waterloo, 2017-01-18)
      Excessive vibration in response to human activities has been a significant problem associated with lightweight steel floor systems, especially cold-formed steel (CFS) floors. Methods for accurately predicting these vibrations ...
    • Vibratory Lines; Experiments in Expressivity 

      Quigley, Karine (University of Waterloo, 2015-08-12)
      All matter is expressive. All matter, animate or inanimate, sentient or made, is filled with the infinite potential for difference and articulation. All things, all bodies, are equal. In this context of absolute ...
    • A Vibrotactile Display Design, evaluation and Fabrication 

      Masnavi, Ehsan (University of Waterloo, 2011-05-20)
      Vision and audition are the two best understood modalities which humans use to interact with the outside world. These modalities can provide highly precise spatial and temporal information. Thus, the field of human-computer ...
    • A Vicious Cycle: An Examination of How the Feedback Loop Between Coup-proofing and Regime Insecurity Helped Facilitate the Rise of Pro-Government Militias in the Syrian Conflict 

      Mohamad, Nizar (University of Waterloo, 2021-09-16)
      This thesis explores the emergence of pro-government militias (PGMs) within the context of the post-2011 intrastate conflict in Syria. It investigates the factors that contributed to the breakdown of Syria’s armed forces ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages