Springer Springer Jan 2002 (337 results)

Buch. Condition: Neu. Neuware -From April 1999 Notices of the AMS, announcing that the author was awarded the Leroy P. Steele Prize for Mathematical Exposition for his many mathematics books: 'Lang's Algebra changed the way graduate algebra is taught, retaining classical topics but introducing language and ways of thinking from category theory and homological algebra. It has affected all subsequent graduate-level algebra books.'From MathSciNet's review of the first edition:'The author has an impressive knack for presenting the important and interesting ideas of algebra in just the 'right' way, and he never gets bogged down in the dry formalism which pervades some parts of algebra.'This book is intended as a basic text for a one-year course in Algebra at the graduate level, or as a useful reference for mathematicians and professionals who use higher-level algebra. This book successfully addresses all of the basic concepts of algebra. For the new edition, the author has added exercises and made numerous corrections to the text. 940 pp. Englisch.…

Buch. Condition: Neu. Neuware - This book is intended to provide a mathematical bridge from a general physics course to intermediate-level courses in classical mechanics, electricity and mag netism, and quantum mechanics. The book begins with a short review of a few topics that should be familiar to the student from a general physics course. These examples will be used throughout the rest of the book to provide physical con texts for introducing the mathematical applications. The next two chapters are devoted to making the student familiar with vector operations in algebra and cal culus. Students will have already become acquainted with vectors in the general physics course. The notion of magnetic flux provides a physical connection with the integral theorems of vector calculus. A very short chapter on complex num bers is sufficient to supply the needed background for the minor role played by complex numbers in the remainder of the text. Mathematical applications in in termediate and advanced undergraduate courses in physics are often in the form of ordinary or partial differential equations. Ordinary differential equations are introduced in Chapter 5. The ubiquitous simple harmonic oscillator is used to il lustrate the series method of solving an ordinary, linear, second-order differential equation. The one-dimensional, time-dependent SchrOdinger equation provides an illus tration for solving a partial differential equation by the method of separation of variables in Chapter 6.…

Buch. Condition: Neu. Neuware - Automatic Differentiation (AD) is a maturing computational technology and has become a mainstream tool used by practicing scientists and computer engineers. The rapid advance of hardware computing power and AD tools has enabled practitioners to quickly generate derivative-enhanced versions of their code for a broad range of applications in applied research and development.Automatic Differentiation of Algorithms provides a comprehensive and authoritative survey of all recent developments, new techniques, and tools for AD use. The book covers all aspects of the subject: mathematics, scientific programming (i.e., use of adjoints in optimization) and implementation (i.e., memory management problems). A strong theme of the book is the relationships between AD tools and other software tools, such as compilers and parallelizers. A rich variety of significant applications are presented as well, including optimum-shape design problems, for which AD offers more efficient tools and techniques.…

Buch. Condition: Neu. Neuware - BACKGROUND OF THE PROJECT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 FINANCING THE PROJECT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 DELIVERY OF THE DULLES GREENWAY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 OPERATING RESULTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 QUESTIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 CONCLUDING NOTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 REFERENCES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 NOTES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 CHAPTER 3 INTERNATIONAL ARRIVALS BUILDING AT JOHN F. KENNEDY INTERNATIONAL AIRPORT . . . . . . . . . . . . . . . . . . . 33 INFRASTRUCTURE DEVELOPMENT SYSTEMS IDS-98-I-201 . . . . . . . . . . . . . . . . . 33 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 HISTORY OF THE JOHN F. KENNEDY INTERNATIONAL AIRPORT . . . . . . . . . . 34 EARLIER PLANS FOR INTERNATIONAL ARRIVALS BUILDING . . . . . . . . . . . . . . . 34 HISTORY OF THE PORT AUTHORITY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 NEW PLANS FOR INTERNATIONAL ARRIVALS BUILDING . . . . . . . . . . . . . . . . . . . . . 35 TERMINAL ONE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 7 FEASIBILITY ANALYSIS OF THE lAB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 PRELIMINARY DESIGN -1993 TO 1994 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 THE PRE-QUALIFICATION AND BIDDING PROCESS - 1995 TO 1997 . . . . . . 41 NEW YORK LAND LEASE PROBLEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 CONSORTIUM MEMBERS _ JFK INTERNATIONAL AIR TERMINAL LLC 45 THE AMSTERDAM AIRPORT MODEL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 FINANCING STRATEGY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 CLOSING THE DEAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 QUESTIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 CHAPTER 4 THE SR 91 EXPRESS LANES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 INFRASTRUCTURE DEVELOPMENT SYSTEMS IDS-97-T-012 . . . . . . . . . . . . . . . . 53 THE PROBLEM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Key Features of AB 680 . . . . . . . . . . . . . …

