springer us aug 1995 (67 results)

Taschenbuch. Condition: Neu. Neuware -Many problems in classical mechanics can now be readily solved using computers. This text integrates Maple, a general-purpose symbolic computation program, into the traditional sophomore- or junior-level mechanics course. Intended primarily as a supplement to a standard text, it discusses all the topics usually covered in the course and shows how to solve problems using Maple and how to display solutions graphically to gain further insight. The text is self-contained and can also be used for self-study or as the primary text in a mechanics course.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Buch. Condition: Neu. Neuware - The motivation and inspiration for this book come directly from expe- ences with clients during the years that I practiced HIV-related law at the Legal Aid Society of San Diego, Inc. The issues discussed in this work reflect issues that arose on a recurring basis with clients participating in HIV research studies, with investigators calling for guidance on the legal implications of particular aspects of their proposed studies, and with research institutions and health care facilities struggling to make sense of legal maneuvers aimed at obtaining the records of their HIV-infected patients. It is impossible to thank each of these persons individually for their provocative questions and their insights. The discussion of ethical and legal issues relating to the design of clinical trials reflects questions raised during discussions with Donald J. Slymen, Ph.D. Don was one of the first researchers, in my realm of experience, to pay close attention to ethical concerns, and I am greatly appreciative of his contribution to both my professional growth and the development of various scenarios discussed in this text. The portions of this text dealing with confidentiality are the result of many hours of thoughtful discussion and analysis with Penn Lerblance, J.D., now deceased and still missed. Penn and I often participated together as presenters of in-service training programs for health prof- sionals. Penn addressed discrimination, and I focused on confidentiality.

Buch. Condition: Neu. Neuware - In this fully-illustrated textbook, the author examines the spectral theory of self-adjoint elliptic operators. Chapters focus on the problems of convergence and summability of spectral decompositions about the fundamental functions of elliptic operators of the second order. The author's work offers a novel method for estimation of the remainder term of a spectral function and its Riesz means without recourse to the traditional Carleman technique and Tauberian theorem apparatus.

Buch. Condition: Neu. Neuware -This is intended as a textbook on the history, philosophy and foundations of mathematics, primarily for students specializing in mathematics, but we also wish to welcome interested students from the sciences, humanities and education. We have attempted to give approximately equal treatment to the three subjects: history, philosophy and mathematics. History We must emphasize that this is not a scholarly account of the history of mathematics, but rather an attempt to teach some good mathematics in a historical context. Since neither of the authors is a professional historian, we have made liberal use of secondary sources. We have tried to give ref cited facts and opinions. However, considering that this text erences for developed by repeated revisions from lecture notes of two courses given by one of us over a 25 year period, some attributions may have been lost. We could not resist retelling some amusing anecdotes, even when we suspect that they have no proven historical basis. As to the mathematicians listed in our account, we admit to being colour and gender blind; we have not attempted a balanced distribution of the mathematicians listed to meet today's standards of political correctness. Philosophy Both authors having wide philosophical interests, this text contains perhaps more philosophical asides than other books on the history of mathematics. For example, we discuss the relevance to mathematics of the pre-Socratic philosophers and of Plato, Aristotle, Leibniz and Russell. We also have vi Preface presented some original insights.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -A theory is the more impressive, the simpler are its premises, the more distinct are the things it connects, and the broader is its range of applicability. Albert Einstein There are two different ways of teaching mathematics, namely, (i) the systematic way, and (ii) the application-oriented way. More precisely, by (i), I mean a systematic presentation of the material governed by the desire for mathematical perfection and completeness of the results. In contrast to (i), approach (ii) starts out from the question 'What are the most important applications ' and then tries to answer this question as quickly as possible. Here, one walks directly on the main road and does not wander into all the nice and interesting side roads. The present book is based on the second approach. It is addressed to undergraduate and beginning graduate students of mathematics, physics, and engineering who want to learn how functional analysis elegantly solves mathematical problems that are related to our real world and that have played an important role in the history of mathematics. The reader should sense that the theory is being developed, not simply for its own sake, but for the effective solution of concrete problems. viii Preface Our introduction to applied functional analysis is divided into two parts: Part I: Applications to Mathematical Physics (AMS Vol. 108); Part II: Main Principles and Their Applications (AMS Vol. 109). A detailed discussion of the contents can be found in the preface to AMS Vol. 108.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

