Browsing University of Waterloo by Title
Now showing items 1308-1327 of 18774
-
An Automaton-Theoretic View of Algebraic Specifications
(University of Waterloo, 2005)We compare two methods for software specification: <em>algebraic specifications</em> and automata. While algebraic specifications have been around since the 1970s and have been studied extensively, specification by ... -
Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer
(University of Waterloo, 2014-09-10)Modern car systems are getting more complex, so do car electronic/electric (E/E) architectures. E/E architecture of a car includes sensors, actuators, programmable ECUs and all the related communications. The complexity ... -
Autonomic Resource Management for a Cluster that Executes Batch Jobs
(University of Waterloo, 2006)Resource management of large scale clusters is traditionally done manually. Servers are usually over-provisioned to meet the peak demand of workload. It is widely known that manual provisioning is error-prone and ... -
Autonomous Control of a Differential Thrust Micro ROV
(University of Waterloo, 2007-01-22)Underwater vehicles that use differential thrust for surge and yaw motion control have the advantage of increased maneuverability. Unfortunately, such vehicles usually don’t have thrusters/actuators to control the lateral ... -
Autonomous Cooperating Web Crawlers
(University of Waterloo, 2002)A web crawler provides an automated way to discover web events ? creation, deletion, or updates of web pages. Competition among web crawlers results in redundant crawling, wasted resources, and less-than-timely discovery ... -
Autonomous Driving at Intersections: A Critical-Turning-Point Approach for Planning and Decision Making
(University of Waterloo, 2020-08-28)Left-turning at unsignalized intersection is one of the most challenging tasks for urban automated driving, due to the various shapes of different intersections, and rapidly changing nature of the driving scenarios. Many ... -
Autonomous Driving: A Multi-Objective Deep Reinforcement Learning Approach
(University of Waterloo, 2019-05-23)Autonomous driving is a challenging domain that entails multiple aspects: a vehicle should be able to drive to its destination as fast as possible while avoiding collision, obeying traffic rules and ensuring the comfort ... -
Autonomous Driving: Baseline Autonomy
(University of Waterloo, 2017-07-13)In near future Autonomous driving will affect every aspect of transportation and offer a significant boost in mobility for everyone. Autonomous driving techniques and modules must be chosen according to the task the ... -
Autonomous Driving: Mapping and Behavior Planning for Crosswalks
(University of Waterloo, 2019-09-23)As autonomous driving integrates with every day traffic, early adopters are initially skeptical and designers are overly cautious. With safety as the top priority, current systems are sometimes too slow at executing maneuvers. ... -
Autonomous Radar-based Gait Monitoring System
(University of Waterloo, 2023-05-16)Features related to gait are fundamental metrics of human motion [1]. Human gait has been shown to be a valuable and feasible clinical marker to determine the risk of physical and mental functional decline [2], [3]. ... -
Autonomous Railway Defect Detection
(University of Waterloo, 2023-04-27)Railway defects can lead to enormous economic and human losses. Among all types of the defects, surface defects are the most common and prominent. Although various non-destructive methods can be used to detect railway ... -
Autonomous Vehicles with Visual Signals for Pedestrians: Experiments and Design Recommendations
(University of Waterloo, 2020-01-23)Autonomous Vehicles (AV) are the future of transportation and they will transform the dynamic of vehicle and pedestrian interaction. However, in the absence of a driver, it is not clear how an AV can use visual signals to ... -
Autonomous Vehicles: Understanding Adoption Potential in the Greater Toronto and Hamilton Area
(University of Waterloo, 2019-08-23)Many Autonomous Vehicle (AV) researchers have done surveys and interviews to assess the relationships between some population or land use characteristics and people’s intention to adopt private AVs (PAVs) and shared AVs ... -
Autonomous Vertical Recovery of Fixed Wing Unmanned Aerial Vehicles
(University of Waterloo, 2013-04-25)As unmanned aerial vehicles (UAVs) prevail in commercial and first responder applications, the need for safer and more consistent recovery methods is growing. Standard aircraft landing manoeuvres are only possible with a ... -
Autonomy and Moral Obligation: People with Intellectual or Developmental Disabilities
(University of Waterloo, 2015-10-05)In this project I seek to evaluate how social structures and attitudinal norms impact the autonomy of people who live with intellectual or developmental disabilities, and what implications arise from that evaluation. I ... -
Autophagic cell death during Drosophila embryogenesis
(University of Waterloo, 2012-01-23)The amnioserosa (AS) is an extraembryonic tissue that undergoes programmed cell death (PCD) during the normal course of Drosophila embryogenesis. AS degeneration involves morphological evidence of autophagy as well as ... -
Autophagy Regulates the NOTCH Signaling Pathway During Skeletal Muscle Cell Differentiation
(University of Waterloo, 2021-06-01)Research has indicated a crucial role for autophagy during skeletal muscle differentiation. More so, the inhibition of autophagy using 3MA (3-methyladenine), CQ (chloroquine), and shRNA against Atg7 has been shown to impair ... -
Autopsy: Redesigning Urban Transportation
(University of Waterloo, 2010-08-31)According to the United Nations’ report, State of World Population 2008, humankind has come to a turning point; more than 50% of the earth’s population now lives in urban centres. Along with considerations for housing, ... -
Autoregressive models for text independent speaker identification in noisy environments
(University of Waterloo, 2008-09-25)The closed-set speaker identification problem is defined as the search within a set of persons for the speaker of a certain utterance. It is reported that the Gaussian mixture model (GMM) classifier achieves very high ... -
Availability-Aware Spare Capacity Allocation with Partially Protected Rings
(University of Waterloo, 2008-02-19)This thesis work focuses on designing a survivable IP-core network with the minimal investment of spare capacity. A span-oriented spare capacity allocation (SCA) scheme is proposed to satisfy customers' availability ...