Buch. Condition: Neu. Neuware - This book will provide an overview of the state of the art in behavioral health care informatics as well as discussing the challenges on the horizon, such as organizational issues, human-centered issues, educating healthcare executives about technology issues, educating clinicians about behavioral informatics systems, and consumer issues. In addition to significant contributions by the editors, the book will contain contributions from a small number of acknowledged experts within their respective fields.As daily living becomes more stressful, socio-psychological or behavioral related problems become more intense. Informatics has the potential to transform the world of behavioral practitioners to enable them to assist people more easily. This book will focus on informatics-related topics that all disciplines connected to the behavioral health will find very useful for their day-to-day practice. …

Buch. Condition: Neu. Neuware - Advanced technologies in astronomy at various wavelengths have provided us with high resolution and high quality data on the QSO population. This meeting was aimed at understanding the morphology and nature of the host galaxies and environments of QSOs. The invited lectures as well as the contributed and poster papers highlighted the main issues of current research: the stellar and gaseous content of the underlying galaxy; the characterization of the population of companions and the nature of their interaction with the host galaxy; the connection between radio-loud QSO and radio-galaxies, and QSOs and ULIRGs; the evolution with redshift of both the host galaxy and its environment, and the main implications in theories of galaxy formation and evolution. This volume provides a valuable overview and timely update of the exciting and rapidly developing field of QSO hosts and their environments - essential reading for graduate students and researchers.…

Buch. Condition: Neu. Neuware - This book looks afresh, from a philosophical perspective, on the role economic theory plays in present-day ecological policy. It starts from fundamental questions concerning the nature of the problem of sustainability, of politics, and of economic science. It confronts the results of this investigation with the theoretical work of two prominent present-day economists. This book is written at a high academic level. It will be of interest to environmentalists, environmental economists, and for policy people charged with ecological problems.…

Buch. Condition: Neu. Neuware - Dramatic advances in our understanding of cancer causation have come from epidemiologic and laboratory research, particularly over the past two decades. These developments have included a broadening interest in the critical events that take place during the early stages of the dynamic multistep process leading to - vasive cancer. Increasingly, cancer epidemiologists are pursuing research into the origins and natural history of premalignant lesions, including intermediate or surrogate endpoints, a trend - celerated by the development of molecular technologies that are revolutionizing our understanding of the transformation of normal to malignant cells. There seems little doubt that this emerging knowledge will provide further insights not only into carcinogenic processes, but also into more sensitive methods of early detection and more effective means of prevention. In this book, Drs. Franco and Rohan have succeeded in prep- ing a comprehensive, timely, and critical review of the substantial progress that has been made in our understanding of cancer p- cursors. They have enlisted experts in the eld who have c- tributed authoritative chapters on the precursors to a wide variety of cancers,with emphasis on etiology and natural history,including the role of environmental and heritable factors that provoke normal cells to undergo malignant transformation. Epidemiologic data are linked whenever possible to molecular as well as classical cellular pathology, providing a fuller understanding of the causal events and mechanisms that initiate the carcinogenic process.…

Buch. Condition: Neu. Neuware - The topics covered in this book include: Theory of Scattering and Scintillation, Distribution of Scattering Material, Intra-day Variability, Pulsars and their Magnetospheric Structure, Polarization of AGN, Interplanetary Scintillation, and Future Highly-Sensitive Radio Telescopes. The introductory papers emphasize the essential properties of diffractive and refractive scattering, how they differ in temporal and frequency structure, and what they reveal about irregularities in the ISM. Pulsars can be examined in a number of different ways as a function of frequency: time variability (both short and long term), DM changes, pulse broadening, angular extent, and Faraday rotation. Intra-day variable sources (IDVs) are another major topic of the book. Although many variable sources clearly exhibit intrinsic changes, IDVs are generally believed to result from scintillation effects. They require source sizes on the ten micro-arcsec scale, the most extreme cases having profound implications for source lifetimes and emission mechanisms. Finally, a dozen contributions describe future large radio telescope projects, especially the Chinese FAST effort to build a 500 m spherical reflector of innovative design.…

Buch. Condition: Neu. Neuware - Ethics in Community Mental Health Care: Commonplace Concerns examines everyday ethical issues that clinicians encounter as they go about their work caring for people who have severe and persistent mental disorders. Individuals (psychiatrists, social workers, case managers, nurses, psychologists, peer counselors, primary care physicians) who serve on the front line of community mental health clinical and social services find that they must deal, on a daily basis, with significant ethical dilemmas that involve personal, social, and policy matters: overstepping personal boundaries and coercive practices, dealing with violence in the home and in the workplace, breaching confidentiality, and ensuring the rights and welfare of vulnerable individuals. This book prompts and provokes readers to recognize, to analyze, to reflect upon, and to respond to the range of commonplace ethical concerns that arise in community mental health care practice with persons who have mental disorders that may impede their ability to protect their own interests.…

Buch. Condition: Neu. Neuware - This book contains a collection of original papers on nonlinear normal modes and localization in dynamical systems from leading experts in the field. The reader will find new analytical and computational techniques for studying normal modes and localization phenomena in nonlinear discrete and continuous oscillators. In addition, examples are provided of applications of these concepts to diverse problems of engineering and applied mathematics, such as nonlinear control of micro-gyroscopes, dynamics of floating offshore platforms, buckling of imperfect continua, order reduction of nonlinear systems, dynamics of nonlinear vibration absorbers, spatial localization and pattern formation in extended systems, singular asymptotics and nonlinear modal interactions and energy pumping in coupled oscillators.…

Buch. Condition: Neu. Neuware - Optical Microscanners and Microspectrometers using Thermal Bimorph Actuators shows how to design and fabricate optical microsystems using innovative technologies and and original architectures. A barcode scanner, laser projection mirror and a microspectrometer are explained in detail, starting from the system conception, discussing simulations, choice of cleanroom technologies, design, fabrication, device test, packaging all the way to the system assembly.An advanced microscanning device capable of one- and two-dimensional scanning can be integrated in a compact barcode scanning system composed of a laser diode and adapted optics. The original design of the microscanner combines efficiently the miniaturized thermal mechanical actuator and the reflecting mirror, providing a one-dimensional scanning or an unique combination of two movements, depending on the geometry. The simplicity of the device makes it a competitive component.The authors rethink the design of a miniaturized optical device and find a compact solution for a microspectrometer, based on a tunable filter and a single pixel detector. A porous silicon technology combines efficiently the optical filter function with a thermal mechanical actuator on chip. The methodology for design and process calibration are discussed in detail. The device is the core component of an infrared gas spectrometer.…

Buch. Condition: Neu. Neuware - Evolutionary computation techniques have attracted increasing att- tions in recent years for solving complex optimization problems. They are more robust than traditional methods based on formal logics or mathematical programming for many real world OR/MS problems. E- lutionary computation techniques can deal with complex optimization problems better than traditional optimization techniques. However, most papers on the application of evolutionary computation techniques to Operations Research /Management Science (OR/MS) problems have scattered around in different journals and conference proceedings. They also tend to focus on a very special and narrow topic. It is the right time that an archival book series publishes a special volume which - cludes critical reviews of the state-of-art of those evolutionary com- tation techniques which have been found particularly useful for OR/MS problems, and a collection of papers which represent the latest devel- ment in tackling various OR/MS problems by evolutionary computation techniques. This special volume of the book series on Evolutionary - timization aims at filling in this gap in the current literature. The special volume consists of invited papers written by leading - searchers in the field. All papers were peer reviewed by at least two recognised reviewers. The book covers the foundation as well as the practical side of evolutionary optimization. …

Buch. Condition: Neu. Neuware - The first ever book on the applications of fullerenes and nanotubes. World's experts on the industrial use of these new forms of carbon contributes chapters, that are based on lectures given in a large workshop held on February 2001, and expanded thereafter. The contents are intended for those who are interested in the exploration of industrial applications of fullerenes and carbon nanotubes.…

Buch. Condition: Neu. Neuware - Over the past decade, the study of microglial cells has gained increasing importance, in particular for those working in the fields of degeneration and regeneration. Microglia in the Regenerating and Degenerating CNS supports the assertion that understanding microglial biology could perhaps be pivotal for unraveling the pathogenetic mechanisms that underlie Alzheimer's disease, currently the most widely studied disorder of the central nervous system. In addition, microglia are also critical for understanding the sequelae of traumatic brain and spinal cord injury, and for the vitally important post-traumatic repair processes. This book gives an up to date account of the role of microglia in degeneration and regeneration of the nervous system and also reviews microglial cell function and physiology. Cellular neurobiologists will find that this is a valuable guide to the importance and role of microglia in the CNS.…

Buch. Condition: Neu. Neuware - This volume contains papers presented at the US/European Celestial Mecha nics Workshop organized by the Astronomical Observatory of Adam Mickiewicz University in Poznan, Poland and held in Poznan, from 3 to 7 July 2000. The purpose of the workshop was to identify future research in celestial mech anics and encourage collaboration among scientists from eastem and westem coun tries. There was a full program of invited and contributed presentations on selected subjects and each day ended with a discussion period on a general subject in celestial mechanics. The discussion topics and the leaders were: Resonances and Chaos-A. Morbidelli; Artificial Satellite Orbits-K. T. Alfriend; Near Earth Ob jects - K. Muinonen; Small Solar System Bodies - I. Williams; and Summary - P. K. Seidelmann. The goal of the discussions was to identify what we did not know and how we might further our knowledge. The size of the meeting and the language differences somewhat limited the real discussion, but, due to the excellence of the different discussion leaders, each of these sessions was very interesting and productive. Celestial Mechanics and Astrometry are both small fields within the general subject of Astronomy. There is also an overlap and relationship between these fields and Astrodynamics. The amount of interaction depends on the interest and efforts of individual scientists.…

Buch. Condition: Neu. Neuware - Exploration of Cortical Function summarizes recent research efforts aiming at the revelation of cortical population coding and signal processing strategies. Topics include optical detection techniques of population activity in the sub-millimeter range, advanced methods for the statistical analysis of these data, and biologically inspired neuronal modeling techniques for population activities in the frameworks of optimal coding, statistical learning theory, and mean-field recurrent networks. Exploration of Cortical Function is unique in that it covers one complete branch of population-based brain research ranging from techniques for data acquisition over data analysis up to modeling techniques for the quantification of functional principles. The volume covers an area which is of great current interest to researchers working on cerebral cortex. The combination of models and image analysis techniques to examine the activity of large cohorts of neurons is especially intriguing and prone to considerable error and debate.…

Taschenbuch. Condition: Neu. Neuware - Exploration of Cortical Function summarizes recent research efforts aiming at the revelation of cortical population coding and signal processing strategies. Topics include optical detection techniques of population activity in the sub-millimeter range, advanced methods for the statistical analysis of these data, and biologically inspired neuronal modeling techniques for population activities in the frameworks of optimal coding, statistical learning theory, and mean-field recurrent networks. Exploration of Cortical Function is unique in that it covers one complete branch of population-based brain research ranging from techniques for data acquisition over data analysis up to modeling techniques for the quantification of functional principles. The volume covers an area which is of great current interest to researchers working on cerebral cortex. The combination of models and image analysis techniques to examine the activity of large cohorts of neurons is especially intriguing and prone to considerable error and debate.…

