Browsing Mathematics (Faculty of) by Title
Now showing items 693-712 of 2985
-
Digital Signature Schemes Based on Hash Functions
(University of Waterloo, 2017-04-19)Cryptographers and security experts around the world have been awakened to the reality that one day (potentially soon) large-scale quantum computers may be available. Most of the public-key cryptosystems employed today on ... -
Digital Signcryption
(University of Waterloo, 2005)Signcryption is a new cryptographic primitive which simultaneously provides both confidentiality and authenticity. Previously, these two goals had been considered separately, with encryption schemes providing confidentiality ... -
Digraph Algebras over Discrete Pre-ordered Groups
(University of Waterloo, 2013-01-25)This thesis consists of studies in the separate fields of operator algebras and non-associative algebras. Two natural operator algebra structures, A ⊗_max B and A ⊗_min B, exist on the tensor product of two given unital ... -
Digraphs with All Induced Directed Cycles of the Same Length are not → χ -Bounded
(2022-10-07)For t > 2, let us call a digraph D t-chordal if all induced directed cycles in D have length equal to t. In an earlier paper, we asked for which t it is true that t-chordal graphs with bounded clique number have bounded ... -
Dilation methods in semigroup dynamics and noncommutative convexity
(University of Waterloo, 2022-08-25)Since seminal work of Stinespring, Arveson, and others, dilation theory has been an indispensable tool for understanding operator algebras. Dilations are fundamental to the representation theory of operator systems and ... -
Dimensional dependence of the Stokes-Einstein relation and its violation
(American Institute of Physics, 2013-10-28)We generalize to higher spatial dimensions the Stokes-Einstein relation (SER) as well as the leading correction to diffusivity in finite systems with periodic boundary conditions, and validate these results with numerical ... -
Dimensionality Reduction of the Chemical Master Equation
(University of Waterloo, 2019-01-11)The dynamics of biochemical systems show significant variability when the reactant populations are small. Standard approaches via deterministic modeling exclude such variability. A well established stochastic model, the ... -
Direct and Expressive Type Inference for the Rank 2 Fragment of System F
(University of Waterloo, 2007-09-20)This thesis develops a semiunification-based type inference procedure for the rank 2 fragment of System F, with an emphasis on practical considerations for the adoption of such a procedure into existing programming ... -
Direct Numerical Simulation of Salt Fingering Gravity Currents and Double-Diffusive Rayleigh-Taylor Instabilities
(University of Waterloo, 2017-01-18)Double-diffusion refers to a class of instabilities that develops when the density of a fluid depends on two components with different diffusivities. For example, when warm, salty water is layered over cool, fresh water, ... -
Direct Numerical Simulations of the Degeneration and Shear Instability of Large and Small Amplitude Basin Scale Internal Waves at Varied Aspect Ratios
(University of Waterloo, 2018-08-14)This thesis presents high resolution simulations of the degeneration and shear instability of standing waves, or seiches, of varying amplitudes and aspect ratios in a continuously stratified fluid. It is well known that ... -
Direct User Calls from the Kernel: Design and Implementation
(University of Waterloo, 2007-09-25)Traditional, general-purpose operating systems strictly separate user processes from the kernel. Processes can only communicate with the kernel through system calls. As a means to ensure system security, system calls ... -
Directional Control of Generating Brownian Path under Quasi Monte Carlo
(University of Waterloo, 2012-09-10)Quasi-Monte Carlo (QMC) methods are playing an increasingly important role in computational finance. This is attributed to the increased complexity of the derivative securities and the sophistication of the financial models. ... -
Directly Learning Tractable Models for Sequential Inference and DecisionMaking
(University of Waterloo, 2016-06-21)Probabilistic graphical models such as Bayesian networks and Markov networks provide a general framework to represent multivariate distributions while exploiting conditional independence. Over the years, many approaches ... -
Disasters in Abstracting Combinatorial Properties of Linear Dependence
(University of Waterloo, 2020-05-15)A notion of geometric structure can be given to a set of points without using a coordinate system by instead describing geometric relations between finite combinations of elements. The fundamental problem is to then ... -
The Discontinuous Galerkin Method Applied to Problems in Electromagnetism
(University of Waterloo, 2012-04-23)The discontinuous Galerkin method (DGM) is applied to a number of problems in computational electromagnetics. This is achieved by obtaining numerical solutions to Maxwell's equations using the DGM. The aim of these ... -
The discontinuous Galerkin method on Cartesian grids with embedded geometries: spectrum analysis and implementation for Euler equations
(University of Waterloo, 2012-09-21)In this thesis, we analyze theoretical properties of the discontinuous Galerkin method (DGM) and propose novel approaches to implementation with the aim to increase its efficiency. First, we derive explicit expressions ... -
Discovering Domain Orders through Order Dependencies
(University of Waterloo, 2021-04-28)Most real-world data come with explicitly defined domain orders; e.g., lexicographic order for strings, numeric for integers, and chronological for time. Our goal is to discover implicit domain orders that we do not already ... -
Discovering Play Store Reviews Related to Specific Android App Issues
(University of Waterloo, 2018-09-20)Mobile App reviews may contain information relevant to developers. Developers can investigate these reviews to see what users of their apps are complaining about. However, the huge volume of incoming reviews is impractical ... -
Discovering Protein Sequence-Structure Motifs and Two Applications to Structural Prediction
(University of Waterloo, 2004)This thesis investigates the correlations between short protein peptide sequences and local tertiary structures. In particular, it introduces a novel algorithm for partitioning short protein segments into clusters of ... -
Discovery of New Features for Peptide Sequencing with Mass Spectrometry
(University of Waterloo, 2017-09-21)Bioinformaticians have been working on peptide sequencing with tandem mass spectrometry (MS/MS) for decades. However, the results are still not perfect. A lot of research have been carried on two peptide sequencing methods, ...