Browsing Computer Science by Title
Now showing items 865884 of 1561

The Moderation of Contentious Content on Twitter
(University of Waterloo, 20230828)Retweeting posts is Twitter's most important feature, playing a vital role in enabling the platform to be a virtual town hall that fosters timely discussions. This attribute has been instrumental in drawing a younger, ... 
A modular notation for monitoring network systems
(University of Waterloo, 20150715)Design of next generation network systems with predictable behavior in all situations poses a significant challenge. Monitoring of events happening at different points in a distributed environment can detect the occurrence ... 
Monitoring and Enforcement of Safety Hyperproperties
(University of Waterloo, 20151030)Certain important security policies such as information flow characterize systemwide behaviors and are not properties of individual executions. It is known that such security policies cannot be expressed in tracebased ... 
Monoids and the State Complexity of the Operation root(<i>L</i>)
(University of Waterloo, 2004)In this thesis, we cover the general topic of state complexity. In particular, we examine the bounds on the state complexity of some different representations of regular languages. As well, we consider the state ... 
Monolith: a monolithic pressureviscositycontact solver for strong twoway rigidrigid rigidfluid coupling
(Association for Computing Machinery, 202011)We propose Monolith, a monolithic pressureviscositycontact solver for more accurately, robustly, and efficiently simulating nontrivial twoway interactions of rigid bodies with inviscid, viscous, or nonNewtonian liquids. ... 
Monotone Numerical Methods for Nonlinear Systems and Second Order Partial Differential Equations
(University of Waterloo, 20150728)Multigrid methods are numerical solvers for partial differential equations (PDEs) that systematically exploit the relationship between approximate solutions on multiple grids to arrive at a solution whose accuracy is ... 
Monotonicity Testing for Boolean Functions over Graph Products
(University of Waterloo, 20200909)We establish a directed analogue of Chung and Tetali's isoperimetric inequality for graph products. We use this inequality to obtain new bounds on the query complexity for testing monotonicity of Booleanvalued functions ... 
Morphing Parallel Graph Drawings
(University of Waterloo, 20070523)A pair of straightline drawings of a graph is called parallel if, for every edge of the graph, the line segment that represents the edge in one drawing is parallel with the line segment that represents the edge in the ... 
Morse: Reducing the Feature Interaction Explosion Problem Using Subject Matter Knowledge as Abstract Requirements
(IEEE, 201808)The feature interaction problem appears in many different kinds of complex systems, especially systems whose elements are created or maintained by separate entities  for example, a modern automobile that incorporates ... 
Most Complex Nonreturning Regular Languages
(Springer, 20170703)A regular language L is nonreturning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jirásková derived upper bounds on the state complexity of ... 
Most Complex Regular Ideal Languages
(Discrete Mathematics and Theoretical Computer Science, 20161017)A right ideal (left ideal, twosided ideal) is a nonempty language $L$ over an alphabet $\Sigma$ such that $L=L\Sigma^*$ ($L=\Sigma^*L$, $L=\Sigma^*L\Sigma^*$). Let $k=3$ for right ideals, 4 for left ideals and 5 for ... 
Most Complex Regular RightIdeal Languages
(Springer, 2014)A right ideal is a language L over an alphabet Sigma that satisfies the equation L = L Sigma*. We show that there exists a sequence (Rn vertical bar n >= 3) of regular rightideal languages, where Rn has n left quotients ... 
MS/MS Spectrum Prediction for MHCAssociated Peptides with a FineTuned Model
(University of Waterloo, 20240223)To improve the quality of spectral library search, several MS/MS spectrum predictors have been developed in the last decades. After success in various fields, deep learning techniques are adopted by MS/MS spectrum predictors ... 
MTMAG: Accurate and interpretable machine learning for complete or partial taxonomic assignments of metagenomeassembled genomes
(University of Waterloo, 20220519)We propose MTMAG, a novel machine learningbased software tool for the complete or partial hierarchicallystructured taxonomic classification of metagenomeassembled genomes (MAGs). MTMAG is capable of classifying large ... 
Muddler: Using Oblivious RAM For A Privacy Preserving LocationBased Service
(University of Waterloo, 20141023)As smartphones become ever more prevalent, context aware applications are becoming increasingly popular. Locationbased services such as Foursquare have been among the leaders of this trend. Some of the most popular ... 
MultiAgent Modeling of RiskAware and PrivacyPreserving Recommender Systems
(University of Waterloo, 20170425)Recent progress in the field of recommender systems has led to increases in the accuracy and significant improvements in the personalization of recommendations. These results are being achieved in general by gathering more ... 
Multidimensional Interval Routing Schemes
(University of Waterloo, 2001)Routing messages between pairs of nodes is one of the most fundamental tasks in any distributed computing system. An Interval Routing Scheme (IRS) is a wellknown, spaceefficient routing strategy for routing messages ... 
Multidocument Summarization System Using Rhetorical Information
(University of Waterloo, 20120711)Over the past 20 years, research in automated text summarization has grown significantly in the field of natural language processing. The massive availability of scientific and technical information on the Internet, including ... 
MultiMaster Replication for Snapshot Isolation Databases
(University of Waterloo, 20130621)Lazy replication with snapshot isolation (SI) has emerged as a popular choice for distributed databases. However, lazy replication requires the execution of update transactions at one (master) site so that it is relatively ... 
MultiPath Link Embedding for Survivability in Virtual Networks
(University of Waterloo, 20150826)Internet applications are deployed on the same network infrastructure, yet they have diverse performance and functional requirements. The Internet was not originally designed to support the diversity of current applications. ...