Browsing Theses by Subject "Validation"
Now showing items 1-5 of 5
-
Calibration and validation the Dynamic Photorefraction System (DPRS)
(University of Waterloo, 2014-09-25)Introduction: Our group has been measuring accommodation in myopic children. The instrument of choice has been the Power Refractor (Multichannel Systems). However, this instrumentation is no longer supported and runs on ... -
Design and Validation of a Context-Aware Publish-Subscribe Model
(University of Waterloo, 2015-12-21)A system is said to be context-aware if it can extract, interpret and use contextual information to adapt its functionality and enhance its utility. Context awareness allows the application to gain sensitivity for many ... -
Executable Model Synthesis and Property Validation for Message Sequence Chart Specifications
(University of Waterloo, 2000)Message sequence charts (MSC’s) are a formal language for the specification of scenarios in concurrent real-time systems. The thesis addresses the synthesis of executable object-oriented design-time models from MSC ... -
Traffic Rule Checking and Validation
(University of Waterloo, 2024-02-15)This thesis presents a comprehensive exploration of traffic rule verification systems for diverse junction types, addressing key challenges in formalizing rules, determining violation thresholds, and covering a wide spectrum ... -
User Interface Design and Validation for the Automated Rehabilitation System
(University of Waterloo, 2015-10-27)In current physical rehabilitation protocols, patients typically perform exercises with intermittent feedback or guidance following the initial demonstrations from the physiotherapist. Although many patient-centered systems ...