Browsing Computer Science by Title
Now showing items 954-973 of 1549
-
On Skin Cyanotic Appearances and Spectral Responses Elicited by Methemoglobinemia and Sulfhemoglobinemia
(University of Waterloo, 2018-07-13)Methemoglobinemia and sulfhemoglobinemia are potentially life-threatening blood disorders characterized by similar symptoms and markedly distinct treatment procedures. In this thesis, we investigate the causal relationship ... -
On the Application of Photoacoustic Absorption Spectral Data to the Modeling of Leaf Optical Properties
(University of Waterloo, 2007-04-27)Due to the importance of plants in the Earth's ecosystem, their photobiological responses have become the subject of extensive research in life sciences. Leaf optical models have been developed to assist in the analysis ... -
On the Bluish Appearance of Veins
(University of Waterloo, 2018-01-18)The bluish appearance of veins located immediately beneath the skin has long been a topic of interest for biomedical optics researchers. Despite this interest, a thorough identification of the specific optical processes ... -
On the Caching Schemes to Speed Up Program Reduction
(University of Waterloo, 2023-01-05)Program reduction is a highly practical, widely demanded technique to help debug language tools, such as compilers, interpreters and debuggers. Given a program P which exhibits a property ψ, conceptually, program reduction ... -
On the Complexity of Reconfiguration of Clique, Cluster Vertex Deletion, and Dominating Set
(University of Waterloo, 2015-07-15)A graph problem P is a vertex-subset problem if feasible solutions for P consist of subsets of the vertices of a graph G. The st-connectivity problem for a vertex-subset problem P takes as input two feasible solutions ... -
On The Complexity Of The Evaluation Of Transient Extensions Of Boolean Functions
(World Scientific Publishing, 2012-01-01)Transient algebra is a multi-valued algebra for hazard detection in gate circuits. Sequences of alternating 0's and 1's, called transients, represent signal values, and gates are modeled by extensions of boolean functions ... -
On the Control of Active End-nodes in the Smart Grid
(University of Waterloo, 2015-08-11)The electrical grid has substantially changed in recent years due to the integration of several disruptive load and generation technologies into low-voltage distribution networks, which are meant to smarten it and improve ... -
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 ...