@book{WeissVerlaanVasquezCarruthersetal.2022, author = {Weiß, Norman and Verlaan, Stephanie and Vasquez Carruthers, Juan Francisco and Mair, Theresa and Conner, Sean and Maaser, Lucas and R{\"o}thlisberger, Livia}, title = {Transitional Justice}, series = {Potsdamer Studien zu Staat, Recht und Politik}, journal = {Potsdamer Studien zu Staat, Recht und Politik}, number = {7}, editor = {Weiß, Norman}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-473-9}, issn = {1869-2443}, doi = {10.25932/publishup-43171}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-431711}, publisher = {Universit{\"a}t Potsdam}, pages = {194}, year = {2022}, abstract = {This publication deals with the topic of transitional justice. In six case studies, the authors link theoretical and practical implications in order to develop some innovative approaches. Their proposals might help to deal more effectively with the transition of societies, legal orders and political systems. Young academics from various backgrounds provide fresh insights and demonstrate the relevance of the topic. The chapters analyse transitions and conflicts in Sierra Leone, Argentina, Nicaragua, Nepal, and South Sudan as well as Germany's colonial genocide in Namibia. Thus, the book provides the reader with new insights and contributes to the ongoing debate about transitional justice.}, language = {en} } @book{Wegmann2022, author = {Wegmann, Simone}, title = {The power of opposition}, publisher = {Routledge}, address = {New York}, isbn = {978-0-367-43731-2}, doi = {10.4324/9781003005360}, pages = {xiv, 188}, year = {2022}, abstract = {Proposing a novel way to look at the consolidation of democratic regimes, this book presents important theoretical and empirical contributions to the study of democratic consolidation, legislative organization, and public opinion. Theoretically, Simone Wegmann brings legislatures into focus as the main body representing both winners and losers of democratic elections. Empirically, Wegmann shows that the degree of policy-making power of opposition players varies considerably between countries. Using survey data from the CSES, the ESS, and the LAPOP and systematically analyzing more than 50 legislatures across the world and the specific rights they grant to opposition players during the policy-making process, Wegmann demonstrates that neglecting the curial role of the legislature in a democratic setting can only lead to an incomplete assessment of the importance of institutions for democratic consolidation. The Power of Opposition will be of great interest to scholars of comparative politics, especially those working on questions related to legislative organization, democratic consolidation, and/or public opinion.}, language = {en} } @book{Trauth2022, author = {Trauth, Martin H.}, title = {Python Recipes for Earth Sciences}, series = {Springer Textbooks in Earth Sciences, Geography and Environment}, journal = {Springer Textbooks in Earth Sciences, Geography and Environment}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-07719-7}, issn = {2510-1307}, doi = {10.1007/978-3-031-07719-7}, pages = {453}, year = {2022}, abstract = {Python is used in a wide range of geoscientific applications, such as in processing images for remote sensing, in generating and processing digital elevation models, and in analyzing time series. This book introduces methods of data analysis in the geosciences using Python that include basic statistics for univariate, bivariate, and multivariate data sets, time series analysis, and signal processing; the analysis of spatial and directional data; and image analysis. The text includes numerous examples that demonstrate how Python can be used on data sets from the earth sciences. The supplementary electronic material (available online through Springer Link) contains the example data as well as recipes that include all the Python commands featured in the book.}, language = {en} } @book{Tolksdorf2022, author = {Tolksdorf, Stefan}, title = {Wissen als ad{\"a}quate Information}, publisher = {Brill}, address = {Paderborn}, isbn = {978-3-95743-258-2}, pages = {XXX, 407}, year = {2022}, abstract = {Die vorliegende Arbeit verteidigt die von Richard Foley entwickelte Wissenstheorie, der zufolge propositionales Wissen nicht mehr, aber auch nicht weniger als ad{\"a}quate Information ist. Wissen ist eine Funktion der G{\"u}te von Informationszust{\"a}nden. Glaubt ein Subjekt wahrerweise, dass p, ohne zu wissen, dass p, so fehlt dem Subjekt mindestens eine wichtige Information im Umfeld der Ziel{\"u}berzeugung. Die Ad{\"a}quatheitstheorie ist eine minimalistische und pragmatische Wissenstheorie. Sie ist minimalistisch, weil es {\"u}ber wahre {\"U}berzeugung hinausgehend keiner weiteren epistemischen Schl{\"u}sseleigenschaft bedarf. Sie ist pragmatisch, weil Ad{\"a}quatheit epistemische Signifikanz voraussetzt. Klassische Zusatzbedingungen f{\"u}r Wissen, beispielsweise Rechtfertigung oder verl{\"a}ssliche Meinungsbildung, sind lediglich Begleitph{\"a}nomene.}, language = {de} } @book{Textor2022, author = {Textor, Sula}, title = {Psittazismus und narrative Vielstimmigkeit}, series = {Metabasis - Transkriptionen zwischen Literaturen, K{\"u}nsten und Medien ; 21}, journal = {Metabasis - Transkriptionen zwischen Literaturen, K{\"u}nsten und Medien ; 21}, publisher = {transcript}, address = {Bielefeld}, isbn = {978-3-8376-6227-6}, doi = {10.1515/9783839462270}, pages = {134}, year = {2022}, abstract = {Warum spricht der Papagei? Weiß er, was er sagt? Und warum ist sein Sprechen, das wie menschliche Rede klingt, und doch etwas ganz anderes ist, so irritierend? Dieser Irritation folgt Sula Textor durch die komplexe Geschichte des Papageis als Figur in Kunst und Literatur und entwirft dabei den Begriff des (narrativen) Psittazismus. In ihrer komparatistisch angelegten narratologischen Studie wird Sprechen selbst zum Thema - und die Stimme (im individuellen, politischen wie narratologischen Sinn) zum Problem. Sie hinterfragt nicht nur, was Sprechen ist und wem es m{\"o}glich und erlaubt ist, sondern nimmt die Komplexit{\"a}t des Erz{\"a}hlens grunds{\"a}tzlich in den Blick.}, language = {de} } @book{Stockhorst2022, author = {Stockhorst, Stefanie}, title = {Verschriftlichungsstrategien}, series = {Neue Perspektiven der Fr{\"u}hneuzeitforschung ; Band 6}, journal = {Neue Perspektiven der Fr{\"u}hneuzeitforschung ; Band 6}, publisher = {Wehrhahn}, address = {Hannover}, isbn = {978-3-86525-932-5}, pages = {125}, year = {2022}, language = {de} } @book{SommererAgneZellietal.2022, author = {Sommerer, Thomas and Agn{\´e}, Hans and Zelli, Fariborz and Bes, Bart Joachim}, title = {Global Legitimacy Crises}, publisher = {Oxford University Press}, address = {Oxford}, isbn = {978-0-19-194674-5}, doi = {10.1093/oso/9780192856326.001.0001}, pages = {240}, year = {2022}, abstract = {Global Legitimacy Crises addresses the consequences of legitimacy in global governance, in particular asking: when and how do legitimacy crises affect international organizations and their capacity to rule. The book starts with a new conceptualization of legitimacy crisis that looks at public challenges from a variety of actors. Based on this conceptualization, it applies a mixed-methods approach to identify and examine legitimacy crises, starting with a quantitative analysis of mass media data on challenges of a sample of 32 IOs. It shows that some, but not all organizations have experienced legitimacy crises, spread over several decades from 1985 to 2020. Following this, the book presents a qualitative study to further examine legitimacy crises of two selected case studies: the WTO and the UNFCCC. Whereas earlier research assumed that legitimacy crises have negative consequences, the book introduces a theoretical framework that privileges the activation inherent in a legitimacy crisis. It holds that this activation may not only harm an IO, but could also strengthen it, in terms of its material, institutional, and decision-making capacity. The following statistical analysis shows that whether a crisis has predominantly negative or positive effects depends on a variety of factors. These include the specific audience whose challenges define a certain crisis, and several institutional properties of the targeted organization. The ensuing in-depth analysis of the WTO and the UNFCCC further reveals how legitimacy crises and both positive and negative consequences are interlinked, and that effects of crises are sometimes even visible beyond the organizational borders.}, language = {en} } @book{SchneiderMaximovaGiese2022, author = {Schneider, Sven and Maximova, Maria and Giese, Holger}, title = {Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction}, number = {143}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-531-6}, issn = {1613-5652}, doi = {10.25932/publishup-54585}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-545851}, publisher = {Universit{\"a}t Potsdam}, pages = {37}, year = {2022}, abstract = {The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether. In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before.}, language = {en} } @book{SchneiderMaximovaGiese2022, author = {Schneider, Sven and Maximova, Maria and Giese, Holger}, title = {Probabilistic metric temporal graph logic}, number = {146}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-532-3}, issn = {1613-5652}, doi = {10.25932/publishup-54586}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-545867}, publisher = {Universit{\"a}t Potsdam}, pages = {34}, year = {2022}, abstract = {Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.}, language = {en} } @book{SchmidtWagnerSchwerdtfegeretal.2022, author = {Schmidt, Thorsten Ingo and Wagner, Dieter and Schwerdtfeger, Roswitha and Sch{\"a}fer, Andrea and Musil, Andreas and Edeling, Thomas and Bauer, Hartmut and Kinyakin, Andrey and Loladze, Besik and Nehls, Danny and Maaß, Christian and Kuhlmann, Sabine and Kuckei, Daniel A. and Hein, Victoria and Wille, Robert and Franzke, Jochen and B{\"u}chner, Christiane}, title = {Festschrift f{\"u}r Dr. Christiane B{\"u}chner in W{\"u}rdigung ihres Wirkens am Kommunalwissenschaftlichen Institut (1994-2022)}, series = {KWI Schriften}, journal = {KWI Schriften}, number = {13}, editor = {Franzke, Jochen}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-529-3}, issn = {1867-951X}, doi = {10.25932/publishup-54498}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-544987}, publisher = {Universit{\"a}t Potsdam}, pages = {125}, year = {2022}, abstract = {Diese eher ungew{\"o}hnliche, aber sehr pers{\"o}nlich gehaltene Festschrift ist dem lang­j{\"a}hrigen Wirken von Dr. Christiane B{\"u}chner als „Gesch{\"a}ftsf{\"u}hrerin" am Kommunal­wissenschaftlichen Institut (KWI) der Universit{\"a}t Potsdam gewidmet. Die von Prof. Jochen Franzke zusammengestellte und herausgegebene Publikation enth{\"a}lt im ersten Teil neben dem Grußwort des Gesch{\"a}ftsf{\"u}hrenden Direktors des KWI Herrn Prof. Thorsten Ingo Schmidt eine Reihe pers{\"o}nlicher W{\"u}rdigungen von Kolleginnen und Kollegen, Gastwissenschaftlern und Mitarbeitenden, die seit 1994 in verschiedenen Phasen der Entwicklung des KWIs mit Dr. Christiane B{\"u}chner eng zusammengearbeitet haben. Der abschließende Dokumentationsteil der Publikation enth{\"a}lt neben Ausz{\"u}gen aus dem Schriftenverzeichnis von Dr. Christiane B{\"u}chner auch zwei Nachdrucke aus deren Feder zum Thema der Kreisgebietsreform in Brandenburg (von 2001) sowie {\"u}ber den Landkreis Barnim (von 2019).}, language = {de} }