Now showing items 1-20 of 14357

    • Exploiting Token and Path-based Representations of Code for Identifying Security-Relevant Commits 

      Keshav Ram, Achyudh Ram (University of Waterloo, 2020-07-15)
      Public vulnerability databases such as CVE and NVD account for only 60% of security vulnerabilities present in open-source projects and are known to suffer from inconsistent quality. Over the last two years, there has been ...
    • Improving post-quantum cryptography through cryptanalysis 

      Schanck, John (University of Waterloo, 2020-07-15)
      Large quantum computers pose a threat to our public-key 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 

      Bandali, Amin (University of Waterloo, 2020-07-14)
      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 

      Chik, Ho Shing (University of Waterloo, 2020-07-14)
      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 

      Mahmoud, Ali (University of Waterloo, 2020-07-13)
      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 one-turn quantum refereed games 

      Ghosh, Soumik (University of Waterloo, 2020-07-13)
      This thesis studies one-turn quantum refereed games, which are abstract zero-sum 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 

      Rana, Isha (University of Waterloo, 2020-07-13)
      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 Real-Time GPU-Based SOC Platforms 

      Aghilinasab, Homa; Ali, Waqar; Yun, Heechul; Pellizzoni, Rodolfo (2020)
      Appendix to: Dynamic Memory Bandwidth Allocation For Real-Time GPU-Based SOC Platforms
    • An Inverse Correlation between Corn Temperature and Nitrogen Stress: A Field Case Study 

      Alzaben, Heba; Fraser, Roydon; Swanton, Clarence (2019-10-10)
      Nitrogen is one of the most important yield-limiting 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 

      Tofigzade, Natig (University of Waterloo, 2020-07-10)
      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 

      Walsh, Zachary (University of Waterloo, 2020-07-08)
      This thesis is concerned with finding the maximum density of rank-$n$ matroids in a minor-closed class. The extremal function of a non-empty minor-closed class $\mathcal M$ of matroids which excludes a rank-2 uniform ...
    • On Tolerant Testing and Tolerant Junta Testing 

      Levi, Amit (University of Waterloo, 2020-07-08)
      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 

      Zou, Yijian (University of Waterloo, 2020-07-07)
      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 

      Fatemeh, Keyvani (University of Waterloo, 2020-07-07)
      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 (3-methyladenine) treatment or shRNA ...
    • Renormalization, Entanglement and Continuous Tensor Networks 

      Franco Rubio, Adrián (University of Waterloo, 2020-07-07)
      The study of the ground states of local Hamiltonians in quantum many-body 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 

      Haxell, Penny; Krivelevich, Michael; Kronenberg, Gal (Elsevier, 2019-09)
      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])}{\lfloor|S|/2\rfloor} \mid S\subseteq ...
    • A Stability Theorem for Matchings in Tripartite 3-Graphs 

      Haxell, Penny; Narins, Lothar (Cambridge University Press, 2018-04-02)
      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 

      Reydon, Thomas; Plaisance, Kathryn S. (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 

      Plaisance, Kathryn S.; Graham, Alexander V.; McLevey, John; Michaud, Jay (Springer, 2019-09-23)
      Philosophers of science are increasingly arguing for the importance of doing scientifically- and socially-engaged work, suggesting that we need to reduce barriers to extra-disciplinary engagement and broaden our impact. ...
    • Which classes of structures are both pseudo-elementary and definable by an infinitary sentence? 

      Boney, Will; Csima, Barbara F.; Day, Nancy A.; Harrison-Trainor, Matthew (2019-03-21)
      When classes of structures are not first-order 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 pseudo-elementary ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages