Now showing items 2184-2203 of 2745

    • SafeDS: Safe Data Structures for C++ 

      Ghorshi, Seyedeh Setareh (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-Oriented Stability Biases for Continual Learning 

      Gaurav, Ashish (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 

      Cook, Richard J.; Zhong, Yujie (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 ...
    • Sandwich and probe problems for excluding paths 

      Figueiredo, Celina Miraglia Herrera de; Spirkl, Sophie (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 

      Chudnovsky, Maria; Figueiredo, Celina Miraglia Herrera de; Spirkl, Sophie (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 

      Jay, Andrew (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 

      Case, Ryan (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 

      Nieto Rodriguez, Abel (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 

      Saxena, Hemant (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 

      Minhas, Umar Farooq (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 

      Chu, Xu (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 

      Ghaznavi, Milad (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 

      Roy, Arup Raton (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 

      Feng, Guoyao (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 

      Tannahill, Connor (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 

      Ward, Paul (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 

      Xiang, Jingen (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 ...
    • Scale-dependent anisotropy in forced stratified turbulence 

      Lang, Christopher J.; Waite, Michael L (American Physical Society, 2019-04)
      In stratified turbulence, buoyancy forces inhibit vertical motion and lead to anisotropy over a wide range of length scales, which is characterized by layerwise pancake vortices, thin regions of strong shear, and patches ...
    • Scaling Machine Learning Data Repair Systems for Sparse Datasets 

      Attia, Omar (University of Waterloo, 2021-01-21)
      Machine learning data repair systems (e.g. HoloClean) have achieved state-of-the-art performance for the data repair problem on many datasets. However, these systems face significant challenges with sparse datasets. In ...
    • Scalpel: Optimizing Query Streams Using Semantic Prefetching 

      Bowman, Ivan (University of Waterloo, 2005)
      Client applications submit streams of relational queries to database servers. For simple requests, inter-process communication costs account for a significant portion of user-perceived latency. This trend increases ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages