Now showing items 1682-1701 of 2985

    • The Mordell-Lang Theorem from the Zilber Dichotomy 

      Eagle, Christopher (University of Waterloo, 2010-04-30)
      We present a largely self-contained exposition of Ehud Hrushovski's proof of the function field Mordell-Lang conjecture beginning from the Zilber Dichotomy for differentially closed fields and separably closed fields. Our ...
    • A More Accurate Measurement Model for Fault-Tolerant Quantum Computing 

      Ouyang, Yingkai (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 

      Spriggs, Michael John (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 

      Barrera-Cruz, Fidel (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 

      Millet, Laure; Day, Nancy; Joyce, Jeffrey J. (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 

      Meng, Yechao (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 

      Brzozowski, Janusz; Davies, Sylvie (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 

      Liu, Bo Yang Victor; Davies, Sylvie; Brzozowski, Janusz (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 

      Brzozowski, Janusz; Davies, Gareth (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 

      Fletcher, Joshua (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 

      Li, Zhenbo (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 

      Wanxin, Li (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 

      Mehmood, Danish (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 

      Srivastava, Vishnu (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 

      Ganjali, Yashar (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 

      Alliheedi, Mohammed (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 

      Chairunnanda, Prima (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 

      Alam Khan, Md Mashrur (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 

      Chaudhry, Zaid (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 

      Bridson, Robert (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 ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages