Browsing Mathematics (Faculty of) by Title
Now showing items 9881007 of 2803

A Floating Ball and Two Asymptotic Problems in Capillarity
(University of Waterloo, 20210602)The study of capillary phenomena can be traced back to the age of Aristotle. In this thesis, a floating ball and two asymptotic problems in capillarity are considered, all of which include surface tension and gravity. The ... 
Floating Bodies in the Absence of Gravity
(University of Waterloo, 20110420)The study of infinitely long cylinders of constant crosssection floating in an infinite fluid bath in zerogravity environments has primarily been focused on bodies whose crosssections are strictly convex and sufficiently ... 
Floating Bodies with Surface Tension
(University of Waterloo, 20160818)Capillary phenomena have been studied by mathematicians and physicists for hundreds of years. In this thesis, both twodimensional(2D) and threedimensional(3D) bodies floating on an unbounded reservoir are studied based ... 
Flocking for MultiAgent Dynamical Systems
(University of Waterloo, 20120824)In this thesis, we discuss models for multiagent 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
(University of Waterloo, 20110329)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
(University of Waterloo, 20090515)In nonrotating fluids, boundarylayer separation occurs when the nearly inviscid flow just outside a viscous boundarylayer experiences an appreciable deceleration due to a region of adverse pressure gradient. The fluid ... 
Fluorescence and Adaptation of Color Images
(University of Waterloo, 20110426)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
(IEEE, 201909)ModelDriven 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
(University of Waterloo, 20101203)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
(University of Waterloo, 20140925)In this work we perform numerical experiments using the MITgcm to simulate the interaction of a modeone internal tide with barotropic and baroclinic modeone mesoscale eddies. We also employ the ray tracing equations to ... 
Folding and Unfolding
(University of Waterloo, 2001)The results of this thesis concern folding of onedimensional 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
(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
(University of Waterloo, 20180119)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
(University of Waterloo, 20190226)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
(University of Waterloo, 20180831)As dynamic scripting languages are increasingly used in industry in largescale 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
(University of Waterloo, 20090115)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
(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 ... 
FormlSlicer: A Model Slicing Tool for Featurerich Statemachine Models
(University of Waterloo, 20150604)A model of the featureoriented requirements of a software system usually contains a large number of nontrivial features; each feature may have unintended interactions with other features. It may be difficult to comprehend ... 
Fourcoloring P6free graphs
(Association for Computing Machinery, 2019)In this paper we present a polynomial time algorithm for the 4COLORING PROBLEM and the 4PRECOLORING EXTENSION problem restricted to the class of graphs with no induced sixvertex path, thus proving a conjecture of Huang. ... 
The Fourier algebra of a locally trivial groupoid
(University of Waterloo, 20120110)The goal of this thesis is to define and study the Fourier algebra A(G) of a locally compact groupoid G. If G is a locally compact group, its FourierStieltjes algebra B(G) and its Fourier algebra A(G) were defined by ...