Refine
Year of publication
Document Type
- Monograph/Edited Volume (1222) (remove)
Language
- English (1222) (remove)
Keywords
Institute
- Institut für Mathematik (353)
- Wirtschaftswissenschaften (191)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (89)
- Institut für Informatik und Computational Science (82)
- Department Linguistik (47)
- Institut für Anglistik und Amerikanistik (46)
- Sozialwissenschaften (39)
- Institut für Physik und Astronomie (35)
- Hasso-Plattner-Institut für Digital Engineering GmbH (34)
- Department Psychologie (25)
Thoroughly revised and updated, this third edition offers a comprehensive and up-to-date overview of the social psychology of aggression, covering all the relevant major theories, individual differences, situational factors, and applied contexts. Understanding the causes, forms, and consequences of aggression and violence is critical for dealing with these harmful forms of social behavior. Addressing a range of sub-topics, the firstpart deals with the definition and measurement of aggression, presents major theories, examines the development of aggression and discusses individual and gender differences in aggressive behaviour. It covers the role of situational factors in eliciting aggression and the impact of exposure to violence in the media. The second part examines specific forms and manifestations of aggression, including chapters on aggression in everyday contexts and in the family, sexual aggression, intergroup aggression, and terrorism. The new edition also includes additional coverage of gender differences, gun violence, and terrorism, to reflect the latest research developments in the field. Alsodiscussing strategies for reducing and preventing aggression, this bookis essential reading for students and researchers in psychology and related disciplines, as well as practitioners andpolicy makers.
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
In this study we examine the tonal organization of a series of recordings of liturgical chants, sung in 1966 by the Georgian master singer Artem Erkomaishvili. This dataset is the oldest corpus of Georgian chants from which the time synchronous F0-trajectories for all three voices have been reliably determined (Müller et al. 2017). It is therefore of outstanding importance for the understanding of the tuning principles of traditional Georgian vocal music.
The aim of the present study is to use various computational methods to analyze what these recordings can contribute to the ongoing scientific dispute about traditional Georgian tuning systems. Starting point for the present analysis is the re-release of the original audio data together with estimated fundamental frequency (F0) trajectories for each of the three voices, beat annotations, and digital scores (Rosenzweig et al. 2020). We present synoptic models for the pitch and the harmonic interval distributions, which are the first of such models for which the complete Erkomaishvili dataset was used. We show that these distributions can be very compactly be expressed as Gaussian mixture models, anchored on discrete sets of pitch or interval values for the pitch and interval distributions, respectively. As part of our study we demonstrate that these pitch values, which we refer to as scale pitches, and which are determined as the mean values of the Gaussian mixture elements, define the scale degrees of the melodic sound scales which build the skeleton of Artem Erkomaishvili’s intonation. The observation of consistent pitch bending of notes in melodic phrases, which appear in identical form in a group of chants, as well as the observation of harmonically driven intonation adjustments, which are clearly documented for all pure harmonic intervals, demonstrate that Artem Erkomaishvili intentionally deviates from the scale pitch skeleton quite freely. As a central result of our study, we proof that this melodic freedom is always constrained by the attracting influence of the scale pitches. Deviations of the F0-values of individual note events from the scale pitches at one instance of time are compensated for in the subsequent melodic steps. This suggests a deviation-compensation mechanism at the core of Artem Erkomaishvili’s melody generation, which clearly honors the scales but still allows for a large degree of melodic flexibility. This model, which summarizes all partial aspects of our analysis, is consistent with the melodic scale models derived from the observed pitch distributions, as well as with the melodic and harmonic interval distributions. In addition to the tangible results of our work, we believe that our work has general implications for the determination of tuning models from audio data, in particular for non-tempered music.
Minor cosmopolitan
(2020)
Cosmopolitanism is a theory about how to live together. The earliest formulation of cosmopolitanism in the West could be dated to as early as the fourth century BCE in ancient Greece by Diogenes, who famously said that he was a “citizen of the world – kosmopolitês,” an idea later picked up by Immanuel Kant, the German philosopher who proposed a philosophy of a world of “perpetual peace.” When cosmopolitanism first emerged as a political idea for modernity in the European Enlightenment, the project embraced the liberal promises of a globalizing economy, yet remained oblivious to, and even complicit with, capitalism, slavery and colonialism. It centered on the male, bourgeois, and white liberal subject, irrespective of the ongoing disenfranchisement, dehumanization, and extermination of its Others.
At the dawn of the 21st century, and in the wake of rapid globalization however, academics, politicians and other pundits enthusiastically declared cosmopolitanism to be no longer just a philosophical ideal, but a real, existing fact. Across the globe, they argued, people were increasingly thinking and feeling beyond the nation, considering themselves citizens of the world. Meanwhile, the global ecological crisis worsens, fascism with different outfits returns in many places of the world, the repression of women, sexual, racial, class and other minorities on a global scale persists; the so called “refugee crisis” inundates the mediascape and political spectacle. Not much of those cosmopolitan promises have left it seems. Perhaps precisely because of this, however, it seems to be an absolute necessity for scholars, activists, and artists today to face the complexities and promises cosmopolitanism has raised although not adequately answered. What has happened to the cosmopolitan promise, and who betrayed it?
“Minor cosmopolitanisms” wishes to challenge the underlying premises of ‘major’ cosmopolitanism without letting go of the unfulfilled emancipatory potential of the concept at large. It wants to rethink cosmopolitanisms in the plural, and trace multiple origins and trajectories of cosmopolitan thought from across the globe. Regarding cosmopolitanisms as emerging through diverse locally, historically and politically specific practices, minor cosmopolitanisms are predicated on difference without abandoning the quest for a shared vision of conviviality and justice. It seeks to answer: how to live at once with our difference and shared struggle? How to think our complicity with even those we most resist? Who sustains the world’s flourishing despite all this?
In ihren Beiträgen verbinden die Autoren grundsätzliche philosophische Überlegungen zur grundlegenden Bedeutung von Menschenwürde für die Menschenrechte mit konkreteren Forderungen, wie mit der Befriedigung lebensnotwendiger Bedürfnisse umzugehen und was zur Beendigung von Armut notwendig ist. Ihre rechtlichen und politischen Argumente stützen sich auf jüngere Rechtsprechung regionaler Gerichtshöfe und internationaler Menschenrechtsorgane. Sie berufen sich auf die Verpflichtungsdimensionen der Menschenrechte und fragen nach der Verantwortlichkeit für deren Umsetzung. Die Autorinnen kommen aus Universitäten in Deutschland, der Schweiz, den Niederlanden und dem Vereinigten Königreich.
This book features four essays that illuminate the relationship between American and Soviet film cultures in the 20th century.
The first essay emphasizes the structural similarities and dissimilarities of the two cultures. Both wanted to reach the masses. However, the goal in Hollywood was to entertain (and educate a little) and in Moscow to educate (and entertain a little).
Some films in the Soviet Union as well as in the United States were conceived as clear competition to one another – as the second essay demonstrates – and the ideological opponent was not shown from its most advantageous side.
The third essay shows how, in the 1980s, the different film cultures made it difficult for the Soviet director Andrei Konchalovsky to establish himself in the US, but nevertheless allowed him to succeed.
In the 1960s, a genre became popular that tells the story of the Russian Civil War using stylistic features of the Western: The Eastern. Its rise and decline are analyzed in the fourth essay.
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.
Reconstructing democracy
(2020)
Across the world, democracies are suffering from a disconnect between the people and political elites. In communities where jobs and industry are scarce, many feel the government is incapable of understanding their needs or addressing their problems. The resulting frustration has fueled the success of destabilizing demagogues. To reverse this pattern and restore responsible government, we need to reinvigorate democracy at the local level. But what does that mean? Drawing on examples of successful community building in cities large and small, from a shrinking village in rural Austria to a neglected section of San Diego, Reconstructing Democracy makes a powerful case for re-engaging citizens. It highlights innovative grassroots projects and shows how local activists can form alliances and discover their own power to solve problems.
The XI international conference Stochastic and Analytic Methods in Mathematical Physics was held in Yerevan 2 – 7 September 2019 and was dedicated to the memory of the great mathematician Robert Adol’fovich Minlos, who passed away in January 2018.
The present volume collects a large majority of the contributions presented at the conference on the following domains of contemporary interest: classical and quantum statistical physics, mathematical methods in quantum mechanics, stochastic analysis, applications of point processes in statistical mechanics. The authors are specialists from Armenia, Czech Republic, Denmark, France, Germany, Italy, Japan, Lithuania, Russia, UK and Uzbekistan.
A particular aim of this volume is to offer young scientists basic material in order to inspire their future research in the wide fields presented here.
Theoretical Fluid Dynamics
(2019)
Humanizing the Laws of War
(2017)
Over the past 150 years, the International Committee of the Red Cross (ICRC) has been one of the main drivers of progressive development in international humanitarian law, whilst assuming various roles in the humanization of the laws of war. With select contributions from international experts, this book critically assesses the ICRC's unique influence in international norm creation. It provides a detailed analysis of the workings of the International Red Cross, Red Crescent Movement and ICRC by addressing the milestone achievements as well as the failures, shortcomings and controversies over time. Crucially, the contributions highlight the lessons to be learnt for future challenges in the development of international humanitarian law. This book will be of particular interest to scholars and students of international law, but also to practitioners working in the field of international humanitarian law at both governmental and non-governmental organizations
Why is Cleopatra, a descendent of Alexander the Great, a Ptolemy from a Greek–Macedonian family, in popular imagination an Oriental woman? True, she assumed some aspects of pharaonic imagery in order to rule Egypt, but her Orientalism mostly derives from ancient (Roman) and modern stereotypes: both the Orient and the idea of a woman in power are signs, in the Western tradition, of ‘otherness’ – and in this sense they can easily overlap and interchange.
This volume investigates how ancient women, and particularly powerful women, such as queens and empresses, have been re-imagined in Western (and not only Western) arts; highlights how this re-imagination and re-visualization is, more often than not, the product of Orientalist stereotypes – even when dealing with women who had nothing to do with Eastern regions; and compares these images with examples of Eastern gaze on the same women. Through the chapters in this volume, readers will discover the similarities and differences in the ways in which women in power were and still are described and decried by their opponents.
The “HPI Future SOC Lab” is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners.
The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies.
This technical report presents results of research projects executed in 2017. Selected projects have presented their results on April 25th and November 15th 2017 at the Future SOC Lab Day events.
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.
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.
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.
Information and its individual interpretations are highly discussed in social media. Their use and misuse is an important subject for cultural and media studies. The theoretical framework of this volume is based on a synopsis of socio-constructivist and semiotic paradigms, which permit insight into ongoing adjustments of the social perception of reality and the thereby changing benchmarks. The assembled micro-studies concentrate primarily on right-wing Internet populism in Germany, France and Italy and allow a more precise idea of the effects the disseminated myths, metaphors and memes can have: Becoming viral, they can have an influence on a society’s semiosphere, i.e.on common sense and social life.
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.
This book explores the cultural and religious politics of the contemporary food movement, starting from the example of Jewish foodies, their zeal for pig (forbidden by Jewish law), and their talk about why ignoring traditional precepts around food is desirable. Focusing on the thought of Michael Pollan, Jonathan Schorsch questions the modernist, materialist and rationalist worldview of many foodies and discusses a lack of attention to culture, tradition, and religion.
Squimera
(2017)
Software development tools that work and behave consistently across different programming languages are helpful for developers, because they do not have to familiarize themselves with new tooling whenever they decide to use a new language. Also, being able to combine multiple programming languages in a program increases reusability, as developers do not have to recreate software frameworks and libraries in the language they develop in and can reuse existing software instead.
However, developers often have a broad choice with regard to tools, some of which are designed for only one specific programming language. Various Integrated Development Environments have support for multiple languages, but are usually unable to provide a consistent programming experience due to different features of language runtimes. Furthermore, common mechanisms that allow reuse of software written in other languages usually use the operating system or a network connection as the abstract layer. Tools, however, often cannot support such indirections well and are therefore less useful in debugging scenarios for example.
In this report, we present a novel approach that aims to improve the programming experience with regard to working with multiple high-level programming languages. As part of this approach, we reuse the tools of a Smalltalk programming environment for other languages and build a multi-language virtual execution environment which is able to provide the same runtime capabilities for all languages.
The prototype system Squimera is an implementation of our approach and demonstrates that it is possible to reuse development tools, so that they behave in the same way across all supported programming languages. In addition, it provides convenient means to reuse and even mix software libraries and frameworks written in different languages without breaking the debugging experience.
Embodied narration
(2018)
Do liminal embodied experiences such as illness, death and dying affect literary form? In recent years, the concept of embodiment has been theorized from various perspectives. Gender studies have been concerned with the cultural implications of embodiment, arguing to move away from viewing the body as a prediscursive phenomenon to regarding it as an acculturated body. Age studies have extended this view to the embodied experience of ageing, while drawing attention to the ways in which the ageing body, through its materiality and plasticity, restricts the possibilities of (de)constructing subjectivity. These current debates on embodiment find a strong counterpart in literary representation. The contributions to this anthology investigate how and to what extend physical borderline experiences affect literary form.
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).
New Public Management
(2011)
New Public Management hat in den vergangenen Jahren die Ansätze und das Verständnis moderner Verwaltungsführung maßgebend beeinflusst.
Stossrichtungen und Grundanliegen dieses Modells wurden zum Teil in die Führungspraxis übernommen und stellen in vielerlei Hinsicht nach wie vor Entwicklungsziele und Leitlinien für die Steuerung und Führung der öffentlichen Verwaltung dar. NPM soll die öffentliche Verwaltung an geforderte Neuausrichtungen anpassen und effizienter gestalten. Ziele und Gestaltung der öffentlichen Verwaltung unter NPM und die dazu notwendigen Instrumente werden in diesem Lehrbuch umfassend und strukturiert erläutert. Besonderes Augenmerk wird dabei auf die Veränderungslinien und -ansätze für die Verwaltungsführung gelegt.
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.
An idealized image of European concert-goers has long prevailed in historical overviews of the nineteenth and twentieth centuries. This act of listening was considered to be an invisible and amorphous phenomenon, a naturally given mode of perception. This narrative influenced the conditions of listening from the selection of repertoire to the construction of concert halls and programmes. However, as listening moved from the concert hall to the opera house, street music, and jazz venues, new and visceral listening traditions evolved. In turn, the art of listening was shaped by phenomena of the modern era including media innovation and commercialization.
This Handbook asks whether, how, and why practices of music listening changed as the audience moved from pleasure gardens and concert venues in the eighteenth century to living rooms in the twentieth century, and mobile devices in the twenty-first. Through these questions, chapters enable a differently conceived history of listening and offer an agenda for future research.
Anthropocene has become an environmental buzzword. It denotes a new geological epoch that is human?dominated. As mounting scientific evidence reveals, humankind has fundamentally altered atmospheric, geological, hydrological, biospheric, and other Earth system processes to an extent that the risk of an irreversible system change emerges. Human societies must therefore change direction and navigate away from critical tipping points in the various ecosystems of our planet. This hypothesis has kicked off a debate not only on the geoscientific definition of the Anthropocene era, but increasingly also in the social sciences. However, the specific contribution of the social sciences disciplines and in particular that of political science still needs to be fully established.
This edited volume analyzes, from a political science perspective, the wider social dynamics underlying the ecological and geological changes, as well as their implications for governance and politics in the Anthropocene. The focus is on two questions: (1) What is the contribution of political science to the Anthropocene debate, e.g. in terms of identified problems, answers, and solutions? (2) What are the conceptual and practical implications of the Anthropocene debate for the discipline of political science?
Overall, this book contributes to the Anthropocene debate by providing novel theoretical and conceptual accounts of the Anthropocene, engaging with contemporary politics and policy-making in the Anthropocene, and offering a critical reflection on the Anthropocene debate as such. The volume will be of great interest to students and scholars of political science, global environmental politics and governance, and sustainable development.
Blockchain
(2018)
The term blockchain has recently become a buzzword, but only few know what exactly lies behind this approach. According to a survey, issued in the first quarter of 2017, the term is only known by 35 percent of German medium-sized enterprise representatives. However, the blockchain technology is very interesting for the mass media because of its rapid development and global capturing of different markets.
For example, many see blockchain technology either as an all-purpose weapon— which only a few have access to—or as a hacker technology for secret deals in the darknet. The innovation of blockchain technology is found in its successful combination of already existing approaches: such as decentralized networks, cryptography, and consensus models. This innovative concept makes it possible to exchange values in a decentralized system. At the same time, there is no requirement for trust between its nodes (e.g. users).
With this study the Hasso Plattner Institute would like to help readers form their own opinion about blockchain technology, and to distinguish between truly innovative properties and hype.
The authors of the present study analyze the positive and negative properties of the blockchain architecture and suggest possible solutions, which can contribute to the efficient use of the technology. We recommend that every company define a clear target for the intended application, which is achievable with a reasonable cost-benefit ration, before deciding on this technology. Both the possibilities and the limitations of blockchain technology need to be considered. The relevant steps that must be taken in this respect are summarized /summed up for the reader in this study.
Furthermore, this study elaborates on urgent problems such as the scalability of the blockchain, appropriate consensus algorithm and security, including various types of possible attacks and their countermeasures. New blockchains, for example, run the risk of reducing security, as changes to existing technology can lead to lacks in the security and failures.
After discussing the innovative properties and problems of the blockchain technology, its implementation is discussed. There are a lot of implementation opportunities for companies available who are interested in the blockchain realization. The numerous applications have either their own blockchain as a basis or use existing and widespread blockchain systems. Various consortia and projects offer "blockchain-as-a-serviceänd help other companies to develop, test and deploy their own applications.
This study gives a detailed overview of diverse relevant applications and projects in the field of blockchain technology. As this technology is still a relatively young and fast developing approach, it still lacks uniform standards to allow the cooperation of different systems and to which all developers can adhere. Currently, developers are orienting themselves to Bitcoin, Ethereum and Hyperledger systems, which serve as the basis for many other blockchain applications.
The goal is to give readers a clear and comprehensive overview of blockchain technology and its capabilities.
Various kinds of typed attributed graphs are used to represent states of systems from a broad range of domains. For dynamic systems, established formalisms such as graph transformations provide a formal model for defining state sequences. We consider the extended case where time elapses between states and introduce a logic to reason about these sequences. With this logic we express properties on the structure and attributes of states as well as on the temporal occurrence of states that are related by their inner structure, which no formal logic over graphs accomplishes concisely so far. Firstly, we introduce graphs with history by equipping every graph element with the timestamp of its creation and, if applicable, its deletion. Secondly, we define a logic on graphs by integrating the temporal operator until into the well-established logic of nested graph conditions. Thirdly, we prove that our logic is equally expressive to nested graph conditions by providing a suitable reduction. Finally, the implementation of this reduction allows for the tool-based analysis of metric temporal properties for state sequences.
Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic Operating the Cloud. Our goal is to provide a forum for the exchange of knowledge and experience between industry and academia. Co-located with the event is the HPI’s Future SOC Lab day, which offers an additional attractive and conducive environment for scientific and industry related discussions. Operating the Cloud aims to be a platform for productive interactions of innovative ideas, visions, and upcoming technologies in the field of cloud operation and administration.
In these proceedings, the results of the fifth HPI cloud symposium Operating the Cloud 2017 are published. We thank the authors for exciting presentations and insights into their current work and research. Moreover, we look forward to more interesting submissions for the upcoming symposium in 2018.
Version control is a widely used practice among software developers. It reduces the risk of changing their software and allows them to manage different configurations and to collaborate with others more efficiently. This is amplified by code sharing platforms such as GitHub or Bitbucket. Most version control systems track files (e.g., Git, Mercurial, and Subversion do), but some programming environments do not operate on files, but on objects instead (many Smalltalk implementations do). Users of such environments want to use version control for their objects anyway. Specialized version control systems, such as the ones available for Smalltalk systems (e.g., ENVY/Developer and Monticello), focus on a small subset of objects that can be versioned. Most of these systems concentrate on the tracking of methods, classes, and configurations of these. Other user-defined and user-built objects are either not eligible for version control at all, tracking them involves complicated workarounds, or a fixed, domain-unspecific serialization format is used that does not equally suit all kinds of objects. Moreover, these version control systems that are specific to a programming environment require their own code sharing platforms; popular, well-established platforms for file-based version control systems cannot be used or adapter solutions need to be implemented and maintained.
To improve the situation for version control of arbitrary objects, a framework for tracking, converting, and storing of objects is presented in this report. It allows editions of objects to be stored in an exchangeable, existing backend version control system. The platforms of the backend version control system can thus be reused. Users and objects have control over how objects are captured for the purpose of version control. Domain-specific requirements can be implemented. The storage format (i.e. the file format, when file-based backend version control systems are used) can also vary from one object to another. Different editions of objects can be compared and sets of changes can be applied to graphs of objects. A generic way for capturing and restoring that supports most kinds of objects is described. It models each object as a collection of slots. Thus, users can begin to track their objects without first having to implement version control supplements for their own kinds of objects. The proposed architecture is evaluated using a prototype implementation that can be used to track objects in Squeak/Smalltalk with Git. The prototype improves the suboptimal standing of user objects with respect to version control described above and also simplifies some version control tasks for classes and methods as well. It also raises new problems, which are discussed in this report as well.
Political Narrations
(2018)
This book analyzes narrations embedded in political disputes, allowing readers to gain a deeper understanding of modern political reality. The author explores this theme in readings of the Sophocles tragedy Antigone, the Melian Dialogue of Thucydides, Heinrich von Kleist’s novella Michael Kohlhaas, Fyodor Dostoevsky's The Grand Inquisitor and E.L. Doctorow’s Ragtime novel, taking into account the relevant interdisciplinary aspects of the narratives. His study of these four narrations focuses on key political concepts, such as might and right, self-interest, legality and justice, the nation-state and democracy, and relates them compellingly to current actuality. Since narrations can exert comprehensive and lasting influence on individuals’ political discernment, this systematic analysis allows for a better comprehension of politics in education and civics.
A doppelalgebra is an algebra defined on a vector space with two binary linear associative operations. Doppelalgebras play a prominent role in algebraic K-theory. We consider doppelsemigroups, that is, sets with two binary associative operations satisfying the axioms of a doppelalgebra. Doppelsemigroups are a generalization of semigroups and they have relationships with such algebraic structures as interassociative semigroups, restrictive bisemigroups, dimonoids, and trioids.
In the lecture notes numerous examples of doppelsemigroups and of strong doppelsemigroups are given. The independence of axioms of a strong doppelsemigroup is established. A free product in the variety of doppelsemigroups is presented. We also construct a free (strong) doppelsemigroup, a free commutative (strong) doppelsemigroup, a free n-nilpotent (strong) doppelsemigroup, a free n-dinilpotent (strong) doppelsemigroup, and a free left n-dinilpotent doppelsemigroup. Moreover, the least commutative congruence, the least n-nilpotent congruence, the least n-dinilpotent congruence on a free (strong) doppelsemigroup and the least left n-dinilpotent congruence on a free doppelsemigroup are characterized.
The book addresses graduate students, post-graduate students, researchers in algebra and interested readers.
This edited collection assesses governance in forestry programmes and projects, including REDD+ governance. It examines political representation, participation and decentralisation in forest governance, providing insight as to how forest governance arrangements can be responsive to the socio-economic interests of local people and communities who live adjacent to and depend on forests.
Global Forest Governance and Climate Change argues that inclusive complementary representation of local communities is required for strong participatory processes and democratic decentralisation of forest governance. Responsiveness to local people's socio-economic interests in forestry initiatives require paying attention to not just the hosting of participatory meetings and activities, but also to the full cast of appointed, self-authorized, and elected representative agents that stand, speak, and act for local people.
This book will be of interest to students and academics across the fields of climate change governance, forestry, development studies, and political economy. It will also be a useful resource for policy makers and practitioners responsible for forestry and climate change initiatives.
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.
Interactional linguistics
(2018)
The first textbook dedicated to interactional linguistics, focusing on linguistic analyses of conversational phenomena, this introduction provides an overview of the theory and methodology of interactional linguistics. Reviewing recent findings on linguistic practices used in turn construction and turn taking, repair, action formation, ascription, and sequence and topic organization, the book examines the way that linguistic units of varying size - sentences, clauses, phrases, clause combinations, and particles - are mobilized for the implementation of specific actions in talk-in-interaction. A final chapter discusses the implications of an interactional perspective for our understanding of language as well as its variation, diversity, and universality. Supplementary online chapters explore additional topics such as the linguistic organization of preference, stance, footing, and storytelling, as well as the use of prosody and phonetics, and further practices with language. Featuring summary boxes and transcripts from recordings of everyday conversation, this is an essential resource for advanced undergraduate and postgraduate courses on language in social interaction.
Today, software has become an intrinsic part of complex distributed embedded real-time systems. The next generation of embedded real-time systems will interconnect the today unconnected systems via complex software parts and the service-oriented paradigm. Therefore besides timed behavior and probabilistic behaviour also structure dynamics, where the architecture can be subject to changes at run-time, e.g. when dynamic binding of service end-points is employed or complex collaborations are established dynamically, is required. However, a modeling and analysis approach that combines all these necessary aspects does not exist so far.
To fill the identified gap, we propose Probabilistic Timed Graph Transformation Systems (PTGTSs) as a high-level description language that supports all the necessary aspects of structure dynamics, timed behavior, and probabilistic behavior. We introduce the formal model of PTGTSs in this paper and present a mapping of models with finite state spaces to probabilistic timed automata (PTA) that allows to use the PRISM model checker to analyze PTGTS models with respect to PTCTL properties.
Este volumen se ha propuesto incluir no solamente los debates teóricos y metodológicos con respecto a la posible definición del microrrelato como "cuarto género" y los diversos análisis sobre el desarrollo y la historia del mismo, sino también relacionar la minificción literaria con otras prácticas simbólicas (como las minificciones cinematográficas, etc.), y considerar las nuevas posibilidades de difusión de la minificción en los medios masivos de comunicación y, sobre todo, en las redes sociales (Facebook, Twitter) y en el Internet en general. En los cuatro apartados del volumen, sus autores se ocupan de la teoría del género y la historia del micorrelato literario; analizan la intertextualidad del nuevo género; interpretan una serie de minificciones literarias de autoras y autores hispanoamericanos y españoles; y consideran otras formas de lo micromediático, los litblogs, la producción de microrrelatos en las redes sociales, y las minificciones cinematográficas.
Writing-between-worlds
(2016)