Filtern
Erscheinungsjahr
- 2022 (84) (entfernen)
Dokumenttyp
- Monographie/Sammelband (84) (entfernen)
Sprache
- Deutsch (54)
- Englisch (28)
- Französisch (1)
- Portugiesisch (1)
Schlagworte
- Berlin (2)
- MOOC (2)
- digital enlightenment (2)
- digital learning platform (2)
- digitale Aufklärung (2)
- digitale Lernplattform (2)
- lebenslanges Lernen (2)
- lifelong learning (2)
- openHPI (2)
- 18. Jahrhundert (1)
Institut
- Hasso-Plattner-Institut für Digital Engineering GmbH (12)
- Historisches Institut (12)
- Öffentliches Recht (11)
- Fachgruppe Politik- & Verwaltungswissenschaft (8)
- Extern (5)
- Wirtschaftswissenschaften (4)
- Bürgerliches Recht (3)
- Fachgruppe Betriebswirtschaftslehre (3)
- Institut für Germanistik (3)
- Institut für Romanistik (3)
Transitional Justice
(2022)
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.
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.
Die vorliegende Arbeit verteidigt die von Richard Foley entwickelte Wissenstheorie, der zufolge propositionales Wissen nicht mehr, aber auch nicht weniger als adäquate Information ist. Wissen ist eine Funktion der Güte von Informationszuständen. Glaubt ein Subjekt wahrerweise, dass p, ohne zu wissen, dass p, so fehlt dem Subjekt mindestens eine wichtige Information im Umfeld der Zielüberzeugung. Die Adäquatheitstheorie ist eine minimalistische und pragmatische Wissenstheorie. Sie ist minimalistisch, weil es über wahre Überzeugung hinausgehend keiner weiteren epistemischen Schlüsseleigenschaft bedarf. Sie ist pragmatisch, weil Adäquatheit epistemische Signifikanz voraussetzt. Klassische Zusatzbedingungen für Wissen, beispielsweise Rechtfertigung oder verlässliche Meinungsbildung, sind lediglich Begleitphänomene.
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öglich und erlaubt ist, sondern nimmt die Komplexität des Erzählens grundsätzlich in den Blick.
Verschriftlichungsstrategien
(2022)
Global Legitimacy Crises
(2022)
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.
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.
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.
Diese eher ungewöhnliche, aber sehr persönlich gehaltene Festschrift ist dem langjährigen Wirken von Dr. Christiane Büchner als „Geschäftsführerin“ am Kommunalwissenschaftlichen Institut (KWI) der Universität Potsdam gewidmet. Die von Prof. Jochen Franzke zusammengestellte und herausgegebene Publikation enthält im ersten Teil neben dem Grußwort des Geschäftsführenden Direktors des KWI Herrn Prof. Thorsten Ingo Schmidt eine Reihe persönlicher Würdigungen von Kolleginnen und Kollegen, Gastwissenschaftlern und Mitarbeitenden, die seit 1994 in verschiedenen Phasen der Entwicklung des KWIs mit Dr. Christiane Büchner eng zusammengearbeitet haben. Der abschließende Dokumentationsteil der Publikation enthält neben Auszügen aus dem Schriftenverzeichnis von Dr. Christiane Büchner auch zwei Nachdrucke aus deren Feder zum Thema der Kreisgebietsreform in Brandenburg (von 2001) sowie über den Landkreis Barnim (von 2019).
Kommunalrecht
(2022)
Das Kommunalrecht stellt sowohl in der Praxis als auch in der Prüfung ein wichtiges Rechtsgebiet dar. Der Band behandelt anschaulich, umfassend und systematisch geordnet die typischen Probleme des Rechts der Gemeinden, Landkreise und sonstigen kommunalen Körperschaften in Frage und Antwort.
In mehr als 380 Fällen und Fragen werden die typischen Probleme des Rechts der Gemeinden, Landkreise und sonstigen kommunalen Körperschaften erörtert, wie sie sich in allen deutschen Flächenländern in vergleichbarer Weise stellen. Das Recht jedes einzelnen Landes wird dabei jeweils in den Fußnoten nachgewiesen. So ist es nicht schwer, das "eigene" Recht wieder zu finden und zudem auch Parallelen zum Recht anderer Länder zu ziehen. Die zahlreichen Hinweise auf länderübergreifende Lehrbücher und die weiteren umfangreichen Literaturangaben erleichtern die Nacharbeit.