KEPEMIMPINAN KEPALA SUKU DALAM PEMILIHAN KEPALA DAERAH DI KAMPUNG UGO DISTRIK KOMBAY KABUPATEN BOVEN DIGOEL PROVINSI PAPUA

Tujuan penelitian ini adalah Untuk mengetahui Kepemimpinan Kepala Suku Dalam Pemilihan Kepala Daerah di Kampung Ugo Distrik Kombay Kabupaten Boven Digoel Provinsi Papua Tahun 2020. Kepemimpinan informal di Papua saat ini cenderung tergusur atau terpinggirkan oleh kepemimpinan formal terutama dalam sistem pemerintahan kampung. Dipilihnya kepemimpinan formal sebagai kepemimpinan resmi yang digunakan secara seragam dalam sistem pemerintahan kampung, namun keberadaan pemimpin informal tetap memiliki pengaruh yang kuat ditengah masyarakat termasuk dalam mempengaruhi pilihan masyarakat dalam pilkada. Seperti kita ketahui, bahwa kampung memiliki organisasi pemerintahan yang seragam di seluruh Papua. Padahal jika kita telusuri secara detail, kepemimpinan informal masih terdapat dan dilestarikan oleh masyarakat kampung di Papua.  Penelitian ini menggunakan metode penelitian kualitatif. Adapun dalam penelitian ini menggunakan teori dari Ferry Marpaung, Sutadji dan Margono ( 2014 : 1619 – 1620) menegaskan peran kepemimpinan: Peran Mempengaruhi, Peran Memotivasi, Peran Informasional  dan Peran pengambil keputusan. Hasil penelitian menunjukkan bahwa Kepala Suku Kombay merupakan seorang pemimpin informal masyarakat distrik kombay yang ada pada pemilihan bupati kabupaten Boven Digoel memiliki peran dan pengaruh. Pengaruh kepala suku mampu meningkatkan partisipasi masyarakat dalam pemilihan tersebut. Pengaruh kepala suku juga dapat meredam kekisruhan yang terjadi di masyarakat. Bahkan mempengaruhi pilihan masyarakat  Kata Kunci: : Partisipasi Politik, Masyarakat, PilkadaÂ

Canonical Derivations with Negative Application Conditions

Using graph transformations to specify the dynamics of distributed systems and networks, we require a precise understanding of concurrency. Negative application conditions (NACs) are an essential means for controlling the application of rules, extending our ability to model complex systems. A classical notion of concurrency in graph transformation is based on shift equivalence and its representation by canonical derivations, i.e., normal forms of the shift operation anticipating independent steps. These concepts are lifted to graph transformation systems with NACs and it is shown that canonical derivations exist for so-called incremental NACs

Confinement Phenomenology in the Bethe-Salpeter Equation

We consider the solution of the Bethe-Salpeter equation in Euclidean metric for a qbar-q vector meson in the circumstance where the dressed quark propagators have time-like complex conjugate mass poles. This approximates features encountered in recent QCD modeling via the Dyson-Schwinger equations; the absence of real mass poles simulates quark confinement. The analytic continuation in the total momentum necessary to reach the mass shell for a meson sufficiently heavier than 1 GeV leads to the quark poles being within the integration domain for two variables in the standard approach. Through Feynman integral techniques, we show how the analytic continuation can be implemented in a way suitable for a practical numerical solution. We show that the would-be qbar-q width to the meson generated from one quark pole is exactly cancelled by the effect of the conjugate partner pole; the meson mass remains real and there is no spurious qbar-q production threshold. The ladder kernel we employ is consistent with one-loop perturbative QCD and has a two-parameter infrared structure found to be successful in recent studies of the light SU(3) meson sector.Comment: Submitted for publication; 10.5x2-column pages, REVTEX 4, 3 postscript files making 3 fig

Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Soft Covariant Gauges on the Lattice

We present an exploratory study of a one-parameter family of covariant, non-perturbative lattice gauge-fixing conditions, that can be implemented through a simple Monte Carlo algorithm. We demonstrate that at the numerical level the procedure is feasible, and as a first application we examine the gauge dependence of the gluon propagator.Comment: 11 pages, Latex, epsf.sty included + 5 PostScript picture

