Now showing items 1317-1336 of 2605

    • Mapping BoxTalk to Promela Model 

      Peng, Yuan (University of Waterloo, 2007-06-13)
      A telecommunication feature is an optional or incremental unit of functionality, such as call display (CD) and call forwarding (CF). A feature interaction occurs when, in the presence of other features, the actual behavior ...
    • Mapping Template Semantics to SMV 

      Lu, Yun (University of Waterloo, 2004)
      Template semantics is a template-based approach to describing the semantics of model-based notations, where a pre-defined template captures the notations' common semantics, and parameters specify the notations' distinct ...
    • Marginal Causal Sub-Group Analysis with Incomplete Covariate Data 

      Cuerden, Meaghan (University of Waterloo, 2019-01-11)
      Incomplete data arises frequently in health research studies designed to investigate the causal relationship between a treatment or exposure, and a response of interest. Statistical methods for conditional causal effect ...
    • Marginal Methods for Multivariate Time to Event Data 

      Wu, Longyang (University of Waterloo, 2012-04-30)
      This thesis considers a variety of statistical issues related to the design and analysis of clinical trials involving multiple lifetime events. The use of composite endpoints, multivariate survival methods with dependent ...
    • Markovian Approaches to Joint-life Mortality with Applications in Risk Management 

      Ji, Min (University of Waterloo, 2011-08-16)
      The combined survival status of the insured lives is a critical problem when pricing and reserving insurance products with more than one life. Our preliminary experience examination of bivariate annuity data from a large ...
    • Martingale Property and Pricing for Time-homogeneous Diffusion Models in Finance 

      Cui, Zhenyu (University of Waterloo, 2013-08-09)
      The thesis studies the martingale properties, probabilistic methods and efficient unbiased Monte Carlo simulation methods for various time-homogeneous diffusion models commonly used in mathematical finance. Some of the ...
    • Mass Spectrometry Based De Novo Peptide Sequencing Error Correction 

      Yao, Chenyu (University of Waterloo, 2017-09-26)
      Extensive study has been conducted on the identification of peptide sequences with mass spectrometry. With the development of computer hardware and algorithms, de novo sequencing has drawn attention from researchers for ...
    • The Master Equality Polyhedron: Two-Slope Facets and Separation Algorithm 

      Wang, Xiaojing (University of Waterloo, 2015-08-11)
      This thesis presents our findings about the Master Equality Polyhedron (MEP), an extension of Gomory's Master Group Polyhedron. We prove a theorem analogous to Gomory and Johnson's two-slope theorem for the case of the ...
    • The Matching Augmentation Problem: A 7/4-Approximation Algorithm 

      Dippel, Jack (University of Waterloo, 2019-05-23)
      We present a 7/4 approximation algorithm for the matching augmentation problem (MAP): given a multi-graph with edges of cost either zero or one such that the edges of cost zero form a matching, find a 2-edge connected ...
    • Matching fluid simulation elements to surface geometry and topology 

      Brochu, Tyson; Batty, Christopher; Bridson, Robert (Association for Computing Machinery, 2010-07)
      We introduce an Eulerian liquid simulation framework based on the Voronoi diagram of a potentially unorganized collection of pressure samples. Constructing the simulation mesh in this way allows us to place samples anywhere ...
    • Matching of Dental X-rays for Human Forensic Identification 

      Omanovic, Maja (University of Waterloo, 2006)
      Dental records have been widely used as tools in forensic identification. With the vast volume of cases that need to be investigated by forensic odontologists, a move towards a computer-aided dental identification system ...
    • Matching Rules and Market Share in an Electronic Trading Platform 

      Wang, Yongliang (University of Waterloo, 2011-01-04)
      In this thesis we study the problem of how to effectively manage and operate a market that attracts trading agents to compete for resources in it. In order to attract more agents to the market, the market needs to have ...
    • Matchings and Covers in Hypergraphs 

      Szestopalow, Michael (University of Waterloo, 2016-05-17)
      In this thesis, we study three variations of matching and covering problems in hypergraphs. The first is motivated by an old conjecture of Ryser which says that if $\mcH$ is an $r$-uniform, $r$-partite hypergraph which ...
    • Matchings and games on networks 

      Farczadi, Linda (University of Waterloo, 2015-08-20)
      We investigate computational aspects of popular solution concepts for different models of network games. In chapter 3 we study balanced solutions for network bargaining games with general capacities, where agents can ...
    • Matchings and Representation Theory 

      Lindzey, Nathan (University of Waterloo, 2018-12-20)
      In this thesis we investigate the algebraic properties of matchings via representation theory. We identify three scenarios in different areas of combinatorial mathematics where the algebraic structure of matchings gives ...
    • Math and the Fountain of Youth 

      Sadria, Mehrshad (University of Waterloo, 2020-12-10)
      Ageing is associated with impairments in a number of regulatory processes, including in energy dysregulation that affects multiple metabolic pathways and in the circadian rhythms. In the management of metabolic stress ...
    • Math Information Retrieval using a Text Search Engine 

      Dallas, Fraser (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 

      Flood, Connor (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 ...
    • Mathematical approaches to the study of cellular heterogeneity, treatment design, and immune response in cancer 

      Pellowe, Moriah Jane (University of Waterloo, 2020-01-09)
      One of the complicating factors in treating cancer patients is the different levels of heterogeneity involved. In this thesis, we use a combination of mathematical methods (in silico experiments) and experimental data (in ...
    • Mathematical Aspects of Scalar-Tensor Field Theories 

      Horndeski, Gregory Walter (University of Waterloo, 2016-09-27)
      This thesis is based on a study of Lagrange scalar densities which are, in general, concomitants of the metric tensor gij (and its first and second derivatives) together with a scalar field ∅ (and its first derivative). ...


      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