Browsing University of Waterloo by Type "Technical Report"
Now showing items 21-29 of 29
-
Photosphere Tour Guide
(University of Waterloo, 2021-08-20)This document serves as a comprehensive guide for creating and implementing Virtual Reality (VR) into education at the post-secondary level, as well as recommendations for integrating course learning objectives in Virtual ... -
The Religious, Spiritual, Secular And Social Landscapes of The Pacific Northwest – Part 1
(2017-09-01)This report stems from the SSHRC funded research project Religion, Spirituality, Secularity and Society in the Pacific Northwest, led by principal investigator Paul Bramadat in partnership with the Centre for Studies in ... -
The Religious, Spiritual, Secular and Social Landscapes of the Pacific Northwest – Part 2
(2018-06-01)This report stems from the SSHRC funded research project Religion, Spirituality, Secularity and Society in the Pacific Northwest, led by principal investigator Paul Bramadat, Director of the Centre for Studies in Religion ... -
Representing Behavioural Models with Rich Control Structures in SMT-LIB
(University of Waterloo, 2015-09-01)We motivate and present a proposal for how to represent extended finite state machine behavioural models with rich hierarchical states and compositional control structures (e.g., the Statecharts family) in SMT-LIB. Our ... -
Research Practices of Civil and Environmental Engineering Scholars at the University of Waterloo
(Ithaka S+R, 2018-09-13)This report is an investigation of research practices of Civil and Environmental Engineering (CEE) scholars at the University of Waterloo. The study was conducted by the Library, and was part of a larger suite of parallel ... -
The Role of Wastewater Testing for SARS-CoV-2 Surveillance
(Ontario COVID-19 Science Advisory Table, 2021-08-26)Wastewater testing for SARS-CoV-2 is relatively new; however, it builds on existing public health surveillance infrastructure. There is a limited but growing evidence base for its use, despite notable interpretation ... -
Use of non-orthogonal factor analysis for gauging illusory halo: A technical report
(2022-05-27)Non-orthogonal factor analysis is examined as a possible aid in assessing the extent of illusory halo in survey responses. Data from several studies involving students' evaluation of teaching (SETs) are re-analyzed with ... -
Which classes of structures are both pseudo-elementary and definable by an infinitary sentence?
(2019-03-21)When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary ... -
Worst Case Latency Analysis for Hoplite FPGA-based NoC
(2017-10-30)Overlay NoCs, such as Hoplite, are cheap to implement on an FPGA but provide no bounds on worst-case routing latency of packets traversing the NoC due to deflection routing. In this paper, we show how to adapt Hoplite to ...