6,985 research outputs found

    Diagnostic Adjudication in Appellate Courts: The Supreme Court of Canada and the Charter of Rights

    Get PDF
    Three distinct adjudicatory processes are found in appellate courts: decisional adjudication (applying principles), procedural adjudication (choosing among principles), and diagnostic adjudication (defining and developing principles). The Supreme Court of Canada has traditionally used procedural adjudication, in which the adversary process frames issues and generates supporting material. However, the Court\u27s decreased caseload, its increased discretion to select cases, and the arrival of a new wave of issues under the Charter of Rights has shifted the Court\u27s work to diagnostic adjudication. As judgment becomes less a choice problem and more a creative exercise, both the degree and kind of judicial involvement changes. Thusfar, however, the Court\u27s administrative responses to the pressure of its work have had limited success. To be effective, reforms in the way the Court organizes and processes its work must derive from an analysis of the requirements of diagnostic adjudication. The paper concludes by suggesting an overall approach and making specific proposals

    Strong Structural Controllability of Systems on Colored Graphs

    Get PDF
    This paper deals with structural controllability of leader-follower networks. The system matrix defining the network dynamics is a pattern matrix in which a priori given entries are equal to zero, while the remaining entries take nonzero values. The network is called strongly structurally controllable if for all choices of real values for the nonzero entries in the pattern matrix, the system is controllable in the classical sense. In this paper we introduce a more general notion of strong structural controllability which deals with the situation that given nonzero entries in the system's pattern matrix are constrained to take identical nonzero values. The constraint of identical nonzero entries can be caused by symmetry considerations or physical constraints on the network. The aim of this paper is to establish graph theoretic conditions for this more general property of strong structural controllability.Comment: 13 page

    Correctly defined concrete syntax

    Get PDF
    Due to their complexity, the syntax of modern modeling languages is preferably defined in two steps. The abstract syntax identifies all modeling concepts whereas the concrete syntax should clarify how these concepts are rendered by graphical and/or textual elements. While the abstract syntax is often defined in form of a metamodel, there does not exist such standard format yet for concrete syntax definitions. The diversity of definition formats—ranging from EBNF grammars to informal text—is becoming a major obstacle for advances in modeling language engineering, including the automatic generation of editors. In this paper, we propose a uniform format for concrete syntax definitions. Our approach captures both textual and graphical model representations and even allows to assign more than one rendering to the same modeling concept. Consequently, following our approach, a model can have multiple, fully equivalent representations, but—in order to avoid ambiguities when reading a model representation—two different models should always have distinguishable representations. We call a syntax definition correct, if all well-formed models are represented in a non-ambiguous way. As the main contribution of this paper, we present a rigorous analysis technique to check the correctness of concrete syntax definition
    • …
    corecore