Browsing Mathematics (Faculty of) by Title
Now showing items 2600-2619 of 3004
-
Stability and Well-posedness of a Nonlinear Railway Track Model
(Institute of Electrical and Electronics Engineers, 2018-06-22)Railway tracks rest on a foundation known for exhibiting nonlinear viscoelastic behavior. Railway track deflections are modeled by a semilinear partial differential equation. This paper studies the stability of solutions ... -
Stability of Coastal Jets: Linear Stability Calculations and Nonlinear Simulations
(University of Waterloo, 2016-05-16)In this thesis, a new numerical ocean model, Tempest, has been developed for application to simple process studies of large-scale ocean dynamics. This model allows for hydrostatic, non-hydrostatic, quasi-hydrostatic, and ... -
Stability of Connected Autonomous Vehicle Networks with Commensurate Time Delays
(IEEE, 2021-05)In this paper, we study the stability of Connected Autonomous Vehicle Networks (CAVN) with commensurate time delays under the assumption that communication time delays increase as the distance between the vehicles increases. ... -
Stability of Hybrid Singularly Perturbed Systems with Time Delay
(University of Waterloo, 2006)Hybrid singularly perturbed systems (SPSs) with time delay are considered and exponential stability of these systems is investigated. This work mainly covers switched and impulsive switched delay SPSs . Multiple ... -
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 ...