Browsing Mathematics (Faculty of) by Type "Master Thesis"
Now showing items 2140 of 1398

AddressWatcher: Automatic Memory Leak Fixing
(University of Waterloo, 20211217)Automatic bug fixing has become a promising direction over manual fixing of bugs. In this work, we focus on a specific bug: Memory Leaks. We propose an automatic approach to suggest memory leak fixes in C/C++ programs ... 
ADMM for SDP Relaxation of GP
(University of Waterloo, 20160830)We consider the problem of partitioning the set of nodes of a graph G into k sets of given sizes in order to minimize the cut obtained after removing the kth set. This is a variant of the wellknown vertex separator ... 
Advisor Networks and Referrals for Improved Trust Modelling in MultiAgent Systems
(University of Waterloo, 20110216)This thesis relates to the usage of trust modelling in multiagent systems  environments in which there are interacting software agents representing various users (for example, buyers and sellers exchanging products and ... 
The aesthetics of science fiction spaceship design
(University of Waterloo, 20100118)In this thesis, we present a detailed analysis of the conventions that appear in fictional spaceship design, including a discussion of their origins, their uses in emulating certain traits, and reasons these conventions ... 
Affect Lexicon Induction For the Github Subculture Using Distributed Word Representations
(University of Waterloo, 20181106)Sentiments and emotions play essential roles in small group interactions, especially in selforganized collaborative groups. Many people view sentiments as universal constructs; however, cultural differences exist in some ... 
Affective and HumanLike Virtual Agents
(University of Waterloo, 20200929)In Artificial Intelligence (AI) one of the technological goals is to build intelligent systems that not only perform human level tasks efficiently, but can also simulate and exhibit humanlike behaviour. As the emphasis ... 
Affective Sentiment and Emotional Analysis of Pull Request Comments on GitHub
(University of Waterloo, 20171215)Sentiment and emotional analysis on online collaborative software development forums can be very useful to gain important insights into the behaviors and personalities of the developers. Such information can later on be ... 
An Affine SemiLagrangian Advection Method
(University of Waterloo, 20190108)In computer graphics, the standard semiLagrangian advection as in the work of Stam (1999) is a widespread unconditionally stable transport scheme used in incompressible fluid solvers. Due to its stability, which disconnects ... 
Aggregation of Heterogeneous Anomaly Detectors for CyberPhysical Systems
(University of Waterloo, 20190107)Distributed, lifecritical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyberphysical systems will ... 
Agile Architecture Recovery
(University of Waterloo, 2002)Many software development projects start with an existing code base that has to be tightly integrated into a new system. In order to make a robust system that will achieve the desired business goals, developers must be ... 
Aiding Human Discovery of OutoftheMoment Handwriting Recognition Errors
(University of Waterloo, 20090430)Handwriting recognizers frequently misinterpret digital ink input, requiring human verification of recognizer output to identify and correct errors, before the output of the recognizer can be used with any confidence int ... 
Algebraic Analysis of VertexDistinguishing EdgeColorings
(University of Waterloo, 2006)Vertexdistinguishing edgecolorings (vdec colorings) are a restriction of proper edgecolorings. These special colorings require that the sets of edge colors incident to every vertex be distinct. This is a relatively ... 
Algebraic and combinatorial aspects of incidence groups and linear system nonlocal games arising from graphs
(University of Waterloo, 20190606)To every linear binaryconstraint system (LinBCS) nonlocal game, there is an associated algebraic object called the solution group. Cleve, Liu, and Slofstra showed that a LinBCS game has a perfect quantum strategy if and ... 
Algebraic characterization of multivariable dynamics
(University of Waterloo, 20090326)Let X be a locally compact Hausdorﬀ space along with n proper continuous maps σ = (σ1 , · · · , σn ). Then the pair (X, σ) is called a dynamical system. To each system one can associate a universal operator algebra called ... 
The Algebraic KirchbergPhillips Conjecture for Leavitt Path Algebras
(University of Waterloo, 20150918)This essay is meant to be an exposition of the theory of Leavitt path algebras and graph C*algebras, with an aim to discuss some current classification questions. These two classes of algebras sit on opposite sides of a ... 
Algebraic Methods for Reducibility in NowhereZero Flows
(University of Waterloo, 20070925)We study reducibility for nowherezero flows. A reducibility proof typically consists of showing that some induced subgraphs cannot appear in a minimum counterexample to some conjecture. We derive algebraic proofs of ... 
Algebraic Tori in Cryptography
(University of Waterloo, 2005)Communicating bits over a network is expensive. Therefore, cryptosystems that transmit as little data as possible are valuable. This thesis studies several cryptosystems that require significantly less bandwidth than ... 
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 ... 
Algorithm Substitution Attacks: Detecting ASAs Using State Reset and Making ASAs Asymmetric
(University of Waterloo, 20210827)The field of cryptography has made incredible progress in the last several decades. With the formalization of security goals and the methods of provable security, we have achieved many privacy and integrity guarantees in ... 
Algorithms and Design Principles for Rural Kiosk Networks
(University of Waterloo, 20070919)The KioskNet project aims to provide extremely lowcost Internet access to rural kiosks in developing countries, where conventional access technologies, \eg\, DSL, CDMA and dialup, are currently economically infeasible. ...