Since the moment after the fall of the Berlin Wall, important German theater artists have created plays and productions about unification. Some have challenged how German history is written, while others opposed the very act of storytelling. Performing Unification examines how directors, playwrights, and theater groups including Heiner Müller, Frank Castorf, and Rimini Protokoll have represented and misrepresented the past, confronting their nation’s history and collective identity. Matt Cornish surveys German-language history plays from the Baroque period through the documentary theater movement of the 1960s to show how German identity has always been contested, then turns to performances of unification after 1989. Cornish argues that theater, in its structures and its live gestures, on pages, stages, and streets, helps us to understand the past and its effect on us, our relationships with others in our communities, and our futures. Engaging with theater theory from Aristotle through Bertolt Brecht and Hans-Thies Lehmann’s “postdramatic” theater, and with theories of history from Hegel to Walter Benjamin and Hayden White, Performing Unification demonstrates that historiography and dramaturgy are intertwined.

Why did Einstein tirelessly study unified field theory for more than thirty years? In this book, the author argues that Einstein believed he could find a unified theory of all of nature's forces by repeating the methods he thought he had used when he formulated general relativity. The book discusses Einstein's route to the general theory of relativity, focusing on the philosophical lessons that he learnt. It then addresses his quest for a unified theory for electromagnetism and gravity, discussing in detail his efforts with Kaluza-Klein and, surprisingly, the theory of spinors. From these perspectives, Einstein's critical stance towards the quantum theory comes to stand in a new light. This book will be of interest to physicists, historians and philosophers of science.

Many different quality approaches are available in the software industry. Some of the ap-proaches, such as ISO 9001 are not software specific, i.e. they define general requirements for an organization and they can be used at any company. Others, such as Automotive SPICE have been derived from a software specific approach, and can be used for improving specific (in this case automotive) processes. Some are created to improve development processes (e.g. CMMI for Development), others focus on services (e.g. CMMI for Services), and again others are related to particular processes such as software testing (e.g. TMMi) or resource manage-ment (e.g. People CMM). A number of differences among quality approaches exist and there can be various situations in which the usage of multiple approaches is required, e.g. to strengthen a particular process with multiple quality approaches or to reach certification of the compliance to a number of stand-ards. First of all it has to be decided which approaches have potential for the organization. In many cases one approach does not contain enough information for process implementation. Consequently, the organization may need to use several approaches and the decision has to be made how the chosen approaches can be used simultaneously. This area is called Multi-model Software Process Improvement (MSPI). The simultaneous usage of multiple quality ap-proaches is called the multi-model problem. In this dissertation we propose a solution for the multi-model problem which we call the Pro-cess Based Unification (PBU) framework. The PBU framework consists of the PBU concept, a PBU process and the PBU result. We call PBU concept the mapping of quality approaches to a unified process. The PBU concept is operationalized by a PBU process. The PBU result includes the resulting unified process and the mapping of quality approaches to the unified process. Accordingly, we addressed the following research question: Does the PBU framework provide a soluti

This book constitutes the refereed joint post-conference proceedings of the 6th International Symposium on High-Performance Computing, ISHPC 2005, held in, Japan, in 2005. It also includes the refereed post-proceedings of the First International Workshop on Advanced Low Power Systems 2006, ALPS2006, and some from the Workshop on Applications for PetaFLOPS Computing, APC 2005. A total of 42 papers were carefully selected from 76 submissions, covering a huge range of topics.

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

The first book in the Studies in Economic Transition series applies the theory of economic development to the economy of East Germany. Eight years after the unification of Germany, the book provides a comprehensive and much needed assessment of the transition process in the East, its impact on the German economy as a whole and the important broader lessons for European integration and enlargement. The unique economic experiment of the unification of the German economies provided an excellent opportunity for different schools of economic theory to be tested and examined. The contributors to this book take full advantage of this challenge.

One suspects that the people who use computers for their livelihood are growing more "sophisticated" as the field of computer science evolves. This view might be defended by the expanding use of languages such as C and Lisp in contrast to the languages such as FORTRAN and COBOL. This hypothesis is false however - computer languages are not like natural languages where successive generations stick with the language of their ancestors. Computer programmers do not grow more sophisticated - programmers simply take the time to muddle through the increasingly complex language semantics in an attempt to write useful programs. Of course, these programmers are "sophisticated" in the same sense as are hackers of MockLisp, PostScript, and Tex - highly specialized and tedious languages. It is quite frustrating how this myth of sophistication is propagated by some industries, universities, and government agencies. When I was an undergraduate at MIT, I distinctly remember the convoluted questions on exams concerning dynamic scoping in Lisp - the emphasis was placed solely on a "hacker's" view of computation, i. e. , the control and manipulation of storage cells. No consideration was given to the logical structure of programs. Within the past five years, Ada and Common Lisp have become programming language standards, despite their complexity (note that dynamic scoping was dropped even from Common Lisp). Of course, most industries' selection of programming languages are primarily driven by the requirement for compatibility (with previous software) and performance.

In this book, leading authorities unify algebraic- and graph-based LDPC code designs and constructions into a single theoretical framework.