Browsing Mathematics (Faculty of) by Title
Now showing items 1689-1708 of 2994
-
A More Accurate Measurement Model for Fault-Tolerant Quantum Computing
(University of Waterloo, 2009-01-30)Aliferis, Gottesman and Preskill [1] reduce a non-Markovian noise model to a local noise model, under assumptions on the smallness of the norm of the system-bath interaction. They also prove constructively that given a ... -
Morphing Parallel Graph Drawings
(University of Waterloo, 2007-05-23)A pair of straight-line 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, 2014-06-09)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, 2018-08)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, 2022-11-21)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 Non-returning Regular Languages
(Springer, 2017-07-03)A regular language L is non-returning 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, 2016-10-17)A right ideal (left ideal, two-sided ideal) is a non-empty 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 Right-Ideal 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 right-ideal languages, where R-n has n left quotients ... -
Motion Planning and Observer Synthesis for a Two-Span Web Roller Machine
(University of Waterloo, 2010-09-30)A mathematical model for a Two-Span 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 MHC-Associated Peptides with a Fine-Tuned Model
(University of Waterloo, 2024-02-23)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 ... -
MT-MAG: Accurate and interpretable machine learning for complete or partial taxonomic assignments of metagenome-assembled genomes
(University of Waterloo, 2022-05-19)We propose MT-MAG, a novel machine learning-based software tool for the complete or partial hierarchically-structured taxonomic classification of metagenome-assembled genomes (MAGs). MT-MAG is capable of classifying large ... -
Muddler: Using Oblivious RAM For A Privacy Preserving Location-Based Service
(University of Waterloo, 2014-10-23)As smartphones become ever more prevalent, context aware applications are becoming increasingly popular. Location-based services such as Foursquare have been among the leaders of this trend. Some of the most popular ... -
Multi-Agent Modeling of Risk-Aware and Privacy-Preserving Recommender Systems
(University of Waterloo, 2017-04-25)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 ... -
Multi-dimensional 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 well-known, space-efficient routing strategy for routing messages ... -
Multi-document Summarization System Using Rhetorical Information
(University of Waterloo, 2012-07-11)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 ... -
Multi-Master Replication for Snapshot Isolation Databases
(University of Waterloo, 2013-06-21)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 ... -
Multi-Path Link Embedding for Survivability in Virtual Networks
(University of Waterloo, 2015-08-26)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. ... -
Multi-Resolution and Asymmetric Implementation of Attention in Transformers
(University of Waterloo, 2022-04-29)Transformers are the state-of-the-art 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. ... -
Multi-Resolution 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 multi-resolution basis is constructed to effectively compress the inverse of the ... -
Multi-scale entropy analysis and Hurst exponent
(Elsevier, 2019-08-15)Several methods exist for measuring the complexity in a system through analysis of its associated time series. Multi-scale entropy appears as a successful method on this matter. It has been applied in many disciplines with ...