Browsing Computer Science by Title
Now showing items 1421-1440 of 1509
-
UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams
(ACM/IEEE, 2019-09)Practitioners face cognitive challenges when using model editors to edit and debug UML models, which make them reluctant to adopt modelling. To assist practitioners in their modelling tasks, we have developed effective ... -
Unbiased Statistical Estimation and Valid Confidence Intervals Under Differential Privacy
(University of Waterloo, 2022-07-13)We present a method for producing unbiased parameter estimates and valid confidence intervals under the constraints of differential privacy, a formal framework for limiting individual information leakage from sensitive ... -
Unconditionally Secure Cryptography: Signature Schemes, User-Private Information Retrieval, and the Generalized Russian Cards Problem
(University of Waterloo, 2013-05-23)We focus on three different types of multi-party cryptographic protocols. The first is in the area of unconditionally secure signature schemes, the goal of which is to provide users the ability to electronically sign ... -
Unconventional Applications of Compiler Analysis
(University of Waterloo, 2011-08-30)Previously, compiler transformations have primarily focused on minimizing program execution time. This thesis explores some examples of applying compiler technology outside of its original scope. Specifically, ... -
Understanding and Efficiently Servicing HTTP Streaming Video Workloads
(University of Waterloo, 2016-09-28)Live and on-demand video streaming has emerged as the most popular application for the Internet. One reason for this success is the pragmatic decision to use HTTP to deliver video content. However, while all web servers ... -
Understanding and Enhancing CDCL-based SAT Solvers
(University of Waterloo, 2018-08-02)Modern conflict-driven clause-learning (CDCL) Boolean satisfiability (SAT) solvers routinely solve formulas from industrial domains with millions of variables and clauses, despite the Boolean satisfiability problem being ... -
Understanding Minimax Optimization in Modern Machine Learning
(University of Waterloo, 2021-07-21)Recent years has seen a surge of interest in building learning machines through adversarial training. One type of adversarial training is through a discriminator or an auxiliary classifier, such as Generative Adversarial ... -
Understanding Mode and Modality Transfer in Unistroke Gesture Input
(University of Waterloo, 2021-10-22)Unistroke gestures are an attractive input method with an extensive research history, but one challenge with their usage is that the gestures are not always self-revealing. To obtain expertise with these gestures, interaction ... -
Understanding NUMA Effects on Memory Allocation and Reclamation
(University of Waterloo, 2023-04-21)Memory management in multicore systems is a well studied area. Many approaches to memory management have been developed and tuned with specific hardware architectures in mind, capitalizing on hardware characteristics to ... -
Understanding Programmers' Working Context by Mining Interaction Histories
(University of Waterloo, 2013-05-06)Understanding how software developers do their work is an important first step to improving their productivity. Previous research has generally focused either on laboratory experiments or coarsely-grained industrial case ... -
Unfolding and Reconstructing Polyhedra
(University of Waterloo, 2006)This thesis covers work on two topics: unfolding polyhedra into the plane and reconstructing polyhedra from partial information. For each topic, we describe previous work in the area and present an array of new research ... -
A Unified Simplicial Model for Mixed-Dimensional and Non-Manifold Deformable Elastic Objects
(ACM, 2019-07)We present a unified method to simulate deformable elastic bodies consisting of mixed-dimensional components represented with potentially non-manifold simplicial meshes. Building on well-known simplicial rod, shell, and ... -
A Uniform Formal Approach to Business and Access Control Models, Policies and their Combinations
(University of Waterloo, 2012-07-26)Access control represents an important part of security in software systems, since access control policies determine which users of a software system have access to what objects and operations and under what constraints. ... -
UNiS: A User-space Non-intrusive Workflow-aware Virtual Network Function Scheduler
(University of Waterloo, 2019-01-16)Network Function Virtualization (NFV) has gained a significant research interest in both academia and industry since its inception in the late 2012. One of the key research issues in NFV is the development of systems for ... -
Universal Database System Analysis for Insight and Adaptivity
(University of Waterloo, 2022-12-13)Database systems are ubiquitous; they serve as the cornerstone of modern application infrastructure due to their efficient data access and storage. Database systems are commonly deployed in a wide range of environments, from ... -
Unrestricted State Complexity Of Binary Operations On Regular And Ideal Languages
(Institut für Informatik, 2017-08-27)We study the state complexity of binary operations on regular languages over different alphabets. It is known that if L′m and Ln are languages of state complexities m and n, respectively, and restricted to the same alphabet, ... -
The Unspoken Rules of Engagement: Understanding the Impact of Social Norm Violations in Human-Robot Interactions
(University of Waterloo, 2023-08-18)As robots increasingly permeate diverse domains such as healthcare, education, service industries, and domestic environments, the significance of understanding and navigating human-robot interactions intensifies. This ... -
Unsupervised Aspect Discovery from Online Consumer Reviews
(University of Waterloo, 2014-05-02)The success of on-line review websites has led to an overwhelming number of on-line consumer reviews. These reviews have become an important tool for consumers when making a decision to purchase a product. This growth has ... -
Unsupervised Multilingual Alignment using Wasserstein Barycenter
(University of Waterloo, 2020-01-23)We investigate the language alignment problem when there are multiple languages, and we are interested in finding translation between all pairs of languages. The problem of language alignment has long been an exciting topic ... -
Unsupervised Spectral Ranking For Anomaly Detection
(University of Waterloo, 2014-09-10)Anomaly detection is the problem of finding deviations from expected normal patterns. A wide variety of applications, such as fraud detection for credit cards and insurance, medical image monitoring, network intrusion ...