Browsing Mathematics (Faculty of) by Title
Now showing items 332-351 of 3013
-
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 ... -
Characterizing Noise in Quantum Systems
(University of Waterloo, 2012-07-26)In practice, quantum systems are not completely isolated from their environment and the resulting system-environment 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, 2013-05-24)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, 2023-07-12)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, 2023-08-24)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) ... -
Chromatic Number of Random Signed Graphs
(University of Waterloo, 2024-05-03)We naturally extend Bollobas's classical method and result about the chromatic number of random graphs chi(G(n,p)) ~ n/log_b(n) (for p constant, b=1/(1-p)) to the chromatic number of random signed graphs to obtain chi(G(n,p,q)) ... -
Circle Graph Obstructions
(University of Waterloo, 2017-08-31)In this thesis we present a self-contained 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 excluded-minor characterization ... -
ClaferMPS: Modeling and Optimizing Automotive Electric/Electronic Architectures Using Domain-Specific Languages
(University of Waterloo, 2017-01-23)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 ... -
Classical and Quantum Algorithms for Isogeny-based Cryptography
(University of Waterloo, 2015-09-30)Isogeny-based cryptography using supersingular elliptic curves --- most prominently, the constructions of De Feo-Jao-Plut --- is one of the few practical candidates for post-quantum public key cryptography. Its formidable ... -
Classical Authenticated Key Exchange and Quantum Cryptography
(University of Waterloo, 2009-03-16)Cryptography plays an integral role in secure communication and is usually the strongest link in the chain of security. Yet security problems abound in electronic communication: spyware, phishing, denial of service, and ...