Browsing Computer Science by Title
Now showing items 957-976 of 1545
-
On the Data Quality of Remotely Sensed Forest Maps
(University of Waterloo, 2023-08-10)Accurate forest monitoring data are essential for understanding and conserving forest ecosystems. However, the remoteness of forests and the scarcity of ground truth make it hard to identify data quality issues. We present ... -
On the Effectiveness of Incremental Fact Extraction and Analysis
(University of Waterloo, 2020-07-30)Today's software projects can be huge. They often consist of millions of lines of code, have multiple teams working on them and are constantly evolving. It is no surprise then that developers sometimes seek the help of ... -
On the Hardness of the Quantum Separability Problem and the Global Power of Locally Invariant Unitary Operations
(University of Waterloo, 2008-09-18)Given a bipartite density matrix ρ of a quantum state, the Quantum Separability problem (QUSEP) asks — is ρ entangled, or separable? In this thesis, we first strengthen Gurvits’ 2003 NP-hardness result for QUSEP by showing ... -
On the Importance of Infrastructure-Awareness in Large-Scale Distributed Storage Systems
(University of Waterloo, 2021-01-08)Big data applications put significant latency and throughput demands on distributed storage systems. Meeting these demands requires storage systems to use a significant amount of infrastructure resources, such as network ... -
On the Integration of Unmanned Aerial Vehicles into Public Airspace
(University of Waterloo, 2020-05-28)Unmanned Aerial Vehicles will soon be integrated in the airspace and start serving us in various capacities such as package delivery, surveillance, search and rescue missions, inspection of infrastructure, precision ... -
On the Maintenance Costs of Formal Software Requirements Specification Written in the Software Cost Reduction and in the Real-time Unified Modeling Language Notations
(University of Waterloo, 2005)A formal specification language used during the requirements phase can reduce errors and rework, but formal specifications are regarded as expensive to maintain, discouraging their adoption. This work presents a ... -
On the Modelling of Hyperspectral Light and Skin Interactions and the Simulation of Skin Appearance Changes Due to Tanning
(University of Waterloo, 2016-01-07)The distinctive visual attributes of human skin are largely determined by its interactions with light across different spectral domains. Accordingly, the modelling of these interactions has been the object of extensive ... -
On the Near-Optimality of List Scheduling Heuristics for Local and Global Instruction Scheduling
(University of Waterloo, 2006)Modern architectures allow multiple instructions to be issued at once and have other complex features. To account for this, compilers perform instruction scheduling after generating the output code. The instruction ... -
On the Number of Trials Needed to Obtain k Consecutive Successes
(Elsevier, 2021-04-30)A sequence of independent Bernoulli trials, each of which is a success with probability p, is conducted. For k ∈ Z+, let Xk be the number of trials required to obtain k consecutive successes. Using techniques from elementary ... -
On the Optical Monitoring of Anemia Severity Levels
(University of Waterloo, 2015-08-13)Anemia is a prevalent medical condition that seriously a ects millions of people all over the world. In many regions, not only its initial detection, but also its monitoring are hindered by the limited access to laboratory ... -
On the power of interleaved low-depth quantum and classical circuits
(University of Waterloo, 2022-09-26)Low-depth quantum circuits are a well-suited model for near-term quantum devices, given short coherence times and noisy gate operations, making it pivotal to examine their computational power. It was already known as early ... -
On the Properties and Structure of Bordered Words and Generalizations
(University of Waterloo, 2022-10-12)Combinatorics on words is a field of mathematics and theoretical computer science that is concerned with sequences of symbols called words, or strings. One class of words that are ubiquitous in combinatorics on words, ... -
On the relationship between satisfiability and partially observable Markov decision processes
(University of Waterloo, 2018-09-26)Stochastic satisfiability (SSAT), Quantified Boolean Satisfiability (QBF) and decision-theoretic planning in finite horizon partially observable Markov decision processes (POMDPs) are all PSPACE-Complete problems. Since ... -
On the Relationship between Sum-Product Networks and Bayesian Networks
(University of Waterloo, 2015-06-08)Sum-Product Networks (SPNs), which are probabilistic inference machines, have attracted a lot of interests in recent years. They have a wide range of applications, including but not limited to activity modeling, language ... -
On the Relationship Between the Developer’s Perceptible Ethnicity and the Evaluation of Contributions in GitHub
(University of Waterloo, 2020-08-28)Context: Open Source Software (OSS) projects are typically the result of collective efforts performed by developers with different backgrounds. Although the quality of developers' contributions should be the only factor ... -
On the Security of Some Variants of RSA
(University of Waterloo, 2007-05-10)The RSA cryptosystem, named after its inventors, Rivest, Shamir and Adleman, is the most widely known and widely used public-key cryptosystem in the world today. Compared to other public-key cryptosystems, such as elliptic ... -
On the Succinct Representation of Equivalence Classes
(University of Waterloo, 2014-12-17)Given a set of n elements that are partitioned into equivalence classes, we study the problem of assigning unique labels to these elements in order to support the query that asks whether the elements corresponding to two ... -
On the Utility of Adding An Abstract Domain and Attribute Paths to SQL
(University of Waterloo, 2018-04-30)Albeit its popularity today, RDBMS and the relational model still have many limitations. For example, one needs to pay premature attention to naming issues in the schema designing phase; and the syntax for conjunctive ... -
On Tolerant Testing and Tolerant Junta Testing
(University of Waterloo, 2020-07-08)Over the past few decades property testing has became an active field of study in theoretical computer science. The algorithmic task is to determine, given access to an unknown large object (e.g., function, graph, probability ... -
On Using Embeddings for Ownership Verification of Graph Neural Networks
(University of Waterloo, 2023-08-11)Graph neural networks (GNNs) have emerged as a state-of-the-art approach to model and draw inferences from large scale graph-structured data in various application settings such as social networking. The primary goal of a ...