springer us springer new york apr 2002 (9 Ergebnisse)

Buch. Zustand: Neu. Neuware -Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and mathematics. Roughly speaking, term rewriting techniques can suc cessfully be applied in areas that demand efficient methods for reasoning with equations. One of the major problems one encounters in the theory of term rewriting is the characterization of classes of rewrite systems that have a desirable property like confluence or termination. If a term rewriting system is conflu ent, then the normal form of a given term is unique. A terminating rewrite system does not permit infinite computations, that is, every computation starting from a term must end in a normal form. Therefore, in a system that is both terminating and confluent every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This book provides a comprehensive study of termination and confluence as well as related properties.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.

Buch. Zustand: Neu. Neuware -As e-commerce becomes the norm of business transactions and information be comes an essential commodity, it is vital that extensive efforts be made to examine and rectify the problems with the underlying architectures, processes, methods, that are involved in providing and and tools, as well as organizational structures, utilizing services relating to information technology. Such a holistic view of the relevant structures is required in order to identify all of the key aspects that can affect network security. Unfortunately, today's systems and practices, although they have proved to be useful and become widespread, contain significant unnecessary complexity. This complexity provides many loopholes that make systems and practices vulnerable to malicious attacks by hackers as well as by individual and organized criminals. FUrther, there are enormous risks due to malfunction of the systems. The holes in the network system cannot simply be plugged up by the use of cryptography and firewalls. While many changes need to be made in operating systems and system software with respect to security, this alone does not solve the problem. The problems cannot be solved by addressing only a single key aspect of network security. A holistic approach is required. Sumit Ghosh has provided in this book such a holistic view of the area of network security. Thus, it is a most welcome contribution.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Buch. Zustand: Neu. Neuware -Stochastic portfolio theory is a mathematical methodology for constructing stock portfolios and for analyzing the effects induced on the behavior of these portfolios by changes in the distribution of capital in the market.Stochastic portfolio theory has both theoretical and practical applications: as a theoretical tool it can be used to construct examples of theoretical portfolios with specified characteristics and to determine the distributional component of portfolio return. On a practical level, stochastic portfolio theory has been the basis for strategies used for over a decade by the institutional equity manager INTECH, where the author has served as chief investment officer.This book is an introduction to stochastic portfolio theory for investment professionals and for students of mathematical finance. Each chapter includes a number of problems of varying levels of difficulty and a brief summary of the principal results of the chapter, without proofs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Buch. Zustand: Neu. Neuware -For people interested in risk management, medical activity represents a stimulating field of study and thought. On the one hand, progress in medical knowledge and technology tends to reduce the risks to survival that individuals would face in the absence of appropriate diagnostic or therapeutic instruments. On the other hand, new medical technologies simultaneously create their own specific risks, sometimes simply because their effects are less well-known than those of established ones. In a sense any medical progress simultaneously generates new risks while destroying old ones. Moreover, unlike many financial risks that can be either divided or transferred to others (e.g. through diversification, insurance or social security) the personal aspects of medical risks are by essence indivisible and non-transferable. As a result, they are in a sense more threatening than financial risks for risk averse patients. These two facts explain and justify the growing interest in risk economics for the fields of medical decision making and health economics.In Risk and Medical Decision Making, part 1 is developed inside the expected utility (E-U) model and analyses how comorbidity risks affect the well-known 'test-treatment' thresholds. Part 2 is devoted to a specific non E-U model with the same purpose: how would one define a threshold in this context and how would one value a diagnostic test In each of these two parts both diagnostic and therapeutic risks are considered.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Buch. Zustand: Neu. Neuware -Content-Based Image And Video Retrieval addresses the basic concepts and techniques for designing content-based image and video retrieval systems. It also discusses a variety of design choices for the key components of these systems. This book gives a comprehensive survey of the content-based image retrieval systems, including several content-based video retrieval systems. The survey includes both research and commercial content-based retrieval systems. Content-Based Image And Video Retrieval includes pointers to two hundred representative bibliographic references on this field, ranging from survey papers to descriptions of recent work in the area, entire books and more than seventy websites. Finally, the book presents a detailed case study of designing MUSE¿a content-based image retrieval system developed at Florida Atlantic University in Boca Raton, Florida.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Buch. Zustand: Neu. Neuware -Recombinant proteins and polypeptides continue to be the most important class of biotechnology-derived agents in today's pharmaceutical industry. Over the past few years, our fundamental understanding of how proteins degrade and how stabilizing agents work has made it possible to approach formulation of protein pharmaceuticals from a much more rational point of view.This book describes the current level of understanding of protein instability and the strategies for stabilizing proteins under a variety of stressful conditions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Buch. Zustand: Neu. Neuware -Agricultural Productivity: Measurement and Sources of Growth addresses measurement issues and techniques in agricultural productivity analysis, applying those techniques to recently published data sets for American agriculture. The data sets are used to estimate and explain state level productivity and efficiency differences, and to test different approaches to productivity measurement. The rise in agricultural productivity is the single most important source of economic growth in the U.S. farm sector, and the rate of productivity growth is estimated to be higher in agriculture than in the non-farm sector. It is important to understand productivity sources and to measure its growth properly, including the effects of environmental externalities.Both the methods and the data can be accessed by economists at the state level to conduct analyses for their own states. In a sense, although not explicitly, the book provides a guide to using the productivity data available on the website of the U.S. Department of Agriculture/Economic Research Service. It should be of interest to a broad spectrum of professionals in academia, the government, and the private sector.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Buch. Zustand: Neu. Neuware -Technology Commercialization: DEA and Related Analytical Methods for Evaluating The Use and Implementation of Technical Innovation examines both general Research & Development commercialization and targeted new product innovation. New product development is a major occupation of the technical sector of the global economy and is viewed in many ways as a means of economic stability for a business, an industry, and a country. The heart of the book is a detailing of the analytical methods-with special, but not exclusive emphasis on DEA methods-for evaluating and ranking the most promising R & D and technical innovation being developed. The sponsors of the research and development may involve universities, countries, industries, and corporations-all of these sources are covered in the book. In addition, the trade-off of environmental problems vis-à-vis new product development is discussed in a section of the book.Sten Thore (editor and author) has woven together the chapter contributions by a strong group of international researchers into a book that has characteristics of both a monograph and a unified edited volume of well-written papers in DEA, technology evaluation, R&D, and environmental economics. Finally, the use of DEA as an evaluation method for product innovation is an important new development in the field of R&D commercialization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Buch. Zustand: Neu. Neuware -Human activity overuses the resources of the planet at a rate that will severely compromise the ability of future generations to meet their needs. Changes toward sustainability need to begin within the next few years or environmental deterioration will become irreversible. Thus the need to develop a mindset of sustainable development - the ability of society to meet its needs without permanently compromising the earth's resources - is pressing.The Psychology of Sustainable Development clarifies the meaning of the term and describes the conditions necessary for it to occur. With contributions from an international team of policy shapers and makers, the book will be an important reference for environmental, developmental, social, and organizational psychologists, in addition to other social scientists concerned with the impact current human activity will have on the prospects of future generations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.