Buch. Condition: Neu. Neuware - CMOS Cellular Receiver Front-Ends: from Specification to Realization deals with the design of the receive path of a highly-integrated CMOS cellular transceiver for the GSM-1800 cellular system. The complete design trajectory is covered, starting from the documents describing the standard down to the systematic development of CMOS receiver ICs that comply to the standard. The design of CMOS receivers is tackled at all abstraction levels: from architecture level, via circuit level, down to the device level, and the other way around. The theoretical core of the book discusses the fundamental and more advanced aspects of RF CMOS design. It focuses specifically on all aspects of the design of high-performance CMOS low-noise amplifiers.…

Buch. Condition: Neu. Neuware - I Lipdxygenases and Leukotriene Biosynthesis.- 1. Phosphorylation and Activation of 5-Lipoxygenase by P38 Kinase-Activated MAPKAP Kinases.- 2. 5-Lipoxygenase and the Nucleus: Where, When, How, and Why .- 3. Calcium Binding Site of 5-Lipoxygenase.- 4. Regulation of Cellular 5-Lipoxygenase Activity by Glutathione Peroxidases.- 5. Novel Aspects Related to Biosynthesis and Biological Actions of Hepoxilins: Interrelationship with Phospholipid Hydro-Peroxide Glutathione Peroxidase (PHGPx).- 6. Transcriptional Regulation of the Human Leukotriene C4 Synthase Promoter.- 7. Localization and Translocation of Enzymes Involved in Leukotriene Biosynthesis.- II Cyclooxygenases and Prostaglandin Biosynthesis.- 8. Regulation of COX-2 Expression in Fibroblasts, Osteoblasts, Mast Cells, and Macrophages.- 9. Antimicroinflammatory Lipid Signals from Vascular Cyclooxygenase-2: A Novel Mechanism for NSAID and N-3 PUFA Therapeutic Actions.- 10. Substrate Interactions in the Cyclooxygenase-1 Active Site.- 11. Mutation of the Human Prostacyclin Synthase Gene.- 12. Structure and Function of Two Distinct Types of Prostaglandin D Synthase.- 13. Roles of Prostaglandin F Synthase.- 14. Differential Effects of Nitric Oxide on Cyclooxygenase 1 and 2 Activities in Cultured Cells.- III Phospholipase A2.- 15. On the Functional Diversity of Secreted Phospholipases A2: Cloning of Novel Mammalian and HIV-1 Antiviral Properties.- 16. Regulation of Cytosolic Phospholipase A2 by Phosphorylation.- IV Cytochrome P450 Archidonate Metabolites.- 17. Synthesis and Function of 20-Hydroxyeicosatetraenoic Acid in the Kidney.- V Receptors.- 18. Altered Bronchodilation and Pulmonary Inflammation in Prostanoid EP2 Receptor Knockout Mice.- 19. Induction of Prostaglandin I2 Receptor in Murine Osteoblastic Cell.- 20. BLT2, aSecond Leukotriene B4 Receptor.- 21. Upregulation of Cysteinyl-Leukotriene 1 Receptor Expression by Interleukin-5 in Human Leukocytes.- 22. Physiological and Pathophysiological Roles of Prostanoids; Lessons from Receptor-Knockout Mice for Clinical Applications.- 23. Multiple G-Protein Coupling of Chimeric Prostacyclin/Prostaglandin D2 Receptors.- VI Eicosanoids and Neuroscience.- 24. An Unusual Nicotinic Acetylcholine Receptor Activates the 8-Lipoxygenase Pathway in Aplysia Neurons.- VII Cardiovascular System.- 25. Neutrophil-Endothelial Cell Interaction: A Multidirectional Cross-Talk in Leukotriene Generation.- 26. Cyclooxygenase in the Lamb Ductus Arteriosus: Developmental Changes and Upregulation.- 27. Co-Localization of Prostacyclin (PGI2)-Synthase and Caveolin-1 in Endothelial Cells Underscores New Roles of PGI2 In Angiogenesis.- VIII Respiratory System.- 28. Leukotriene C4 Synthase Gene Polymorphism in Severe Asthma.- IX Inflammation.- 29. Anti-Inflammatory Levels of Aspirin and Salicylate Inhibit Integrin-Dependent Human Neutrophil Aggregation and PMN Influx in COX2- and NFkB(P105)- Knockout Mice.- 30. Antipyretic Action of Acetaminophen: Inhibition of the Cyclooxygenase Activity of Endothelial Cells Treated with IL-1.- 31. Leukotriene-Mediated Alteration of Endothelial Barrier Function.- 32. GI and Cardiovascular Profiles of New NSAIDs: Selective COX-2 Inhibitors and NO-NSAIDs.- 33. NO-Releasing NSAIDs Modulate Cytokine Secretion.- 34. Potent Inhibitory Effects of a NO-NSAID (Flurbiprofen Nitroxybutylester) on Bone Resorption in Vitro and in Vivo.- X Cancer.- 35. Lipid Peroxidation and Cyclooxygenase-2 Activity in Human Hepatocellular Carcinoma Cell Lines with and without Multiple Drug Resistance: Correlation with Cell Growth.- 36. Pulmonary Prostacyclin Synthase Overexpression Improves Survival Following Butylated Hydroxytoluene Exposure.- XI Isoprostanes.- 37. Reactive Products of the Isoprostane Pathway: Isoketals and Cyclopentenone A2/J2-Isoprostanes.- 38. Increased Isoprostane 8-epi-PGF2A in Statin-Induced Myopathy.…

