Browsing Mathematics (Faculty of) by Title
Now showing items 2384-2403 of 2993
-
Ruin Analysis in a Discrete-time Sparre Andersen Model with External Financial Activities and Random Dividends
(University of Waterloo, 2013-08-28)In this thesis, we consider a risk model which incorporates multiple threshold levels characterizing an insurer's minimal capital requirement, dividend paying situations, and external financial activities. Our model is ... -
SafeDS: Safe Data Structures for C++
(University of Waterloo, 2022-09-01)Memory corruption vulnerabilities in low-level languages such as C/C++ have been a problem in computer security for a long time. Accordingly, there has been a wide variety of proposed solutions for detecting or preventing ... -
Safety-Critical Control for Dynamical Systems under Uncertainties
(University of Waterloo, 2024-02-15)Control barrier functions (CBFs) and higher-order control barrier functions (HOCBFs) have shown great success in addressing control problems with safety guarantees. These methods usually find the next safe control input ... -
Safety-Oriented Stability Biases for Continual Learning
(University of Waterloo, 2020-01-24)Continual learning is often confounded by “catastrophic forgetting” that prevents neural networks from learning tasks sequentially. In the case of real world classification systems that are safety-validated prior to ... -
Sample size and robust marginal methods for cluster-randomized trials with censored event times
(Wiley, 2015-03-15)In cluster-randomized trials, intervention effects are often formulated by specifying marginal models, fitting them under a working independence assumption, and using robust variance estimates to address the association ... -
Sampling-based Predictive Database Buffer Management
(University of Waterloo, 2023-09-25)This thesis presents a database buffer caching policy that uses information about long- running scans to estimate future accesses. These estimates are used to approximate the optimal caching policy, which requires knowledge ... -
Sandwich and probe problems for excluding paths
(Elsevier, 2018-12-31)Let Pk denote an induced path on k vertices. For k ≥ 5, we show that the Pk-free sandwich problem, partitioned probe problem, and unpartitioned probe problem are NP-complete. For k ≤ 4, it is known that the Pk-free sandwich ... -
The Sandwich Problem for Decompositions and Almost Monotone Properties
(Springer Nature, 2018)We consider the graph sandwich problem and introduce almost monotone properties, for which the sandwich problem can be reduced to the recognition problem. We show that the property of containing a graph in C as an induced ... -
Santa Claus, Machine Scheduling and Bipartite Hypergraphs
(University of Waterloo, 2020-01-10)Here we discuss two related discrete optimization problems, a prominent problem in scheduling theory, makespan minimization on unrelated parallel machines, and the other a fair allocation problem, the Santa Claus problem. ... -
Saving Electrical Energy in Commercial Buildings
(University of Waterloo, 2012-08-27)With the commercial and institutional building sectors using approximately 29% and 34% of all electrical energy consumption in Canada and the United States, respectively, saving electrical energy in commercial and institutional ... -
Scala with Explicit Nulls
(University of Waterloo, 2019-12-20)The Scala programming language unifies the object-oriented and functional styles of programming. One common source of errors in Scala programs is null references. In this dissertation, I present a modification to the Scala ... -
Scalability aspects of data cleaning
(University of Waterloo, 2021-01-27)Data cleaning has become one of the important pre-processing steps for many data science, data analytics, and machine learning applications. According to a survey by Gartner, more than 25% of the critical data in the world's ... -
Scalable and Highly Available Database Systems in the Cloud
(University of Waterloo, 2013-01-10)Cloud computing allows users to tap into a massive pool of shared computing resources such as servers, storage, and network. These resources are provided as a service to the users allowing them to “plug into the cloud” ... -
Scalable and Holistic Qualitative Data Cleaning
(University of Waterloo, 2017-08-14)Data quality is one of the most important problems in data management, since dirty data often leads to inaccurate data analytics results and wrong business decisions. Poor data across businesses and the government cost the ... -
Scalable and Reliable Middlebox Deployment
(University of Waterloo, 2020-05-28)Middleboxes are pervasive in modern computer networks providing functionalities beyond mere packet forwarding. Load balancers, intrusion detection systems, and network address translators are typical examples of middleboxes. ... -
Scalable Emulator for Software Defined Networks
(University of Waterloo, 2015-03-30)Since its inception, Software Defined Network (SDN) has made itself a very appealing architecture for both Data Center and Wide Area networks by offering more automated control through programmability and simplified network ... -
Scalable Informative Rule Mining
(University of Waterloo, 2016-08-10)In this thesis we present SIRUM: a system for Scalable Informative RUle Mining from multi-dimensional data. Informative rules have recently been studied in several contexts, including data summarization, data cube exploration ... -
A Scalable Method for Many Object Fluid-Structure Interaction Simulations
(University of Waterloo, 2022-01-10)Fluid-Structure Interaction (FSI) Simulations are an important technology in many areas of research, including, but not limited to, Computer Graphics, Computational Physics and Engineering. This area is concerned with the ... -
A Scalable Partial-Order Data Structure for Distributed-System Observation
(University of Waterloo, 2001)Distributed-system observation is foundational to understanding and controlling distributed computations. Existing tools for distributed-system observation are constrained in the size of computation that they can observe ... -
Scalable Scientific Computing Algorithms Using MapReduce
(University of Waterloo, 2013-09-03)Cloud computing systems, like MapReduce and Pregel, provide a scalable and fault tolerant environment for running computations at massive scale. However, these systems are designed primarily for data intensive computational ...