Michael Butler Bücher

Gletscher spielen eine zentrale Rolle in Bereichen wie Tourismus, Berg- und Skisport, Forschung, Kunst sowie als Gefahrenquelle und Wasserressource. Die globale Klimaerwärmung führt zu einem drastischen Gletscherschwund, der politische und gesetzliche Maßnahmen erfordert. Der erste Teil des Buches behandelt die sprachlichen und naturwissenschaftlichen Grundlagen. Der zweite Teil widmet sich den Rechtsverhältnissen an Gletschern, einschließlich Gemeingebrauch, Hoheit und Eigentum, sowie verschiedenen Eigentumsstreitigkeiten. Im dritten Teil wird der Schutz vor Gletschergefahren thematisiert, wobei Verkehrssicherungspflichten für Siedlungen, Straßen und Skigebiete im Fokus stehen. Auch die alpinistischen Sorgfaltspflichten, insbesondere die Anseilpflicht, werden behandelt, ebenso wie Fragen zu Haftung und Eigenverantwortung. Gerichtsurteile zu Gletscherunfällen verdeutlichen die Problematik. Der vierte Teil thematisiert den Schutz der Gletscher und die Auswirkungen von Erschließungen, militärischen Übungen und Flugverkehr auf die Gletscherlandschaften. Umstrittene Entscheidungen verdeutlichen den Konflikt zwischen Nutzung und Schutz. Abschließend werden die Zusammenhänge zwischen Gletscherschwankungen und Klimaänderungen sowie Maßnahmen zum Klimaschutz, einschließlich der Chancen von Klimaklagen, erläutert.

The book covers a wide range of topics related to system development, verification, and testing in software and hardware engineering. It discusses a system development process using Event-B and the Rodin platform, addressing challenges in software certification and the integration of formal methods with system management. Key topics include the formal engineering of access control policies, a verification framework for agent knowledge, and the transition from model-based design to formal verification of adaptive embedded systems. The text also explores machine-assisted proof support, tools for verifying component integration in composite timed systems, and approaches for integrating specification-based review with testing to detect program errors. Additionally, it examines methods for reducing test sequence lengths, model checking with SAT-based characterization, and automating refinement checking in probabilistic system design. Practical applications of model checking, including analysis of bootloaders, are also highlighted. In hardware, the book presents denotational semantics for hardware compilation, automatic generation of verified concurrent hardware, and modeling of clock synchronization using hybrid automata. Finally, it addresses concurrency through symbolic execution in process algebra and formalization of virtual processors in thread algebra. An erratum is included regarding software certification challenges.

Focusing on the practical aspects of animal cell culture, this book serves as a comprehensive guide for establishing and maintaining cell cultures in both laboratory and large-scale settings. It highlights the significance of this technique in biochemical and physiological studies, as well as its commercial applications in the pharmaceutical industry. With minimal prerequisites, it is accessible for undergraduates, graduates, and seasoned researchers looking to deepen their understanding of this essential laboratory skill.

The discovery of a cult horror movie from the 1970s leads Ben and his girlfriend, Lena, into a nightmarish experience as they find themselves ensnared in its unsettling universe. Joined by fellow victims Frank and Katherine, the group seeks a way to escape the film's sinister grip. Together, they embark on a quest for exorcism, blending elements of horror and camaraderie as they confront the chilling realities of the movie's influence on their lives.

A wide-ranging collection of essays by leading British, American and German scholars, covering German literature, culture and politics from the Middle Ages to the present day. Based mainly on original research, the individual contributions reveal the rich complexity and vitality of contemporary German studies.

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

The increasing complexity of modern software systems complicates the assurance of their dependability. Factors such as intricate operating environments, stringent dependability requirements, and complex infrastructures present significant engineering challenges in system design. Mastering this complexity necessitates design techniques that promote clear thinking alongside rigorous validation and verification, which can be achieved through formal design methods. Additionally, architectures must be resilient to faults and unpredictable environmental changes, necessitating fault-tolerant design techniques. This book addresses critical issues in developing fault-tolerant systems, including verification and refinement, integrated development approaches, formal foundations for error detection and recovery, and patterns for rigorous fault tolerance development. It also covers fault-tolerant software architectures, tools for supporting dependable system design, and integrated platforms for developing such systems. The editors participated in the EU (FP-6) project RODIN, which united researchers from the fault tolerance and formal methods communities. In 2007, RODIN organized the MeMoT workshop alongside the Integrated Formal Methods 2007 Conference at Oxford University, fostering collaboration and innovation in this vital area of research.