Browsing Mathematics (Faculty of) by Title
Now showing items 16821701 of 2985

The MordellLang Theorem from the Zilber Dichotomy
(University of Waterloo, 20100430)We present a largely selfcontained exposition of Ehud Hrushovski's proof of the function field MordellLang conjecture beginning from the Zilber Dichotomy for differentially closed fields and separably closed fields. Our ... 
A More Accurate Measurement Model for FaultTolerant Quantum Computing
(University of Waterloo, 20090130)Aliferis, Gottesman and Preskill [1] reduce a nonMarkovian noise model to a local noise model, under assumptions on the smallness of the norm of the systembath interaction. They also prove constructively that given a ... 
Morphing Parallel Graph Drawings
(University of Waterloo, 20070523)A pair of straightline drawings of a graph is called parallel if, for every edge of the graph, the line segment that represents the edge in one drawing is parallel with the line segment that represents the edge in the ... 
Morphing planar triangulations
(University of Waterloo, 20140609)A morph between two drawings of the same graph can be thought of as a continuous deformation between the two given drawings. A morph is linear if every vertex moves along a straight line segment from its initial position ... 
Morse: Reducing the Feature Interaction Explosion Problem Using Subject Matter Knowledge as Abstract Requirements
(IEEE, 201808)The feature interaction problem appears in many different kinds of complex systems, especially systems whose elements are created or maintained by separate entities  for example, a modern automobile that incorporates ... 
Mortality Prediction using Statistical Learning Approaches
(University of Waterloo, 20221121)Longevity risk, as one of the major risks faced by insurers, has triggered a heated stream of research in mortality modeling among actuaries for effective design/pricing/risk management of insurance products. The idea of ... 
Most Complex Nonreturning Regular Languages
(Springer, 20170703)A regular language L is nonreturning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jirásková derived upper bounds on the state complexity of ... 
Most Complex Regular Ideal Languages
(Discrete Mathematics and Theoretical Computer Science, 20161017)A right ideal (left ideal, twosided ideal) is a nonempty language $L$ over an alphabet $\Sigma$ such that $L=L\Sigma^*$ ($L=\Sigma^*L$, $L=\Sigma^*L\Sigma^*$). Let $k=3$ for right ideals, 4 for left ideals and 5 for ... 
Most Complex Regular RightIdeal Languages
(Springer, 2014)A right ideal is a language L over an alphabet Sigma that satisfies the equation L = L Sigma*. We show that there exists a sequence (Rn vertical bar n >= 3) of regular rightideal languages, where Rn has n left quotients ... 
Motion Planning and Observer Synthesis for a TwoSpan Web Roller Machine
(University of Waterloo, 20100930)A mathematical model for a TwoSpan Web Roller machine is defined in order to facilitate motion planning, motion tracking and state observer design for tracking web tension and web velocity. Differential Flatness is utilized ... 
MS/MS Spectrum Prediction for MHCAssociated Peptides with a FineTuned Model
(University of Waterloo, 20240223)To improve the quality of spectral library search, several MS/MS spectrum predictors have been developed in the last decades. After success in various fields, deep learning techniques are adopted by MS/MS spectrum predictors ... 
MTMAG: Accurate and interpretable machine learning for complete or partial taxonomic assignments of metagenomeassembled genomes
(University of Waterloo, 20220519)We propose MTMAG, a novel machine learningbased software tool for the complete or partial hierarchicallystructured taxonomic classification of metagenomeassembled genomes (MAGs). MTMAG is capable of classifying large ... 
Muddler: Using Oblivious RAM For A Privacy Preserving LocationBased Service
(University of Waterloo, 20141023)As smartphones become ever more prevalent, context aware applications are becoming increasingly popular. Locationbased services such as Foursquare have been among the leaders of this trend. Some of the most popular ... 
MultiAgent Modeling of RiskAware and PrivacyPreserving Recommender Systems
(University of Waterloo, 20170425)Recent progress in the field of recommender systems has led to increases in the accuracy and significant improvements in the personalization of recommendations. These results are being achieved in general by gathering more ... 
Multidimensional Interval Routing Schemes
(University of Waterloo, 2001)Routing messages between pairs of nodes is one of the most fundamental tasks in any distributed computing system. An Interval Routing Scheme (IRS) is a wellknown, spaceefficient routing strategy for routing messages ... 
Multidocument Summarization System Using Rhetorical Information
(University of Waterloo, 20120711)Over the past 20 years, research in automated text summarization has grown significantly in the field of natural language processing. The massive availability of scientific and technical information on the Internet, including ... 
MultiMaster Replication for Snapshot Isolation Databases
(University of Waterloo, 20130621)Lazy replication with snapshot isolation (SI) has emerged as a popular choice for distributed databases. However, lazy replication requires the execution of update transactions at one (master) site so that it is relatively ... 
MultiPath Link Embedding for Survivability in Virtual Networks
(University of Waterloo, 20150826)Internet applications are deployed on the same network infrastructure, yet they have diverse performance and functional requirements. The Internet was not originally designed to support the diversity of current applications. ... 
MultiResolution and Asymmetric Implementation of Attention in Transformers
(University of Waterloo, 20220429)Transformers are the stateoftheart for machine translation and grammar error correction. One of the most important components of transformers are the attention layers, but they require significant computational power. ... 
MultiResolution Approximate Inverses
(University of Waterloo, 1999)This thesis presents a new preconditioner for elliptic PDE problems on unstructured meshes. Using ideas from second generation wavelets, a multiresolution basis is constructed to effectively compress the inverse of the ...