Browsing Mathematics (Faculty of) by Title
Now showing items 1590-1609 of 2994
-
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 ... -
Mechanism Design For Covering Problems
(University of Waterloo, 2014-01-24)Algorithmic mechanism design deals with efficiently-computable algorithmic constructions in the presence of strategic players who hold the inputs to the problem and may misreport their input if doing so benefits them. ... -
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. ... -
Message Authentication and Recognition Protocols Using Two-Channel Cryptography
(University of Waterloo, 2008-12-02)We propose a formal model for non-interactive message authentication protocols (NIMAPs) using two channels and analyze all the attacks that can occur in this model. Further, we introduce the notion of hybrid-collision ... -
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 ... -
Methods for longitudinal data measured at distinct time points
(University of Waterloo, 2010-09-30)For longitudinal data where the response and time-dependent predictors within each individual are measured at distinct time points, traditional longitudinal models such as generalized linear mixed effects models or ... -
Methods for Merging, Parsimony and Interpretability of Finite Mixture Models
(University of Waterloo, 2022-08-04)To combat the increasing data dimensionality, parsimonious modelling for finite mixture models has risen to be an active research area. These modelling frameworks offer various constraints that can reduce the number of ... -
Methods in Functional Data Analysis: Forecast Evaluation, Robust Serial Dependence Measures, and a Spatial Factor Copula Model
(University of Waterloo, 2023-09-05)With advancements in technology, new types of data have become available, including functional data, which observations in the form of functions or curves rather than scalar or vector-valued quantities. This emerging area ... -
Microcolony Dynamics: Motion from Growth, Order, and Incompressibility
(University of Waterloo, 2023-04-27)Rod-shaped bacteria such as E. coli reproduce by expanding along their long axis and splitting into pairs of daughter cells. If conditions are favourable for growth, they will continue in this way, doubling repeatedly until ... -
Microswimmer Propulsion by Two Steadily Rotating Helical Flagella
(MDPI, 2019-01-01)Many theoretical studies of bacterial locomotion adopt a simple model for the organism consisting of a spheroidal cell body and a single corkscrew-shaped flagellum that rotates to propel the body forward. Motivated by ... -
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 ...