Browsing Mathematics (Faculty of) by Title
Now showing items 12111230 of 2596

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 ... 
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 ... 
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 ... 
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 ... 
Knowledge Graph Imputation
(University of Waterloo, 20210527)Knowledge graphs are one of the most important resources of information in many applications such as question answering and social networks. These knowledge graphs however, are often far from complete as there are so many ... 
Koblitz's Conjecture for the Drinfeld Module
(University of Waterloo, 20080501)Let $E$ be an elliptic curve over the rationals without complex multiplication such that any elliptic curve $\mathbb{Q}$isogenous to $E$ has trivial $\mathbb{Q}$torsion. Koblitz conjectured that the number of primes less ... 
L1Penalized Ordinal Regression and Bayesian Variable Selection for Linear Models with Multiple Responses
(University of Waterloo, 20150520)Polychotomous ordinal response data are often analyzed by first introduce a latent continuous variable which can be modeled as an ordinary regression problem with the presence of covariates by using Markov chain Monte Carlo ... 
Landowner Perceptions Of The Value Of Natural Forest And Natural Grassland In A Mosaic Ecosystem In Southern Brazil
(Springer, 20160301)The forestgrassland mosaics of southern Brazil have been subject to many land use and policy changes over the decades. Like many grasslands around the world, the Campos grasslands are declining with few conservation efforts ... 
The LangTrotter conjecture for Drinfeld modules
(University of Waterloo, 20110822)In 1986, Gupta and Murty proved the LangTrotter conjecture in the case of elliptic curves having complex multiplication, conditional on the generalized Riemann hypothesis. That is, given a nontorsion point P∈E(ℚ), they ... 
Large Aperiodic Semigroups
(World Scientific Publishing, 20151101)We search for the largest syntactic semigroups of starfree languages having n left quotients; equivalently, we look for the largest transition semigroups of aperiodic finite automata with n states. We first introduce ... 
Large eddy simulations and subgrid scale motions in stratified turbulence
(University of Waterloo, 20150318)Direct numerical and large eddy simulations (DNS $\&$ LES) of decaying and forced stratified turbulence are studied in this thesis. By defining a test filter scale $k_c$ in the horizontal and vertical directions separately, ... 
LargeScale Emulation of Anonymous Communication Networks
(University of Waterloo, 20140815)Tor is the most popular lowlatency anonymous communication system for the Internet, helping people to protect their privacy online and circumvent Internet censorship. Its low latency anonymity and distributed design ... 
Latelumping backstepping control of partial differential equations
(Elsevier, 201902)We consider in this paper three different partial differential equations (PDEs) that can be exponentially stabilized using backstepping controllers. For implementation, a finitedimensional controller is generally needed. ... 
A Latent Health Factor Model for Estimating Estuarine Ecosystem Health
(University of Waterloo, 20090520)Assessment of the “health” of an ecosystem is often of great interest to those interested in monitoring and conservation of ecosystems. Traditionally, scientists have quantified the health of an ecosystem using multimetric ...