Now showing items 1056-1075 of 2985

    • Floating Bodies in the Absence of Gravity 

      Kemp, Todd Murray (University of Waterloo, 2011-04-20)
      The study of infinitely long cylinders of constant cross-section floating in an infinite fluid bath in zero-gravity environments has primarily been focused on bodies whose cross-sections are strictly convex and sufficiently ...
    • Floating Bodies with Surface Tension 

      Chen, Hanzhe (University of Waterloo, 2016-08-18)
      Capillary phenomena have been studied by mathematicians and physicists for hundreds of years. In this thesis, both two-dimensional(2D) and three-dimensional(3D) bodies floating on an unbounded reservoir are studied based ...
    • Flocking for Multi-Agent Dynamical Systems 

      Wan, Zhaoxin (University of Waterloo, 2012-08-24)
      In this thesis, we discuss models for multi-agent dynamical systems. We study the tracking/migration problem for flocks and a theoretical framework for design and analysis of flocking algorithm is presented. The interactions ...
    • Flow Down a Wavy Inclined Plane 

      Ogden, Kelly Anne (University of Waterloo, 2011-03-29)
      Under certain conditions, flow down an inclined plane destabilizes and a persistent series of interfacial waves develop. An interest in determining under what conditions a flow becomes unstable and how the interface ...
    • Flow Separation on the β-plane 

      Steinmoeller, Derek (University of Waterloo, 2009-05-15)
      In non-rotating fluids, boundary-layer separation occurs when the nearly inviscid flow just outside a viscous boundary-layer experiences an appreciable deceleration due to a region of adverse pressure gradient. The fluid ...
    • Fluorescence and Adaptation of Color Images 

      Zhang, Chi (Cherry) (University of Waterloo, 2011-04-26)
      Color plays a vitally important role in the world we live in. It surrounds us everywhere we go. Achromatic life, restricted to black, white and grey, is extremely dull. Color fascinates artists, for it adds enormously ...
    • A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models 

      Pourali, Parsa; Atlee, Joanne M. (IEEE, 2019-09)
      Model-Driven Engineering has been proposed to increase the productivity of developing a software system. Despite its benefits, it has not been fully adopted in the software industry. Research has shown that modelling tools ...
    • Focused Retrieval 

      Itakura, Kalista Yuki (University of Waterloo, 2010-12-03)
      Traditional information retrieval applications, such as Web search, return atomic units of retrieval, which are generically called ``documents''. Depending on the application, a document may be a Web page, an email message, ...
    • Focusing and Vertical Mode Scattering of the First Mode Internal Tide via Mesoscale Eddy Interactions 

      Dunphy, Michael (University of Waterloo, 2014-09-25)
      In this work we perform numerical experiments using the MITgcm to simulate the interaction of a mode-one internal tide with barotropic and baroclinic mode-one mesoscale eddies. We also employ the ray tracing equations to ...
    • Folding and Unfolding 

      Demaine, Erik (University of Waterloo, 2001)
      The results of this thesis concern folding of one-dimensional objects in two dimensions: planar linkages. More precisely, a planar linkage consists of a collection of rigid bars (line segments) connected at their ...
    • Folding Orthogonal Polyhedra 

      Sun, Julie (University of Waterloo, 1999)
      In this thesis, we study foldings of orthogonal polygons into orthogonal polyhedra. The particular problem examined here is whether a paper cutout of an orthogonal polygon with fold lines indicated folds up into a simple ...
    • The forest transition and ecological thresholds: resilience, recovery, and predictions 

      Gooding-Townsend, Robert (University of Waterloo, 2018-01-19)
      A central topic in modeling land use change is to understand the forest transition from deforestation to net reforestation. Agricultural land use change is the main driver of this phenomenon; classically, agricultural ...
    • Formal Methods in Quantum Circuit Design 

      Amy, Matthew (University of Waterloo, 2019-02-26)
      The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ...
    • Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript 

      Arteca, Ellen (University of Waterloo, 2018-08-31)
      As dynamic scripting languages are increasingly used in industry in large-scale projects, a need has arisen for more some of the convenient features of statically typed languages. This led to the development of gradual ...
    • A Formalism for Visual Query Interface Design 

      Huo, Jiwen (University of Waterloo, 2009-01-15)
      The massive volumes and the huge variety of large knowledge bases make information exploration and analysis difficult. An important activity is data filtering and selection, in which both querying and visualization play ...
    • A Formalization of an Extended Object Model Using Views 

      Nova, Luis C. M. (University of Waterloo, 2000)
      Reuse of software designs, experience and components is essential to making substantial improvements in software productivity, development cost, and quality. However, the many facets of reuse are still rarely used in ...
    • Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover 

      Gusakov, Alena (University of Waterloo, 2024-01-23)
      A matroid is a mathematical object that generalizes the notion of linear independence of a set of vectors to an abstract independence of sets, with applications to optimization, linear algebra, graph theory, and algebraic ...
    • Formation Control of Multi-agent Systems via Impulsive Strategy 

      Liang, Zhanlue (University of Waterloo, 2023-09-08)
      Multi-agent systems (MASs) involving cooperative control problems such as consensus tracking of distributed networks, flocking control with obstacle avoidance, and attitude alignment have received a considerable amount of ...
    • FormlSlicer: A Model Slicing Tool for Feature-rich State-machine Models 

      Lai, Xiaoni (University of Waterloo, 2015-06-04)
      A model of the feature-oriented requirements of a software system usually contains a large number of non-trivial features; each feature may have unintended interactions with other features. It may be difficult to comprehend ...
    • Four-coloring P6-free graphs 

      Chudnovsky, Maria; Spirkl, Sophie; Zhong, Mingxian (Association for Computing Machinery, 2019)
      In this paper we present a polynomial time algorithm for the 4-COLORING PROBLEM and the 4-PRECOLORING EXTENSION problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. ...

      UWSpace

      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