Browsing Mathematics (Faculty of) by Title
Now showing items 2566-2585 of 2993
-
Specification Based Bug Detection for Embedded Software
(University of Waterloo, 2014-11-05)Traditional compilers do not automatically analyze processor specifications, thousands of pages of which are available for modern processors. The specifications describe constraints and requirements for processors, and ... -
Spectral analysis of internal waves generated by tide-topography interaction
(University of Waterloo, 2007-08-21)Internal waves in the deep ocean play a deciding role in processes such as climate change and nutrient cycles. Winds and tidal currents over topography feed energy into internal waves at large scales; through nonlinear ... -
Spectral Analysis of Laplacians on Certain Fractals
(University of Waterloo, 2007-12-06)Surprisingly, Fourier series on certain fractals can have better convergence properties than classical Fourier series. This is a result of the existence of gaps in the spectrum of the Laplacian. In this work we prove a ... -
A Spectral Approach to Network Design and Experimental Design
(University of Waterloo, 2020-12-15)Over the last decade, the spectral sparsification technique has become a powerful tool in designing fast graph algorithms for various problems with numerous applications. In this thesis, we extend this spectral approach, ... -
Spectral Aspects of Cocliques in Graphs
(University of Waterloo, 2014-05-01)This thesis considers spectral approaches to finding maximum cocliques in graphs. We focus on the relation between the eigenspaces of a graph and the size and location of its maximum cocliques. Our main result concerns ... -
Spectral Energy Balance in Convective Boundary Layers
(University of Waterloo, 2014-12-19)In his pioneering 1941 papers, Kolmogorov derived that the energy spectrum follows a universial form within a range of wavenumbers removed from both the forcing and dissipation and depending only on the wavenumber and the ... -
Spectral energy balance in dry convective boundary layers
(Taylor and Francis, 2015-04)Three-dimensional large-eddy simulations (LES) of the convective boundary layer over a domain of approximately 6 km are performed with the UCLA LES model. Simulations are forced with a constant surface heat flux and ... -
Spectral Properties of Structured Kronecker Products and Their Applications
(University of Waterloo, 2019-05-01)We study certain spectral properties of some fundamental matrix functions of pairs of symmetric matrices. Our study includes eigenvalue inequalities and various interlacing properties of eigenvalues. We also discuss the ... -
Spectral properties of tensor products of channels
(Elsevier, 2018-09-15)We investigate spectral properties of the tensor products of two completely positive and trace preserving linear maps (also known as quantum channels) acting on matrix algebras. This leads to an important question of when ... -
Spectral Ranking and Unsupervised Feature Selection for Point, Collective and Contextual Anomaly Detection
(University of Waterloo, 2014-09-03)Anomaly detection problems can be classified into three categories: point anomaly detection, collective anomaly detection and contextual anomaly detection. Many algorithms have been devised to address anomaly detection of ... -
Spectrum and Retention Time Prediction for N-Glycopeptides Using Deep Learning
(University of Waterloo, 2023-08-28)Sequencing proteins and glycans have important clinical applications, as glycosylation is shown to play a significant role in cellular communication and immune response. Certain glycans are linked to the diagnosis of ... -
Spectrum of Cuscuton Bounce and Cosmological Parameter Inference Using Dark Sirens
(University of Waterloo, 2021-08-25)Over the last couple of decades, cosmology has become an exciting area to study. Technological developments in both the computational and observational fronts have propelled cosmology into the limelight of modern physics. ... -
SPIDER: Reconstructive Protein Homology Search with De Novo Sequencing Tags
(University of Waterloo, 2011-04-21)In the field of proteomic mass spectrometry, proteins can be sequenced by two independent yet complementary algorithms: de novo sequencing which uses no prior knowledge and database search which relies upon existing protein ... -
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 ...