Browsing Mathematics (Faculty of) by Title
Now showing items 10851104 of 3020

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 ... 
Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
(University of Waterloo, 20240123)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 Multiagent Systems via Impulsive Strategy
(University of Waterloo, 20230908)Multiagent 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 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 ... 
Fractional Imputation for Ordinal and Mixedtype Responses with Missing Observations
(University of Waterloo, 20170112)This thesis addresses two essential aspects of large scale publicuse data files involving ordinal and mixedtype responses with missing observations: (i) the creation of single complete data sets with imputation for missing ... 
Fractional refinements of integral theorems
(University of Waterloo, 20210709)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, 20171015)Player preferences for different gaming styles or game elements has been a topic of interest in humancomputer 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, 20110113)General purpose richtext 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 MachineAssisted 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, 20080514)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 ... 
A Framework for Resource Allocation in Time Critical Dynamic Environments Based on Social Welfare and Local Search and its Application to Healthcare
(University of Waterloo, 20140214)This thesis provides an artificial intelligence approach for the problem of resource allocation in timecritical dynamic environments. Motivated by healthcare scenarios such as mass casualty incidents, we are concerned ... 
A Framework for Software Component Interface Specification and Analysis
(University of Waterloo, 2001)Although markets are emerging for commercial offtheshelf components (such as Sun JavaBeans), there are many barriers to widespread component adoption. This is due to the inherent `blackbox' nature of software ... 
A Framework for the Generation of Textures Representing TimeDependent Changes in the Appearance of Dust Layers
(University of Waterloo, 20220419)The perception of realism in computer generated images can be significantly enhanced by subtle visual cues. Among those, one can highlight the presence of dust on synthetic objects, which is often subject to temporal ... 
Frameworks for Quantum Algorithms
(University of Waterloo, 20140826)Due to the difficulty of constructing new quantum algorithms, frameworks that facilitate this construction are of great importance in quantum computing. These frameworks reduce the problem of coming up with a quantum ... 
Free semigroup algebras and the structure of an isometric tuple
(University of Waterloo, 20110628)An ntuple of operators V=(V_1,…,V_n) acting on a Hilbert space H is said to be isometric if the corresponding row operator is an isometry. A free semigroup algebra is the weakly closed algebra generated by an isometric ... 
FrictionalMonolith: A Monolithic Optimizationbased Approach for Granular Flow with ContactAware RigidBody Coupling
(Association for Computing Machinery, 2021)We propose FrictionalMonolith, a monolithic pressurefrictioncontact solver for more accurately, robustly, and efficiently simulating twoway interactions of rigid bodies with continuum granular materials or inviscid ... 
The Frobenius Problem in a Free Monoid
(University of Waterloo, 20090821)Given positive integers c1,c2,...,ck with gcd(c1,c2,...,ck) = 1, the Frobenius problem (FP) is to compute the largest integer g(c1,c2,...,ck) that cannot be written as a nonnegative integer linear combination of c1,c2,...,ck. ...