Books published by Springer London Ltd

The book adopts an innovative analytical approach to agenda setting by not only presenting successful cases in which energy issues were addressed by means of public policy, but by also analyzing failed attempts to make issues part of the European policy agenda.

This volume provides a concise reference to the state-of-the-art in software interoperability. Composed of over 90 papers, Enterprise Interoperability II ranges from academic research through case studies to industrial and administrative experience of interoperability.

This is the first textbook to address quantified risk assessment (QRA) as specifically applied to offshore installations and operations. These minimalistic installations with no helideck and very limited safety systems will require a new approach to risk assessment and emergency planning, especially during manned periods involving W2W vessels.

As the first part of the two-volume updated and expanded fourth edition, it adds a new focus on the EU Offshore Safety Directive, and discusses the new perspective on risk from the Norwegian Petroleum Safety Authority, followed by new and updated international standards.

This book introduces a new approach in the field of macroeconomic inventory studies: the use of multivariate statistics to evaluate long-term characteristics of inventory investments in developed countries.

Dynamic Programming for Impulse Feedback and Fast Controls offers a description of feedback control in the class of impulsive inputs. This book deals with the problem of closed-loop impulse control based on generalization of dynamic programming techniques in the form of variational inequalities of the Hamilton-Jacobi-Bellman type. It provides exercises and examples in relation to software, such as techniques for regularization of ill-posed problems. It also gives an introduction to applications such as hybrid dynamics, control in arbitrary small time, and discontinuous trajectories.This book walks the readers through:the design and description of feedback solutions for impulse controls;the explanation of impulses of higher order that are derivatives of delta functions;the description of their physically realizable approximations - the fast controls and their approximations;the treatment of uncertainty in impulse control and the applications of impulse feedback.Of interest to both academics and graduate students in the field of control theory and applications, the book also protects users from common errors , such as inappropriate solution attempts, by indicating Hamiltonian techniques for hybrid systems with resets.

Although it is popularly assumed that the history of computing before the second half of the 20th century was unimportant, in fact the Industrial Revolution was made possible and even sustained by a parallel revolution in computing technology. An examination and historiographical assessment of key developments helps to show how the era of modern electronic computing proceeded from a continual computing revolution that had arisen during the mechanical and the electrical ages.This unique volume introduces the history of computing during the ¿first¿ (steam) and ¿second¿ (electricity) segments of the Industrial Revolution, revealing how this history was pivotal to the emergence of electronic computing and what many historians see as signifying a shift to a post-industrial society. It delves into critical developments before the electronic era, focusing on those of the mechanical era (from the emergence of the steam engine to that of the electric power network) and the electrical era (from the emergence of the electric power network to that of electronic computing). In so doing, it provides due attention to the demarcations between¿and associated classifications of¿artifacts for calculation during these respective eras. In turn, it emphasizes the history of comparisons between these artifacts.Topics and Features:motivates exposition through a firm historiographical argument of important developmentsexplores the history of the slide rule and its use in the context of electrificationexamines the roles of analyzers, graphs, and a whole range of computing artifacts hitherto placed under the allegedly inferior class of analog computersshows how the analog and the digital are really inseparable, with perceptions thereof depending on either a full or a restricted view of the computing processinvestigates socially situated comparisons of computing history, including the effects of a political economy of computing (one that takes into account cost and ownership of computing artifacts)assesses concealment of analog-machine labor through encasement (¿black-boxing¿)Historians of computing, as well as those of technology and science (especially, energy), will find this well-argued and presented history of calculation and computation in the mechanical and electrical eras an indispensable resource. The work is a natural textbook companion for history of computing courses, and will also appeal to the broader readership of curious computer scientists and engineers, as well as those who generally just have a yearn to learn the contextual background to the current digital age."In this fascinating, original work, Tympas indispensably intertwines the histories of analog and digital computing, showing them to be inseparable from the evolution of social and economic conditions. " Prof. David Mindell, MIT

This monograph is about monotone complete C*-algebras, their properties and the new classification theory.

This book explores association mapping in experimental populations and genome-wide association studies (GWAS), emphasizing methods based on modifications of Bayesian information criterion, for handling testing problems in large-scale scans for trait loci.

This book details control design and analysis for underactuated robotic systems (URS) and for a class of URS including strictly global motion analysis results for URS with multiple-degree-of-freedom and/or two degrees of underactuation.

This book presents the human hand from an overall perspective - from the first appearance of hand-like structures in the fins of big fishes living millions of years ago to todays and the future's mind-controlled artificial hands.

Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Goedel's famous incompleteness theorem. The discussion of classical logic is concluded with a concise exposition of second-order logic.

This book presents an approach to designing added value for businesses, non-profit organizations, end-users and society. It shows how organizations can capture value for themselves in a business ecosystem that cares for people and the planet at the same time.

Sustainable Indoor Lighting

This book clarifies the definition of the intensification process by highlighting the potential role of multi-scale structures, the specific interfacial area, the distribution of driving force, the modes of energy supply and the temporal aspects of processes.

These technologies include: * magnet systems, * plasma heating systems, * control systems, * energy conversion systems, * advanced materials development, * vacuum systems, * cryogenic systems, * plasma diagnostics, * safety systems, and * power plant design studies.

Advanced Control and Supervision of Mineral Processing Plants describes the use of dynamic models of mineral processing equipment in the design of control, data reconciliation and soft-sensing schemes;

In the process industries, stiction is the most common performance-limiting valve problem and over the last decade numerous different techniques for overcoming it have been proposed. This book represents a comprehensive presentation of these methods, including their principles, assumptions, strengths and drawbacks.

This book addresses the problem of measurement error associated with determining the location of landmarks in images.

This book takes a practical approach to maintenance management programs for companies involved in network infrastructure such as distribution of gas, electricity and telecommunications. Case studies illustrate framework design, performance evaluation and more.

A Personal History of Nuclear Medicine is an account of how nuclear medicine developed, and its basic philosophy in the past, present and future.

This book provides an accessible one-volume introduction to Lean Six Sigma and statistics in engineering for students and industry practitioners. As well as providing detailed definitions and case studies of all Six Sigma methods, the book uniquely describes the relationship between operations research techniques and Lean Six Sigma.

This volume provides readers with an insight into the methods and problems associated with CAD systems. It bridges the gulf between users who are ignorant of how interfaces work and developers who create systems without understanding the needs of the users.

"Collaborative Product and Service Life Cycle Management for a Sustainable World" gathers together papers from the 15th ISPE International Conference on Concurrent Engineering (CE2008), to stimulate the new thinking that is so crucial to our sustained productivity enhancement and quality of life.

Enterprise Interoperability is the ability of an enterprise or organisation to work with other enterprises or organisations without special effort. Industry's need for Enterprise Interoperability has been one of the significant drivers for research into the Internet of the Future.

Mass customization (MC) has been hailed as a successful operations strategy across manufacturing and service industries for the past three decades. Mass Customization: Engineering and Managing Global Operations presents emerging research on the role of MC and personalization in today's international operations context.