springer new york springer us mär 2001 (7 Ergebnisse)

Buch. Zustand: Neu. Neuware -Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Ecosystem management requires a planning and decision-making process that places land use in its appropriate ecological context. Because ecological assessments must be conducted at various spatial scales and across jurisdictional boundaries, approaches to assessment must be compatible and consistent with each other. A Guidebook for Integrated Ecological Assessment analyzes methods and provides standards and protocols for assessment and the integration of data. 556 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book is devoted to the study of the acoustic wave equation and of the Maxwell system, the two most common wave equations encountered in physics or in engineering. The main goal is to present a detailed analysis of their mathematical and physical properties. Wave equations are time dependent. However, use of the Fourier trans form reduces their study to that of harmonic systems: the harmonic Helmholtz equation, in the case of the acoustic equation, or the har monic Maxwell system. This book concentrates on the study of these harmonic problems, which are a first step toward the study of more general time-dependent problems. In each case, we give a mathematical setting that allows us to prove existence and uniqueness theorems. We have systematically chosen the use of variational formulations related to considerations of physical energy. We study the integral representations of the solutions. These representa tions yield several integral equations. We analyze their essential properties. We introduce variational formulations for these integral equations, which are the basis of most numerical approximations. Different parts of this book were taught for at least ten years by the author at the post-graduate level at Ecole Poly technique and the University of Paris 6, to students in applied mathematics. The actual presentation has been tested on them. I wish to thank them for their active and constructive participation, which has been extremely useful, and I apologize for forcing them to learn some geometry of surfaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Buch. Zustand: Neu. Neuware -Gauss created the theory of binary quadratic forms in 'Disquisitiones Arithmeticae' and Kummer invented ideals and the theory of cyclotomic fields in his attempt to prove Fermat's Last Theorem. These were the starting points for the theory of algebraic numbers, developed in the classical papers of Dedekind, Dirichlet, Eisenstein, Hermite and many others. This theory, enriched with more recent contributions, is of basic importance in the study of diophantine equations and arithmetic algebraic geometry, including methods in cryptography. This book has a clear and thorough exposition of the classical theory of algebraic numbers, and contains a large number of exercises as well as worked out numerical examples. The Introduction is a recapitulation of results about principal ideal domains, unique factorization domains and commutative fields. Part One is devoted to residue classes and quadratic residues. In Part Two one finds the study of algebraic integers, ideals, units, class numbers, the theory of decomposition, inertia and ramification of ideals. Part Three is devoted to Kummer's theory of cyclomatic fields, and includes Bernoulli numbers and the proof of Fermat's Last Theorem for regular prime exponents. Finally, in Part Four, the emphasis is on analytical methods and it includes Dinchlet's Theorem on primes in arithmetic progressions, the theorem of Chebotarev and class number formulas. A careful study of this book will provide a solid background to the learning of more recent topics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 712 pp. Englisch.

Buch. Zustand: Neu. Neuware -Early Thoughts on Creating Comprehensive Trauma Centers This volume has been many years in writing. When Dr. Donald Meichenbaum first suggested it and I approached my coauthor Lasse Nurmi, it did not seem to be as formidable a task as it has become. Interviewing the centers in this book has taken years-to get responses, to summarize those responses, and to return the summaries for further comment. Many centers have been created in that time; others have suspended operation. This volume does not claim to present even a majority of those centers. However, the ones contained herein are representative of 'what is out there. ' The idea to create a comprehensive trauma center is not new. The initial section of this forward examines thoughts I proposed as part of my compre hensive examination for my doctorate. Many of the ideas proposed then (1989) seem to fit now. It is my dream to put them into practice someday in the future. THE COMPREHENSIVE EXAMINATION QUESTION In 1989, one question on the written comprehensive examination ques tions for my doctorate was, 'If you were to create a comprehensive trauma center in your suburban area, making use of what you have learned in your [doctoral] experience, describe the organization of that center, the mission, structure, personnel, funding, objectives, and services it would offer. ' Some of the conclusions reached then now seem applicable to the task at hand: design ing comprehensive trauma centers (CTCs) for the 21st century.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Buch. Zustand: Neu. Neuware -This volume is comprised of the majority of lecture presentations and a few select posters presented at the International Workshop, 'Basal Ganglia and Thalamus in Health and Movement Disorders,' held in Moscow, Russia, on May 29-31, 2000. The International Committee responsible for organizing this workshop included Alexander Konovalov, Director, Burdenko Institute of Neurosurgery of the Russian Academy of Medical Sciences, Mahlon DeLong, Chair, Department of Neurology, Emory University, Atlanta, USA, Alim Louis Benabid, Chief, Neurosurgery Service, University of Joseph Fourrier, Grenoble, France, and the two undersigned. The workshop was conceived out of a desire to provide a forum for discussions of both basal ganglia-and motor thalamus-related issues by bringing together basic scientists and clinicians representing different disciplines, research directions, and philosophies. The primary goals were to encourage an exchange of information and ideas in an informal environment, to stimulate integration of the data from different disciplines, and to identifY controversial issues and the most essential questions to be addressed in future research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Buch. Zustand: Neu. Neuware -In the food industry, controlling crystallization is a key factor in quality as it relates to texture, with some foods requiring the promotion of crystallization and others its prevention. In the first publication to focus specifically on this process as it applies to food, Crystallization in Foods covers fundamental principles in ice, sugar, and lipid crystallization, and their applications. Drawing on examples throughout of the practical use and impact of crystallization on food structure, texture, and quality; and enhanced with numerous equations and illustrations, Crystallization in Foods is a valuable resource for food engineers and other scientists working with crystallization in foods, particularly in the dairy, confectionery, frozen foods, and baked goods industries. In addition, this book may be of interest to scientists and other professionals in the personal care and cosmetics industry, which shares some of the same quality and texture concerns as the food industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.