Now showing items 1-6 of 6

    • 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 ...
    • 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 ...
    • Fast Multi-Level Co-Clustering 

      Xu, Haifeng (2013)
      We present a new multilevel method for hierarchical co-clustering. The fast multilevel co-clustering method (FMCC) implements a bi-coarsening process on the bipartite graph induced by the feature matrix. It does so in a ...
    • Landowner Perceptions Of The Value Of Natural Forest And Natural Grassland In A Mosaic Ecosystem In Southern Brazil 

      Henderson, Kirsten A.; Reis, Mateus; Blanco, Carolina C.; Pillar, Valerio D.; Printes, Rodrigo C.; Bauch, Chris T.; Anand, Madhur (Springer, 2016-03-01)
      The forest-grassland mosaics of southern Brazil have been subject to many land use and policy changes over the decades. Like many grasslands around the world, the Campos grasslands are declining with few conservation efforts ...
    • 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 ...
    • 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 ...

      UWSpace

      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