Now showing items 1-10 of 703
Measuring & Mitigating Electric Vehicle Adoption Barriers
(University of Waterloo, 2015-01-19)
Transitioning our cars to run on renewable sources of energy is crucial to addressing concerns over energy security and climate change. Electric vehicles (EVs), vehicles that are fully or partially powered by batteries ...
Computation of Multivariate Barrier Crossing Probability, and Its Applications in Finance
(University of Waterloo, 2007-09-05)
In this thesis, we consider computational methods of finding exit probabilities for a class of multivariate stochastic processes. While there is an abundance of results for one-dimensional processes, for multivariate ...
Key establishment --- security models, protocols and usage
(University of Waterloo, 2008-07-30)
Key establishment is the process whereby two or more parties derive a shared secret, typically used for subsequent confidential communication. However, identifying the exact security requirements for key establishment ...
Interval Censoring and Longitudinal Survey Data
(University of Waterloo, 2007-09-11)
Being able to explore a relationship between two life events is of great interest to scientists from different disciplines. Some issues of particular concern are, for example, the connection between smoking cessation and ...
On a Question of Wintner Concerning the Sequence of Integers Composed of Primes from a Given Set
(University of Waterloo, 2007-09-27)
We answer to a Wintner's question concerning the sequence of integers composed of primes from a given set. The results generalize and develop the answer to Wintner’s question due to Tijdeman.
Aspects of Metric Spaces in Computation
(University of Waterloo, 2008-06-06)
Metric spaces, which generalise the properties of commonly-encountered physical and abstract spaces into a mathematical framework, frequently occur in computer science applications. Three major kinds of questions about ...
Direct and Expressive Type Inference for the Rank 2 Fragment of System F
(University of Waterloo, 2007-09-20)
This thesis develops a semiunification-based type inference procedure for the rank 2 fragment of System F, with an emphasis on practical considerations for the adoption of such a procedure into existing programming ...
Hedging Contingent Claims in Markets with Jumps
(University of Waterloo, 2007-09-25)
Contrary to the Black-Scholes paradigm, an option-pricing model which incorporates the possibility of jumps more accurately reflects the evolution of stocks in the real world. However, hedging a contingent claim in ...
Multistate Models for Biomarker Processes
(University of Waterloo, 2014-08-25)
Multistate models are widely used for describing life history processes. In studies where individuals are observed continuously, the transition times between states are known exactly. However, when individuals are observed ...
Erosion, Self-Organization, and Procedural Modeling
(University of Waterloo, 2015-01-16)
Procedural modeling of natural objects such as coastlines and terrains in combination with their characteristic erosion features involves integration of appropriate physical models with the procedural approach and culminates ...