Now showing items 1828-1847 of 2318

    • Representing Behavioural Models with Rich Control Structures in SMT-LIB 

      Day, Nancy A.; Vakili, Amirhossein (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 

      Kingston, David C.; Acker, Stacey M. (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 

      Day, Nancy A.; Vakili, Amirhossein (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 

      Van Der Kraak, Glen; Matsumoto, Jacquie; Schilling, Cory; Servos, Mark R. (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 

      Odunayo, Ogundepo; Sookoo, Naveela; Bathla, Gautam; Cavallin, Anthony; Persaud, Bhaleka; Szigeti, Kathy; Van Cappellen, Philippe; Lin, Jimmy (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 

      Sewerin, Cristina; Barsky, Eugene; Dearborn, Dylanne; Henshilwood, Angela; Hwang, Christina; Keys, Sandra; Mitchell, Marjorie; Spence, Michelle; Szigeti, Kathy; Zaraiskaya, Tatiana (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 

      Tang, Xiaolin; Zhang, Dejiu; Liu, Teng; Khajepour, Amir; Yu, Haisheng; Wang, Hong (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 

      Yu, Siu; Haas, Jennifer; Figueiredo, Rachel (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 

      Hoye, Robert L. Z.; Musselman, Kevin P.; MacManus-Driscoll, Judith L. (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 

      Dauvergne, Peter; Clapp, Jennifer (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 

      Clouâtre, Raphaël; Marcoux, Laurent W. (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 

      Mancheri, Nabeel; Sprecher, Benjamin; Deetman, Sebastiaan; Young, Steven B.; Bleischwitz, Raimund; Dong, Liang; Kleijn, René; Arnold, TUKKER (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 

      Pirani, Mohammad; Hashemi, Ehsan; Khajepour, Amir; Fidan, Baris; Kasaiezadeh Mahabadi, Seyed Alireza; Chen, Shih-Ken; Litkouhi, Baktiar (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 

      Xiao, Ming; Musselman, Kevin P.; Duley, Walter W.; Zhou, Norman Y. (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 

      Naylor, David; Wright, John L.; Foroushani, Seyed Sepehr Mohaddes (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 

      Foroushani, Seyed Sepehr Mohaddes; Naylor, David; Wright, John L. (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 

      Lai, Kwan Tsaan; Waite, Michael L (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 

      Strack, Maria; Waddington, James M. (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 

      Strack, Maria; Waddington, James M.; Rochefort, Line; Tuittila, Eeva-Stiina (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 

      Cook, Richard J.; McIsaac, Michael A. (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 ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages