Now showing items 1577-1596 of 2998

    • Matrix analytic methods for computations in risk theory 

      Kim, Sung Soo (University of Waterloo, 2019-01-15)
      The introduction of matrix analytic methods in risk theory has marked a significant progress in computations in risk theory. Matrix analytic methods have proven to be powerful computational tools for numerically analyzing ...
    • Matrix Formulations of Matching Problems 

      Webb, Kerri (University of Waterloo, 2000)
      Finding the maximum size of a matching in an undirected graph and finding the maximum size of branching in a directed graph can be formulated as matrix rank problems. The Tutte matrix, introduced by Tutte as a representation ...
    • Matrix Polynomials and their Lower Rank Approximations 

      Haraldson, Joseph (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 ...
    • Matrix-Variate Regression with Measurement Error 

      Fang, Junhan (University of Waterloo, 2020-09-28)
      Matrix-variate regression models are useful for featuring data with a matrix structure, such as brain imaging data. However, those methods do not apply to data with measurement error or misclassification. While mismeasurement ...
    • Maximal ideal space techniques in non-selfadjoint operator algebras 

      Ramsey, Christopher (University of Waterloo, 2013-04-26)
      The following thesis is divided into two main parts. In the first part we study the problem of characterizing algebras of functions living on analytic varieties. Specifically, we consider the restrictions M_V of the ...
    • Maximal Operators in R^2 

      Choi, Keon (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 

      Amaya, Diego; Boudreault, Mathieu; McLeish, Don L. (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 

      Leung, Chun Ho (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 

      Nicola, Wilten; Njap, Felix; Ferguson, Katie; Skinner, Frances; Campbell, Sue Ann (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 

      Nicola, Wilten; Campbell, Sue Ann (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 

      White, Bethany Joy Giddings (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 

      Lashkari, Banafsheh (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 

      de Ramon Rivera, Jose (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 

      Tommy, Carpenter (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 

      Atlee, Joanne M.; Fahrenberg, Uli; Legay, Axel (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 

      Erhabor, Daniel (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 

      Naman, Omar (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 

      Minooei, Hadi (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 

      Yu, Yuxin (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 

      Hackman, Robert (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: ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages