Browsing Mathematics (Faculty of) by Title
Now showing items 1492-1511 of 2940
-
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 ... -
MacLane's Theorem for Graph-Like Spaces
(University of Waterloo, 2008-09-12)The cycle space of a finite graph is the subspace of the edge space generated by the edge sets of cycles, and is a well-studied object in graph theory. Recently progress has been made towards extending the theory of cycle ... -
Maintaining Quality of Service for Adaptive Mobile Map Clients
(University of Waterloo, 2001)Mobile devices must deal with limited and dynamically varying resources, in particular, the network quality of service (QoS). In addition, wireless devices have other constraints such as limited memory, battery power, ... -
Majority in the Three-Way Comparison Model
(University of Waterloo, 2019-08-28)In this thesis, we study comparison based problems in a new comparison model called three-way, where a comparison can result in { >, =, < }. We consider a set of n balls with fixed ordered coloring. Particularly, we are ... -
Making Decisions with Incomplete and Inaccurate Information
(University of Waterloo, 2021-08-25)From assigning students to public schools to arriving at divorce settlements, there are many settings where preferences expressed by a set of stakeholders are used to make decisions that affect them. Due to its numerous ... -
Making Renewable Energy Certificates Efficient, Trustworthy, and Private
(University of Waterloo, 2020-08-19)Although renewable energy costs are declining rapidly, producers still rely on additional incentives, such as Renewable Energy Certificates (RECs), when making an investment decision. An REC is a proof that a certain amount ... -
Mandoline: robust cut-cell generation for arbitrary triangle meshes
(ACM, 2019-11)Although geometry arising "in the wild" most often comes in the form of a surface representation, a plethora of geometrical and physical applications require the construction of volumetric embeddings either of the geometry ... -
Mapping BoxTalk to Promela Model
(University of Waterloo, 2007-06-13)A telecommunication feature is an optional or incremental unit of functionality, such as call display (CD) and call forwarding (CF). A feature interaction occurs when, in the presence of other features, the actual behavior ... -
Mapping Template Semantics to SMV
(University of Waterloo, 2004)Template semantics is a template-based approach to describing the semantics of model-based notations, where a pre-defined template captures the notations' common semantics, and parameters specify the notations' distinct ... -
Marginal Causal Sub-Group Analysis with Incomplete Covariate Data
(University of Waterloo, 2019-01-11)Incomplete data arises frequently in health research studies designed to investigate the causal relationship between a treatment or exposure, and a response of interest. Statistical methods for conditional causal effect ... -
Marginal Methods for Multivariate Time to Event Data
(University of Waterloo, 2012-04-30)This thesis considers a variety of statistical issues related to the design and analysis of clinical trials involving multiple lifetime events. The use of composite endpoints, multivariate survival methods with dependent ... -
Markovian Approaches to Joint-life Mortality with Applications in Risk Management
(University of Waterloo, 2011-08-16)The combined survival status of the insured lives is a critical problem when pricing and reserving insurance products with more than one life. Our preliminary experience examination of bivariate annuity data from a large ... -
Martingale Property and Pricing for Time-homogeneous Diffusion Models in Finance
(University of Waterloo, 2013-08-09)The thesis studies the martingale properties, probabilistic methods and efficient unbiased Monte Carlo simulation methods for various time-homogeneous diffusion models commonly used in mathematical finance. Some of the ...