Now showing items 800-819 of 1558

    • A Machine Learning Approach for RDP-based Lateral Movement Detection 

      Bai, Zhenyu (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 

      Gauch, Martin (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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • Matching Rules and Market Share in an Electronic Trading Platform 

      Wang, Yongliang (University of Waterloo, 2011-01-04)
      In this thesis we study the problem of how to effectively manage and operate a market that attracts trading agents to compete for resources in it. In order to attract more agents to the market, the market needs to have ...
    • Math Information Retrieval using a Text Search Engine 

      Dallas, Fraser (University of Waterloo, 2018-05-18)
      Combining text and mathematics when searching in a corpus with extensive mathematical notation remains an open problem. Recent results for math information retrieval systems on the math and text retrieval task at NTCIR-12, ...
    • MathBrush web application: Design and implementation of an online pen-input interface for computer algebra systems 

      Flood, Connor (University of Waterloo, 2017-08-15)
      Several pen-math systems have been developed for mobile and tablet platforms, most notably by the MathBrush project. With the increasing variety of available devices and platforms used by students, this thesis aims to ...
    • Matrix Polynomials and their Lower Rank Approximations 

      Haraldson, Joseph (University of Waterloo, 2019-08-07)
      This thesis is a wide ranging work on computing a “lower-rank” approximation of a matrix polynomial using second-order non-linear optimization techniques. Two notions of rank are investigated. The first is the rank as the ...
    • Measuring & Mitigating Electric Vehicle Adoption Barriers 

      Tommy, Carpenter (University of Waterloo, 2015-01-19)
      Transitioning our cars to run on renewable sources of energy is crucial to addressing concerns over energy security and climate change. Electric vehicles (EVs), vehicles that are fully or partially powered by batteries ...
    • Measuring Behaviour Interactions between Product-Line Features 

      Atlee, Joanne M.; Fahrenberg, Uli; Legay, Axel (IEEE, 2015-05)
      We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift ...


      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