Browsing Mathematics (Faculty of) by Title
Now showing items 1610-1629 of 3027
-
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 ... -
Meta-Solving via Machine Learning for Automated Reasoning
(University of Waterloo, 2024-05-30)Automated reasoning (AR) and machine learning (ML) are two of the foundational pillars of artificial intelligence (AI) and yet have developed largely independently. The integration of these two sub-fields holds the tremendous ... -
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 ... -
Mind the GAP: Amenability Constants and Arens Regularity of Fourier Algebras
(University of Waterloo, 2023-08-28)This thesis aims to investigate properties of algebras related to the Fourier algebra $A(G)$ and the Fourier-Stieltjes algebra $B(G)$, where $G$ is a locally compact group. For a Banach algebra $\cA$ there are two natural ... -
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 ...