Browsing Mathematics (Faculty of) by Title
Now showing items 1620-1639 of 2993
-
Misinformation Retrieval
(University of Waterloo, 2021-10-01)This work introduces the task of misinformation retrieval, identifying all documents containing misinformation for a given topic, and proposes a pipeline for misinformation retrieval on tweets. As part of the work, I curated ... -
Mitigating bias from intermittent measurement of time-dependent covariates in failure time analysis
(Wiley, 2020-06-15)Cox regression models are routinely fitted to examine the association between time-dependent markers and a failure time when analyzing data from clinical registries. Typically, the marker values are measured periodically ... -
Mitigating the Uncertainty and Imprecision of Log-Based Code Coverage Without Requiring Additional Logging Statements
(University of Waterloo, 2024-04-01)Understanding code coverage is an important precursor to software maintenance activities (e.g., better testing). Although modern code coverage tools provide key insights, they typically rely on code instrumentation, resulting ... -
Mitigator: Privacy policy compliance using Intel SGX
(University of Waterloo, 2019-06-19)Privacy policies have been known to be hard to read and understand by internet users and yet users are obliged to accept these one-sided terms of usage of their data before they can effectively use websites. Although ... -
Mixed Integer Programming Approaches for Group Decision Making
(University of Waterloo, 2022-10-26)Group decision making problems are everywhere in our day-to-day lives and have great influence on the daily operation of companies and institutions. With the recent advances in computational technology, it's not surprising ... -
A mixture model for bivariate interval-censored failure times with dependent susceptibility
(Springer, 2020-03-07)Interval-censored failure times arise when the status with respect to an event of interest is only determined at intermittent examination times. In settings where there exists a sub-population of individuals who are not ... -
Mixture Models for Coarsened Multivariate Failure Time Data
(University of Waterloo, 2018-08-13)The aim of this thesis is to develop statistical methodology for the analysis of life history data under incomplete observation schemes and with latent features which must be accom- modated to ensure models provide a ... -
MLOD: A multi-view 3D object detection based on robust feature fusion method
(University of Waterloo, 2019-09-19)This thesis presents Multi-view Labelling Object Detector (MLOD). The detector takes an RGB image and a LIDAR point cloud as input and follows the two-stage object detection framework. A Region Proposal Network (RPN) ... -
Mobile Phone Depth Sensors for Forest Carbon Measurement
(University of Waterloo, 2021-05-28)The monitoring, reporting, and verification (MRV) of forest plots, especially their tree-trunk diameters, is critical to achieving both forest protection and reforestation goals. Today’s MRV processes are mostly manual, ... -
Mobile Spatial Subscriptions for Location-Aware Services
(University of Waterloo, 2010-09-27)Spatial subscriptions have been used to specify locations of interest in Distributed Event-based Systems (DEBSs). However, current DEBSs representations to support spatial subscriptions are not expressive enough to describe ... -
A Mode-Based Pattern for Feature Requirements, and a Generic Feature Interface
(University of Waterloo, 2013-09-26)Feature-oriented requirements decompose a system's requirements into individual bundles of functionality called features, where each feature's behaviour can be expressed as a state-machine model. However, state machines ... -
Model for a cortical circuit associated with childhood absence epilepsy
(University of Waterloo, 2019-08-23)Childhood absence epilepsy is suspected to result from mutations in genes which encode ion channels including sodium channels. Our purpose in this thesis is to explore some of the factors that alter the function of neurons ... -
A model for deceased-donor transplant queue waiting times
(Springer, 2015-01-01)In many jurisdictions, organ allocation is done on the basis of the health status of the patient, either explicitly or implicitly. This paper presents a self-promoting priority queueing model for patient waiting times which ... -
A Model for Shear Response in Swimming Plankton
(University of Waterloo, 2016-08-11)The responses of zooplankton to the hydrodynamic variables of their environment, such as shear, are not well understood. We examine stochastic swimming models of the run and tumble type for plankton moving in a velocity ... -
Model for the RE-TC thalamic circuit with application to childhood absence epilepsy
(University of Waterloo, 2019-08-12)Childhood absence epilepsy (CAE) is an idiopathic neurological disorder affecting roughly 2-8 children per 100,000 children worldwide. It is characterized by absence seizures, or short lapses in consciousness, and the ... -
A Model of Persuasion for Speaking Rate Adaptation
(University of Waterloo, 2010-08-20)Proper speaking rate is a key attribute of effective communication. Emerging persuasive technologies use computers as a tool to induce human behavioural and attitude changes. This thesis established a computational framework ... -
The Model Theory of Algebraically Closed Fields
(University of Waterloo, 2000)Model theory can express properties of algebraic subsets of complex n-space. The constructible subsets are precisely the first order definable subsets, and varieties correspond to maximal consistent collections of ... -
Model-Based Bayesian Sparse Sampling for Data Efficient Control
(University of Waterloo, 2019-06-24)In this work, we propose a novel Bayesian-inspired model-based policy search algorithm for data efficient control. In contrast to other model-based approaches, our algorithm makes use of approximate Gaussian processes in ... -
Model-based Reinforcement Learning of Nonlinear Dynamical Systems
(University of Waterloo, 2022-01-25)Model-based Reinforcement Learning (MBRL) techniques accelerate the learning task by employing a transition model to make predictions. In this dissertation, we present novel techniques for online learning of unknown dynamics ... -
Modeling and Analysis of Software Product Line Variability in Clafer
(University of Waterloo, 2013-11-19)Both feature and class modeling are used in Software Product Line (SPL) engineering to model variability. Feature models are used primarily to represent user-visible characteristics (i.e., features) of products; whereas ...