Browsing Computer Science by Title
Now showing items 367-386 of 1545
-
Direct User Calls from the Kernel: Design and Implementation
(University of Waterloo, 2007-09-25)Traditional, general-purpose operating systems strictly separate user processes from the kernel. Processes can only communicate with the kernel through system calls. As a means to ensure system security, system calls ... -
Directly Learning Tractable Models for Sequential Inference and DecisionMaking
(University of Waterloo, 2016-06-21)Probabilistic graphical models such as Bayesian networks and Markov networks provide a general framework to represent multivariate distributions while exploiting conditional independence. Over the years, many approaches ... -
Discovering Domain Orders through Order Dependencies
(University of Waterloo, 2021-04-28)Most real-world data come with explicitly defined domain orders; e.g., lexicographic order for strings, numeric for integers, and chronological for time. Our goal is to discover implicit domain orders that we do not already ... -
Discovering Play Store Reviews Related to Specific Android App Issues
(University of Waterloo, 2018-09-20)Mobile App reviews may contain information relevant to developers. Developers can investigate these reviews to see what users of their apps are complaining about. However, the huge volume of incoming reviews is impractical ... -
Discovering Protein Sequence-Structure Motifs and Two Applications to Structural Prediction
(University of Waterloo, 2004)This thesis investigates the correlations between short protein peptide sequences and local tertiary structures. In particular, it introduces a novel algorithm for partitioning short protein segments into clusters of ... -
Discovery of New Features for Peptide Sequencing with Mass Spectrometry
(University of Waterloo, 2017-09-21)Bioinformaticians have been working on peptide sequencing with tandem mass spectrometry (MS/MS) for decades. However, the results are still not perfect. A lot of research have been carried on two peptide sequencing methods, ... -
Discrete viscous sheets
(Association for Computing Machinery, 2012-07)We present the first reduced-dimensional technique to simulate the dynamics of thin sheets of viscous incompressible liquid in three dimensions. Beginning from a discrete Lagrangian model for elastic thin shells, we apply ... -
Discriminators of Integer Sequences
(University of Waterloo, 2017-08-28)The discriminator of an integer sequence \textbf{s} = $(s(n))_{n \geq 0}$, first introduced by Arnold, Benkoski and McCabe in 1985, is the function $D_s (n)$ that maps the integer $n \geq 1$ to the smallest positive integer ... -
Disentangled Representation Learning for Stylistic Variation in Neural Language Models
(University of Waterloo, 2018-08-14)The neural network has proven to be an effective machine learning method over the past decade, prompting its usage for modelling language, among several other domains. However, the latent representations learned by these ... -
Disentangled Syntax and Semantics for Stylized Text Generation
(University of Waterloo, 2020-09-21)Neural network based methods are widely used in text generation. The end-to-end training of neural networks directly optimizes the text generation pipeline has been proved powerful in various tasks, including machine ... -
Disentanglement of Syntactic Components for Text Generation
(University of Waterloo, 2022-02-18)Modelling human generated text, i.e., natural language data, is an important challenge in artificial intelligence. A good AI program should be able to understand and analyze natural language, and generate fluent and accurate ... -
Disk-based Indexing for NIR-Trees using Polygon Overlays
(University of Waterloo, 2024-01-23)This thesis presents the NIR+-Tree, a disk-resident R-Tree variant that eliminates overlap among its minimum bounding rectangles (MBRs). The NIR+-Tree is an extension of the main-memory NIR-Tree, adopting techniques for ... -
DistNeo4j: Scaling Graph Databases through Dynamic Distributed Partitioning
(University of Waterloo, 2014-06-16)Social networks are large graphs which require multiple servers to store and manage them. Providing performant scalable systems that store these graphs through partitioning them into subgraphs is an important issue. In ... -
Distributed Approaches for Location Privacy
(University of Waterloo, 2008-08-21)With the advance of location technologies, people can now determine their location in various ways, for instance, with GPS or based on nearby cellphone towers. These technologies have led to the introduction of ... -
Distributed Key Generation and Its Applications
(University of Waterloo, 2010-06-30)Numerous cryptographic applications require a trusted authority to hold a secret. With a plethora of malicious attacks over the Internet, however, it is difficult to establish and maintain such an authority in online ... -
Distributed Multiagent Resource Allocation using Reservations to Improve Handling of Dynamic Task Arrivals
(University of Waterloo, 2014-08-26)In the artificial intelligence subfield of multi-agent systems, there are many applications for algorithms which optimally allocate a set of resources among many available tasks which demand those resources. In this thesis ... -
Distributed Policing with Full Utilization and Rate Guarantees
(University of Waterloo, 2009-08-27)A network service provider typically sells service at a fixed traffic rate to customers. This rate is enforced by allowing or dropping packets that pass through, in a process called policing. Distributed policing is a ... -
Distributed Search in Semantic Web Service Discovery
(University of Waterloo, 2006)This thesis presents a framework for semantic Web Service discovery using descriptive (non-functional) service characteristics in a large-scale, multi-domain setting. The framework uses Web Ontology Language for Services ... -
Distributed XML Query Processing
(University of Waterloo, 2012-04-24)While centralized query processing over collections of XML data stored at a single site is a well understood problem, centralized query evaluation techniques are inherently limited in their scalability when presented with ... -
DNA Computing: Modelling in Formal Languages and Combinatorics on Words, and Complexity Estimation
(University of Waterloo, 2022-12-20)DNA computing, an essential area of unconventional computing research, encodes problems using DNA molecules and solves them using biological processes. This thesis contributes to the theoretical research in DNA computing ...