Browsing Mathematics (Faculty of) by Title
Now showing items 14351454 of 3046

Jaeger’s Strong 3Flow Conjecture for Graphs in Low Genus Surfaces
(University of Waterloo, 20200505)In 1972, Tutte posed the 3Flow Conjecture: that all 4edgeconnected graphs have a nowhere zero 3flow. This was extended by Jaeger et al. (1992) to allow vertices to have a prescribed, possibly nonzero difference (modulo ... 
A Java Toolkit for Distributed Evaluation of Hypergeometric Series
(University of Waterloo, 2004)Hypergoemetric Series are very important in mathematics and come up regularly when dealing with the precise definitions of constants such as <i>e</i>, π and Apery's constant ς(3). The evaluation of such series ... 
Jets, Vortices and Turbulence in QuasiGeostrophic Magnetohydrodynamics
(University of Waterloo, 20220728)In this thesis, we model the dynamics of the solar tachocline and the Earth's molten core using a shallow, rapidly rotating, and electrically conducting fluid on an fplane. We explore the effects of a strong uniform ... 
JITGNN: A Deep Graph Neural Network for JustInTime Bug Prediction
(University of Waterloo, 20220510)JustInTime (JIT) bug prediction is the problem of predicting software failure immediately after a change is submitted to the code base. JIT bug prediction is often preferred to other types of bug prediction (subsystem, ... 
Join Cardinality Estimation Graphs: Analyzing Pessimistic and Optimistic Estimators Through a Common Lens
(University of Waterloo, 20200807)Join cardinality estimation is a fundamental problem that is solved in the query optimizers of database management systems when generating efficient query plans. This problem arises both in systems that manage relational ... 
Joint modeling, variable selection and multiply robust estimation in mediation analysis with multiple mediators
(University of Waterloo, 20240110)This thesis explores topics in causal mediation analysis with multiple possibly related mediators. The goal of this thesis is to propose innovative methodologies for joint modeling of multiple uncausally related mediators, ... 
Juicy Haptic Design: Vibrotactile Embellishments Can Improve Player Experience in Games
(ACM, 202105)Game designers and researchers employ a sophisticated language for producing great player experiences with concepts such as juici ness, which refers to excessive positive feedback. However, much of their discourse excludes ... 
The kbest paths in Hidden Markov Models. Algorithms and Applications to Transmembrane Protein Topology Recognition.
(University of Waterloo, 20090826)Traditional algorithms for hidden Markov model decoding seek to maximize either the probability of a state path or the number of positions of a sequence assigned to the correct state. These algorithms provide only a ... 
A kConjugacy Class Problem
(University of Waterloo, 20070907)In any group G, we may extend the definition of the conjugacy class of an element to the conjugacy class of a ktuple, for a positive integer k. When k = 2, we are forming the conjugacy classes of ordered pairs, when k ... 
kConnectedness and kFactors in the SemiRandom Graph Process
(University of Waterloo, 20221220)The semirandom graph process is a singleplayer graph game where the player is initially presented an edgeless graph with n vertices. In each round, the player is offered a vertex u uniformly at random and subsequently ... 
Ktheory for C*Algebras and for Topological Spaces
(University of Waterloo, 20150427)Ktheory is the study of a collection of abelian groups that are invariant to C*algebras or to locally compact Hausdorff spaces. These groups are useful for distinguishing C*algebras and topological spaces, and they are ... 
Kalman Filter Based Sensor Placement For Burgers Equation
(University of Waterloo, 20190603)The algorithm used for determining sensor placement in this thesis will be based on the Kalman filter. This filter is very famous and its application are numerous  some examples include aircraft navigation, finance and ... 
Kernel Methods in ComputerAided Constructive Drug Design
(University of Waterloo, 20090514)A drug is typically a small molecule that interacts with the binding site of some target protein. Drug design involves the optimization of this interaction so that the drug effectively binds with the target protein while ... 
Kernel vs. UserLevel Networking: A Ballad of Interrupts and How to Mitigate Them
(University of Waterloo, 20230706)Networking performance has become especially important in the current age with growing demands on services over the Internet. Recent advances in network controllers has exposed bottlenecks in various parts of network ... 
Key Compression for IsogenyBased Cryptosystems
(University of Waterloo, 20160421)We present a method for key compression in quantumresistant isogenybased cryptosystems, which reduces storage and transmission costs of perparty public information by a factor of two, with no effect on the security level ... 
Key establishment  security models, protocols and usage
(University of Waterloo, 20080730)Key establishment is the process whereby two or more parties derive a shared secret, typically used for subsequent confidential communication. However, identifying the exact security requirements for key establishment ... 
KGPipeline: An Automated Knowledge Graph Generation Framework
(University of Waterloo, 20220916)Knowledge Graphs (KGs) have many applications, specifically in information retrieval and question answering. Community projects are conducted for building largescale KGs with crowdsourcing, but building KGs with this ... 
Kinematic Templates: Guiding Cursor Movement in EndUser Drawing Tools
(University of Waterloo, 20090826)This thesis presents kinematic templates, enduser drawing tools that influence the mouse cursor's movement within specific areas of a digital canvas. Two types of kinematic templates influence the cursor's movement: ... 
Kinetic Modeling of Pyruvate Recycling Pathways in Pancreatic βCells.
(University of Waterloo, 20120926)A variety of signaling mechanisms are employed to maintain healthy levels of glucose in the blood stream. The hormone insulin is one of the primary regulators of glucose homeostasis. Insulin, which activates glucose ... 
Kinodynamic Planning with μCalculus Specifications
(University of Waterloo, 20180919)Motion planning problems involve determining appropriate control inputs to guide a system towards a desired endpoint. Samplingbased motion planning was developed as a technique for discretizing the state space of systems ...