Browsing Theses by Title
Now showing items 8496-8515 of 15491
-
Local Reasoning for Parameterized First Order Protocols
(University of Waterloo, 2019-08-14)First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, ... -
Local Structure for Vertex-Minors
(University of Waterloo, 2021-10-12)This thesis is about a conjecture of Geelen on the structure of graphs with a forbidden vertex-minor; the conjecture is like the Graph Minors Structure Theorem of Robertson and Seymour but for vertex-minors instead of ... -
Local Sustainability Partnerships: Understanding the Relationship Between Partnership Structural Features and Partners’ Outcomes
(University of Waterloo, 2020-04-21)The number of cross-sector social partnerships (CSSPs) has increased at both global and local levels. This is due to the benefits that they bring in solving complex problems such as unsustainable development, and to the ... -
Local Traditional/Country Food Processing and Food Sovereignty: Investigating the Political Challenges for an Indigenous Self-government to Self-Determine and Develop its Local Food System
(University of Waterloo, 2021-06-07)Background: Climate change in tandem with previous colonial policies have severely impacted local traditional food systems, resulting in a disruption to traditional knowledge sharing, a greater reliance on market foods and ... -
Localising Information in Bandlimited Quantum Field Theory
(University of Waterloo, 2015-09-24)A deeply-held belief in fundamental physics is that interactions must happen locally. Despite the great success of local models, there are many indications that locality must be abandoned in a theory of quantum gravity. For ... -
Locality and Exceptional Points in Pseudo-Hermitian Physics
(University of Waterloo, 2023-05-26)Pseudo-Hermitian operators generalize the concept of Hermiticity. Included in this class of operators are the quasi-Hermitian operators, which define a generalization of quantum theory with real-valued measurement outcomes ... -
Localization and Counting of Indoor Populations on a University Campus using Wi-Fi Connection Logs and Floor Plans
(University of Waterloo, 2023-04-17)The localization and counting of persons in indoor spaces is an area of extensive research. Indoor population metrics can inform energy conservation, health and safety, security, resource optimization, and location-aware ... -
Localization and possible functions of Arabidopsis HOTHEAD protein
(University of Waterloo, 2016-10-26)Molecular analyses using sixteen insertion-deletion polymorphic markers revealed that somatic sectoring occurs relatively frequently during the course of normal vegetative development. This is the first report that documents ... -
Localization of cortical potentials evoked by balance disturbances
(University of Waterloo, 2011-09-26)The ability to correct balance disturbances is essential for maintaining upright stability. Recent literature highlights a potentially important role for the cerebral cortex in controlling compensatory balance reactions. ... -
Localized-Based Control Algorithm For Passenger Ride Comfort
(University of Waterloo, 2014-09-15)In this thesis, a new localized-based suspension control strategy is developed, simulated and validated with experimental results. Basic concepts of mathematical vehicle models, suspension systems, and conventional control ... -
LOCATE/DISLOCATE: An Exhibition of Haiku Videos
(University of Waterloo, 2009-05-06)My work is concerned with perception and presentness. Using digital video I am employing a notion of “perceptualism” put forward by artist Jack Chambers. Acknowledging HD television and high speed internet, this work ... -
Locating Instability in the Lumbar Spine: Characterizing the Eigenvector
(University of Waterloo, 2006)Overloading of the back can cause instability such that buttressing the instability is a primary objective of many of the leading edge therapeutic approaches. However, a challenge lies in determining the location of the ... -
Locating Self through Adoption Homeland Tours: A Phenomenological Approach
(University of Waterloo, 2013-10-01)Tourism and adoption are separate subjects, which are both well-studied. Studies that look at adoption and tourism together are hard to find. Generally, these studies are written from a social work perspective rather than ... -
Location Choice of the Micro-Creative Enterprises (MCEs): Case Study of Local Creative Clusters in Shanghai, China
(University of Waterloo, 2020-03-19)As the creative industries have become some of the fastest-growing sectors in the post-industrial era, their location choice has been focused by both academics and policymakers. Empirical research state that creative ... -
Location-Routing Problems with Economies of Scale
(University of Waterloo, 2016-10-26)The purpose of the location-routing problem is to select facility locations, assign customers to facilities, and design routes between facilities and customers. The most common objective is to achieve minimal cost. In ... -
Log Event Filtering Using Clustering Techniques
(University of Waterloo, 2009-10-01)Large software systems are composed of various different run-time components, partner applications and, processes. When such systems operate they are monitored so that audits can be performed once a failure occurs or ... -
The Logarithmic Derivative and Model-Theoretic Analysability in Differentially Closed Fields
(University of Waterloo, 2019-01-22)This thesis deals with internal and analysable types, mainly in the context of the stable theory of differentially closed fields. Two main problems are dealt with: the construction of types analysable in the constants with ... -
Logging Statements Analysis and Automation in Software Systems with Data Mining and Machine Learning Techniques
(University of Waterloo, 2022-01-19)Log files are widely used to record runtime information of software systems, such as the timestamp of an event, the name or ID of the component that generated the log, and parts of the state of a task execution. The rich ... -
Logic In Context: An essay on the contextual foundations of logical pluralism
(University of Waterloo, 2013-10-02)The core pluralist thesis about logic, broadly construed, is the claim that two or more logics are correct. In this thesis I discuss a uniquely interesting variant of logical pluralism that I call logical contextualism. ... -
Logic in Pictures: An Examination of Diagrammatic Representations, Graph Theory and Logic
(University of Waterloo, 1994)This thesis explores the various forms of reasoning that are associated with diagrams. It does this by a logical analysis of diagrammatic symbols. The thesis is divided into three sections dealing with different aspects ...