Browsing Mathematics (Faculty of) by Title
Now showing items 323-342 of 3004
-
A Case Study of a Very Large Organization
(University of Waterloo, 2012-01-04)Very Large Organization (VLO) is an organization that produces hardware and software, which together form products. VLO granted access to data pertaining to seven different products and their development projects. One ... -
Case Study of Feature-Oriented Requirements Modelling, Applied to an Online Trading System
(University of Waterloo, 2011-01-12)The Feature-Oriented Requirements Modelling (FORM) combines the requirement engineering style structuring of requirements documents with the feature-orientation of the Feature Oriented Software Development, resulting in a ... -
Caterpillars in Erdős–Hajnal
(Elsevier, 2019-05)Let T be a tree such that all its vertices of degree more than two lie on one path; that is, T is a caterpillar subdivision. We prove that there exists ε > 0 such that for every graph G with |V(G)| ≥ 2 not containing T as ... -
Causal Inference and Matrix Completion with Correlated Incomplete Data
(University of Waterloo, 2023-01-19)Missing data problems are frequently encountered in biomedical research, social sciences, and environmental studies. When data are missing completely at random, a complete-case analysis may be the easiest approach. However, ... -
Causal Inference with Covariate Balance Optimization
(University of Waterloo, 2018-12-04)Causal inference is a popular problem in biostatistics, economics, and health science studies. The goal of this thesis is to develop new methods for the estimation of causal effects using propensity scores or inverse ... -
Causal Inference with Measurement Error
(University of Waterloo, 2018-05-04)Causal inference methods have been widely used in biomedical sciences and social sciences, among many others. With different assumptions, various methods have been proposed to conduct causal inference with interpretable ... -
Causal Inference with Recurrent Data via Propensity Score Methods
(University of Waterloo, 2019-01-07)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, 2015-01-15)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, 2013-08-06)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 cell-centred finite volume method for the Poisson problem on non-graded quadtrees with second order accurate gradients
(Elsevier, 2017-02-15)This paper introduces a two-dimensional cell-centred 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, 2010-08-20)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 tableaux-based approaches to reasoning about subsumption in <em>description logics</em> (DLs). In both cases, an ... -
Challenges in epidemiological modelling: from socio-virulence dynamics to HIV interventions in MSM populations.
(University of Waterloo, 2020-09-28)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, 2021-09-27)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 near-wall turbulence subjected to strong stable stratification in open-channel flows
(American Physical Society, 2020-06-05)Characteristics of near-wall turbulence at quasistationarity under strong wall cooling are studied using direct numerical simulation of open-channel 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, 2010-01-21)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 non-universal two-qubit Hamiltonians
(University of Waterloo, 2009-12-16)It is known that almost all 2-qubit gates are universal for quantum computing (Lloyd 1995; Deutsch, Barenco, Eckert 1995). However, an explicit characterization of non-universal 2-qubit gates is not known. We consider a ... -
Characterizing Hardness in Parameterized Complexity
(University of Waterloo, 2007-05-18)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 ...