Buch. Condition: Neu. Neuware -This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing processes such as a nuclear reactor. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial. This has led to the introduction of formal verification techniques, which give both users and designers of software and hardware systems greater confidence that the systems they build meet the desired specifications. Framework The approach promoted in this book is based on the use of temporal logic for specifying properties of reactive systems, and develops an extensive verification methodology for proving that a system meets its temporal specification. Reactive programs must be specified in terms of their ongoing behavior, and temporal logic provides an expressive and natural language for specifying this behavior. Our framework for specifying and verifying temporal properties of reactive systems is based on the following four components: 1. A computational model to describe the behavior of reactive systems. The model adopted in this book is that of a Fair Transition System (FTS).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Taschenbuch. Condition: Neu. Neuware -'Why is 'lEX so hard to use ' is the most frequent comment/complaint made by (frustrated) 'lEX users. The answer: Because it is programmable (has many features commonly found in programming languages), because it pays attention to detail, and because its creator has developed it for his own use (perhaps also his administrative assistant's) and not for general use. The material presented here is a direct result of this complaint and is an attempt to make it easier for inexperienced users to get the kind of high-quality typesetting that is possible with 'lEX. The material is based on classes taught since 1985, and on the author's personal experience with 'lEX, which includes writing three books and numerous articles, handouts, and letters. Both introductory and advanced material is included here. There are many examples as well as a detailed discussion of topics, such as valign and emergencystretch, that are only briefly touched upon in The TpJXbook. Chapter 20 describes the macros used to typeset this book; it also lists the METAFONT programs for the special characters used.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Buch. Condition: Neu. Neuware -Several people have asked what motivated us to write a book about commut ing, something that we all do but over which we have very little control. As a matter of fact, the general reaction from professional colleagues and friends alike was first a sort of knowing smile followed by some story. Everyone has a story about a personal commuting experience. Whether it was a problem with a delayed bus, a late arrival, broken-down automobiles, hot trains or subways, during the past year we have heard it all. Many of these stories must be apocryphal because, if they were all true, it is amazing that anyone ever arrived at work on time, at home, or at some other destination. The interest for us likely stems from many factors that over the years have probably influenced our thinking. All of the authors studied and/or grew up in the New York City metropolitan area. For illustration, let's devote a few paragraphs to describing some of the senior author's (Koslowsky's) life experiences. As a young man in New York City, he was a constant user of the New York City subway system. The whole network was and still is quite impressive. For a relatively small sum, one can spend the whole day and night in an underground world (growing up in New York often makes one think that the whole world is contained in its five boroughs).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Condition: Neu. Neuware -The aim of this graduate textbook is to provide a comprehensive advanced course in the theory of statistics covering those topics in estimation, testing, and large sample theory which a graduate student might typically need to learn as preparation for work on a Ph.D. An important strength of this book is that it provides a mathematically rigorous and even-handed account of both Classical and Bayesian inference in order to give readers a broad perspective. For example, the 'uniformly most powerful' approach to testing is contrasted with available decision-theoretic approaches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 724 pp. Englisch.

Buch. Condition: Neu. Neuware -Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli, presents techniques that are useful in building complex embedded systems. These techniques provide a competitive advantage over purely hardware or software implementations of time-constrained embedded systems.Recent advances in chip-level synthesis have made it possible to synthesize application-specific circuits under strict timing constraints. This work advances the state of the art by formulating the problem of system synthesis using both application-specific as well as reprogrammable components, such as off-the-shelf processors. Timing constraints are used to determine what part of the system functionality must be delegated to dedicated application-specific hardware while the rest is delegated to software that runs on the processor. This co-synthesis of hardware and software from behavioral specifications makes it possible to realize real-time embedded systems using off-the-shelf parts and a relatively small amount of application-specific circuitry that can be mapped to semi-custom VLSI such as gate arrays. The ability to perform detailed analysis of timing performance provides the opportunity of improving the system definition by creating better phototypes.Co-Synthesis of Hardware and Software for Digital Embedded Systems is of interest to CAD researchers and developers who want to branch off into the expanding field of hardware/software co-design, as well as to digital system designers who are interested in the present power and limitations of CAD techniques and their likely evolution.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Buch. Condition: Neu. Neuware -Molecular Cardiology for the Cardiologist provides a short, easily readable summary of what the new biology brings to cardiology. With this in mind, special efforts have been made to present many comprehensive schemes and drawings, as well as teaching tables.The five parts of the book provide a general introduction to the new language of biology; the normal structure of the heart and blood vessels; the physiopathology and the new therapeutic avenues that have been opened up by the new biology.A concise summary of the keys that assist the cardiologist or student who seeks to learn and read more about this field. Provides practical examples to illustrate the clinical interest of the new approach.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 274 pp. Englisch.

Buch. Condition: Neu. Neuware -Renowned scientists and practitioners provide a concise summary of current theory, research, and clinical practice regarding traumatic stress. An integrative biopsychosocial theory of trauma response provides a framework for the book. Chapters consider the frequency and likely mental health consequences of a wide range of traumatic events-including military trauma, violent crime, natural and technological disasters, accidental injury, and torture. This comprehensive reference features state-of-the-art psychosocial and biological treatments and community-based intervention strategies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Buch. Condition: Neu. Neuware -As editor of the Springer-Verlag Series in Psychopathology, Lauren Alloy knew of my work in cognitive psychophysiology to study processing anomalies in nonpatients at risk for psychopathology and invited me to edit a book for the series. This evolved into an opportunity to address an aspect of the unfortunate nature-nurture battle in the field, which too often emphasizes genes and macrolevel environment. Extreme positions are often taken (sometimes unwittingly), even though a great deal of the actual research is between the extremes, including laboratory psycho logical and psychophysiological studies. There is more to biology than genes and even more to it than things like brain imaging, enlarged ventricles, glucose metabolism rate, and receptor density, which have received a great deal of attention in recent years. of studies at the One goal of this book is to provide demonstrations intersection between psychology and biology via psychophysiology. In parallel, another goal is to showcase solid psychological research that may bear directly on what are often considered biological issues. For example, Chapter 4, by Walker and colleagues, can be considered classically psychological, because the authors focus on overt behavior. Yet some of the importance of their work is its implication of a particular biological process involved in the gross motor behavior anomalies they have identified in the etiology of schizophrenia. Similarly, whereas in Chapter 7, Klein and Anderson articulate the behavioral high-risk paradigm quite well, in Chapter 10, Yee relies on their approach in pursuing psycho physiological research on risk for depression.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 322 pp. Englisch.

Buch. Condition: Neu. Neuware - Design frameworks have become an important infrastructure for building complex design systems. Electronic Design Automation Frameworks presents a state-of-the-art review of the latest research results covering this topic; results which are also of value for other design frameworks. The book contains the selected proceedings of the Fourth International Working Conference on Electronic Design Frameworks, organized by the International Federation for Information Processing and held in Gramado, Brazil, in November 1994.

Buch. Condition: Neu. Neuware -A virtual prototype is a major interim step towards the creation of a virtual environment. This book explores the simulation, interaction, concepts and tools of virtual prototypes and environments. It provides a mixture of state-of-the-art, advanced research and industrial papers. 364 pp. Englisch.

Buch. Condition: Neu. Neuware -The International Workshop on Quantum Communications and Measurement was held at the University of Nottingham from July 10-16, 1994. It followed the successful meeting on Quantum Aspects of Optical Communications in Paris in November 1990. This time the conference was devoted to mathematical, physical and engineering aspects of quantum noise, signal processing and quantum informa tion in open systems, quantum channels, and optical communications. It brought research workers in the experimental and engineering aspects of quantum optics and communication systems into contact with theoreticians working in quantum probability and measurement theory. The workshop was attended by more than 130 participants from 22 different countries. The largest groups [after the UK (31)] were from Japan (19) and from Russia (14). The subjects discussed included the mathematical foundations of quantum communication systems, experiments and devices, the problem of collapse and continuous measurement, quantum input and output processes, causality and nondemolition observation, squeezed states, quan tum jumps, state diffusion and spontaneous localization, filtering and control in quantum systems, and new quantum optical phenomena and effects, including non classical light. These new mathematical and physical ideas were stimulated by recent advances in generation and detection of light with low quantum noise and the development of techniques for trapping a single atom over an extended period of time, making it possible to observe individual quantum phenomena at the macroscopic level.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.

Buch. Condition: Neu. Neuware -Parallel Language and Compiler Research in Japan offers the international community an opportunity to learn in-depth about key Japanese research efforts in the particular software domains of parallel programming and parallelizing compilers. These are important topics that strongly bear on the effectiveness and affordability of high performance computing systems. The chapters of this book convey a comprehensive and current depiction of leading edge research efforts in Japan that focus on parallel software design, development, and optimization that could be obtained only through direct and personal interaction with the researchers themselves.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 532 pp. Englisch.

Buch. Condition: Neu. Neuware - To a large extent, our lives on this earth depend on systems that operate auto matically. Manysuchsystems can be found in nature and others are man made. These systems can be biological, electrical, mechanical, chemical, or ecological, to namejust a few categories. Our human body is full ofsystems whose conti nued automatic operation is vital for our existence. On a daily basis we come in contact with man made systems whose automatic operation ensures increa sed productivity, promotes economic development and improves the quality of life. A primary component that is responsible for the automatic operation of a system is a device or mechanism called the controller. In man made systems one must first design and then implement such a controller either as a piece of hardware or as software code in a computer. The safe and efficient automatic operation of such systems is testimony to the success of control theorists and practitioners over the years. This book presents new methods {or controller design. The process ofdeveloping a controller or control strategy can be dramatically improved if one can generate an appropriate dynamic model for the system under consideration. Robust control design deals with the question of how to develop such controllers for system models with uncertainty. In many cases dynamic models can be expressed in terms oflinear, time invariant differential equations or transfer functions.

Buch. Condition: Neu. Neuware - Arbeitshypothesen sind revidierbar, deklarierten Wahrheiten nicht, sie verkalken zum System; Arbeitshypothesen passen sich den Menschen an, den deklarierten Wahrheiten wird der Mensch angepajJt; die ersten kann mann verwerfen, von den anderen wird man verworfen. FRIEDRICH DORRBNMATI, Nachgedanken Working hypotheses can be revised,' declared truths cannot-they calcify into dogma. Working hypotheses adapt to people-people adapt to declared truths. One can reject the first but be rejected by the latter. The concept of electron crystallography, i.e., the quantitative use of electron diffraction intensities to solve crystal structures, is by no means new. Based on extensive pioneering efforts on organic and inorganic substances, two major works on electron diffraction structure analysis (or 'electronography' as it was then known in Moscow) appeared in English translation during the 19608. These books are B. K. Vainshtein, Strukturnaya Elektronografiya (Structure Analysis by Electron Diffrac tion, translated by E. Feigl andJ. A. Spink, Pergamon Press, Oxford, 1964), and B. B.

Buch. Condition: Neu. Neuware - TC8 is one of IFIP's most active committees. This book focusses on information systems support for organisations looking particularly at business process reengineering, co-operation between organisations and support for improved work flow in organisations. These are topical subjects and will appeal to both business and research communities.

Buch. Condition: Neu. Neuware - This is a compilation of papers presented at the Information System Concepts conference in Marburg, Germany. The special focus is consolidation and harmonisation of the numerous and widely diverging views in the field of information systems. This issue has become a hot topic, as many leading information system researchers and practitioners come to realise the importance of better communication among the members of the information systems community, and of a better scientific foundation of this rapidly evolving field.

Buch. Condition: Neu. Neuware - The communication of information is a crucial point in the development of our future way of life. We are living more and more in an information society. Perhaps the more obvious applications are those devoted to distributed cooperative multimedia systems. In both industry and academia, people are involved in such projects. HPN'95 is an international forum where both communities can find a place for dialogues and interchanges. The conference is targeted to the new mechanisms, protocols, services and architectures derived from the need of emerging applications, as well as from the requirements of new communication environments. This workshop belongs to the series started in 1987 in Aachen (Germany), followed by Liege (Belgium) in 1988, Berlin (Germany) in 1991, Liege (Belgium) again in 1992 and Grenoble (France) in 1994. HPN'95 is the sixth event of the series sponsored by IFIP WG 6.4 and will be held at the Arxiduc Lluis Salvador building on the campus of the University of the Balearic Islands in Palma de Mallorca (Spain) from September 13 to 15.

Buch. Condition: Neu. Neuware - Technical and Biological Components of Marrow Transplantation presents up to date information on the scientific and technological advances that will extend and improve the clinical application of bone marrow transplantation. The book includes the latest information on chronic myeloid leukemia and thalassemia; advances in supportive care: cytokines and progenitor expansion; and cord stem cell technology. Soon more of patients will receive marrow transplants as part of the therapy for solid tumors and metabolic disease than for the treatment of hematologic disease. The contributors to this volume describe some of these applications, hinting at yet further, exciting possibilities.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Designed for senior electrical engineering students, this textbook explores the theoretical concepts of digital signal processing and communication systems by presenting laboratory experiments using real-time DSP hardware. Each experiment begins with a presentation of the required theory and concludes with instructions for performing them. Engineering students gain experience in working with equipment commonly used in industry. This text features DSP-based algorithms for transmitter and receiver functions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Based on a five-year evaluation of an $80 million U.S. Army demonstration program, this first-of-its kind study explores the cost effectiveness of a managed care model of service delivery for children and adolescents with mental health and substance addiction problems. Contributions report on the quality, cost, and clinical outcome and raise critical questions about the effectiveness of mental health services and their delivery in community settings. Chapters describe new approaches to measurement and provide analyses assisting future research on managed care. 256 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Partial differential equations play a central role in many branches of science and engineering. Therefore it is important to solve problems involving them. One aspect of solving a partial differential equation problem is to show that it is well-posed, i. e. , that it has one and only one solution, and that the solution depends continuously on the data of the problem. Another aspect is to obtain detailed quantitative information about the solution. The traditional method for doing this was to find a representation of the solution as a series or integral of known special functions, and then to evaluate the series or integral by numerical or by asymptotic methods. The shortcoming of this method is that there are relatively few problems for which such representations can be found. Consequently, the traditional method has been replaced by methods for direct solution of problems either numerically or asymptotically. This article is devoted to a particular method, called the 'ray method,' for the asymptotic solution of problems for linear partial differential equations governing wave propagation. These equations involve a parameter, such as the wavelength. . , which is small compared to all other lengths in the problem. The ray method is used to construct an asymptotic expansion of the solution which is valid near . . = 0, or equivalently for k = 21r I A near infinity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In 1991, a new international standard for Fortran was released which contained specifications for a new version of the language known as Fortran 90. It provides for dramatic extensions to previous Fortran versions. This book is a comprehensive tutorial to Fortran 90 that relies mainly on a large number of short, but complete programming examples to illustrate the differences between the new language and traditional Fortran. The author gives thorough explanations of terminology and concepts which were not in general use before the release of the new standard. Readers are assumed to have a working knowledge of one of the earlier versions of Fortran, but otherwise no prior knowledge of Fortran 90 is assumed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Knowledge acquisition is one of the most important aspects influencing the quality of methods used in artificial intelligence and the reliability of expert systems. The various issues dealt with in this volume concern many different approaches to the handling of partial knowledge and to the ensuing methods for reasoning and decision making under uncertainty, as applied to problems in artificial intelligence. The volume is composed of the invited and contributed papers presented at the Workshop on Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, held at the Ettore Majorana Center for Scientific Culture of Erice (Sicily, Italy) on June 19-25, 1994, in the framework of the International School of Mathematics 'G.Stampacchia'. It includes also a transcription of the roundtable held during the workshop to promote discussions on fundamental issues, since in the choice of invited speakers we have tried to maintain a balance between the various schools of knowl edge and uncertainty modeling. Choquet expected utility models are discussed in the paper by Alain Chateauneuf: they allow the separation of perception of uncertainty or risk from the valuation of outcomes, and can be of help in decision mak ing. Petr Hajek shows that reasoning in fuzzy logic may be put on a strict logical (formal) basis, so contributing to our understanding of what fuzzy logic is and what one is doing when applying fuzzy reasoning. 324 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume covers many aspects of multimedia and communications security, from national security policies to file server architectures, from hypertext documents to specialized cryptographic algorithms. It provides the interested reader with a spectrum of up-to-the-minute knowledge on the topics covered.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The integration of manufacturing planning functions, using artificial intelligence techniques, is essential for the effective and efficient operation of advanced manufacturing systems. This book provides an introduction to the integration of intelligent manufacturing systems for both present and next generation manufacturing. Because of its central importance, the book emphasizes the integration of the process planning functions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 354 pp. Englisch.