Browsing Computer Science by Title
Now showing items 770-789 of 1509
-
A Machine Learning Approach for RDP-based Lateral Movement Detection
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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 ...