Buch. Condition: Neu. Neuware - Some of the best vision scientists in the world in their respective fields have contributed to chapters in this book. They have expertise in a wide variety of fields, including bioengineering, basic and clinical visual science, medicine, neurophysiology, optometry, and psychology. Their combined efforts have resulted in a high quality book that covers modeling and quantitative analysis of optical, neurosensory, oculomotor, perceptual and clinical systems. It includes only those techniques and models that have such fundamentally strong physiological, control system, and perceptual bases that they will serve as foundations for models and analysis techniques in the future. The book is aimed first towards seniors and beginning graduate students in biomedical engineering, neurophysiology, optometry, and psychology, who will gain a broad understanding of quantitative analysis of the visual system. In addition, it has sufficient depth in each area to be useful as an updated reference and tutorial for graduate and post-doctoral students, as well as general vision scientists. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The conformal geometry of surfaces recently developed by the authors leads to a unified understanding of algebraic curve theory and the geometry of surfaces on the basis of a quaternionic-valued function theory. The book offers an elementary introduction to the subject but takes the reader to rather advanced topics. Willmore surfaces in the foursphere, their Bäcklund and Darboux transforms are covered, and a new proof of the classification of Willmore spheres is given. 104 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the papers presented at CG2000 the Second International ConferenceonComputersandGames heldattheCURREACCenterinHa- matsu, Japan, on October 26 28, 2000. The CG conferences provide an international forum for researchers working on any aspect of computers and games to meet and exchange information on the latest research. CG2000 was attended by 80 people from over a dozen di erent countries, thus building on the success of the inaugural Computers and Games conference, held in 1998. The third conference in the series is scheduled to take place alongside the AAAI conference in Edmonton, Alberta, Canada in 2002. The interests of the conference attendees and organizers cover all issues related togame-playing;forinstance,theimplementationandperformanceofprograms, new theoretical developments in game-related research, general scienti c cont- butions produced by the study of games, social aspects of computer games, cognitive research on how humans play games, and issues related to networked games. This book contains all the new developments presented at CG2000. The CG2000 technical program consisted of 23 presentations of accepted papers and apanelsession.InadditiontherewereinvitedtalksbyMichaelLittmanofAT&T Labs, Kei-ichi Tainaka of Shizuoka University, and Nob Yoshigahara, noted - ventor, collector, and popularizer of puzzles. The conference was preceded by an informal workshop on October 26, 2000. 464 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -An introduction to practical astrometry, dealing with the determination of positions, motions, distances and dimensions of celestial bodies ranging from quasars to artificial satellites. For this 2nd edition, the release of the Hipparcos and Tycho catalogs, the rise in CCD astrometry and the adoption of a new celestial reference frame by the IAU led to a significant modification of the text. And, especially, the outlook for astrometry has been completely rewritten. 396 pp. Englisch. …

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Fluids, play an important role in environmental systems, appearing as surface water in rivers, lakes, and coastal regions or in the subsurface as well as in the atmosphere. Mechanics of environmental fluids is concerned with fluid motion, associated mass and heat transport in addition to deformation processes in subsurface systems. In this textbook the fundamental modelling approaches based on continuum mechanics for fluids in the environment are described, including porous media and turbulence. Numerical methods for solving the process governing equations and its object-oriented computer implementation are discussed and illustrated with examples. Finally the application of computer models in civil and environmental engineering is demonstrated. 396 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Um das Konzept des Supply Chain Management erfolgreich umsetzen zu können, müssen leistungsfähige Informationsverarbeitungssysteme eingesetzt werden. Viele Industrieunternehmen haben die Logistik-Module von SAP R/3 eingeführt. Die SAP AG mißt dem Supply Chain Management im Rahmen seiner SCOPE-Initiative hohen Stellenwert für die künftige Gestaltung von Systemarchitekturen bei. Das Buch beschreibt die methodischen Ansätze und künftige Entwicklungen daher vor dem Hintergrund dieser Systemlandschaft. Der Leser erhält eine aktuelle und anwendungsorientierte Darstellung des Supply Chain Management und seiner Umsetzung mit SAP R/3. Zugleich werden künftige Entwicklungstendenzen der SAP-Systeme und ihre strategische Bedeutung für die Unternehmensführung aufgezeigt. 260 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Critically ill and critically injured patients require specialized nutrition support to avoid the complications of progressive malnutrition. There is a paucity of information providing practical solutions to these difficult clinical problems. From Nutrition Support to Pharmacologic Nutrition in the ICU focuses on the theoretical and practical aspects of the management of this high-risk patient population. Each chapter presents a state-of-the-art discussion of nutritional and metabolic issues relevant to this resource-intensive patient population and contains current references, liberal tables and figures, and the personal insights of recognized international leaders in this field. 500 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux within the Institut d Informatique et Mathematiques Appliquees de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner. 552 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During his lifetime, Henri Poincaré published three major philosophical books which achieved great success: 'La science et l'hypothèse' (1902), 'La valeur de la science' (1905) and 'Science et méthode' (1908). After his death in 1913, a fourth volume of his philosophical works was published by his heirs as 'Dernières pensées' (1913). The four books constitute the core of Poincaré's philosophic works and were given an ovation by scientific and general public. Around 1919, Gustave Le Bon wrote to Poincaré's widow. As the director of the 'Bibliothèque de Philosophie Scientifique at Flammarion', he asked her permission to publish a second posthumous volume. 'L'Opportunisme scientifique' was intended to be the fifth and final volume of Poincaré's philosophical writings. Louis Rougier had elaborated the project, with the collaboration of Gustave Le Bon, and the approval of the philosopher Émile Boutroux and his son Pierre. Because of the reservations of the mathematician's heirs, this book was never published and Dernières pensées remained his last philosophical book. Nevertheless Poincaré's correspondence - which is kept in the Poincaré Archives at University Nancy 2 - contains a large amount of documents concerning the project, its justification and the discussions between Louis Rougier and the mathematician's heirs. The aim of this book is to restore this episode, which gives some crucial informations about editorial practices of Poincaré and about the posterity of his philosophic thinking. 208 pp. Englisch. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thealgebraicapproachtosystemspeci cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci cationframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1 3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede nitionof theCommonAlgebraicSpeci cationLanguage(CASL). TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: algebraicspeci cation otherapproachestoformalspeci cation speci cationlanguagesandmethods termrewritingandproofsystems speci cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci cation(seebrics. dk/ pdm/IFIP-WG1. 3). November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci cation. TableofContents InteractiveRule-BasedSpeci cationwithanApplication toVisualLanguageDe nition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Louren co TheLub eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipeli.…