Mathematics (Faculty of): Recent submissions
Now showing items 1-20 of 1917
-
An Analysis on The Network Structure of Influential Communities in Twitter
(University of Waterloo, 2019-02-21)Over the past years online social networks have become a major target for marketing strategies, generating a need for methods to efficiently spread information through these networks. Close knit communities have developed ... -
Detecting Vulnerable JavaScript Libraries in Hybrid Android Applications
(University of Waterloo, 2019-02-15)Smartphone devices are very popular. There are a lot of devices being sold, a lot of applications that are created and a lot of people using those applications. However, mobile applications could only be created in the ... -
An Integral Projection Model for Giant Hogweed
(University of Waterloo, 2019-02-04)In this thesis I investigate the impact that the choice of model may have on predictions of giant hogweed population dynamics. It has been shown in two case studies that population growth rates predicted by matrix population ... -
Applications of Artificial Intelligence to the NHL Entry Draft
(University of Waterloo, 2019-01-31)This thesis investigates the application of various fields of artificial intelligence to the domain of sports management and analysis. The research in this thesis is primarily focussed on the entry draft for the National ... -
Bounds on Maximum Matchings in 1-Planar Graphs
(University of Waterloo, 2019-01-29)In this thesis, we study lower bounds on maximum matchings in 1-planar graphs. We expand upon the tools used for proofs of matching bounds in other classes of graphs as well as some original ideas in order to find these ... -
What is a field, what is a particle?...what about algebras?
(University of Waterloo, 2019-01-25)Much of the structure of quantum field theory (QFT) is predicated on the principle of locality. Adherence to locality is achieved in Algebraic QFT (AQFT) by the association of algebras of observables with regions of ... -
Dash: Declarative Behavioural Modelling in Alloy
(University of Waterloo, 2019-01-25)An abstract model is a representation of the fundamental characteristics and properties of a system, and its purpose is to provide feedback to stakeholders about the correctness of the system during the early stages of ... -
Sensitivity of Idealized Squall Line Simulation to Resolution and Subgrid Turbulence Mixing
(University of Waterloo, 2019-01-23)In this project, the sensitivity of idealized squall line simulations to horizontal grid spacing and turbulent mixing parameterization will be discussed. Inconsistent results from numerical simulations of convective ... -
A computational study of practical issues arising in short-term scheduling of a multipurpose facility
(University of Waterloo, 2019-01-23)This thesis focuses on two important considerations when solving short term scheduling problems for multipurpose facilities: deciding when rescheduling should be performed and choosing efficient time representations for ... -
On the Extrema of Functions in the Takagi Class
(University of Waterloo, 2019-01-23)The Takagi class is a class of fractal functions on the unit interval generalizing the celebrated Takagi function. In this thesis, we study the extrema of these functions. This is a problem that goes back to J.-P. Kahane ... -
The Logarithmic Derivative and Model-Theoretic Analysability in Differentially Closed Fields
(University of Waterloo, 2019-01-22)This thesis deals with internal and analysable types, mainly in the context of the stable theory of differentially closed fields. Two main problems are dealt with: the construction of types analysable in the constants with ... -
Gradual C Programming for Typed Lua
(University of Waterloo, 2019-01-22)The work presented in this thesis deals with the problem of enhancing the performance of dynamically-typed programming languages by integrating features from statically-typed programming languages. Statically-typed languages ... -
Wave Refraction Effects in High Intensity Focused Ultrasound
(University of Waterloo, 2019-01-22)High-Intensity Focused Ultrasound (HIFU) is a promising field of research being developed as an alternative to surgery and radiation therapy for the treatment of tumours. Within this field, many current methods of ... -
Shape & cutoff in superconducting qubits, work fluctuations in correlation creation, & critical commentary
(University of Waterloo, 2019-01-22)Part I We apply the Unruh-DeWitt model for a qubit interacting with a quantum field to a superconducting qubit. We use the flexibility of this model, as compared to the spin-boson model used widely in the literature, ... -
On multiple random locations of stationary processes
(University of Waterloo, 2019-01-18)We generalize the concept of intrinsic location functionals to accommodate n=2 random locations, which we combine together in either sets or vectors. For the set-valued case of "intrinsic multiple-location functionals" we ... -
On the Excluded Minors for Dyadic Matroids
(University of Waterloo, 2019-01-17)The study of the class of dyadic matroids, the matroids representable over both $GF(3)$ and $GF(5)$, is a natural step to finding the excluded minors for $GF(5)$-representability. In this thesis we characterize the ternary ... -
Split Cuts From Sparse Disjunctions
(University of Waterloo, 2019-01-16)Cutting planes are one of the major techniques used in solving Mixed-Integer Linear Programming (MIP) models. Various types of cuts have long been exploited by MIP solvers, leading to state-of-the-art performance in practice. ... -
UNiS: A User-space Non-intrusive Workflow-aware Virtual Network Function Scheduler
(University of Waterloo, 2019-01-16)Network Function Virtualization (NFV) has gained a significant research interest in both academia and industry since its inception in the late 2012. One of the key research issues in NFV is the development of systems for ... -
Optimal investment-reinsurance strategies with state dependent risk aversion and VaR constraints in correlated markets
(Elsevier, 2019-03)In this paper, we investigate the optimal time-consistent investment–reinsurance strategies for an insurer with state dependent risk aversion and Value-at-Risk (VaR) constraints. The insurer can purchase proportional ... -
User-Controlled Computations in Untrusted Computing Environments
(University of Waterloo, 2019-01-15)Computing infrastructures are challenging and expensive to maintain. This led to the growth of cloud computing with users renting computing resources from centralized cloud providers. There is also a recent promise in ...