Refine
Year of publication
- 2017 (20) (remove)
Document Type
- Monograph/Edited Volume (20) (remove)
Language
- English (20) (remove)
Is part of the Bibliography
- yes (20)
Keywords
- Graphtransformationen (2)
- Graphtransformationssysteme (2)
- graph constraints (2)
- graph transformation (2)
- Abhängigkeiten (1)
- Bisimulation (1)
- Cloud-Sicherheit (1)
- Cloud-Speicher (1)
- Debugging (1)
- Erfüllbarkeitsanalyse (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (6)
- Sozialwissenschaften (6)
- Institut für Romanistik (2)
- Department Erziehungswissenschaft (1)
- Fakultät für Gesundheitswissenschaften (1)
- Hasso-Plattner-Institut für Digital Engineering GmbH (1)
- Institut für Anglistik und Amerikanistik (1)
- Institut für Biochemie und Biologie (1)
- Institut für Umweltwissenschaften und Geographie (1)
- Öffentliches Recht (1)
Palaeoseismic records and seismological data from continental interiors increasingly show that these areas of slow strain accumulation are more subject to seismic and associated natural hazards than previously thought. Moreover, some of our instincts developed for assessing hazards at plate boundaries might not apply here. Hence assessing hazards and drawing implications for the future is challenging, and how well it can be done heavily depends on the ability to assess the spatiotemporal distribution of past large earthquakes. This book explores some key issues in understanding hazards in slowly deforming areas. Examples include classic intraplate regions, such as Central and Northern Europe, Mongolia, Inner Mongolia, Australia, and North and South America, and regions of widely distributed strain, such as the Tien Shan Mountains in Central Asia. The papers in this volume are grouped into two sections. The first section deals with instrumental and historical earthquake data and associated hazard assessments. The second section covers methods from structural geology, palaeoseismology and tectonic geomorphology, and incorporates field evidence
Drug target miRNA
(2017)
This volume provides a concise and technical discussion of recently developed approaches to overcome challenges in miRNA drug discovery. Drug Target miRNA: Methods and Protocols explores strategies to overcome pharmacodynamics and pharmacokinetics challenges. These strategies cover anti-sense agents targeting miRNA that are applied in advanced formulations or are chemically optimized to increase delivery; small molecule miRNA modulators to overcome anti-sense agents’ limitations; general enhancers of miRNA maturation; and Argonaute 2 protein and its pharmacokinetic parameters. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.Cutting-edge and thorough, Drug Target miRNA: Methods and Protocols is a valuable resource for anyone interested in the ever-evolving field of miRNA drug discovery.
Postcolonial Justice' addresses a major issue in current postcolonial theory and beyond, namely, the question of how to reconcile an ethics grounded in the reciprocal acknowledgment of diversity and difference with the normative, if not universal thrust that appears to energize any notion of justice. The concept of postcolonial justice shared by the essays in this volume carries an unwavering commitment to difference within and beyond Europe, while equally rejecting radical cultural essentialisms, which refuse to engage in "utopian ideals" of convivial exchange across a plurality of subject positions. Such utopian ideals can no longer claim universal validity, as in the tradition of the European enlightenment; instead they are bound to local frames of speaking from which they project world.
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
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.
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.
Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic 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.
On the occasion of this symposium we called for submissions of research papers and practitioner's reports. A compilation of the research papers realized during the fourth HPI cloud symposium "Operating the Cloud" 2016 are published in this proceedings. 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 later in the year. 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.
While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if systems with many possible initial graphs and large or infinite state spaces are concerned. One approach that tries to overcome these limitations is inductive invariant checking. However, the verification of inductive invariants often requires extensive knowledge about the system in question and faces the approach-inherent challenges of locality and lack of context.
To address that, this report discusses k-inductive invariant checking for graph transformation systems as a generalization of inductive invariants. The additional context acquired by taking multiple (k) steps into account is the key difference to inductive invariant checking and is often enough to establish the desired invariants without requiring the iterative development of additional properties.
To analyze possibly infinite systems in a finite fashion, we introduce a symbolic encoding for transformation traces using a restricted form of nested application conditions. As its central contribution, this report then presents a formal approach and algorithm to verify graph constraints as k-inductive invariants. We prove the approach's correctness and demonstrate its applicability by means of several examples evaluated with a prototypical implementation of our algorithm.
Innerhalb der USA gilt New Orleans seit jeher als die „unamerikanischste“ Stadt, als exotisch und anders, gar als „sozio-geographischer Unfall“. Hier überkreuzen sich nicht nur die Einflüsse verschiedener Kolonialkulturen, sondern auch die Routen des atlantischen Sklavenhandels und der asiatischen Arbeitsmigration und nicht zuletzt die ideellen wie materiellen Transferbewegungen zwischen den beiden Amerikas.
Der vorliegende Band macht es sich zur Aufgabe, diese vielfältigen transarealen Zirkulationsprozesse zu analysieren und das Potential New Orleans' zur paradigmatischen Metropole des Globalen Südens auszuloten. Im Fokus stehen verschiedene Formen der kulturellen Kreolisierung, wie sie sich in der Sprache, der Literatur, der Musik, aber auch in Alltagsphänomen wie dem Karneval oder Computerspielen manifestieren.
Within the USA, New Orleans has long been considered the ‘un-American’ city, seen as exotic and different, even as a ‘socio-geographical accident’. It is a crossroads not only for the influences of different colonial cultures but also for the routes of the Atlantic slave trade and immigration of Asian workers, and not least for material and non-material transfer between the two Americas. This volume seeks to analyse these manifold transareal circulation processes and to explore New Orleans’s potential as a paradigmatic metropolis of the Global South. The focus is on different forms of creolisation as manifested in language, literature and music, but also in everyday phenomena such as Carnival or computer games.
This volume Struggle, Resistance and Violence examines the fact that all over the world the rights of citizens have come under enormous pressure and addresses the many ways in which people are ‘making claims’ against both autocratic and democratic authority. Without any doubt rule-breaking, riots and violent upheavals have become an aspect of political struggles for citizenship. The book takes up a conflict perspective that directs attention to these recent phenomena. It stresses the necessity of a careful analysis of resistance and violence as critical factors for coming to terms with social conflicts for citizenship from Europe to South America, as well as the Near East, the Far East and the Arab World