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)
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).
West of Potsdam’s city center lies the Golm Campus, the largest campus of the University of Potsdam. Its different buildings tell of the numerous institutions that were established at this site over the years: From the mid-1930s, the Walther Wever Barracks were located here. From 1943, it housed the Air Intelligence Division of the German Airforce Supreme Commander. In 1951, a training institution of the Ministry of State Security moved in, which existed until 1989 under different names. In July 1991, the newly founded University of Potsdam took over the premises, which are now part of the Potsdam-Golm Science Park.
The book takes you on a historic journey of the place and invites you to take a walk across today’s campus. The book includes over 110 photos and a detailed map.
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.
Theoretical Fluid Dynamics
(2019)
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.
Creating fonts is a complex task that requires expert knowledge in a variety of domains. Often, this knowledge is not held by a single person, but spread across a number of domain experts. A central concept needed for designing fonts is the glyph, an elemental symbol representing a readable character. Required domains include designing glyph shapes, engineering rules to combine glyphs for complex scripts and checking legibility. This process is most often iterative and requires communication in all directions. This report outlines a platform that aims to enhance the means of communication, describes our prototyping process, discusses complex font rendering and editing in a live environment and an approach to generate code based on a user’s live-edits.
Technical report
(2019)
Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application.
Commonly used technologies, such as J2EE and .NET, form de facto standards for the realization of complex distributed systems. Evolution of component systems has lead to web services and service-based architectures. This has been manifested in a multitude of industry standards and initiatives such as XML, WSDL UDDI, SOAP, etc. All these achievements lead to a new and promising paradigm in IT systems engineering which proposes to design complex software solutions as collaboration of contractually defined software services.
Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns.
The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.