Mathematics (Faculty of)
Welcome to the Faculty of Mathematics community.
This community, its subcommunities, and collections are organized using the University of Waterloo's Faculties and Academics structure. In this structure:
 Communities are Faculties or Affiliated Institutions
 Subcommunities are Departments or Research Centres
 Collections are the arrangement of research types produced by a Department or Research Centre
New subcommunities and collections following this structure will be created UPON REQUEST .
PLEASE NOTE: During the first phase of the UWSpace expansion project new collections will only be created for peerreviewed journal articles.
Subcommunities within this community
Recent Submissions

The Enigma History and Mathematics
(University of Waterloo, 20161025)In this thesis we look at the solution to the German code machine, the Enigma machine. This solution was originally found by Polish cryptologists. We look at the solution from a historical perspective, but most importantly, ... 
A SocioPsychological Approach to the Iterated Prisoner's Dilemma
(University of Waterloo, 20161025)Affect Control Theory (ACT), as a model of human interaction, attempts to capture a part of the human psyche that tends to go overlooked in the study of Artificial Intelligence: the role of emotion in decision making. It ... 
Iterated Function Systems with PlaceDependent Probabilities and the Inverse Problem of Measure Approximation Using Moments
(University of Waterloo, 20161025)The study of iterated function systems has close ties with the subject of fractalbased analysis. One important application is the approximation of a target object by the fixed point of a contractive iterated function ... 
Armitage Lecture 2011: The Design and Analysis of Life History Studies
(Wiley, 2013)Life history studies collect information on events and other outcomes during people’s lifetimes. For example, these may be related to childhood development, education, fertility, health, or employment. Such longitudinal ... 
Estimation of Finite Population Duration Distributions from Longitudinal Survey Panels with Intermittent Followup
(Springer, 2013)We consider survival or duration times associated with spells (sojourns in some state) or events experienced by individuals in a population over a specified time period. Duration distributions can be estimated from data ... 
Robust and Powerful Tests for Rare Variants Using Fishers Method to Combine Evidence of Association From Two or More Complementary Tests
(Wiley, 2012)Many association tests have been proposed for rare variants, but the choice of a powerful test is uncertain when there is limited information on the underlying genetic model. Proposed methods use either linear statistics, ... 
Estimation and Assessment of Markov Multistate Models with Intermittent Observations on Individuals
(Springer, 201504)Multistate models provide important methods of analysis for many life history processes, and this is an area where John Klein made numerous contributions. When individuals in a study group are observed continuously so ... 
Score Tests for Association Under Responsedependent Sampling Designs for Expensive Covariates
(Oxford Journals, 20151127)Responsedependent sampling is widely used in settings where certain variables are expensive to obtain. Estimation has been thoroughly investigated but recent applications have emphasized tests of association for expensive ... 
Case Studies of a Machine Learning Process for Improving the Accuracy of Static Analysis Tools
(University of Waterloo, 20161018)Static analysis tools analyze source code and report suspected problems as warnings to the user. The use of these tools is a key feature of most modern software development processes; however, the tools tend to generate ... 
Modeling the Effects of AUTOSAR Overhead on Automotive Application Software Timing and Schedulability
(University of Waterloo, 20161014)AUTOSAR (AUTomotive Open System ARchitecture) provides an open and standardized E/E architecture to support modularity, transferability, reusability and scalability of the various components required to implement a function ... 
Symmetries
(University of Waterloo, 20161003)Automorphisms of graphs, hypergraphs and disgraphs are investigated. The invariance of the chromatic polynomial in the rotor effect is disproved. New invariance results are obtained. It is shown that given any integer k ... 
On Polynomialtime Pathfollowing Interiorpoint Methods with Local Superlinear Convergence
(University of Waterloo, 20160930)Interiorpoint methods provide one of the most popular ways of solving convex optimization problems. Two advantages of modern interiorpoint methods over other approaches are: (1) robust global convergence, and (2) the ... 
FACES OF MATCHING POLYHEDRA
(University of Waterloo, 20160930)Let G = (V, E, ~) be a finite loopless graph, let b=(bi:ieV) be a vector of positive integers. A feasible matching is a vector X = (x.: j e: E) J of nonnegative integers such that for each node i of G, the sum of ... 
COMPATIBILITY OF EXTENSIONS OF A COMBINATORIAL GEOMETRY
(University of Waterloo, 20160929)Two extensions of a geometry are compatible with each other if they have a common extension. If the given extensions are elementary, their compatibility can be intrinsically described in terms of their corresponding linear ... 
Tabular Abstraction, Editing, and Formatting
(University of Waterloo, 20160929)This dissertation investigates the composition of highquality tables with the use of electronic tools. A generic model is designed to support the different stages of tabular composition, including the editing of logical ... 
Understanding and Efficiently Servicing HTTP Streaming Video Workloads
(University of Waterloo, 20160928)Live and ondemand video streaming has emerged as the most popular application for the Internet. One reason for this success is the pragmatic decision to use HTTP to deliver video content. However, while all web servers ... 
Computational Approaches to Problems in Noncommutative Algebra  Theory, Applications and Implementations
(University of Waterloo, 20160928)Noncommutative rings appear in several areas of mathematics. Most prominently, they can be used to model operator equations, such as differential or difference equations. In the Ph.D. studies leading to this thesis, ... 
Packing and Covering Odd (u,v)trails in a Graph
(University of Waterloo, 20160927)In this thesis, we investigate the problem of packing and covering odd $(u,v)$trails in a graph. A $(u,v)$trail is a $(u,v)$walk that is allowed to have repeated vertices but no repeated edges. We call a trail \emph{odd} ... 
Mathematical Aspects of ScalarTensor Field Theories
(University of Waterloo, 20160927)This thesis is based on a study of Lagrange scalar densities which are, in general, concomitants of the metric tensor gij (and its first and second derivatives) together with a scalar field ∅ (and its first derivative). ... 
Infectious Disease Modeling with Interpersonal Contact Patterns as a Heterogeneous Network
(University of Waterloo, 20160926)In this thesis, we study deterministic compartmental epidemic models. The conventional massmixing assumption is replaced with infectious disease contraction occurring within a heterogeneous network. Modeling infectious ...