Browsing Computer Science by Type "Doctoral Thesis"
Now showing items 21-40 of 422
-
Alternative Approaches for Analysis of Bin Packing and List Update Problems
(University of Waterloo, 2014-09-22)In this thesis we introduce and evaluate new algorithms and models for the analysis of online bin packing and list update problems. These are two classic online problems which are extensively studied in the literature and ... -
Alternative Measures for the Analysis of Online Algorithms
(University of Waterloo, 2010-04-08)In this thesis we introduce and evaluate several new models for the analysis of online algorithms. In an online problem, the algorithm does not know the entire input from the beginning; the input is revealed in a sequence ... -
Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration
(University of Waterloo, 2017-06-26)The field of analytic combinatorics, which studies the asymptotic behaviour of sequences through analytic properties of their generating functions, has led to the development of deep and powerful tools with applications ... -
Analytics for Everyone
(University of Waterloo, 2018-05-23)Analyzing relational data typically involves tasks that facilitate gaining familiarity or insights and coming up with findings or conclusions based on the data. This process is usually practiced by data experts, such as ... -
Analyzing Threats of Large-Scale Machine Learning Systems
(University of Waterloo, 2024-02-22)Large-scale machine learning systems such as ChatGPT rapidly transform how we interact with and trust digital media. However, the emergence of such a powerful technology faces a dual-use dilemma. While it can have many ... -
Answering Object Queries over Knowledge Bases with Expressive Underlying Description Logics
(University of Waterloo, 2013-10-25)Many information sources can be viewed as collections of objects and descriptions about objects. The relationship between objects is often characterized by a set of constraints that semantically encode background knowledge ... -
Appearance Changes due to Light Exposure
(University of Waterloo, 2017-01-12)The fading of materials due to light exposure over time is a major contributor to the overall aged appearance of man-made objects. Although much attention has been devoted to the modeling of aging and weathering phenomena ... -
Applications of Description Logic and Causality in Model Checking
(University of Waterloo, 2009-06-19)Model checking is an automated technique for the verification of finite-state systems that is widely used in practice. In model checking, a model M is verified against a specification $\varphi$, exhaustively checking ... -
Approximation, Proof Systems, and Correlations in a Quantum World
(University of Waterloo, 2012-08-29)This thesis studies three topics in quantum computation and information: The approximability of quantum problems, quantum proof systems, and non-classical correlations in quantum systems. Our first area of study concerns ... -
Aspects of Metric Spaces in Computation
(University of Waterloo, 2008-06-06)Metric spaces, which generalise the properties of commonly-encountered physical and abstract spaces into a mathematical framework, frequently occur in computer science applications. Three major kinds of questions about ... -
Assessing the Reliability of Deep Learning Applications
(University of Waterloo, 2023-08-01)Deep Learning (DL) applications are widely deployed in diverse areas, such as image classification, natural language processing, and auto-driving systems. Although these applications achieve outstanding performance in terms ... -
Attributed Intelligence
(University of Waterloo, 2018-01-31)Human beings quickly and confidently attribute more or less intelligence to one another. What is meant by intelligence when they do so? And what are the surface features of human behaviour that determine their judgements? ... -
Augmenting Local Search for Satisfiability
(University of Waterloo, 2004)This dissertation explores approaches to the satisfiability problem, focusing on local search methods. The research endeavours to better understand how and why some local search methods are effective. At the root of ... -
Automated recognition of handwritten mathematics
(University of Waterloo, 2014-04-17)Most software programs that deal with mathematical objects require input expressions to be linearized using somewhat awkward and unfamiliar string-based syntax. It is natural to desire a method for inputting mathematics ... -
Automated Storage Layout for Database Systems
(University of Waterloo, 2010-08-24)Modern storage systems are complex. Simple direct-attached storage devices are giving way to storage systems that are flexible, network-attached, consolidated and virtualized. Today, storage systems have their own ... -
Automated Synthesis of Timed and Distributed Fault-Tolerant Systems
(University of Waterloo, 2015-09-21)This dissertation concentrates on the problem of automated synthesis and repair of fault-tolerant systems. In particular, given the required specification of the system, our goal is to synthesize a fault-tolerant system, ... -
Automatic Datapath Abstraction Of Pipelined Circuits
(University of Waterloo, 2011-02-23)Pipelined circuits operate as an assembly line that starts processing new instructions while older ones continue execution. Control properties specify the correct behaviour of the pipeline with respect to how it handles ... -
Automatic Physical Design for XML Databases
(University of Waterloo, 2010-11-17)Database systems employ physical structures such as indexes and materialized views to improve query performance, potentially by orders of magnitude. It is therefore important for a database administrator to choose the ... -
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 ... -
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 ...