UWSpace: Recent submissions
Now showing items 120 of 14357

Exploiting Token and Pathbased Representations of Code for Identifying SecurityRelevant Commits
(University of Waterloo, 20200715)Public vulnerability databases such as CVE and NVD account for only 60% of security vulnerabilities present in opensource projects and are known to suffer from inconsistent quality. Over the last two years, there has been ... 
Improving postquantum cryptography through cryptanalysis
(University of Waterloo, 20200715)Large quantum computers pose a threat to our publickey cryptographic infrastructure. The possible responses are: Do nothing; accept the fact that quantum computers might be used to break widely deployed protocols. Mitigate ... 
A Comprehensive Study of Declarative Modelling Languages
(University of Waterloo, 20200714)Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality abstractly and formally. An abstract model is a concise and compact representation of key characteristics ... 
Advancing Microbial Risk Assessments of Subsurface Water Sources
(University of Waterloo, 20200714)Source water microbial quality evaluations are essential for the selection, design, and management of drinking water supplies. As biological sciences and technology continue to advance, how these assessments are performed ... 
On Enumerative Structures in Quantum Field Theory
(University of Waterloo, 20200713)This thesis addresses a number of enumerative problems that arise in the context of quantum field theory and in the process of renormalization. In particular, the enumeration of rooted connected chord diagrams is further ... 
A study of oneturn quantum refereed games
(University of Waterloo, 20200713)This thesis studies oneturn quantum refereed games, which are abstract zerosum games with two competing computationally unbounded quantum provers and a computationally bounded quantum referee. The provers send quantum ... 
Developing a City Scale Emissions Inventory and Exploring Electrification of Transportation: A Case Study of the City of Waterloo
(University of Waterloo, 20200713)Significant growth in the scale of climate action is witnessed globally as cities, nations and environment agencies implement mitigation strategies and try to meet their ambitious emission reduction goals. As a result, ... 
Appendix to: Dynamic Memory Bandwidth Allocation For RealTime GPUBased SOC Platforms
(2020)Appendix to: Dynamic Memory Bandwidth Allocation For RealTime GPUBased SOC Platforms 
An Inverse Correlation between Corn Temperature and Nitrogen Stress: A Field Case Study
(20191010)Nitrogen is one of the most important yieldlimiting nutrients for corn (Zea mays). The ability of thermal remote sensing to detect nitrogen deficiency in corn may enable precision agriculture to modify nitrogen rates ... 
An Algorithm for Stable Matching with Approximation up to the Integrality Gap
(University of Waterloo, 20200710)In the stable matching problem we are given a bipartite graph G = (A ∪ B, E) where A and B represent disjoint groups of agents, each of whom has ordinal preferences over the members of the opposite group. The goal is to ... 
Quadratically Dense Matroids
(University of Waterloo, 20200708)This thesis is concerned with finding the maximum density of rank$n$ matroids in a minorclosed class. The extremal function of a nonempty minorclosed class $\mathcal M$ of matroids which excludes a rank2 uniform ... 
On Tolerant Testing and Tolerant Junta Testing
(University of Waterloo, 20200708)Over the past few decades property testing has became an active field of study in theoretical computer science. The algorithmic task is to determine, given access to an unknown large object (e.g., function, graph, probability ... 
Tensor networks, quantum spin chains, and quantum field theory
(University of Waterloo, 20200707)Understanding the universality class of continuous phase transition is of central importance in condensed matter physics. In one spatial dimension, the universal properties are encoded in the conformal field theory (CFT), ... 
Interplay between Autophagy and Apoptosis During Skeletal Muscle Differentiation
(University of Waterloo, 20200707)Our previous studies showed that autophagy regulates apoptosis and is required for proper skeletal muscle differentiation. Previously, we inhibited autophagy in C2C12 cells using 3MA (3methyladenine) treatment or shRNA ... 
Renormalization, Entanglement and Continuous Tensor Networks
(University of Waterloo, 20200707)The study of the ground states of local Hamiltonians in quantum manybody and quantum field theoretic systems is a source of many research problems of great complexity. Almost in its entirety, this thesis deals with ... 
Goldberg's conjecture is true for random multigraphs
(Elsevier, 201909)In the 70s, Goldberg, and independently Seymour, conjectured that for any multigraph G, the chromatic index χ′(G) satisfies χ′(G) ≤ max{∆(G)+1,⌈ρ(G)⌉}, where ρ(G) = max\{\frac {e(G[S])}{\lfloorS/2\rfloor} \mid S\subseteq ... 
A Stability Theorem for Matchings in Tripartite 3Graphs
(Cambridge University Press, 20180402)It follows from known results that every regular tripartite hypergraph of positive degree, with n vertices in each class, has matching number at least n/2. This bound is best possible, and the extremal configuration is ... 
The Philosophy of Behavioral Biology
(Springer, 2012)This volume offers a broad overview of central issues in the philosophy of behavioral biology, addressing philosophical issues that arise from the most recent scientific findings in biological research on behavior. It thus ... 
Show me the numbers: a quantitative portrait of the attitudes, experiences, and values of philosophers of science regarding broadly engaged work
(Springer, 20190923)Philosophers of science are increasingly arguing for the importance of doing scientifically and sociallyengaged work, suggesting that we need to reduce barriers to extradisciplinary engagement and broaden our impact. ... 
Which classes of structures are both pseudoelementary and definable by an infinitary sentence?
(20190321)When classes of structures are not firstorder definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudoelementary ...