Now showing items 1525-1544 of 2985

    • A Machine-Learning-Based Algorithm for Peptide Feature Detection from Protein Mass Spectrometry Data 

      Zeng, Xiangyuan (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 

      Fishbein, Dieter (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 

      Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Ganesh, Vijay (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 

      Rooney, Brendan (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 

      Abdelsalam, Wegdan Ahmad Elsay Fouad (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 

      Nazari, Azin (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 

      Menon, Vijay (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 

      Karakashev, Dimcho (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 

      Tao, Michael; Batty, Christopher; Fiume, Eugene; Levin, David I.W. (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 

      Peng, Yuan (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 

      Lu, Yun (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 

      Cuerden, Meaghan (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 

      Wu, Longyang (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 

      Ji, Min (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 

      Cui, Zhenyu (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 ...
    • Mass Spectrometry Based De Novo Peptide Sequencing Error Correction 

      Yao, Chenyu (University of Waterloo, 2017-09-26)
      Extensive study has been conducted on the identification of peptide sequences with mass spectrometry. With the development of computer hardware and algorithms, de novo sequencing has drawn attention from researchers for ...
    • The Master Equality Polyhedron: Two-Slope Facets and Separation Algorithm 

      Wang, Xiaojing (University of Waterloo, 2015-08-11)
      This thesis presents our findings about the Master Equality Polyhedron (MEP), an extension of Gomory's Master Group Polyhedron. We prove a theorem analogous to Gomory and Johnson's two-slope theorem for the case of the ...
    • The Matching Augmentation Problem: A 7/4-Approximation Algorithm 

      Dippel, Jack (University of Waterloo, 2019-05-23)
      We present a 7/4 approximation algorithm for the matching augmentation problem (MAP): given a multi-graph with edges of cost either zero or one such that the edges of cost zero form a matching, find a 2-edge connected ...
    • Matching fluid simulation elements to surface geometry and topology 

      Brochu, Tyson; Batty, Christopher; Bridson, Robert (Association for Computing Machinery, 2010-07)
      We introduce an Eulerian liquid simulation framework based on the Voronoi diagram of a potentially unorganized collection of pressure samples. Constructing the simulation mesh in this way allows us to place samples anywhere ...
    • Matching of Dental X-rays for Human Forensic Identification 

      Omanovic, Maja (University of Waterloo, 2006)
      Dental records have been widely used as tools in forensic identification. With the vast volume of cases that need to be investigated by forensic odontologists, a move towards a computer-aided dental identification system ...

      UWSpace

      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