Browsing Mathematics (Faculty of) by Title
Now showing items 138-157 of 3027
-
An Anisotropic Subgrid-Scale Parameterization for Large-Eddy Simulations of Stratified Turbulence
(AMS, 2020-10-01)Subgrid-scale (SGS) parameterizations in atmosphere and ocean models are often defined independently in the horizontal and vertical directions because the grid spacing is not the same in these directions (anisotropic ... -
Annular Capillary Surfaces: Properties and Approximation Techniques
(University of Waterloo, 2007-09-17)The capillary surface formed within a symmetric annular tube is analyzed. Assuming identical contact angles along each boundary, we consider surfaces u(x,y) that satisfy the capillary problem on an annular region. Several ... -
Anonymous, Secure and Efficient Vehicular Communications
(University of Waterloo, 2007-09-20)Vehicular communication networking is a promising approach for facilitating road safety, traffic management, and infotainment dissemination for drivers and passengers. However, it is subject to various malicious abuses and ... -
Answering Object Queries over Knowledge Bases with Expressive Underlying Description Logics
(University of Waterloo, 2013-10-25)Many information sources can be viewed as collections of objects and descriptions about objects. The relationship between objects is often characterized by a set of constraints that semantically encode background knowledge ... -
An Antibiotic Protocol To Minimize Emergence Of Drug-Resistant Tuberculosis
(Elsevier, 2014-04-15)A within-host model of the spread of tuberculosis is proposed here where the emergence of drug resistance and bacterial dormancy are simultaneously combined. We consider both sensitive and resistant strains of tuberculosis ... -
Ape+: A Faster Ape with Static Model Guided Exploration
(University of Waterloo, 2022-08-17)Ape is the state-of-the-art Android GUI testing tool, which implements a dynamic model internally to guide the testing process. At the time of writing, Ape was one of the most effective Android testing tools. Ape’s ... -
API Parameter Recommendation Based on Documentation Analysis
(University of Waterloo, 2020-01-20)Application Programming Interfaces (APIs) are widely used in today's software development, as they provide a easy and safe way to build more powerful applications with less code. However, learning how to use an API function ... -
Appearance Changes due to Light Exposure
(University of Waterloo, 2017-01-12)The fading of materials due to light exposure over time is a major contributor to the overall aged appearance of man-made objects. Although much attention has been devoted to the modeling of aging and weathering phenomena ... -
Application of Block Sieve Bootstrap to Change-Point detection in time series
(University of Waterloo, 2010-08-31)Since the introduction of CUSUM statistic by E.S. Page (1951), detection of change or a structural break in time series has gained significant interest as its applications span across various disciplines including economics, ... -
Application of Definability to Query Answering over Knowledge Bases
(University of Waterloo, 2014-01-22)Answering object queries (i.e. instance retrieval) is a central task in ontology based data access (OBDA). Performing this task involves reasoning with respect to a knowledge base K (i.e. ontology) over some description ... -
An Application of Matrix Analytic Methods to Queueing Models with Polling
(University of Waterloo, 2019-08-23)We review what it means to model a queueing system, and highlight several components of interest which govern the behaviour of customers, as well as the server(s) who tend to them. Our primary focus is on polling systems, ... -
Application of Mixture Theory to solid tumors and normal pressure hydrocephalus
(University of Waterloo, 2014-01-15)In this thesis, the theory of poroelasticity, namely the Mixture Theory version -- a homogenized, macroscopic scale approach used to describe fluid flow through a porous medium -- is employed in three separate cases ... -
An Application of Out-of-Distribution Detection for Two-Stage Object Detection Networks
(University of Waterloo, 2020-02-14)Recently, much research has been published for detecting when a classification neural network is presented with data that does not fit into one of the class labels the network learned at train time. These so-called ... -
Application of repetitive control to the lateral motion in a roll-to-roll web system
(University of Waterloo, 2012-04-10)In a roll-to-roll web system lateral motion of a web caused by disturbances, which are often periodic, results in poor product quality. To reduce the effect of such disturbances, two control strategies are applied. First, ... -
The application of the in-tree knapsack problem to routing prefix caches
(University of Waterloo, 2009-04-30)Modern routers use specialized hardware, such as Ternary Content Addressable Memory (TCAM), to solve the Longest Prefix Matching Problem (LPMP) quickly. Due to the fact that TCAM is a non-standard type of memory and ... -
Application of the LANS-alpha Model to Gravity Currents
(University of Waterloo, 2019-10-21)This thesis aims to investigate how HERCULES performs when running a lock-exchange gravity current case. The LANS-alpha model with stratification is also tested as a subgrid model in HERCULES using the same gravity current ... -
Applications of Artificial Intelligence to the NHL Entry Draft
(University of Waterloo, 2019-01-31)This thesis investigates the application of various fields of artificial intelligence to the domain of sports management and analysis. The research in this thesis is primarily focussed on the entry draft for the National ... -
Applications of Bilinear Maps in Cryptography
(University of Waterloo, 2002)It was recently discovered by Joux [30] and Sakai, Ohgishi and Kasahara [47] that bilinear maps could be used to construct cryptographic schemes. Since then, bilinear maps have been used in applications as varied as ... -
Applications of claim investigation in insurance surplus and claims models
(University of Waterloo, 2018-01-03)Claim investigation is a fundamental part of an insurer's business. Queues form as claims accumulate and claims are investigated according to some queueing mechanism. The natural existence of queues in this context prompts ... -
Applications of Deep Learning to Differential Equation Models in Oncology
(University of Waterloo, 2023-07-25)The integration of quantitative tools in biology and medicine has led to many groundbreaking advances in recent history, with many more promising discoveries on the horizon. Conventional mathematical models, particularly ...