Browsing Mathematics (Faculty of) by Title
Now showing items 326345 of 2985

Causal Inference with Recurrent Data via Propensity Score Methods
(University of Waterloo, 20190107)Propensity score methods are increasingly being used to reduce estimation bias of treatment effects for observational studies. Previous research has shown that propensity score methods consistently estimate the marginal ... 
Causal Sensitivity Analysis for Decision Trees
(University of Waterloo, 20150115)Ventilator assignments in the pediatric intensive care unit (PICU) are made by medical experts; however, for some patients the relationship between ventilator assignment and patient health status is not well understood. ... 
CBKR+: A Conceptual Framework for Improving Corpus Based Knowledge Representation
(University of Waterloo, 2006)In Corpus Based Knowledge Representation [CBKR], limited association capability, that is, no criteria in place to extract substantial associations in the corpus, and lack of support for hypothesis testing and prediction ... 
Cell Path Reconstruction Using 3D Digital Inpainting
(University of Waterloo, 20130806)Digital inpainting is the reconstruction of a missing or damaged region in a digital image. Intensity values in the missing region are approximated using information near the boundary of the region. Some applications include ... 
A cellcentred finite volume method for the Poisson problem on nongraded quadtrees with second order accurate gradients
(Elsevier, 20170215)This paper introduces a twodimensional cellcentred finite volume discretization of the Poisson problem on adaptive Cartesian quadtree grids which exhibits second order accuracy in both "the solution and its gradients, ... 
Cerebrospinal Fluid Pulsations and Aging Effects in Mathematical Models of Hydrocephalus
(University of Waterloo, 20100820)In this Thesis we develop mathematical models to analyze two proposed causative mechanisms for the ventricular expansion observed in hydrocephalus: cerebrospinal fluid pulsations and small transmantle pressure gradients. To ... 
CGU: A common graph utility for DL Reasoning and Conjunctive Query Optimization
(University of Waterloo, 2005)We consider the overlap between reasoning involved in <em>conjunctive query optimization</em> (CQO) and in tableauxbased approaches to reasoning about subsumption in <em>description logics</em> (DLs). In both cases, an ... 
Challenges in epidemiological modelling: from sociovirulence dynamics to HIV interventions in MSM populations.
(University of Waterloo, 20200928)The spread of infectious diseases is one of the biggest challenges that public health faces nowadays. Their control is often not an easy task. Social behaviour plays an important role in disease prevention. However, the ... 
Change Point Analysis in Piecewise Polynomial Signals Using Trend Filtering
(University of Waterloo, 20210927)Change point analysis, an active area of research in many fields, including statistics, has attracted a lot of attention in recent years. The focus of this thesis is change point detection, where the purpose is to estimate ... 
Character Polynomials and Lagrange Inversion
(University of Waterloo, 2005)In this thesis, we investigate two expressions for symmetric group characters: Kerov?s universal character polynomials and Stanley?s character polynomials. We give a new explicit form for Kerov?s polynomials, which ... 
Characteristics of quasistationary nearwall turbulence subjected to strong stable stratification in openchannel flows
(American Physical Society, 20200605)Characteristics of nearwall turbulence at quasistationarity under strong wall cooling are studied using direct numerical simulation of openchannel flow. It is shown that if turbulence reaches quasistationarity, then the ... 
A Characterization of LYM and Rank Logarithmically Concave Partially Ordered Sets and Its Applications
(University of Waterloo, 20100121)The LYM property of a finite standard graded poset is one of the central notions in Sperner theory. It is known that the product of two finite standard graded posets satisfying the LYM properties may not have the LYM ... 
Characterization of nonuniversal twoqubit Hamiltonians
(University of Waterloo, 20091216)It is known that almost all 2qubit gates are universal for quantum computing (Lloyd 1995; Deutsch, Barenco, Eckert 1995). However, an explicit characterization of nonuniversal 2qubit gates is not known. We consider a ... 
Characterizing Hardness in Parameterized Complexity
(University of Waterloo, 20070518)Parameterized complexity theory relaxes the classical notion of tractability and allows to solve some classically hard problems in a reasonably efficient way. However, many problems of interest remain intractable in the ... 
Characterizing Noise in Quantum Systems
(University of Waterloo, 20120726)In practice, quantum systems are not completely isolated from their environment and the resulting systemenvironment interaction can lead to information leakage from the system. As a result, if a quantum system is to be ... 
Characterizing User Search Intent and Behavior for Click Analysis in Sponsored Search
(University of Waterloo, 20130524)Interpreting user actions to better understand their needs provides an important tool for improving information access services. In the context of organic Web search, considerable effort has been made to model user behavior ... 
Characterizing, optimizing and backtesting metrics of risk
(University of Waterloo, 20230712)Measures of risk and riskmetrics were proposed to quantify the risks people are faced with in financial, statistical, and economic practice. They are widely discussed and studied by literature in the context of financial ... 
Chosen Ciphertext Security from Zero Knowledge Proofs
(University of Waterloo, 20230824)When designing encryption schemes, there are different levels of security that one can achieve. Of the two main security levels, cryptographers generally strive for the stronger notion of chosen ciphertext attack (CCA) ... 
Circle Graph Obstructions
(University of Waterloo, 20170831)In this thesis we present a selfcontained proof of Bouchet’s characterization of the class of circle graphs. The proof uses signed graphs and is analogous to Gerards’ graphic proof of Tutte’s excludedminor characterization ... 
ClaferMPS: Modeling and Optimizing Automotive Electric/Electronic Architectures Using DomainSpecific Languages
(University of Waterloo, 20170123)Modern automotive electric/electronic (E/E) architectures are growing to the point where architects can no longer manually predict the effects of their design decisions. Thus, in addition to applying an architecture reference ...