Browsing Mathematics (Faculty of) by Title
Now showing items 10521071 of 2745

Global Land Use Implications of Dietary Trends
(Cold Spring Harbor Laboratory, 20170928)Global food security and agricultural land management represent two urgent and intimately related challenges that humans must face. We quantify the changes in the global agricultural land footprint if the world were to ... 
Global land use implications of dietary trends
(PLOS One, 20180808)Global food security and agricultural land management represent two urgent and intimately related challenges that humans must face. We quantify the changes in the global agricultural land footprint if the world were to ... 
gLOP: A Cleaner Dirty Model for Multitask Learning
(University of Waterloo, 20140822)Multitask learning (MTL) was originally defined by Caruana (1997) as "an approach to inductive transfer that improves learning for one task by using the information contained in the training signals of other related tasks". ... 
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 ... 
Gradual C Programming for Typed Lua
(University of Waterloo, 20190122)The work presented in this thesis deals with the problem of enhancing the performance of dynamicallytyped programming languages by integrating features from staticallytyped programming languages. Staticallytyped languages ... 
A Gradual NonConvexation Penalty Method for Minimizing VaR
(University of Waterloo, 20120508)This thesis investigates the portfolio optimization problem using ValueatRisk (VaR) as a risk measure, when m sample scenarios are given. Minimizing VaR of a portfolio is computationally difficult: it is nonconvex, ... 
Gradual Pluggable Typing in Java
(University of Waterloo, 20160427)Gradual typing provides the ability to safely mix untyped or dynamically typed code with statically typed code while maintaining, within the statically typed portion, the guarantees claimed by the static typing. It is ... 
Graph C*algebras and the Abelian Core
(University of Waterloo, 20160826)We may associate to a C*algebra to the directed graph E by associating edges to partial isometries and vertices to pairwise orthogonal Hilbert spaces which satisfy some additional conditions. Such graph algebras were first ... 
Graph Editing to a Given Neighbourhood Degree List is FixedParameter Tractable
(University of Waterloo, 20161026)Graph editing problems have a long history and have been widely studied, with applications in biochemistry and complex network analysis. They generally ask whether an input graph can be modified by inserting and deleting ... 
GraphBased Fracture Models for Rigid Body Explosions
(University of Waterloo, 2005)Explosions are one of the most powerful and devastating natural phenomena. The pressure front from the blast wave of an explosion can cause fracture of objects in its vicinity and create flying debris. In this thesis, ... 
Graphtheoretic Properties of Control Flow Graphs and Applications
(University of Waterloo, 20150825)This thesis deals with determining appropriate width parameters of control flow graphs so that certain computationally hard problems of practical interest become efficiently solvable. A wellknown result of Thorup states ... 
The Graphs of HU+00E4ggkvist & Hell
(University of Waterloo, 20090119)This thesis investigates HU+00E4ggkvist & Hell graphs. These graphs are an extension of the idea of Kneser graphs, and as such share many attributes with them. A variety of original results on many different properties of ... 
Green’s Function for Poisson Equation in Layered NanoStructures including Graphene
(University of Waterloo, 20150504)The purpose of this thesis is to focus on the electrostatic properties of graphenebased nanostructures consisting of different materials, as well as their interactions with external electric charges, by solving the boundary ... 
Grey Level Visual Cryptography for General Access Structures
(University of Waterloo, 2002)Visual cryptography, first introduced by Naor and Shamir, allows a secret (black and white) image to be encoded and distributed to a set of participants such that certain predefined sets of participants may reconstruct the ... 
A Grouped Hamming Network
(University of Waterloo, 20100830)A distributed hash table (DHT) is a type of peertopeer (P2P) network that, like traditional hash tables, maps keys to values. Unlike traditional hash tables, however, the data is distributed across a network with each ... 
Gröbner Bases Theory and The Diamond Lemma
(University of Waterloo, 2006)Commutative Gröbner bases theory is well known and widely used. In this thesis, we will discuss thoroughly its generalization to noncommutative polynomial ring <em>k</em><<em>X</em>> which is also an associative free ... 
GRS: Combining Generation and Revision in Unsupervised Sentence Simplification
(University of Waterloo, 20220830)Text simplification is a task in the natural language processing field that alters a given text to reduce the structural and lexical complexity of the text while preserving the underlying meaning. We can classify existing ... 
Guidance Under Uncertainty: Employing a Mediator Framework in Bilateral IncompleteInformation Negotiations
(University of Waterloo, 20080924)Bilateral incompleteinformation negotiations of multiple issues present a difficult yet common negotiation problem that is complicated to solve from a mechanism design perspective. Unlike multilateral situations, where ... 
A guide to Fautomatic sets
(University of Waterloo, 20210908)A selfcontained introduction to the theory of Fautomatic sets is given. Building on [Bell, Moosa, Fsets and finite automata, Journal de théorie des nombres de Bordeaux, 2019], contributions are made to both the foundations ... 
Guided Testing of Concurrent Programs Using Value Schedules
(University of Waterloo, 20090929)Testing concurrent programs remains a difficult task due to the nondeterministic nature of concurrent execution. Many approaches have been proposed to tackle the complexity of uncovering potential concurrency bugs. ...