Refine
Year of publication
- 2019 (17) (remove)
Document Type
- Monograph/Edited Volume (17) (remove)
Language
- English (17) (remove)
Is part of the Bibliography
- yes (17)
Keywords
- Festschrift (1)
- Forschungskolleg (1)
- Graphreparatur (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institut (1)
- Informationsstruktur (1)
- Klausurtagung (1)
- Konsistenzrestauration (1)
- Linguistik (1)
- Modellreparatur (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering GmbH (4)
- Fachgruppe Politik- & Verwaltungswissenschaft (2)
- Sozialwissenschaften (2)
- Bürgerliches Recht (1)
- Department Linguistik (1)
- Department Musik und Kunst (1)
- Department Sport- und Gesundheitswissenschaften (1)
- Historisches Institut (1)
- Institut für Mathematik (1)
- Institut für Physik und Astronomie (1)
Graph repair, restoring consistency of a graph, plays a prominent role in several areas of computer science and beyond: For example, in model-driven engineering, the abstract syntax of models is usually encoded using graphs. Flexible edit operations temporarily create inconsistent graphs not representing a valid model, thus requiring graph repair. Similarly, in graph databases—managing the storage and manipulation of graph data—updates may cause that a given database does not satisfy some integrity constraints, requiring also graph repair. We present a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing repairs. In our context, we formalize consistency by so-called graph conditions being equivalent to first-order logic on graphs. We present two kind of repair algorithms: State-based repair restores consistency independent of the graph update history, whereas deltabased (or incremental) repair takes this history explicitly into account. Technically, our algorithms rely on an existing model generation algorithm for graph conditions implemented in AutoGraph. Moreover, the delta-based approach uses the new concept of satisfaction (ST) trees for encoding if and how a graph satisfies a graph condition. We then demonstrate how to manipulate these STs incrementally with respect to a graph update.
Das Werk analysiert umfassend das Verbrechen der Aggression im Sinne des Römischen Statuts. Ausgehend von der Rechtsgeschichte, werde die einschlägigen Artikel 8bis, 15bis und 15ter des Römischen Statuts, also die Definition des Verbrechens der Aggression, analysiert.
Ebenso behandelt das Buch weiterführende Entwicklungen des Verbrechens der Aggression über das Jahr 2017 hinaus – das Jahr, in dem es, wahrscheinlich, zu einer Entscheidung über die Aktivierung der Gerichtsbarkeit kommt
Graph repair, restoring consistency of a graph, plays a prominent role in several areas of computer science and beyond: For example, in model-driven engineering, the abstract syntax of models is usually encoded using graphs. Flexible edit operations temporarily create inconsistent graphs not representing a valid model, thus requiring graph repair. Similarly, in graph databases—managing the storage and manipulation of graph data—updates may cause that a given database does not satisfy some integrity constraints, requiring also graph repair.
We present a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing repairs. In our context, we formalize consistency by so-called graph conditions being equivalent to first-order logic on graphs. We present two kind of repair algorithms: State-based repair restores consistency independent of the graph update history, whereas deltabased (or incremental) repair takes this history explicitly into account. Technically, our algorithms rely on an existing model generation algorithm for graph conditions implemented in AutoGraph. Moreover, the delta-based approach uses the new concept of satisfaction (ST) trees for encoding if and how a graph satisfies a graph condition. We then demonstrate how to manipulate these STs incrementally with respect to a graph update.
Of Trees and Birds
(2019)
Gisbert Fanselow’s work has been invaluable and inspiring to many researchers working on syntax, morphology, and information structure, both from a theoretical and from an experimental perspective. This volume comprises a collection of articles dedicated to Gisbert on the occasion of his 60th birthday, covering a range of topics from these areas and beyond. The contributions have in common that in a broad sense they have to do with language structures (and thus trees), and that in a more specific sense they have to do with birds. They thus cover two of Gisbert’s major interests in- and outside of the linguistic world (and perhaps even at the interface).
The contributions to this volume Politics, Social Movements and Extremism take serious the fact that populism is a symptom of the crisis of representation that is affecting parliamentary democracy. Right-wing populism skyrocketed to electoral success and is now part of the government in several European countries, but it also shaped the Brexit campaign and the US presidential election. In Southern Europe, left-wing populism transformed the classical two parties systems into ungovernable three fractions parliaments, whereas in Latin America it still presents an instable alternative to liberal democracy.
The varying consequences of populist mobilisation so far consist in the maceration of the established borders of political culture, the distortion of legislation concerning migrants and migration, and the emergence of hybrid regimes bordering on and sometimes leaning towards dictatorship. Yet, in order to understand populism, innovative research approaches are required that need to be capable of overcoming stereotypes and conceptual dichotomies which are deeply rooted in the political debate.
The chapters of this volume offer such new theoretical strategies for inquiring into the multi-faceted populist phenomenon. The chapters analyse its language, concepts and its relationship to social media in an innovative way, draw the con -tours of left- and right-wing populism and reconstruct its shifting delimitation to
political extremism. Furthermore, they value the most significant aftermath of populist mobilisation on the institutional frame of parliamentary democracy from the limitation of the freedom of press, to the dismantling of the separation of powers, to the erosion of citizenship rights. This volume will be an invaluable reference for students and scholars in the field of political theory, political
sociology and European Studies.
Postcoloniale Literatur bezeichnet die nationalen anglophonen Literaturen in den Amerikas, Asien, Afrika und Ozeanien (zeitweise auch New English Literatures genannt). Eine Darstellung nach Regionen ist wegen der migrantischen Bewegungen der Autor/innen allerdings nicht zu leisten. Daher behandelt der Band die zentralen Themen der postkolonialen Debatte, die jeweils Autor/innen aus verschiedenen Regionen betreffen.
Little is known about how far-reaching decisions in UN Security Council sanctions committees are made. Developing a novel committee governance concept and using examples drawn from sanctions imposed on Iraq, Al-Qaida, Congo, Sudan and Iran, this book shows that Council members tend to follow the will of the powerful, whereas sanctions committee members often decide according to the rules. This is surprising since both Council and committees are staffed by the same member states.
Offering a fascinating account of Security Council micro-politics and decision-making processes on sanctions, this rigorous comparative and theory-driven analysis treats the Council and its sanctions committees as distinguishable entities that may differ in decision practice despite having the same members. Drawing extensively on primary documents, diplomatic cables, well-informed press coverage, reports by close observers and extensive interviews with committee members, Council diplomats and sanctions experts, it contrasts with the conventional wisdom on decision-making within these bodies, which suggests that the powerful permanent members would not accept rule-based decisions against their interests.
This book will be of interest to policy practitioners and scholars working in the broad field of international organizations and international relations theory as well as those specializing in sanctions, international law, the Security Council and counter-terrorism.
This book is about the building of alliances and about joint activities between two groups of social movement actors ascribed increasing relevance for the functioning and the eventual amendment of democratic capitalism. The chapters provide a well-balanced mix of theoretical and empirical accounts on the political, social and economic catalysts behind the changing motives finding expression in a multitude of novel types of joint collective action and inter-organizational alliances. The contributors to this volume go beyond attempting to place unions, movements, crises, precariousness, protests and coalitions at the centre of the research. Instead, they focus on actors who themselves transcend clear-cut social camps. They look at the values and motives underlying collective action by both types of actors as much as at their structural and strategic properties, and inter-organizational relations and networks. This creates a fresh, genuine and historically valid account of the incompatibilities and the commonalities of movements and unions, and of prospects for inter-organizational learning.