How to Future : Leading and Sense-making in an Age of Hyperchange
Provides clear, practical and easy to understand tools that will help you spot trends and patterns, strategically evaluate different futures and guide your strategy Depicts a strategic framework to understand the uncertain nature of the current business world that crucially allows you to embrace hyperchange and adapt and plan for it Delivers a common language to engage stakeholders and teams with innovation practices and strategy foresight
How to engineer software : A model-based approach
The book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software documentation that specifically and intentionally adds value for development and maintenance. Contains many illustrative examples of model-based software engineering, from semantic model all the way to executable code Explains how to derive verification (acceptance) test cases from a semantic model Describes project estimation, along with alternative software development and maintenance processes Shows how to develop and maintain cost-effective software that solves real-world problems
Hop Integrity in the Internet
Hop Integrity in the Internet introduces a new security defense, hop integrity, that can be used against denial-of-service attacks in the Internet. A suite of protocols for providing hop integrity in the Internet is discussed in great detail. In particular, each protocol in this suite is specified and verified using an abstract and formal notation, called the Secure Protocol Notation. There are five protocols in this suite: - A secure address resolution protocol - A light-weight key update protocol - A protocol for computing and verifying message digests - An anti-replay protocol that uses soft sequence numbers - An anti-replay protocol that uses hard sequence numbers In addition, other benefits of hop integrity extend to secure routing, mobile IP, and IP multicast.
Histories of experience in the world of lived religion
This book offers a theoretical introduction to the history of experience on three conceptual levels: everyday experience, experience as process, and experience as structure. Chapters apply 'experience' to empirical case studies, exploring how people have made and shared their religion through experience in history. This book understands experience as a simultaneously socially constructed and intimately personal process that connects individuals to communities and past to future, thereby forming structures that create and direct societies. It represents the crossroads of a new field of the history of experience, and an established tradition of the history of lived religion.
Historic construction and conservation : Materials, Systems and Damage
Takes a modern approach to the meaning of a heritage structure and its conservation. The historical evolution of conservation is briefly addressed, considering prominent individuals and cases; along with the history of construction, focusing on materials and related structural elements, with insight on the sizing rules adopted by masons. This explains structural decisions made during the construction process and allows comparison of scientific theories from the 18th century to modern understanding of limit analysis. Damage and collapse mechanisms for masonry construction, as the most widespread structural form for historical buildings, is described. Excess permanent loading and settlement is differentiated from environmental and anthropogenic actions such as earthquake or incorrect intervention.
Histones : Methods and protocols
Provides new and updated chapters on histones for molecular biologists, biochemists and geneticists. Chapters cover protein complexes that modify chromatin either by adding or removing post-translational modifications, or by exchanging histone variants within the nucleosome. Written in the highly successful Methods in Molecular Biology series format, the chapters include brief introductions to the material, lists of necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and a Notes section which highlights tips on troubleshooting and avoiding known pitfalls.
H-infinity control for nonlinear descriptor systems
The authors present a study of the H-infinity control problem and related topics for descriptor systems, described by a set of nonlinear differential-algebraic equations. They derive necessary and sufficient conditions for the existence of a controller solving the standard nonlinear H-infinity control problem considering both state and output feedback. One such condition for the output feedback control problem to be solvable is obtained in terms of Hamilton–Jacobi inequalities and a weak coupling condition; a parameterization of output feedback controllers solving the problem is also provided. All of these results are then specialized to the linear case. The derivation of state-space formulae for all controllers solving the standard H-infinity control problem for descriptor systems is proposed. Among other important topics covered are balanced realization, reduced-order controller design and mixed H2/H-infinity control.
Highway engineering : Planning, design, and operations ; 2nd ed.
Presents a clear and rigorous exposition of highway engineering concepts, including project development and the relationship between planning, operations, safety and highway types. The book includes important topics such as corridor selection and traverses, horizontal and vertical alignment, design controls, basic roadway design, cross section elements, intersection and interchange design, and the integration of new vehicle technologies and trends. It also presents end of chapter exercises to further aid understanding and learning. This edition has been fully updated with the current design policies and reference manuals essential for highway, transportation, and civil engineers who are required to work to these standards.
High-Velocity Clouds
On the occasion of the retirement of Ulrich Schwarz, a symposium was held in Groningen in May of 1996, celebrating his contributions to the study of the int- stellar medium, including his work on the high-velocity clouds. The coming together of many specialists in the latter ?eld prompted the idea of compiling a book c- taining their contributions, and summarizing the status of our understanding of the high-velocity cloud phenomenon. This seemed especially worthwhile at the time, since many exciting developments were taking place. After the discovery of some H i clouds with high velocities, about 40 years ago, the subject had been dominated by 21-cm observations of H i emission. Starting in the mid-1980s much progress was being made because of the availability of new instruments, such as large ground-based optical telescopes and UV observatories in space. The connections between the work on high-velocity clouds and other studies of the properties of the (hot) interstellar medium also became clearer.
High-quality outdoor learning : Evidence-based education Outside the classroom for children, teachers and society
Reviews evidence and case studies on the effects of outdoor learning on teachers and learners. It shows how real-world learning outside the classroom contributes to unlocking the full potential of learners, demonstrating its benefits for academic learning, social competencies, personal and emotional development, psychological well-being, and physical activity and health. In addition, the book highlights how outdoor learning nurtures environmental awareness and helps learners to tackle current sustainability challenges. Its focus on high-quality learning makes it a unique contribution to the implementation of SDG 4. Aimed at lecturers at teacher training universities, teachers, professional educators, coaches, and multipliers who train staff of educational NGOs, as well as decision makers on all levels of education systems, this book is of interest to all those who seek a more in-depth understanding of the future of education.
High-Performance Modelling and Simulation for Big Data Applications: Selected Results of the COST Action IC1406 cHiPSet
This book is the final compendium of case studies emanated from “High-Performance Modelling and Simulation for Big Data Applications” (cHiPSet).cHiPSet has created a sustainable reference network linking applied research in High Performance Computing (HPC) and Modelling & Simulation to tangibly address Big Data challenges.cHiPSet has also endeavoured to use and exploit results through Open Science practices, i.e., open access publication, open access to data repositories, and open-source software development. A testament to this philosophy, this compendium is set to become a required reference for the fast-changing fields of HPC, Big Data, and Modelling & Simulation.
Higher Education Landscape 2030 : A Trend Analysis Based on the AHEAD International Horizon Scanning
The digital transformation clearly highlights the role of universities and institutes of higher education in shaping a higher education system that is more open and provides education to everyone who can benefit from it
High Tc superconductors and related transition metal oxides : Special Contributions in Honor of K. Alex Müller on the Occasion of his 80th Birthday
This book containing 30 articles the contributions reflect the major research areas of K. Alex Müller which he activated in high temperature superconductivity and phase transitions. They are theoretical as well as experimental ones and focus mainly on high temperature superconductivity. A smaller part deals with ferroelectricity and their applications.
High performance embedded architectures and compilers ; 1st International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
The ProgramCommittee received a total of 84 submissions; only 17 were selected for presentation as full-length papers and another one as an invited paper. Each paper was rigorously reviewed by three ProgramCommittee members and at least one external referee. Many reviewers spent a great amount of e?ort to provide detailed feedback. In many cases, such feedback along with constructive shepherding resulted in dramatic improvement in the quality of accepted papers. The names of the Program Committee m- bers and the referees are listed in the proceedings. The net result of this team e?ort is that the symposium proceedings include outstanding contributions by authors from nine countries in three continents. In addition to paper presentations, this ?rst HiPEAC conference featured two keynotes delivered by prominent researchers from industry and academia.
High performance concrete optimal composition design
Presents experimental and theoretical results allowing production of special high-strength rapid hardening concrete and fiber reinforced concrete. It describes a method for effective proportioning of high-strength fast-setting concrete and fiber reinforced concrete with high dynamic strength as well as selecting proper technological parameters, methodology for design of reinforced concrete structures using such concrete. Particular attention is paid to ensuring the early strengthening of concrete within 24 hours after casting and to constructing structures with limited energy resources at the site.
High mountain conservation in a changing world
This book aims to provide case studies and a general view of the main processes involved in the ecosystem shifts occurring in the high mountains, and to analyse the implications for nature conservation. Although case studies from the Pyrenees are preponderant, conclusions are aimed at any mountain range surrounded by highly populated lowland areas. The chapters give emphasis to approaches from environmental geography, functional ecology, biogeography, and paleoenvironmental reconstructions. The introductory and closing chapters summarize the main challenges that nature conservation may face in mountain areas under the environmental shifting conditions.
High Availability and Disaster Recovery : Concepts, Design, Implementation
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission critical business processes are IT-based processes. Business continuity is the ability to do business under any circumstances and is an essential requirement modern companies are facing. High availability and disaster recovery are contributions of the IT to fulfill this requirement. And companies will be confronted with such demands to an even greater extent in the future, since their credit ratings will be lower without such precautions. Both, high availability and disaster recovery, are realized by redundant systems. Redundancy can and should be implemented on different abstraction levels: from the hardware, the operating system and middleware components up to the backup computing center in case of a disaster. This book presents requirements, concepts, and realizations of redundant systems on all abstraction levels, and all given examples refer to UNIX and Linux systems.
Heterogeneity, high performance computing, self-organization and the cloud
Addresses the most recent developments in cloud computing such as HPC in the Cloud, heterogeneous cloud, self-organising and self-management, and discusses the business implications of cloud computing adoption. Establishing the need for a new architecture for cloud computing, it discusses a novel cloud management and delivery architecture based on the principles of self-organisation and self-management. This focus shifts the deployment and optimisation effort from the consumer to the software stack running on the cloud infrastructure. It also outlines validation challenges and introduces a novel generalised extensible simulation framework to illustrate the effectiveness, performance and scalability of self-organising and self-managing delivery models on hyperscale cloud infrastructures. It concludes with a number of potential use cases for self-organising, self-managing clouds and the impact on those businesses.
Hermann Cohens Critical Idealism
Publications on Cohen in the English language are small in number and this volume aims to fill the gap. It offers an analysis of Cohen’s System of Philosophy - the three-volume classic on logic, ethics, and aesthetics - and his writings on Judaism and religion. The book highlights Cohen’s contributions in these fields, including his discussions with Maimonides, Leibniz, Kant, and Hegel. It demonstrates the congeniality of Cohen’s critical idealism as expounded in the System and his writings on Judaism, and offers an overview of contemporary Cohen research.
Hepatitis Delta Virus ; Vol. 307
Since its discovery nearly 30 years ago, hepatitis delta virus (HDV) has continued to surprise and fascinate. At 1,680 nucleotides the HDV genome is the smallest known to infect man. It is unique among animal viruses, the closest known relatives being plant viroids. To compensate for its limited protein coding capacity, HDV relies heavily on host functions and on structural features of its circular RNA genome. HDV infection depends on hepatitis B virus as a helper, and increases the severity of liver disease caused by HBV alone. There is currently neither an effective HDV vaccine nor a generally accepted useful therapy for HDV infection. This volume encompasses recent developments in HDV research, from molecular virology to genetics to experimental investigation of new therapeutic and vaccine candidates.



















