Browsing Computer Science by Title
Now showing items 134-153 of 1553
-
Automatic Sequences and Decidable Properties: Implementation and Applications
(University of Waterloo, 2013-09-19)In 1912 Axel Thue sparked the study of combinatorics on words when he showed that the Thue-Morse sequence contains no overlaps, that is, factors of the form ayaya. Since then many interesting properties of sequences began ... -
Automatic Signature Matching in Component Composition
(University of Waterloo, 2008-05-12)Reuse is not a new concept in software engineering. Ideas, abstractions, and processes have been reused by programmers since the very early days of software development. In the beginning, since storage media was very ... -
Automatically Tuning Database Server Multiprogramming Level
(University of Waterloo, 2007-09-06)Optimizing database systems to achieve the maximum attainable throughput of the underlying hardware is one of the many difficult tasks that face Database Administrators. With the increased use of database systems in many ... -
Automating Programming Assignment Marking with AST Analysis
(University of Waterloo, 2019-01-14)This thesis presents a novel approach to automatically mark programming assignments. We hypothesize that correct student solution ASTs will be more similar to reference solution ASTs than incorrect student solutions and ... -
The Automation of Glycopeptide Discovery in High Throughput MS/MS Data
(University of Waterloo, 2004)Glycosylation, the addition of one or more carbohydrates molecules to a protein, is crucial for many cellular processes. Aberrant glycosylation is a key marker for various diseases such as cancer and rheumatoid arthritis. ... -
An Automaton-Theoretic View of Algebraic Specifications
(University of Waterloo, 2005)We compare two methods for software specification: <em>algebraic specifications</em> and automata. While algebraic specifications have been around since the 1970s and have been studied extensively, specification by ... -
Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer
(University of Waterloo, 2014-09-10)Modern car systems are getting more complex, so do car electronic/electric (E/E) architectures. E/E architecture of a car includes sensors, actuators, programmable ECUs and all the related communications. The complexity ... -
Autonomic Resource Management for a Cluster that Executes Batch Jobs
(University of Waterloo, 2006)Resource management of large scale clusters is traditionally done manually. Servers are usually over-provisioned to meet the peak demand of workload. It is widely known that manual provisioning is error-prone and ... -
Autonomous Cooperating Web Crawlers
(University of Waterloo, 2002)A web crawler provides an automated way to discover web events ? creation, deletion, or updates of web pages. Competition among web crawlers results in redundant crawling, wasted resources, and less-than-timely discovery ... -
Autonomous Vehicles with Visual Signals for Pedestrians: Experiments and Design Recommendations
(University of Waterloo, 2020-01-23)Autonomous Vehicles (AV) are the future of transportation and they will transform the dynamic of vehicle and pedestrian interaction. However, in the absence of a driver, it is not clear how an AV can use visual signals to ... -
Avoiding Bad Query Mixes to Minimize Unsuccessful Client Requests Under Heavy Loads
(University of Waterloo, 2009-08-21)In three-tiered web applications, some form of admission control is required to ensure that throughput and response times are not significantly harmed during periods of heavy load. We propose Q-Cop, a prototype system ... -
Backdoors in Satisfiability Problems
(University of Waterloo, 2009-10-08)Although satisfiability problems (SAT) are NP-complete, state-of-the-art SAT solvers are able to solve large practical instances. The notion of backdoors has been introduced to capture structural properties of instances. ... -
Balancing Fidelity and Performance in Iridal Light Transport Simulations Aimed at Interactive Applications
(University of Waterloo, 2016-11-29)Specific light transport models based on first-principles approaches have been proposed for complex organic materials such as human skin and blood. The driving force behind these efforts has been the high-fidelity reproduction ... -
BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning
(2020)Satisfiability Modulo Theories (SMT) solvers are fundamental tools in the broad context of software engineering and security research. If SMT solvers are to continue to have an impact, it is imperative we develop efficient ... -
Barehand Mode Switching in Touch and Mid-Air Interfaces
(University of Waterloo, 2020-05-28)Raskin defines a mode as a distinct setting within an interface where the same user input will produce results different to those it would produce in other settings. Most interfaces have multiple modes in which input is ... -
Bayesian Contact Tracing for Communicable Respiratory Diseases
(University of Waterloo, 2014-01-24)Purpose: The purpose of our work is to develop a system for automatic contact tracing with the goal of identifying individuals who are most likely infected, even if we do not have direct diagnostic information on their ... -
Bayesian Federated Learning in Predictive Space
(University of Waterloo, 2023-08-10)Federated Learning (FL) involves training a model over a dataset distributed among clients, with the constraint that each client's data is private. This paradigm is useful in settings where different entities own different ... -
Bayesian Unsupervised Labeling of Web Document Clusters
(University of Waterloo, 2011-08-30)Information technologies have recently led to a surge of electronic documents in the form of emails, webpages, blogs, news articles, etc. To help users decide which documents may be interesting to read, it is common practice ... -
Beam Me 'Round, Scotty! II: Reflections on Transforming Research Goals into Gameplay Mechanics
(ACM, 2018-10-23)We reflect on the design, implementation, and testing of the experimental testbed game Beam Me 'Round, Scotty! II and the numerous design lessons learned in transitioning theoretical research questions about social presence ... -
Behrooz File System (BFS)
(University of Waterloo, 2015-08-25)In this thesis, the Behrooz File System (BFS) is presented, which provides an in-memory distributed file system. BFS is a simple design which combines the best of in-memory and remote file systems. BFS stores data in the ...