Browsing Mathematics (Faculty of) by Title
Now showing items 2606-2625 of 3006
-
Stability of Impulsive Switched Systems in Two Measures
(University of Waterloo, 2010-09-28)This thesis introduces the notion of using stability analysis in terms of two measures for impulsive switched systems. Impulsive switched systems are defined in the context of hybrid system theory and the motivation for ... -
Stability of Nonlinear Functional Differential Equations by the Contraction Mapping Principle
(University of Waterloo, 2016-08-29)Fixed point theory has a long history of being used in nonlinear differential equations, in order to prove existence, uniqueness, or other qualitative properties of solutions. However, using the contraction mapping ... -
A Stability Theorem for Matchings in Tripartite 3-Graphs
(Cambridge University Press, 2018-04-02)It follows from known results that every regular tripartite hypergraph of positive degree, with n vertices in each class, has matching number at least n/2. This bound is best possible, and the extremal configuration is ... -
Stability, bifurcation and phase-locking of time-delayed excitatory-inhibitory neural networks
(AIMS Press, 2020-11)We study a model for a network of synaptically coupled, excitable neurons to identify the role of coupling delays in generating different network behaviors. The network consists of two distinct populations, each of which ... -
A Stabilizer Formalism for Infinitely Many Qubits
(University of Waterloo, 2023-01-27)The study of infinite dimensional quantum systems has been an active area of discussion in quantum information theory, particularly in settings where certain properties are shown to be not attainable by any finite dimensional ... -
Stabilizing Weighted Graphs
(University of Waterloo, 2017-08-29)An edge-weighted graph G = (V,E) is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory ... -
Stable Local Volatility Calibration Using Kernel Splines
(University of Waterloo, 2008-10-01)This thesis proposes an optimization formulation to ensure accuracy and stability in the local volatility function calibration. The unknown local volatility function is represented by kernel splines. The proposed ... -
The Star Unfolding from a Geodesic Curve
(University of Waterloo, 2014-11-06)An unfolding of a polyhedron P is obtained by `cutting' the surface of P in such a way that it can be flattened into the plane into a single polygon. For most practical and theoretic applications, it is desirable for an ... -
State Transfer & Strong Cospectrality in Cayley Graphs
(University of Waterloo, 2022-08-09)This thesis is a study of two graph properties that arise from quantum walks: strong cospectrality of vertices and perfect state transfer. We prove various results about these properties in Cayley graphs. We consider ... -
State-dependent Modeling of Default Rates
(University of Waterloo, 2021-09-29)Risk-weight function is the most popular formula for banking regulations used to calculate the amount of backup deposit that banks need to hold in order to bear extraordinary losses. The model behind the formula was ... -
Static Analysis for Efficient Affine Arithmetic on GPUs
(University of Waterloo, 2008-01-29)Range arithmetic is a way of calculating with variables that hold ranges of real values. This ability to manage uncertainty during computation has many applications. Examples in graphics include rendering and surface ... -
Static and Dynamic Modelling of Credit Default Risk: Tails, Moments, and Calibration
(University of Waterloo, 2014-08-26)Credit risk modelling can take many different approaches. Each method has its strengths and weaknesses and studying a variety of them can help find new ways of performing credit risk analysis. We present here three different ... -
Static Conflict Analysis of Transaction Programs
(University of Waterloo, 2000)Transaction programs are comprised of read and write operations issued against the database. In a shared database system, one transaction program conflicts with another if it reads or writes data that another transaction ... -
Static Profiling of Alloy Models
(IEEE, 2023-02)Modeling of software-intensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ... -
Static Transformation of Power Consumption for Program Tracing and Software Attestation
(University of Waterloo, 2017-01-12)This thesis presents methods to statically modify programs at compile-time to improve the effectiveness of power consumption based program analyses. Two related applications are considered, and algorithms are introduced ... -
Static Types with Less Syntax: Locus Types
(University of Waterloo, 2017-05-01)Optionally and gradually-typed languages allow types to be introduced to dynamic code as needed. While this approach allows some gradual movement from dynamically to statically-typed code, it requires rewriting ... -
Statistical Analysis of EEG Phase Shift Events
(University of Waterloo, 2014-10-02)This thesis develops statistical methods for the identification, and analysis of phase shift events, i.e. sudden changes in the timing relationship between coupled oscillators. Phase shifts events occur in many complex ... -
A Statistical Analysis of the Aggregation of Crowdsourced Labels
(University of Waterloo, 2015-10-29)Crowdsourcing, due to its inexpensive and timely nature, has become a popular method of collecting data that is difficult for computers to generate. We focus on using this method of human computation to gather labels for ... -
Statistical Analysis with Non-probability Survey Samples
(University of Waterloo, 2020-09-25)The goal of this thesis is to develop inferential procedures with non-probability survey samples. In recent years, the use of non-probability survey samples has become one of the most important topics in the area. Contrast ... -
Statistical Inference and Pricing for Regime Switching Models in Finance and Insurance
(University of Waterloo, 2016-09-02)This thesis studies the estimation, goodness-of-fit testing, pricing and sampling problems for regime switching models, which are popularly used in financial markets. Specifically, we consider such models whose distributions ...