Browsing Mathematics (Faculty of) by Title
Now showing items 2580-2599 of 2994
-
A Spiking Neural Model of Episodic Memory Encoding and Replay in Hippocampus
(University of Waterloo, 2014-12-09)As we experience life, we are constantly creating new memories, and the hippocampus plays an important role in the formation and recall of these episodic memories. This thesis begins by describing the neural mechanisms ... -
A spiking neural network of state transition probabilities in model-based reinforcement learning
(University of Waterloo, 2017-10-23)The development of the field of reinforcement learning was based on psychological studies of the instrumental conditioning of humans and other animals. Recently, reinforcement learning algorithms have been applied to ... -
Split Cuts From Sparse Disjunctions
(University of Waterloo, 2019-01-16)Cutting planes are one of the major techniques used in solving Mixed-Integer Linear Programming (MIP) models. Various types of cuts have long been exploited by MIP solvers, leading to state-of-the-art performance in practice. ... -
SPOT: A Smart Personalized Office Thermal Control System
(University of Waterloo, 2013-05-23)Heating, Ventilation, and Air Conditioning (HVAC) accounts for about half of the energy consumption in buildings. HVAC energy consumption can be reduced by changing the indoor air temperature setpoint, but changing the ... -
SPP Secure Payment Protocol: Protocol Analysis, Implementation and Extensions
(University of Waterloo, 2005)Internet commerce continues to grow rapidly. Over 60% of US households use the internet to shop online. A secure payment protocol is required to support this rapid growth. A new payment protocol was recently invented ... -
Squash: low latency multi-path video streaming using multi-bitrate encoding
(University of Waterloo, 2023-02-10)The demand for low latency video streaming has dramatically increased as live video streaming applications, such as Twitch and Youtube Live, are becoming more popular. According to the 2021 Bitmovin video developer report, ... -
Stability analysis by contraction principle for impulsive systems with infinite delays
(Elsevier, 2020-03)This paper studies a class of quasi-linear impulsive systems of functional differential equations with infinite time delay. By employing the contraction principle, several criteria on uniform stability and asymptotic ... -
Stability and Boundedness of Impulsive Systems with Time Delay
(University of Waterloo, 2007-04-13)The stability and boundedness theories are developed for impulsive differential equations with time delay. Definitions, notations and fundamental theory are presented for delay differential systems with both fixed and ... -
Stability and Control of Caputo Fractional Order Systems
(University of Waterloo, 2018-01-08)As pointed out by many researchers in the last few decades, differential equations with fractional (non-integer) order differential operators, in comparison with classical integer order ones, have apparent advantages in ... -
Stability and Hopf Bifurcation Analysis of Hopfield Neural Networks with a General Distribution of Delays
(University of Waterloo, 2011-12-16)We investigate the linear stability and perform the bifurcation analysis for Hopfield neural networks with a general distribution of delays, where the neurons are identical. We start by analyzing the scalar model and show ... -
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 ...