1,269 research outputs found

    SgpDec : Cascade (de)compositions of finite transformation semigroups and permutation groups

    Get PDF
    We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade products.Final Accepted Versio

    Introduction

    Get PDF
    What are the strategies, modalities and aspirations of island-based, stateless nationalist and regionalist parties in the twenty-first century? Political independence is now easier to achieve, even by the smallest of territories; yet, it is not so likely to be pursued with any vigour by the world's various persisting sub-national (and mainly island) jurisdictions. Theirs is a pursuit of different expressions of sub-national autonomy, stopping short of independence. And yet, a number of independence referenda are scheduled, including one looming in Scotland in autumn 2014

    Bridging the GUI gap with reactive values and relations

    Get PDF
    There are at present two ways to write GUIs for functional code. One is to use standard GUI toolkits, with all the benefits they bring in terms of feature completeness, choice of platform, conformance to platform-specific look-and-feel, long-term viability, etc. However, such GUI APIs mandate an imperative programming style for the GUI and related parts of the application. Alternatively, we can use a functional GUI toolkit. The GUI can then be written in a functional style, but at the cost of foregoing many advantages of standard toolkits that often will be of critical importance. This paper introduces a light-weight framework structured around the notions of reactive values and reactive relations . It allows standard toolkits to be used from functional code written in a functional style. We thus bridge the gap between the two worlds, bringing the advantages of both to the developer. Our framework is available on Hackage and has been been validated through the development of non-trivial applications in a commercial context, and with different standard GUI toolkits

    Power, norms and institutional change in the European Union: the protection of the free movement of goods

    Get PDF
    How do institutions of the European Union change? Using an institutionalist approach, this article highlights the interplay between power, cognitive limits, and the normative order that underpins institutional settings and assesses their impact upon the process of institutional change. Empirical evidence from recent attempts to reinforce the protection of the free movement of goods in the EU suggests that, under conditions of uncertainty, actors with ambiguous preferences assess attempts at institutional change on the basis of the historically defined normative order which holds a given institutional structure together. Hence, path dependent and incremental change occurs even when more ambitious and functionally superior proposals are on offer

    Formalizing design spaces: Implicit invocation mechanisms

    Full text link
    • 

    corecore