Browsing Computer Science by Title
Now showing items 806-825 of 1545
-
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 ... -
Measuring the Performance of Code Produced with GitHub Copilot
(University of Waterloo, 2022-12-22)GitHub Copilot is an artificially intelligent programming assistant used by many developers. While a few studies have evaluated the security risks of using Copilot, there has not been any study to show if it aids developers ... -
MECBench: A Framework for Benchmarking Multi-Edge Computing Systems
(University of Waterloo, 2023-01-27)I present MECBench, an extensible benchmarking framework for multi-access edge computing. MECBench is configurable and can emulate networks with different capabilities and conditions, can scale the generated workloads to ... -
Mechanisms for Dynamic Setting with Restricted Allocations
(University of Waterloo, 2011-10-27)Dynamic mechanism design is an important area of multiagent systems, and commonly used in resource allocation where the resources are time related or the agents exist dynamically. We focus on a multiagent model within which ... -
mel - Model Extraction Language and Interpreter
(University of Waterloo, 2021-04-27)There is a large body of research on extracting models from code-related artifacts to enable model-based analyses of large software systems. However, engineers do not always have access to the entire code base of a system: ... -
Memory Power Consumption in Main-Memory Database Systems
(University of Waterloo, 2023-01-06)In main-memory database systems, memory can consume a substantial amount of power, comparable to that of the processors. However, existing memory power-saving mechanisms are much less effective than processor power ... -
Merging Features in Featured Transition Systems
(CEUR, 2015-09)Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, in which feature-specific behaviour is guarded ... -
Merging the Real and the Virtual: An Exploration of Interaction Methods to Blend Realities
(University of Waterloo, 2022-01-20)We investigate, build, and design interaction methods to merge the real with the virtual. An initial investigation looks at spatial augmented reality (SAR) and its effects on pointing with a real mobile phone. A study ... -
Merlynne: Motivating Peer-to-Peer Cognitive Behavioral Therapy with a Serious Game
(ACM, 2021-09)Human-Computer Interaction researchers have explored how online communities can be leveraged for peer support, but general disinterest and a lack of engagement have emerged as substantial barriers to their use in practice. ... -
Meta-learning Performance Prediction of Highly Configurable Systems: A Cost-oriented Approach
(University of Waterloo, 2016-04-27)A key challenge of the development and maintenance of configurable systems is to predict the performance of individual system variants based on the features selected. It is usually infeasible to measure the performance of ... -
Method of Moments in Approximate Bayesian Inference: From Theory to Practice
(University of Waterloo, 2021-07-12)With recent advances in approximate inference, Bayesian methods have proven successful in larger datasets and more complex models. The central problem in Bayesian inference is how to approximate intractable posteriors ... -
A Method to Symbolically Compute Convolution Integrals
(University of Waterloo, 2009-12-22)This thesis presents a method for computing symbolic solutions of a certain class of improper integrals related to convolutions of Mellin transforms. Important integrals that fall into this category are integral transforms ... -
Methods and models for the quantitative analysis of crowd brainstorming
(University of Waterloo, 2014-04-24)Microtask marketplaces provide shortcuts for automating tasks that are otherwise intractable for computers. Creative tasks fall squarely within this definition, and microtask marketplaces have been heavily leveraged to ... -
The Mimetic Approach to Incompressible Surface Tension Flows
(University of Waterloo, 2016-04-27)Water has many aesthetic properties that can have a strong impact on our perceptions. For instance, coffee can bring a feeling of liveliness, rain drops on a window may spark nostalgia, morning dew on a leaf can suggest ... -
Mindless Scroll: An Infinite Scroll Abstract Colouring App for Mindfulness
(University of Waterloo, 2023-09-25)We design and evaluate Mindless Scroll, a mobile application for mindfulness that encourages a slow and deliberate approach to colouring. The app renders an infinite scroll of generated geometric tilings that reveal ... -
Minimum Shared-Power Edge Cut
(University of Waterloo, 2018-08-24)We introduce a problem called the Minimum Shared-Power Edge Cut (MSPEC). The input to the problem is an undirected edge-weighted graph with distinguished vertices s and t, and the goal is to find an s-t cut by assigning ...