Bücher veröffentlicht von Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

LANCELOT is a software package for solving large-scale nonlinear optimization problems. Although the book is primarily concerned with a specific optimization package, the issues discussed have much wider implications for the design and im plementation of large-scale optimization algorithms.

Analyzes the reasons why a perfectly competitive economy can grow in an inefficient manner and discusses the conditions for efficient economic growth. The text also considers the hypothesis which says that a nonproducible productive asset like land, prevents dynamic inefficiency.

This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.

This monograph is a systematic exposition of the authors' research on general equi librium models with an infinite number of commodities.

Default logic is specifically concerned with common sense reasoning, which has recently been recognized in the Artificial Intelligence literature to be of fundamental importance for knowledge representation.

The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator.

With elastic-plastic analysis of accumulate damage and fracture, this book considers practical applications with engineering materials and structure fatigue life estimations. Models as well as practical applications are presented and emphasis is laid on approaches to the mixed-mode problem.

This textbook systematically presents the fundamentals of statistical dynamics and reliability theory and describes in detail the theory of Markovian processes used during the analysis of random dynamic processes in mechanical systems.

This book presents a rational scheme of analysis for the periodic and quasi-periodic solution of a broad class of problems within technical and celestial mechanics.

I mean by this that, by writing it backwards, from its found ends {practical machinable teeth) to its tentative beginnings (dimly perceived geometrical notions), one might conceivably write a manual, not on how to understand these kinds of gears, but on how to make them.

This book will address those people, who are key in coping with the challenges of sustainable urban land use management: Professionals in the growing field of urban land recycling and graduate students from different disciplines including urban planning, environmental sciences and geotechnics.

Authored by internationally recognized experts on optical solitons, this book addresses the forefront of technology in the important field of optical communications. It deals with topics from the motion of light waves in optical fibres to the evolution of light wavepackets, and other applications.

Problems involving synthesis of mathematical models of various physical systems, making use of these models in practice and verifying them qualitatively has - come an especially important area of research since more and more physical - periments are being replaced by computer simulations.

Wood is composed of polysaccharides and lignin which are hydrophilic and hydrophobic respectively. This book describes academic approaches to native bonds between lignin and the carbohydrates in wood, discussing the roles of lignin-carbohydrate complexes for practical use and wood processing.

Studying the causes and cures of inflation in a monetary union, this text discusses the effects of money growth and output growth on inflation, focusing on producer inflation, currency depreciation and consumer inflation. It also covers real depreciation and nominal and real interest rates.

The book presents new clustering schemes, dynamical systems and pattern recognition algorithms in geophysical, geodynamical and natural hazard applications. However, the artificial intelligence technique described in the book can be applied far beyond the limits of Earth science applications.

This monograph aims to show that, in the radiation regime, there exists a Hamiltonian description of the dynamics of a massless scalar field, as well as of the dynamics of the gravitational field. The authors construct such a framework extending the previous work of Kijowski and Tulczyjew.

For that purpose we had to develop not only experimental set-ups to measure the pattern velocity but also the theory which describes the connection between this velocity and the velocity gradient.

Finally, shortly before arriving at the Indian Ocean, one encounters the Eastern Arc Mountains, a series of isolated and geologically ancient mountains, which due to their height and proximity to the Indian Ocean intercept sufficient precipitation to support, in many areas, moist tropical forest.

Among the concepts used to assess the sustainability of fiscal policy in a changing demographic environment, generational accounting has become the most prominent. The book is an indispensable source of reference for analysts employing generational accounting and for those wishing to study intertemporal redistribution through fiscal policy.

This volume contains new trends of computational fluid dynamics for the 21st century and consists of papers especially useful to the younger generation of scientists and engineers in this field. Topics include cartesian, gridless and higher-order schemes, and flow-visualization techniques.