Browsing Mathematics (Faculty of) by Title
Now showing items 2435-2454 of 3034
-
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 ... -
Scale-dependent anisotropy in forced stratified turbulence
(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
(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
(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 ... -
Scarf's Theorem and Applications in Combinatorics
(University of Waterloo, 2006-12-19)A theorem due to Scarf in 1967 is examined in detail. Several versions of this theorem exist, some which appear at first unrelated. Two versions can be shown to be equivalent to a result due to Sperner in 1928: for a ... -
Schema clustering and retrieval for multi-domain pay-as-you-go data intergration systems
(University of Waterloo, 2010-07-08)A data integration system offers a single interface to multiple structured data sources. Many application contexts (e.g., searching structured data on the web) involve the integration of large numbers of structured data ... -
Score tests based on a finite mixture model of Markov processes under intermittent observation
(Wiley, 2019-07-20)A mixture model is described, which accommodates different Markov processes governing disease progression in a finite set of latent classes. We give special attention to the setting in which individuals are examined ... -
Score Tests for Association Under Response-dependent Sampling Designs for Expensive Covariates
(Oxford Journals, 2015-11-27)Response-dependent sampling is widely used in settings where certain variables are expensive to obtain. Estimation has been thoroughly investigated but recent applications have emphasized tests of association for expensive ... -
Scrappy: Using Scrap Material as Infill to Make Fabrication More Sustainable
(ACM Press, 2021-05-06)We present a software system for fused deposition modelling 3D printing that replaces infill material with scrap to reduce material and energy consumption. Example scrap objects include unused 3D prints from prototyping ... -
The search for an excluded minor characterization of ternary Rayleigh matroids
(University of Waterloo, 2008-01-24)Rayleigh matroids are a class of matroids with sets of bases that satisfy a strong negative correlation property. Interesting characteristics include the existence of an efficient algorithm for sampling the bases of a ... -
Second-tier Cache Management to Support DBMS Workloads
(University of Waterloo, 2011-10-24)Enterprise Database Management Systems (DBMS) often run on computers with dedicated storage systems. Their data access requests need to go through two tiers of cache, i.e., a database bufferpool and a storage server cache, ... -
Secure Protocols for Key Pre-distribution, Network Discovery, and Aggregation in Wireless Sensor Networks
(University of Waterloo, 2015-07-21)The term sensor network is used to refer to a broad class of networks where several small devices, called sensors, are deployed in order to gather data and report back to one or more base stations. Traditionally, sensors ... -
Securing Cloud Computations with Oblivious Primitives from Intel SGX
(University of Waterloo, 2017-12-12)We are witnessing a confluence between applied cryptography and secure hardware systems in enabling secure cloud computing. On one hand, work in applied cryptography has enabled efficient, oblivious data-structures and ... -
Security Analysis of Isogeny-Based Cryptosystems
(University of Waterloo, 2020-08-20)Let $E$ be a supersingular elliptic curve over a finite field. In this document we study public-key encryption schemes which use non-constant rational maps from $E$. The purpose of this study is to determine if such ... -
A Security Analysis of Some Physical Content Distribution Systems
(University of Waterloo, 2008-05-21)Content distribution systems are essentially content protection systems that protect premium multimedia content from being illegally distributed. Physical content distribution systems form a subset of content distribution ... -
Security and Ownership Verification in Deep Reinforcement Learning
(University of Waterloo, 2022-07-15)Deep reinforcement learning (DRL) has seen many successes in complex tasks such as robot manipulation, autonomous driving, and competitive games. However, there are few studies on the security threats against DRL systems. ... -
Security and Privacy Analysis of Employee Monitoring Applications
(University of Waterloo, 2023-08-21)Workplace surveillance is not a new issue; however, recently there has been increasing adoption of Employee Monitoring Applications (EMAs) that observe employees' digital behaviour. This trend was advanced by the increase ... -
Security Configuration Management in Intrusion Detection and Prevention Systems
(University of Waterloo, 2016-04-18)Intrusion Detection and/or Prevention Systems (IDPS) represent an important line of defense against a variety of attacks that can compromise the security and proper functioning of an enterprise information system. IDPSs ... -
Security Evaluations of GitHub's Copilot
(University of Waterloo, 2023-08-11)Code generation tools driven by artificial intelligence have recently become more popular due to advancements in deep learning and natural language processing that have increased their capabilities. The proliferation of ...