"In the Beginning was Napoleon"--"Napoleon and no end": Inspiration Bonaparte explores German responses to Bonaparte in literature, philosophy, painting, science, education, music, and film from his rise to the present. Two hundred years after his death, Napoleon Bonaparte (1769-1821) continues to resonate as a fascinating, ambivalent, and polarizing figure. Differences of opinion as to whether Bonaparte should be viewed as the executor of the principles of the French Revolution or as the figure who was principally responsible for their corruption are as pronounced today as they were at the beginning of the nineteenth century. Contributing to what had been an uneasy German relationship with the French Revolution, the rise of Bonaparte was accompanied by a pattern of Franco-German hostilities that inspired both enthusiastic support and outraged dissent in the German-speaking states. The fourteen essays that comprise Inspiration Bonaparte examine the mythologization of Napoleon in German literature of the nineteenth and twentieth centuries and explore the significant impact of Napoleonic occupation on a broad range of fields including philosophy, painting, politics, the sciences, education, and film. As the contributions from leading scholars emphasize, the contradictory attitudes toward Bonaparte held by so many prominent German thinkers are a reflection of his enduring status as a figure through whom the trauma of shattered late-Enlightenment expectations of sociopolitical progress and evolving concepts of identity politics is mediated.

The last decade has seen renewed interest in political theories of the public sphere, reacting to new challenges posed by globalization, communication technology, and intra- and international conflicts. However, the role of culture and aesthetics in the formation of the public sphere has received insufficient analytical attention. The essays in this volume explore different strategies for enriching the ongoing debates on this issue, ranging from historical case studies to theoretical examinations of cultural interdependencies and the aesthetic potential of literature and art. The contributions implicitly challenge Jurgen Habermas' assumption that the public discourse about art and literature should be seen as a mere precursor to the emergence of the public sphere in the eighteenth century, which, from his point of view, is best discussed in the terminology of political theory. Topics range from the French Revolution's exclusive social metaphors to Herder's anticipation of virtual publics, from the distortions of public communication to revolutionary potentials of popular taste, and from postcolonial feuilletons to the global bio-political imaginaries evoked by mobile communication. The essays are intended for scholars and students in political theory and philosophy as well as in German, Latin American, and Modern Hebrew literature and culture.

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.

Hyperbaric medicine involves the use of barometric pressure great er than that at sea level for the treatment of diseases. The term makes no distinction between air, oxygen or any other gas used as a medium of compression. Hyperbaric oxygenation (HBO) refers to the use of pure oxygen for breathing in a hyperbaric chamber via a mask or similar device or breathing freely in a monoplace chamber pressurized with oxygen. HBO is an intermittent, high dose oxygen inhalation therapy. We have confined ourselves to the subject of HBO therapy and have not included oxygen therapy at normobaric pressures. With the exception of decompression sick ness we have made no attempt to cover diving medicine as many excellent treatises are available on this SUbject. Literature on HBO is extensive, and we estimate that the total number of publication on the subject of hyperbaric medicine dur ing the past 150 years exceeds 20000, nearly half published during the past 30 years. No comprehensive textbook on this topic has ever been written in English, nor is there any bibliography more up to date than 1965. The books on the subject have consisted of monographs, reports of symposia and proceedings of the various international congresses on hyperbaric medicine. No definitive work has been published in the past 10 years.

New essays on the most prominent German dramatist and short-story writer of the early 19th century. For over 150 years, Heinrich von Kleist (1777-1811) has been one of the most widely read and performed German authors. His status in the literary canon is firmly established, but he has always been one of Germany's most contentiously discussed authors. Today's critical debate on his unique prose narratives and dramas is as heated as ever. Many critics regard Kleist as a lone presager of the aesthetics and philosophies of late nineteenth- and early twentieth-century modernism. Yet there can be no question that he responds in his works and letters to the philosophical, aesthetic, and political debates of his time. During the last thirty years, the scholarship on Kleist's work and life has departed from the existentialist wave of the 1950s and early 1960s and opened up new avenues for coming to terms with his unusual talent. The present volume brings together the most important and innovative of these newer scholarly approaches: the essays include critically informed, up-to-date interpretations of Kleist's most-discussed stories and dramas. Other contributions analyze Kleist's literary means and styles and their theoretical underpinnings. They include articles on Kleist's narrative and theatrical technique, poetic and aesthetic theory, philosophical and political thought, and insights from new biographical research. Contributors: Jeffrey L. Sammons,Jost Hermand, Anthony Stephens, Bianca Theisen, Hinrich C. Seeba, Bernhard Greiner, Helmut J. Schneider, Tim Mehigan, Susanne Zantop, Hilda M. Brown, and Sean Allan. Bernd Fischer is Professor of German and Head of theDepartment of German at Ohio State University.

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Buchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Any book on the solution of nonsingular systems of equations is bound to start with Ax= J, but here, A is assumed to be symmetric. These systems arise frequently in scientific computing, for example, from the discretization by finite differences or by finite elements of partial differential equations. Usually, the resulting coefficient matrix A is large, but sparse. In many cases, the need to store the matrix factors rules out the application of direct solvers, such as Gaussian elimination in which case the only alternative is to use iterative methods. A natural way to exploit the sparsity structure of A is to design iterative schemes that involve the coefficient matrix only in the form of matrix-vector products. To achieve this goal, most iterative methods generate iterates Xn by the simple rule Xn = Xo ] Qn-l(A)ro, where ro = f-Axo denotes the initial residual and Qn-l is some polynomial of degree n - 1. The idea behind such polynomial based iteration methods is to choose Qn-l such that the scheme converges as fast as possible.