Browsing Mathematics (Faculty of) by Title
Now showing items 1580-1599 of 2994
-
Maximal Operators in R^2
(University of Waterloo, 2007-08-13)A maximal operator over the bases $\mathcal{B}$ is defined as \[Mf(x) = \sup_{x \in B \in \mathcal{B}} \frac{1}{|B|}\int_B |f(y)|dy. \] The boundedness of this operator can be used in a number of applications including ... -
Maximum likelihood estimation of first-passage structural credit risk models correcting for the survivorship bias
(Elsevier, 2019-03)The survivorship bias in credit risk modeling is the bias that results in parameter estimates when the survival of a company is ignored. We study the statistical properties of the maximum likelihood estimator (MLE) accounting ... -
Mean Curvature Flow in Euclidean spaces, Lagrangian Mean Curvature Flow, and Conormal Bundles
(University of Waterloo, 2011-08-10)I will present the mean curvature flow in Euclidean spaces and the Lagrangian mean curvature flow. We will first study the mean curvature evolution of submanifolds in Euclidean spaces, with an emphasis on the case of ... -
Mean field analysis gives accurate predictions of the behaviour of large networks of sparsely coupled and heterogeneous neurons
(BioMed Central, 2014-07-21)Large networks of integrate-and-fire (IF) model neurons are often used to simulate and study the behaviour of biologically realistic networks. However, to fully study the large network behaviour requires an exploration of ... -
Mean-field models for heterogeneous networks of two-dimensional integrate and fire neurons
(Frontiers Media, 2017-12-27)We analytically derive mean-field models for all-to-all coupled networks of heterogeneous, adapting, two-dimensional integrate and fire neurons. The class of models we consider includes the Izhikevich, adaptive exponential ... -
Measurement Error and Misclassification in Interval-Censored Life History Data
(University of Waterloo, 2007-05-04)In practice, data are frequently incomplete in one way or another. It can be a significant challenge to make valid inferences about the parameters of interest in this situation. In this thesis, three problems involving ... -
Measurement System Assessment Studies for Multivariate and Functional Data
(University of Waterloo, 2024-04-15)A measurement system analysis involves understanding and quantifying the variability in measurement data attributed to the measurement system. A primary goal of such analyses is to assess the measurement system's impact ... -
Measurements of quantum fields and the Unruh effect: a particle detector perspective
(University of Waterloo, 2021-11-19)This thesis is devoted to the study of detector models in quantum field theory. A detector model aims to describe a hypothetical physical situation, realistic or not, in which a measurement is performed on a quantum field ... -
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 ... -
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 ...