Browsing Mathematics (Faculty of) by Title
Now showing items 1076-1095 of 3011
-
Focused Retrieval
(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
(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
(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
(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, 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
(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
(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
(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
(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
(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
(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
(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
(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. ... -
The Fourier algebra of a locally trivial groupoid
(University of Waterloo, 2012-01-10)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 Fourier-Stieltjes algebra B(G) and its Fourier algebra A(G) were defined by ... -
Fractional Imputation for Ordinal and Mixed-type Responses with Missing Observations
(University of Waterloo, 2017-01-12)This thesis addresses two essential aspects of large scale public-use data files involving ordinal and mixed-type responses with missing observations: (i) the creation of single complete data sets with imputation for missing ... -
Fractional refinements of integral theorems
(University of Waterloo, 2021-07-09)The focus of this thesis is to take theorems which deal with ``integral" objects in graph theory and consider fractional refinements of them to gain additional structure. A classic theorem of Hakimi says that for an ... -
A Framework and Taxonomy of Videogame Playing Preferences
(Association for Computing Machinery, 2017-10-15)Player preferences for different gaming styles or game elements has been a topic of interest in human-computer interaction for over a decade. However, current models suggested by the extant literature are generally based ... -
A Framework for Logical Structure Extraction from Software Requirements Documents
(University of Waterloo, 2011-01-13)General purpose rich-text editors, such as MS Word are often used to author software requirements specifications. These requirements specifications contain many different logical structures, such as use cases, business ... -
A Framework for Machine-Assisted Software Architecture Validation
(University of Waterloo, 2000)In this thesis we propose a formal framework for specifying and validating properties of software system architectures. The framework is founded on a model of software architecture description languages (ADLs) and uses ... -
A Framework for Records Management in Relational Database Systems
(University of Waterloo, 2008-05-14)The problem of records retention is often viewed as simply deleting records when they have outlived their purpose. However, in the world of relational databases there is no standardized notion of a business record and its ...