Mathematics (Faculty of): Recent submissions
Now showing items 120 of 1926

Longevity Risk Management: Models and Hedging Strategies
(University of Waterloo, 20190417)Longevity risk management is becoming increasingly important in the pension and life insurance industries. The unexpected mortality improvements observed in recent decades are posing serious concerns to the financial ... 
Succinct Data Structures for Chordal Graphs
(University of Waterloo, 20190410)We study the problem of approximate shortest path queries in chordal graphs and give a n log n + o(n log n) bit data structure to answer the approximate distance query to within an additive constant of 1 in O(1) time. We ... 
Microswimmer Propulsion by Two Steadily Rotating Helical Flagella
(MDPI, 20190101)Many theoretical studies of bacterial locomotion adopt a simple model for the organism consisting of a spheroidal cell body and a single corkscrewshaped flagellum that rotates to propel the body forward. Motivated by ... 
The effects of flagellar hook compliance on motility of monotrichous bacteria: A modeling study
(AIP Publishing, 201206)A crucial structure in the motility of flagellated bacteria is the hook, which connects the flagellum filament to the motor in the cell body. Early mathematical models of swimming bacteria assume that the helically shaped ... 
Harnessing surfacebound enzymatic reactions to organize microcapsules in solution
(American Association for the Advancement of Science (AAAS), 201603)By developing new computational models, we examine how enzymatic reactions on an underlying surface can be harnessed to direct the motion and organization of reagentladen microcapsules in a fluidfilled microchannel. In ... 
Harnessing catalytic pumps for directional delivery of microparticles in microchambers
(Springer Nature, 20170217)The directed transport of microparticles in microfluidic devices is vital for efficient bioassays and fabrication of complex microstructures. There remains, however, a need for methods to propel and steer microscopic cargo ... 
Convective flow reversal in selfpowered enzyme micropumps
(Proceedings of the National Academy of Sciences, 20160222)Surfacebound enzymes can act as pumps that drive largescale fluid flows in the presence of their substrates or promoters. Thus, enzymatic catalysis can be harnessed for "on demand" pumping in nanoand microfluidic devices ... 
Synthetic quorum sensing in model microcapsule colonies
(Proceedings of the National Academy of Sciences, 20170724)Biological quorum sensing refers to the ability of cells to gauge their population density and collectively initiate a new behavior once a critical density is reached. Designing synthetic materials systems that exhibit ... 
Formal Methods in Quantum Circuit Design
(University of Waterloo, 20190226)The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ... 
An Analysis on The Network Structure of Influential Communities in Twitter
(University of Waterloo, 20190221)Over the past years online social networks have become a major target for marketing strategies, generating a need for methods to efficiently spread information through these networks. Close knit communities have developed ... 
Detecting Vulnerable JavaScript Libraries in Hybrid Android Applications
(University of Waterloo, 20190215)Smartphone devices are very popular. There are a lot of devices being sold, a lot of applications that are created and a lot of people using those applications. However, mobile applications could only be created in the ... 
An Integral Projection Model for Giant Hogweed
(University of Waterloo, 20190204)In this thesis I investigate the impact that the choice of model may have on predictions of giant hogweed population dynamics. It has been shown in two case studies that population growth rates predicted by matrix population ... 
Applications of Artificial Intelligence to the NHL Entry Draft
(University of Waterloo, 20190131)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 ... 
Bounds on Maximum Matchings in 1Planar Graphs
(University of Waterloo, 20190129)In this thesis, we study lower bounds on maximum matchings in 1planar graphs. We expand upon the tools used for proofs of matching bounds in other classes of graphs as well as some original ideas in order to find these ... 
What is a field, what is a particle?...what about algebras?
(University of Waterloo, 20190125)Much of the structure of quantum field theory (QFT) is predicated on the principle of locality. Adherence to locality is achieved in Algebraic QFT (AQFT) by the association of algebras of observables with regions of ... 
Dash: Declarative Behavioural Modelling in Alloy
(University of Waterloo, 20190125)An abstract model is a representation of the fundamental characteristics and properties of a system, and its purpose is to provide feedback to stakeholders about the correctness of the system during the early stages of ... 
Sensitivity of Idealized Squall Line Simulation to Resolution and Subgrid Turbulence Mixing
(University of Waterloo, 20190123)In this project, the sensitivity of idealized squall line simulations to horizontal grid spacing and turbulent mixing parameterization will be discussed. Inconsistent results from numerical simulations of convective ... 
A computational study of practical issues arising in shortterm scheduling of a multipurpose facility
(University of Waterloo, 20190123)This thesis focuses on two important considerations when solving short term scheduling problems for multipurpose facilities: deciding when rescheduling should be performed and choosing efficient time representations for ... 
On the Extrema of Functions in the Takagi Class
(University of Waterloo, 20190123)The Takagi class is a class of fractal functions on the unit interval generalizing the celebrated Takagi function. In this thesis, we study the extrema of these functions. This is a problem that goes back to J.P. Kahane ... 
The Logarithmic Derivative and ModelTheoretic Analysability in Differentially Closed Fields
(University of Waterloo, 20190122)This thesis deals with internal and analysable types, mainly in the context of the stable theory of differentially closed fields. Two main problems are dealt with: the construction of types analysable in the constants with ...