Browsing Mathematics (Faculty of) by Title
Now showing items 1511-1530 of 2993
-
Longevity Risk Management: Models and Hedging Strategies
(University of Waterloo, 2019-04-17)Longevity risk management is becoming increasingly important in the pension and life insurance industries. The unexpected mortality improvements observed in recent decades are posing serious concerns to the financial ... -
Longitudinal Data Analysis with Composite Likelihood Methods
(University of Waterloo, 2012-08-10)Longitudinal data arise commonly in many fields including public health studies and survey sampling. Valid inference methods for longitudinal data are of great importance in scientific researches. In longitudinal studies, ... -
Loop Modeling in Proteins Using a Database Approach with Multi-Dimensional Scaling
(University of Waterloo, 2013-09-26)Modeling loops is an often necessary step in protein structure and function determination, even with experimental X-ray and NMR data. It is well known to be difficult. Database techniques have the advantage of producing ... -
Low-Rank Plus Sparse Decompositions of Large-Scale Matrices via Semidefinite Optimization
(University of Waterloo, 2023-05-19)We study the problem of decomposing a symmetric matrix into the sum of a low-rank symmetric positive semidefinite matrix and a tridiagonal matrix, and a relaxation which looks for symmetric positive semidefinite matrices ... -
LOW-RESOLUTION CUSTOMIZABLE UBIQUITOUS DISPLAYS
(University of Waterloo, 2023-09-22)In a conventional display, pixels are constrained within the rectangular or circular boundaries of the device. This thesis explores moving pixels from a screen into the surrounding environment to form ubiquitous displays. ... -
A lower bound for the two-variable Artin conjecture and prime divisors of recurrence sequences
(Elsevier, 2019-01-01)In 1927, Artin conjectured that any integer other than −1 or a perfect square generates the multiplicative group (Z/pZ)× for infinitely many p. In 2000, Moree and Stevenhagen considered a two-variable version of this ... -
Lower Bounds and Derandomization
(University of Waterloo, 2008-08-26)A major open problem in complexity theory is to determine whether randomized complexity classes such as BPP, AM, and MA have any nontrivial derandomization. This thesis investigates the derandomization of two randomized ... -
Lower Bounds on Quantum Query and Learning Graph Complexities
(University of Waterloo, 2014-07-22)In this thesis we study the power of quantum query algorithms and learning graphs; the latter essentially being very specialized quantum query algorithms themselves. We almost exclusively focus on proving lower bounds for ... -
Lower order terms of moments of L-functions
(University of Waterloo, 2011-06-17)<p>Given a positive integer k, Conrey, Farmer, Keating, Rubinstein and Snaith conjectured a formula for the asymptotics of the k-th moments of the central values of quadratic Dirichlet L-functions. The conjectured formula ... -
Lox: Protecting the Social Graph in Bridge Distribution
(University of Waterloo, 2022-05-26)Access to the open Internet, free from surveillance and censorship, is an important part of fulfilling the right to privacy. Despite this, in many regions of the world, censorship of the Internet is used to limit access ... -
LP-based Approximation Algorithms for the Capacitated Facility Location Problem
(University of Waterloo, 2012-05-18)The capacitated facility location problem is a well known problem in combinatorial optimization and operations research. In it, we are given a set of clients and a set of possible facility locations. Each client has a ... -
Lyrics Matter: Using Lyrics to Solve Music Information Retrieval Tasks
(University of Waterloo, 2015-08-06)Music Information Retrieval (MIR) research tends to focus on audio features like melody and timbre of songs while largely ignoring lyrics. Lyrics and poetry adhere to a specific rhyme and meter structure which set them ... -
M-current induced Bogdanov–Takens bifurcation and switching of neuron excitability class
(Springer, 2021-02-15)In this work, we consider a general conductance-based neuron model with the inclusion of the acetycholine sensitive, M-current. We study bifurcations in the parameter space consisting of the applied current Iapp, the maximal ... -
MAC Constructions: Security Bounds and Distinguishing Attacks
(University of Waterloo, 2007-05-18)We provide a simple and improved security analysis of PMAC, a Parallelizable MAC (Message Authentication Code) defined over arbitrary messages. A similar kind of result was shown by Bellare, Pietrzak and Rogaway at ... -
A Machine Learning Approach for RDP-based Lateral Movement Detection
(University of Waterloo, 2019-09-19)Detecting cyber threats has been an on-going research endeavor. In this era, advanced persistent threats (APTs) can incur significant costs for organizations and businesses. The ultimate goal of cybersecurity is to thwart ... -
Machine Learning for Streamflow Prediction
(University of Waterloo, 2020-04-16)Accurate prediction of streamflow—the amount of water flowing past a stream section at a given time—is a long-standing challenge in hydrology. Not only do researchers strive to understand the natural processes at play, the ... -
Machine Learning Techniques and Stochastic Modeling in Mathematical Oncology
(University of Waterloo, 2022-07-18)The cancer stem cell hypothesis claims that tumor growth and progression are driven by a (typically) small niche of the total cancer cell population called cancer stem cells (CSCs). These CSCs can go through symmetric ... -
A Machine-Learning-Based Algorithm for Peptide Feature Detection from Protein Mass Spectrometry Data
(University of Waterloo, 2021-05-13)Liquid chromatography with tandem mass spectrometry (LC-MS/MS) has been widely used in proteomics. Two types of data, MS and MS/MS data, are produced in an LC- MS/MS experiment. The MS data contains signal peaks corresponding ... -
Machine-Level Software Optimization of Cryptographic Protocols
(University of Waterloo, 2014-04-30)This work explores two methods for practical cryptography on mobile devices. The first method is a quantum-resistant key-exchange protocol proposed by Jao et al.. As the use of mobile devices increases, the deployment of ... -
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
(2020)In this paper, we present MachSMT, an algorithm selection tool for state-of-the-art Satisfiability Modulo Theories (SMT) solvers. MachSMT supports the entirety of the logics within the SMT-LIB initiative. MachSMT uses ...