Browsing Waterloo Research by Title
Now showing items 1828-1847 of 2318
-
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 ... -
Representing fine-wire EMG with surface EMG in three thigh muscles during high knee flexion movements
(Elsevier, 2018-12-01)Activation waveforms of vastus intermedius, adductor magnus, and semimembranosus have not been reported for high knee flexion activities such as kneeling or squatting, likely due to the invasive procedures required for ... -
Representing hierarchical state machine models in SMT-LIB
(ACM, 2016-05)We motivate and present a proposal for how to represent the syntax of behavioural models written in extended finite-state machine languages with hierarchical states (e.g., the Statecharts family) in SMT-LIB. By including ... -
The Reproductive Effects of Municipal Wastewater Effluents
(University of Guelph, 2017-03-01)There is a growing concern that pharmaceuticals and other chemicals present in the effluents (sewage discharged into a river) from municipal wastewater treatment plants enter the aquatic environment, where they may affect ... -
Rescuing Historical Climate Observations to Support Hydrological Research: A Case Study of Solar Radiation Data
(ACM, 2021-08-16)The acceleration of climate change and its impact highlight the need for long-term reliable climate data at high spatiotemporal resolution to answer key science questions in cold regions hydrology. Prior to the digital ... -
Research Data Management (RDM) Needs of Science and Engineering Researchers: A View from Canada
(2016-06-02)Understanding researcher behaviour and workflow is instrumental to developing reflective service. With changes in funding requirements around sharing, preservation and the submission of a data management plan potentially ... -
Research on the energy control of a dual-motor hybrid vehicle during engine start-stop process
(Elsevier, 2019-01-01)In this paper, motor torque control methods are proposed to suppress the vibration of a dual-motor hybrid powertrain during start-stop operation. Firstly, a co-simulation ADAMS and MATLAB/SIMULINK model is built to study ... -
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 ... -
Research Update: Doping ZnO and TiO2 for solar cells
(AIP Publishing, 2013-12-01)ZnO and TiO2 are two of the most commonly used n-type metal oxide semiconductors in new generation solar cells due to their abundance, low-cost, and stability. ZnO and TiO2 can be used as active layers, photoanodes, buffer ... -
Researching Global Environmental Politics in the 21st Century
(MIT Press, 2016-02-01)This forum article highlights three major research trends we have observed in the journal Global Environmental Politics since 2000. First, research has increasingly focused on specific and formal mechanisms of global ... -
Residual finite dimensionality and representations of amenable operator algebras
(Elsevier, 2019-04-15)We consider a version of a famous open problem formulated by Kadison, asking whether bounded representations of operator algebras are automatically completely bounded. We investigate this question in the context of amenable ... -
Resilience in the tantalum supply chain
(Elsevier, 2018-02-01)Tantalum, considered one of the critical elements by many countries, is a widely used metal in industries such as electronics, aerospace and automotive. The tantalum market has experienced several disruptions and subsequent ... -
Resilient Corner-Based Vehicle Velocity Estimation
(Institute of Electrical and Electronics Engineers, 2017-02-23)This paper presents longitudinal and lateral velocity estimators by considering the effect of the suspension compliance (SC) at each corner (tire) for ground vehicles. The estimators are developed to be resilient to sensor ... -
Resistive Switching Memory of TiO2 Nanowire Networks Grown on Ti Foil by a Single Hydrothermal Method
(Springer, 2017-04-01)The resistive switching characteristics of TiO2 nanowire networks directly grown on Ti foil by a single-step hydrothermal technique are discussed in this paper. The Ti foil serves as the supply of Ti atoms for growth of ... -
Resistor-Network Formulation of Multi-Temperature Free Convection Problems
(American Institute of Aeronautics and Astronautics, 2017-01-11)In recent work, the resistor-network formulation of forced-convection problems and a technique (dQdT) for evaluating the paired convective resistances that characterize the network were presented. This technique entails ... -
Resistor-Network Formulation of Multitemperature Forced-Convection Problems
(American Institute of Aeronautics and Astronautics, 2016-09-07)Many convection heat transfer problems involve more than two isothermal heat sources/sinks. A network of multiple convective resistors connecting temperature nodes representing the isothermal sources (walls, inlet flows, ... -
Resolution Dependence and Subfilter-Scale Motions in Idealized Squall-Line Simulations
(AMS, 2020-07-08)In this paper, the sensitivity of idealized squall-line simulations to horizontal resolution, subgrid turbulence mixing scheme, and subfilter-scale motion is discussed. Inconsistent results from numerical simulations ... -
Response of peatland carbon dioxide and methane fluxes to a watertable drawdown experiment
(American Geophysical Union, Wiley, 2007-02-07)Northern peatlands play an important role in the global carbon cycle representing a significant stock of soil carbon and a substantial natural source of atmospheric methane (CH4). Peatland carbon cycling is affected by ... -
Response of vegetation and net ecosystem carbon dioxide exchange at different peatland microforms following water table drawdown
(American Geophysical Union, Wiley, 2006-05-17)Northern peatlands are significant stocks of terrestrial soil carbon, and it has been predicted that warmer temperatures and lower water tables resulting from climate change will convert these ecosystems into sources for ... -
Response-dependent two-phase sampling designs for biomarker studies
(Wiley, 2014)Two-phase sampling designs are developed and investigated for use in the context of a rheumatology study where interest lies in the association between a biomarker with an expensive assay and disease progression. We ...