This institution-wide community is designed to house collections of Waterloo created electronic research that span the institution or are not logically subsumed by a single faculty sub-community.

Collections in this community

Recent deposits

  • Tensor networks, quantum spin chains, and quantum field theory 

    Zou, Yijian (University of Waterloo, 2020-07-07)
    Understanding the universality class of continuous phase transition is of central importance in condensed matter physics. In one spatial dimension, the universal properties are encoded in the conformal field theory (CFT), ...
  • Interplay between Autophagy and Apoptosis During Skeletal Muscle Differentiation 

    Fatemeh, Keyvani (University of Waterloo, 2020-07-07)
    Our previous studies showed that autophagy regulates apoptosis and is required for proper skeletal muscle differentiation. Previously, we inhibited autophagy in C2C12 cells using 3MA (3-methyladenine) treatment or shRNA ...
  • Renormalization, Entanglement and Continuous Tensor Networks 

    Franco Rubio, Adrián (University of Waterloo, 2020-07-07)
    The study of the ground states of local Hamiltonians in quantum many-body and quantum field theoretic systems is a source of many research problems of great complexity. Almost in its entirety, this thesis deals with ...
  • Goldberg's conjecture is true for random multigraphs 

    Haxell, Penny; Krivelevich, Michael; Kronenberg, Gal (Elsevier, 2019-09)
    In the 70s, Goldberg, and independently Seymour, conjectured that for any multigraph G, the chromatic index χ′(G) satisfies χ′(G) ≤ max{∆(G)+1,⌈ρ(G)⌉}, where ρ(G) = max\{\frac {e(G[S])}{\lfloor|S|/2\rfloor} \mid S\subseteq ...
  • A Stability Theorem for Matchings in Tripartite 3-Graphs 

    Haxell, Penny; Narins, Lothar (Cambridge University Press, 2018-04-02)
    It follows from known results that every regular tripartite hypergraph of positive degree, with n vertices in each class, has matching number at least n/2. This bound is best possible, and the extremal configuration is ...
  • The Philosophy of Behavioral Biology 

    Reydon, Thomas; Plaisance, Kathryn S. (Springer, 2012)
    This volume offers a broad overview of central issues in the philosophy of behavioral biology, addressing philosophical issues that arise from the most recent scientific findings in biological research on behavior. It thus ...
  • Show me the numbers: a quantitative portrait of the attitudes, experiences, and values of philosophers of science regarding broadly engaged work 

    Plaisance, Kathryn S.; Graham, Alexander V.; McLevey, John; Michaud, Jay (Springer, 2019-09-23)
    Philosophers of science are increasingly arguing for the importance of doing scientifically- and socially-engaged work, suggesting that we need to reduce barriers to extra-disciplinary engagement and broaden our impact. ...
  • Which classes of structures are both pseudo-elementary and definable by an infinitary sentence? 

    Boney, Will; Csima, Barbara F.; Day, Nancy A.; Harrison-Trainor, Matthew (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 ...
  • A Pluralistic Approach to Interactional Expertise 

    Plaisance, Kathryn S.; Kennedy, Eric B. (Elsevier, 2014-09)
    The concept of interactional expertise – characterized by sociologists Harry Collins and Robert Evans as the ability to speak the language of a discipline without the corresponding ability to practice – can serve as a ...
  • Understanding “What Could Be”: A Call for ‘Experimental Behavioral Genetics’ 

    Burt, S. Alexandra; Plaisance, Kathryn; Hambrick, David Z. (Springer, 2018-08-13)
    Behavioral genetic (BG) research has yielded many important discoveries about the origins of human behavior, but offers little insight into how we might improve outcomes. We posit that this gap in our knowledge base stems ...
  • Late-lumping backstepping control of partial differential equations 

    Auriol, Jean; Morris, Kirsten A.; Di Meglio, Florent (Elsevier, 2019-02)
    We consider in this paper three different partial differential equations (PDEs) that can be exponentially stabilized using backstepping controllers. For implementation, a finite-dimensional controller is generally needed. ...
  • 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 ...
  • DASH: Declarative Modelling with Control State Hierarchy (Preliminary Version) 

    Serna, Jose; Day, Nancy A.; Esmaeilsabzali, Shahram (University of Waterloo, 2018)
    We present a new language, called DASH, for describing formal behavioural models. DASH combines common modelling constructs to describe abstractly both data and control in an integrated manner. DASH uses the Alloy language ...
  • Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB 

    Abbassi, Ali; Day, Nancy A.; Rayside, Derek (2019-06-13)
    We present a variety of translation options for converting Alloy to SMT-LIB via Alloy’s Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational ...
  • Adaptive CPU Allocation for Resource Isolation and Work Conservation 

    Guo, Cong (University of Waterloo, 2020-07-06)
    Consolidating multiple workloads on the same physical machine is an effective measure for utilizing resources efficiently and reducing costs. The main objective is to execute multiple demanding workloads using no more than ...
  • Finite Model Finding Using the Logic of Equality with Uninterpreted Functions 

    Vakili, Amirhossein; Day, Nancy A. (Springer, 2016)
    The problem of finite model finding, finding a satisfying model for a set of first-order logic formulas for a finite scope, is an important step in many verification techniques. In MACE-style solvers, the problem is mapped ...
  • Reconstructing quantum molecular rotor ground states 

    De Vlugt, Isaac J. S.; Iouchtchenko, Dmitri; Merali, Ejaaz; Roy, Pierre-Nicholas; Melko, Roger (Physical Review B, 2020-07-06)
    Nanomolecular assemblies of C60 can be synthesized to enclose dipolar molecules. The low-temperature states of such endofullerenes are described by quantum mechanical rotors, which are candidates for quantum information ...
  • 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 ...
  • Exploring reluctancy towards help-seeking at school among youth in the COMPASS study 

    Doan, Natalie (University of Waterloo, 2020-07-06)
    Background: Despite the high prevalence of mental health problems that emerge during adolescence, it has been observed that young people are among the least likely to seek help. Considering that many adolescents spend most ...
  • Robot Social Engineering 

    Postnikoff, Brittany (University of Waterloo, 2020-07-06)
    This thesis establishes the new field of Robot Social Engineering. We define Robot Social Engineering as the use of social abilities and techniques by robots to manipulate others in order to achieve a goal. We build the ...

View more


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