Browsing Mathematics (Faculty of) by Type "Technical Report"
Now showing items 1-6 of 6
-
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB
(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)
(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
(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
(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
(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?
(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 ...