Springer new york jul 2001 (13 risultati)

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent systems- modal properties of systems and bisimulation equivalence presented in terms of games - temporal properties of systems- modal mu-calculus as a general purpose temporal logic- verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems.The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification. 208 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book examines the issues relevant to the design of vector and pipelined computer systems using the Cray X-MP/24. The purpose of the book is to help the readers arrive at a deep understanding of how vector processing systems really work. These insights will be useful to the scientist who would like to obtain maximum performance from a vector machine, to the computer science student, and to the compiler writer. The book can also be used to supplement a regular textbook in a graduate or senior level course in computer architecture. The book looks at the overall design of the Cray X-MP and then explores the operation of the machine by looking at detailed timings of various instructions and code segments. It examines such issues as instruction issues and buffering, handling of jump instructions, use of registers to hold intermediate results, memory conflicts resulting from vectorization, optimal vectorization of multiple statement loops, and synchronization problems with multi-tasking. Detailed Gantt charts are provided to guide the reader through the timing issues. 176 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This edition differs from the second chiefly in the addition of about tOO pages devoted to the quantum (or geometric, or Berry) phase, a subject that did not exist when this book was written. The changes in the remainder of the book consist of corrections of a small number of misprints. While it may seem that adding two chapters on the quantum phase is overemphasizing a currently fashionable subject, they actually complete the development of quantum theory as given in this book. We start with simple models, synthesizing them into complicated 'molecules.' With the new chap ters, we end with complicated 'molecules,' dividing them into simpler parts. This process of dividing a complex system into parts quite naturally gives rise to a gauge theory, of which the geometric phase is a manifestation - with consequences not only in theory, but observable in experiments. For this rea son, the geometric phase is not a mere fashion, but a discovery that will retain its importance forever and must be discussed in textbooks on quantum mechanics. I would like to acknowledge help and advice from Mark Loewe with the writing and also of the new part of the book. In addition, I would like to express my gratitude to J. Anandan, M. Berry, and C.A. Mead, who have read parts or all of the new material and have provided valuable advice. 712 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume applies ecological principles and guidelines to understand past and current land use and land management; and more importantly, endeavors to promote more ecologically sound approaches to future land use and management decisions. The volume incorporates case studies from a wide variety of disciplines and perspectives. The case studies explore past and current land use decisions, on both public and private lands, and include practical approaches and tools for land-use decision-making. Perhaps the most important feature of the book is the linking of ecological theory and principle with applied land use decision-making - the theoretical and empirical are joined through concrete case studies of actual land use decision-making processes. In this volume, readers will find a statement of fundamental ecological principles that are relevant for land use planning and management, coupled with multiple in-depth explorations of the application of these principles in action. In addition, most case studies describe specific tools and approaches for incorporating endeavors to join fundamental ecological knowledge with cutting edge application in order to both educate and provide concrete guidance for decision-making.The intended audience is broad and multidisciplinary, from undergraduate and graduate level courses in environmental studies to professional land use planners. 'Read this and Discover. Wisdom lies in these pages, a scarce and powerful attribute.' from the Foreword by Richard Foreman. 372 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Patients aftlicted with thyroid eye disease or Graves' ophthamopathy (GO) may experience not only pain and visual loss, but also disfigurement. Full understanding of pathogenesis has been elusive, and treatment modalities are imperfect. As with other conditions, more effective intervention will follow only after a better understanding of pathogenesis is reached. The goal of this volume is to give an overview by leaders in the field of the present state of the art both in pathogenesis and clinical aspects of GO. Much attention has been directed towards determining which cells within the orbit are targets of the autoimmune process, and how these and other cells might participate in the local inflammatory process. It is now generally agreed that orbital fibroblasts, preadipocyte fibroblasts, and adipocytes are the targeted and activated cells in GO and that full-length TSH receptor (TSHr) is expressed in these cells. Further, there is growing consensus that this receptor is up-regulated in the orbit in GO, residing primarily in newly differentiated adipocytes. However, it is also evident, given a sufficiently sensitive assay, that TSHr is detectable in fibroblasts and adipocytes from the normal orbit and other anatomic sites, as well. It will be important to determine whether the observed increase in orbital TSHr expression itself initiates the orbital autoimmune process. Also to be decided is whether orbital lymphocytes from GO patients specifically recognize this receptor, and what factor or factors unique to Graves' dIsease might stimulate TSHr expression in orbital cells.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Beginning with the assumption that a justice motive exists, the author posits that belief in a just world influences the behavior of most people most of the time. This is true for all people of all ages and in all areas of life, for those struggling with their daily tasks as well as for those coping with a critical life event. An individual's belief in a just world is a necessary condition for a person's sense of fairness and mediates its adaptive effect on mental health.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume applies ecological principles and guidelines to understand past and current land use and land management; and more importantly, endeavors to promote more ecologically sound approaches to future land use and management decisions. The volume incorporates case studies from a wide variety of disciplines and perspectives. The case studies explore past and current land use decisions, on both public and private lands, and include practical approaches and tools for land-use decision-making. Perhaps the most important feature of the book is the linking of ecological theory and principle with applied land use decision-making - the theoretical and empirical are joined through concrete case studies of actual land use decision-making processes. In this volume, readers will find a statement of fundamental ecological principles that are relevant for land use planning and management, coupled with multiple in-depth explorations of the application of these principles in action. In addition, most case studies describe specific tools and approaches for incorporating endeavors to join fundamental ecological knowledge with cutting edge application in order to both educate and provide concrete guidance for decision-making. The intended audience is broad and multidisciplinary, from undergraduate and graduate level courses in environmental studies to professional land use planners.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume applies ecological principles and guidelines to understand past and current land use and land management; and more importantly, endeavors to promote more ecologically sound approaches to future land use and management decisions. The volume incorporates case studies from a wide variety of disciplines and perspectives. The case studies explore past and current land use decisions, on both public and private lands, and include practical approaches and tools for land-use decision-making. Perhaps the most important feature of the book is the linking of ecological theory and principle with applied land use decision-making - the theoretical and empirical are joined through concrete case studies of actual land use decision-making processes. In this volume, readers will find a statement of fundamental ecological principles that are relevant for land use planning and management, coupled with multiple in-depth explorations of the application of these principles in action. In addition, most case studies describe specific tools and approaches for incorporating endeavors to join fundamental ecological knowledge with cutting edge application in order to both educate and provide concrete guidance for decision-making. The intended audience is broad and multidisciplinary, from undergraduate and graduate level courses in environmental studies to professional land use planners. 376 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume applies ecological principles and guidelines to understand past and current land use and land management; and more importantly, endeavors to promote more ecologically sound approaches to future land use and management decisions. The volume incorporates case studies from a wide variety of disciplines and perspectives. The case studies explore past and current land use decisions, on both public and private lands, and include practical approaches and tools for land-use decision-making. Perhaps the most important feature of the book is the linking of ecological theory and principle with applied land use decision-making - the theoretical and empirical are joined through concrete case studies of actual land use decision-making processes. In this volume, readers will find a statement of fundamental ecological principles that are relevant for land use planning and management, coupled with multiple in-depth explorations of the application of these principles in action. In addition, most case studies describe specific tools and approaches for incorporating endeavors to join fundamental ecological knowledge with cutting edge application in order to both educate and provide concrete guidance for decision-making. The intended audience is broad and multidisciplinary, from undergraduate and graduate level courses in environmental studies to professional land use planners.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Global Production and Trade in East Asia focuses on the profound change that the traditional paradigm of production and international trade has undergone in the last two decades or so as a result of worldwide trade and investment liberalization. This ongoing transformation has been both aided and stimulated by advances in telecommunications, transportation, and information management. The liberalization of trade and investment on the one hand and advances in communications technology on the other have further promoted global production networks in which vertical stages of final goods are fragmented across countries. International fragmentation of production, which enables international division of labor not only in final products but also in vertically related components, is more evident than ever before.The book documents the process of international production fragmentation and trade in East Asian economies, studies the mechanics of the process, explores the theory behind the phenomenon, and identifies important policy implications. It focuses on production fragmentation and trade in East Asia because this is the part of the world where the phenomenon is most visible. With contribution by well-known international economics scholars from North America, Europe, and the Asia-Pacific, the book distinguishes itself with high global quality and rich regional content. It achieves a fine balance between theory, policy, and empirical work.This book will interest scholars of international trade, foreign investment and international business, regional specialists in East Asian economies, policymakers and advisors in international economic relations, and anyone else who follows important economic issues of globalization.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -I came to vision science trying to solve an engineering problem: I was trying to come up with test and measurement methodologies for digital video systems. One of the metrics I wanted to use was some measurement of image quality. After some experiments and after an overview of the literature, I had to realize that simple computational metrics, such as the mean square error, are not very effective for this purpose. This led me to study notions of vision science and vision modeling. As an engineer, I found it fascinating. Vision science uses computational tools and modeling techniques that are very similar to what we use in signal processing, yet it brings you to a new domain that lies at the intersection of engineering, biology and cognitive psychology. Over the years, vision science has made tremendous contributions to engineering and to the field of image processing in particular. Such contributions include half toning matrices for the printing industry, color correction for digital cameras, quantization matrices for image coding. As imaging devices are becoming commodities, the impact of vision science is becoming even more significant. This book is meant to appeal to an engineering audience. It is an introduction to vision science and to the design and application of vision models in engineering. To achieve this goal, we have chosen to organize the book around the main components of vision models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Central nervous system (CNS) infections continue to pose a serious problem in health care even with improved knowledge and treatment. Despite the introduction of newer antimicrobial agents and diagnostic techniques, the morbidity and mortality associated with CNS infections remain high. The morbidity associated with CNS infections may be even more important than the death rate especially in developing countries as neurological sequelae may deprive the survivors of intellect and physical ability, demeaning the quality of life and burdening health resources and social services. MR imaging is an important integral part of the protocol for the management of CNS infections and MR spectroscopy is increasingly being utilized in its management. This work is an attempt to provide a comprehensive review of imaging and spectroscopy of the commonly encountered CNS infections in the clinical practice in developing and developed countries. The first chapter deals with basic physical principles of MR imaging and spectroscopy that will help beginners to understand the technical terms used in subsequent chapters. The remaining 10 chapters deal with clinical, pathological, MR imaging and spectroscopy features and their applications in CNS infections. This will help in giving a comprehensive understanding to readers with a background in clinical, radiological, basic MRI, and neurological sciences. The T2 hypointense lesions are a real diagnostic dilemma especially in developing countries for which an algorithm has been suggested in the concluding chapter.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Role of Potassium in Preventive Cardiovascular Medicine: Information related to this question has accumulated for nearly a hundred years, from work in cellular physiology, experimental studies in animals, clinical trials, and from population and epidemiological investigations. Because of the importance of integration of this diverse body of information, the most significant findings are brought together in this book.This body of information provides emphatic support for the importance of high dietary potassium intake as a means of reducing the risk of cardiovascular diseases, as it provides abundant evidence that potassium depletion has significant, deleterious influences that increase the risk of hypertension, atherosclerosis, heart failure, and stroke.At this time we have the results and data required to strongly recommend dietary modification to increase potassium intake. But making the recommendation will only be the first step; convincing the population to undertake the change in eating patterns will be challenging, and will require concerted actions by government, the medical community, and the food and beverage industries. The outcome promises to be well worth the investment.`This book is an excellent source of current information on the many roles of potassium in cardiovascular disease. It succinctly mixes basic physiology and clinical aspects in a manner that will make it of great value to both researchers and clinicians.' Norman M. Kaplan, M.D., Professor of Internal Medicine, University of Texas Southwestern Medical Center, Dallas, TXSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch. …