Now showing items 8505-8524 of 15392

    • MAC Constructions: Security Bounds and Distinguishing Attacks 

      Mandal, Avradip (University of Waterloo, 2007-05-18)
      We provide a simple and improved security analysis of PMAC, a Parallelizable MAC (Message Authentication Code) defined over arbitrary messages. A similar kind of result was shown by Bellare, Pietrzak and Rogaway at ...
    • MAC Protocol Design for Parallel Link Rendezvous in Ad Hoc Cognitive Radio Networks 

      Al-Tamimi, Majid (University of Waterloo, 2010-01-26)
      The most significant challenge for next wireless generation is to work opportunistically on the spectrum without a fixed spectrum allocation. Cognitive Radio (CR) is the candidate technology to utilize spectrum white space, ...
    • Macabre Collectibles: Collecting Culture and Stephen King 

      Hosseini, Seyyed Mohsen (University of Waterloo, 2018-07-09)
      Objects have a significant place in Stephen King’s horror fiction and the landscape he has created in his numerous novels and short stories. The human-thing relationship in his fiction, however, has been generally reduced ...
    • Machane Yehuda 

      Feinberg, Michael (University of Waterloo, 2010-12-20)
      Modern Jerusalem has developed against a background of conflict between the European powers and the Ottoman Empire, between Jews and Arabs, and between religious and secular Jews. These conflicts have fragmented the urban ...
    • A Machine Learning Approach for RDP-based Lateral Movement Detection 

      Bai, Zhenyu (University of Waterloo, 2019-09-19)
      Detecting cyber threats has been an on-going research endeavor. In this era, advanced persistent threats (APTs) can incur significant costs for organizations and businesses. The ultimate goal of cybersecurity is to thwart ...
    • Machine Learning Based Data Driven Modelling of Time Series of Power Plant Data 

      Taneja, Kunal (University of Waterloo, 2020-04-28)
      Accurate modeling and simulation of data collected from a power plant system are important factors in the strategic planning and maintenance of the unit. Several non-linearities and multivariable couplings are associated ...
    • Machine Learning based Models for Fresh Produce Yield and Price Forecasting for Strawberry Fruit 

      Okwuchi, Ifeanyi (University of Waterloo, 2020-06-02)
      Building market price forecasting models of Fresh Produce (FP) is crucial to protect retailers and consumers from highly priced FP. However, the task of forecasting FP prices is highly complex due to the very short shelf ...
    • Machine Learning for SAT Solvers 

      Liang, Jia (University of Waterloo, 2018-12-07)
      Boolean SAT solvers are indispensable tools in a variety of domains in computer science and engineering where efficient search is required. Not only does this relieve the burden on the users of implementing their own search ...
    • Machine Learning for Software Dependability 

      Lutellier, Thibaud (University of Waterloo, 2020-11-10)
      Dependability is an important quality of modern software but is challenging to achieve. Many software dependability techniques have been proposed to help developers improve software reliability and dependability such as ...
    • Machine Learning for Streamflow Prediction 

      Gauch, Martin (University of Waterloo, 2020-04-16)
      Accurate prediction of streamflow—the amount of water flowing past a stream section at a given time—is a long-standing challenge in hydrology. Not only do researchers strive to understand the natural processes at play, the ...
    • Machine Learning Methods for Annual Influenza Vaccine Update 

      Tang, Lin (University of Waterloo, 2013-04-30)
      Influenza is a public health problem that causes serious illness and deaths all over the world. Vaccination has been shown to be the most effective mean to prevent infection. The primary component of influenza vaccine is ...
    • Machine Learning Topological Defects of Liquid Crystals in Two Dimensions 

      Walters, Michael (University of Waterloo, 2019-08-26)
      Over the recent few years, condensed matter physics has keenly been testing out the compelling techniques from the toolbox of machine learning. Order parameters, phase transitions, and other thermodynamic quantities have ...
    • Machine Learning-based Detection of Compensatory Balance Responses and Environmental Fall Risks Using Wearable Sensors 

      Nouredanesh, Mina (University of Waterloo, 2016-08-31)
      Falls are the leading cause of fatal and non-fatal injuries among seniors worldwide, with serious and costly consequences. Compensatory balance responses (CBRs) are reactions to recover stability following a loss of balance, ...
    • A Machine-Learning-Based Algorithm for Peptide Feature Detection from Protein Mass Spectrometry Data 

      Zeng, Xiangyuan (University of Waterloo, 2021-05-13)
      Liquid chromatography with tandem mass spectrometry (LC-MS/MS) has been widely used in proteomics. Two types of data, MS and MS/MS data, are produced in an LC- MS/MS experiment. The MS data contains signal peaks corresponding ...
    • Machine-Level Software Optimization of Cryptographic Protocols 

      Fishbein, Dieter (University of Waterloo, 2014-04-30)
      This work explores two methods for practical cryptography on mobile devices. The first method is a quantum-resistant key-exchange protocol proposed by Jao et al.. As the use of mobile devices increases, the deployment of ...
    • MachineFlow: A Web Tool to Adaptively Select EDA Tool Parameters for Digital ICs Using Statistical Learning 

      Emtenan, Ariq (University of Waterloo, 2016-10-26)
      Digital integrated circuits (ICs) are the driving force behind computing, communication and entertainment in today’s world. More powerful and energy efficient ICs continue to be designed and built by the semiconductor ...
    • Machining Chatter in Flank Milling and Investigation of Process Damping in Surface Generation 

      Ahmadi, Keivan (University of Waterloo, 2011-12-06)
      Although a considerable amount of research exists on geometrical aspects of 5-axis flank milling, the dynamics of this efficient milling operation have not yet been given proper attention. In particular, investigating ...
    • Machining Speed Gains in a 3-Axis CNC Lathe Mill 

      Rigsby, James (University of Waterloo, 2010-08-04)
      The intent of this work is to improve the machining speed of an existing 3 axis CNC wood working lathe. This lathe is unique in that it is a modi ed manual lathe that is capable of machining complex sculptured surfaces. ...
    • MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers 

      Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Ganesh, Vijay (2020)
      In this paper, we present MachSMT, an algorithm selection tool for state-of-the-art Satisfiability Modulo Theories (SMT) solvers. MachSMT supports the entirety of the logics within the SMT-LIB initiative. MachSMT uses ...
    • MacLane's Theorem for Graph-Like Spaces 

      Rooney, Brendan (University of Waterloo, 2008-09-12)
      The cycle space of a finite graph is the subspace of the edge space generated by the edge sets of cycles, and is a well-studied object in graph theory. Recently progress has been made towards extending the theory of cycle ...


      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