Gluon Propagator in the Infrared Region

The gluon propagator is calculated in quenched QCD for two different lattice sizes (16^3x48 and 32^3x64) at beta=6.0. The volume dependence of the propagator in Landau gauge is studied. The smaller lattice is instrumental in revealing finite volume and anisotropic lattice artefacts. Methods for minimising these artefacts are developed and applied to the larger lattice data. New structure seen in the infrared region survives these conservative cuts to the lattice data. This structure serves to rule out a number of models that have appeared in the literature. A fit to a simple analytical form capturing the momentum dependence of the nonperturbative gluon propagator is also reported.Comment: 13 pages, 9 figures, using RevTeX. Submitted to Phys. Rev. D. This and related papers can also be obtained from http://www.physics.adelaide.edu.au/~jskuller/papers

Satisfiability of constraint specifications on XML documents

Jose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that area with the aim of presenting an approach for the specification of the structure of classes of XML documents and for reasoning about them. More precisely, we specify the structure of documents using sets of constraints that are based on XPath and we present inference rules that are shown to define a sound and complete refutation procedure for checking satisfiability of a given specification using tableaux.Peer ReviewedPostprint (author's final draft

Hierarchical Graph Transformation

If systems are specified by graph transformation, large graphs should be structured in order to be comprehensible. In this paper, we present an approach for the rule-based transformation of hierarchically structured (hyper)graphs. In these graphs, distinguished hyperedges contain graphs that can be hierarchical again. Our framework extends the well-known double-pushout approach from at to hierarchical graphs. In particular, we show how pushouts and pushout complements of hierarchical graphs and graph morphisms can be constructed recursively. Moreover, we make rules more expressive by introducing variables which allow to copy and to remove hierarchical subgraphs in a single rule application

Gluon mass generation in the PT-BFM scheme

In this article we study the general structure and special properties of the Schwinger-Dyson equation for the gluon propagator constructed with the pinch technique, together with the question of how to obtain infrared finite solutions, associated with the generation of an effective gluon mass. Exploiting the known all-order correspondence between the pinch technique and the background field method, we demonstrate that, contrary to the standard formulation, the non-perturbative gluon self-energy is transverse order-by-order in the dressed loop expansion, and separately for gluonic and ghost contributions. We next present a comprehensive review of several subtle issues relevant to the search of infrared finite solutions, paying particular attention to the role of the seagull graph in enforcing transversality, the necessity of introducing massless poles in the three-gluon vertex, and the incorporation of the correct renormalization group properties. In addition, we present a method for regulating the seagull-type contributions based on dimensional regularization; its applicability depends crucially on the asymptotic behavior of the solutions in the deep ultraviolet, and in particular on the anomalous dimension of the dynamically generated gluon mass. A linearized version of the truncated Schwinger-Dyson equation is derived, using a vertex that satisfies the required Ward identity and contains massless poles belonging to different Lorentz structures. The resulting integral equation is then solved numerically, the infrared and ultraviolet properties of the obtained solutions are examined in detail, and the allowed range for the effective gluon mass is determined. Various open questions and possible connections with different approaches in the literature are discussed.Comment: 54 pages, 24 figure

Analytic properties of the Landau gauge gluon and quark propagators

We explore the analytic structure of the gluon and quark propagators of Landau gauge QCD from numerical solutions of the coupled system of renormalized Dyson--Schwinger equations and from fits to lattice data. We find sizable negative norm contributions in the transverse gluon propagator indicating the absence of the transverse gluon from the physical spectrum. A simple analytic structure for the gluon propagator is proposed. For the quark propagator we find evidence for a mass-like singularity on the real timelike momentum axis, with a mass of 350 to 500 MeV. Within the employed Green's functions approach we identify a crucial term in the quark-gluon vertex that leads to a positive definite Schwinger function for the quark propagator.Comment: 42 pages, 16 figures, revtex; version to be published in Phys Rev