Browsing Computer Science by Title
Now showing items 41-60 of 1545
-
Affective Sentiment and Emotional Analysis of Pull Request Comments on GitHub
(University of Waterloo, 2017-12-15)Sentiment and emotional analysis on online collaborative software development forums can be very useful to gain important insights into the behaviors and personalities of the developers. Such information can later on be ... -
An Affine Semi-Lagrangian Advection Method
(University of Waterloo, 2019-01-08)In computer graphics, the standard semi-Lagrangian advection as in the work of Stam (1999) is a widespread unconditionally stable transport scheme used in incompressible fluid solvers. Due to its stability, which disconnects ... -
AfriBERTa: Towards Viable Multilingual Language Models for Low-resource Languages
(University of Waterloo, 2022-08-29)There are over 7000 languages spoken on earth, but many of these languages suffer from a dearth of natural language processing (NLP) tools. Multilingual pretrained language models have been introduced to help alleviate ... -
The aftermath of a crypto-ransomware attack at a large academic institution
(USENIX, 2018-08)In 2016, a large North American university was subject to a significant crypto-ransomware attack and did not pay the ransom. We conducted a survey with 150 respondents and interviews with 30 affected students, staff, and ... -
Agent-Based Modeling Framework for Energy Policies
(University of Waterloo, 2016-08-09)Energy infrastructure systems -- including energy generation, transmission, and distribution systems -- provide consumers with access to energy. Energy systems have been relatively static for several decades but due to ... -
Aggregation of Heterogeneous Anomaly Detectors for Cyber-Physical Systems
(University of Waterloo, 2019-01-07)Distributed, life-critical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyber-physical systems will ... -
Agile Architecture Recovery
(University of Waterloo, 2002)Many software development projects start with an existing code base that has to be tightly integrated into a new system. In order to make a robust system that will achieve the desired business goals, developers must be ... -
Aiding Human Discovery of Out-of-the-Moment Handwriting Recognition Errors
(University of Waterloo, 2009-04-30)Handwriting recognizers frequently misinterpret digital ink input, requiring human verification of recognizer output to identify and correct errors, before the output of the recognizer can be used with any confidence int ... -
ALDB: Debugging Alloy Models of Behavioural Requirements
(IEEE, 2020-08)Declarative modelling languages, such as Alloy, are becoming popular for describing behavioural requirements very early in system development because automated analysis of these models provides valuable feedback. Typically, ... -
Algorithmic Analysis of Infinite-State Systems
(University of Waterloo, 2009-02-10)Many important software systems, including communication protocols and concurrent and distributed algorithms generate infinite state-spaces. Model-checking which is the most prominent algorithmic technique for the verification ... -
Algorithms and Design Principles for Rural Kiosk Networks
(University of Waterloo, 2007-09-19)The KioskNet project aims to provide extremely low-cost Internet access to rural kiosks in developing countries, where conventional access technologies, \eg\, DSL, CDMA and dial-up, are currently economically infeasible. ... -
Algorithms for Characterizing Peptides and Glycopeptides with Mass Spectrometry
(University of Waterloo, 2013-09-26)The emergence of tandem mass spectrometry (MS/MS) technology has significantly accelerated protein identification and quantification in proteomics. It enables high-throughput analysis of proteins and their quantities in a ... -
Algorithms for Drinfeld Modules
(University of Waterloo, 2024-04-23)Drinfeld modules play an important role in number theory over function fields, analogizing that of elliptic curves for the number field setting. The broad success in translating results over from number fields to function ... -
Algorithms for fast linear system solving and rank profile computation
(University of Waterloo, 2014-07-16)We give randomized algorithms for linear algebra problems concerning an n*m input matrix A over a field K. We give an algorithm that simultaneously computes the row and column rank profiles of A in 2r^3 + (r^2+n+m+|A|)^{1+o(1)} ... -
Algorithms for Geometric Covering and Piercing Problems
(University of Waterloo, 2013-01-10)This thesis involves the study of a range of geometric covering and piercing problems, where the unifying thread is approximation using disks. While some of the problems addressed in this work are solved exactly with ... -
Algorithms for Geometric Facility Location: Centers in a Polygon and Dispersion on a Line
(University of Waterloo, 2023-02-24)We study three geometric facility location problems in this thesis. First, we consider the dispersion problem in one dimension. We are given an ordered list of (possibly overlapping) intervals on a line. We wish to choose ... -
Algorithms for Linearly Recurrent Sequences of Truncated Polynomials
(University of Waterloo, 2021-08-17)Linear recurrent sequences are those whose elements are defined as linear combinations of preceding elements, and finding recurrence relations is a fundamental problem in computer algebra. In this paper, we focus on sequences ... -
Algorithms for Normal Forms for Matrices of Polynomials and Ore Polynomials
(University of Waterloo, 2003)In this thesis we study algorithms for computing normal forms for matrices of Ore polynomials while controlling coefficient growth. By formulating row reduction as a linear algebra problem, we obtain a fraction-free ... -
Algorithms for Optimizing Search Schedules in a Polygon
(University of Waterloo, 2008-09-10)In the area of motion planning, considerable work has been done on guarding problems, where "guards", modelled as points, must guard a polygonal space from "intruders". Different variants of this problem involve varying ... -
Algorithms for the Optimization of Quantum Circuits
(University of Waterloo, 2013-08-30)This thesis investigates techniques for the automated optimization of quantum circuits. In the first part we develop an exponential time algorithm for synthesizing minimal depth quantum circuits. We combine this with ...