Browsing Theses by Title
Now showing items 15288-15307 of 15684
-
Vehicle Dynamic Modelling and Parameter Identification for an Autonomous Vehicle
(University of Waterloo, 2018-12-19)For autonomous vehicles to be feasible, a fast and accurate model of the vehicle dynamics is required due to the complexity of the task. There are many different aspects to a driverless vehicle, including path planning, ... -
Vehicle Lateral and Longitudinal Velocity Estimation Using Machine Learning Algorithms
(University of Waterloo, 2022-01-17)Prediction and estimation of states are of great importance for vehicle control and safety. The conventional observers are designed and used vastly in the automotive industry to fulfill this objective. However, the vehicle ... -
Vehicle Stability Control Considering the Driver-in-the-Loop
(University of Waterloo, 2016-08-04)A driver‐in‐the‐loop modeling framework is essential for a full analysis of vehicle stability systems. In theory, knowing the vehicle’s desired path (driver’s intention), the problem is reduced to a standard control ... -
Vehicle Tracking in Occlusion and Clutter
(University of Waterloo, 2008-01-08)Vehicle tracking in environments containing occlusion and clutter is an active research area. The problem of tracking vehicles through such environments presents a variety of challenges. These challenges include vehicle ... -
Vehicle Tracking in Outdoor Environments using 3D Models
(University of Waterloo, 2008-07-23)There has been a growth in demand for advancing algorithms in surveillance applications concerning moving vehicles where analysis of traffic has a potential application to security, traffic management (congestion and ... -
Velocity scaling of high-speed turbulent boundary layer flows with wall heat transfer
(University of Waterloo, 2021-07-19)The law of the wall has been a staple in collapsing the mean velocity profiles of seemingly very different turbulent channel and boundary layer flows into one single, semi-analytical function. Accordingly, it has equipped ... -
VEmap: A Visualization Tool for Evaluating Emotional Responses in Virtual Environments
(University of Waterloo, 2009-06-19)VEMap (virtual emotion map) can be seen as an advanced application of virtual environment (VE) technology to aid with design activities in architecture and urban planning, which can assist designers to understand users’ ... -
VENICE OF LAGOS - Reviving the fishing culture in Makoko through Aquaponics
(University of Waterloo, 2019-09-23)Lagos, Nigeria is a rapidly growing mega-city that faces issues such as overpopulation, pollution, waste management, sanitation, poverty among a host of others. The coastal nature of Lagos causes the city to experience ... -
Venture Capital Investment under Private Information
(University of Waterloo, 2011-06-21)Many venture capitalists (VCs) use the “VC method” of valuation where they use judgment to estimate a probability of successful exit while determining the ownership share to demand in exchange for investing in a venture. ... -
Verbal Repetition in the Reappraisal of Contamination-Related Thoughts
(University of Waterloo, 2008-01-25)Acceptance and Commitment Therapy is a therapeutic approach that emphasizes the alteration of the relationship one has towards one’s thoughts, rather than attempting to change the content of thoughts. It seeks to promote ... -
Verification of Pipelined Ciphers
(University of Waterloo, 2009-01-29)The purpose of this thesis is to explore the formal verification technique of completion functions and equivalence checking by verifying two pipelined cryptographic circuits, KASUMI and WG ciphers. Most of current methods ... -
Verification of temporal properties involving multiple interacting objects
(University of Waterloo, 2013-10-24)Defects that arise due to violating a prescribed order for executing statements or executing a disallowed sequence of statements can be hard to detect since the sequence is often spread over multiple functions and source ... -
Verifying Mutable Systems
(University of Waterloo, 2017-10-23)Model checking has had much success in the verification of single-process and multi-process programs. However, model checkers assume an immutable topology which limits the verification in several areas. Consider the security ... -
Vernacular of Adaptation: Undercurrent of Carpatho-Rusyn Perseverance
(University of Waterloo, 2009-08-31)In the nineteen nineties, former Yugoslavia, went through a series of interstitial disputes, both religious and political, which evolved into hatred amongst its own people and ultimately into an unforgiving civil war. ... -
Vernichtetes Geld und vernichtendes Geld Das Geldmotiv in den zwei zeitgenössischen Romanen "Die Nacht der Händler" von Gert Heidenreich und "MOI" von Heiko Michael Hartmann
(University of Waterloo, 2004)The present work deals with the motif of money in contemporary German literature, taking as examples the two novels <i>Die Nacht der Händler</i> (1995) by Gert Heidenreich and <i>MOI</i> by Heiko Michael Hartmann (1997). ... -
Versatile Deep Learning Forecasting Application with Metamorphic Quality Assurance
(University of Waterloo, 2023-08-23)Accurate estimates of fresh produce (FP) yields and prices are crucial for having fair bidding prices by retailers along with informed asking prices by farmers, leading to the best prices for customers. To have accurate ... -
Versatile Routes for Acrylonitrile Butadiene Rubber Latex Hydrogenation
(University of Waterloo, 2012-06-19)The direct catalytic hydrogenation of acrylonitrile-butadiene-rubber in latex form was studied for the development of a simple process for the modification of unsaturated diene-based polymers. Acrylonitrile-butadiene-rubber, ... -
The Vertex Algebra Vertex
(University of Waterloo, 2019-07-19)This thesis reviews some aspects of a large class of vertex operator algebras labelled by $(p,q)$ webs colored by non-negative integers associated to faces of the web diagrams [1,2,3,4]. Such vertex operator algebras ... -
Vertex Stabilizers for Network Bargaining Games
(University of Waterloo, 2022-03-04)Network bargaining games form a prominent class of examples of game theory problems defined on graphs, where vertices represent players, and edges represent their possible interactions. An instance of a \emph{network ... -
Vertical Handoff between 802.11 and 802.16 Wireless Access Networks
(University of Waterloo, 2008-05-22)Heterogeneous wireless networks will be dominant in the next-generation wireless networks with the integration of various wireless access networks. Wireless mesh networks will become to a key technology as an economically ...