springer new york springer us aug 1995 (18 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 -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.

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 -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.

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 -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 -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 -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.

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 - 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.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Within the framework of so-called second generation expert systems [62] knowledge modeling is one of the most important aspects. On the one hand, knowledge acquisition is no longer seen as a knowledge transfer process, rather it is now considered as model construction process which is typically a cyclic and error prone process. On the other hand, the distinction between knowledge and symbol level descriptions [166] resulted in various proposals for conceptual knowledge models describing knowledge in an implementation independent way. One of the most prominent examples of such a conceptual model is the KADS model of expertise which is characterized by its clear distinction of different know ledge types and by the usage of specific modeling primitives to describe these different knowledge types [185]. The semi formal KADS expertise model entails all the advantages and disadvantages which have been identified for semi-formal system models e.g. in the software engineering community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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 -Thrips (fhysanoptera) are very small insects, widespread throughout the world with a preponderance of tropical species, many temperate ones, and even a few living in arctic regions. Of the approximately 5,000 species so far identified, only a few hundred are crop pests, causing serious damage or transmitting diseases to growing crops and harvestable produce in most countries. Their fringed wings confer a natural ability to disperse widely, blown by the wind. Their minute size and cryptic behavior make them difficult to detect either in the field or in fresh vegetation transported during international trade of vegetables, fruit and ornamental flowers. Many species have now spread from their original natural habitats and hosts to favorable new environments where they often reproduce rapidly to develop intense damaging infestations that are costly to control. Over the past decade there have been several spectacular examples of this. The western flower thrips has expanded its range from the North American continent to Europe, Australia and South Africa. Thrips palmi has spread from its presumed origin, the island of Sumatra, to the coast of Florida, and threatens to extend its distribution throughout North and South America. Pear thrips, a known orchard pest of Europe and the western United States and Canada has recently become a major defoliator of hardwood trees in Vermont and the neighboring states. Local outbreaks of other species are also becoming problems in field and glasshouse crops as the effectiveness of insecticides against them decline.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 656 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In this easily-accessible textbook, the authors integrate the ill-posed problem theory and its underlying mathematical apparatus. This comprehensive work includes descriptions of recent results and a presentation of actual applications of the ill-posed problem theory. The first part of the book describes the differentiation of normed space mappings, the integration of the functions of abstract variables, and the theory of linear operators. The second section deals with the mathematical physics connected to integral equations of the first type, and with the bases of operator equation theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Assessment is a topic that is central to psychology. In the case of clinical psychology, assessment of individual functioning is of keen interest to individuals involved in clinical practice as well as research. Understand ing the multiple domains of functioning, evaluating characteristics of individuals in relation to others (normative assessment) as well as in relation to themselves (ipsative assessment), and charting progress or change over time all require well-developed assessment tools and methods. In light of the importance of the topic, books, journals, and monographs continue to emerge in large numbers to present, address, and evaluate diverse measures. Keeping informed about measures, identifying the mea sures in use, and obtaining the necessary information for their interpreta tion make the task of Sisyphus look like a vacation. In this book, the editors provide information that eases the task remarkably. The overriding goal of this book is to provide concise, useful, and essential information about measures of adult functioning. To that end, this is a sourcebook, a format that is particularly noteworthy. The mea sures are presented and organized according to diagnostic categories, as derived from the Diagnostic and Statistical Manual of Mental Disorders (DSM-IV). The categories are broad (e. g. , substance-related disorders, anx iety disorders, mood disorders, schizophrenia and related disorders) in recognition that those who develop measures and those who use them in clinical research or practice usually do not have narrowly defined diagnos tic entities in mind.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 492 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Incorporating all recent developments and applications of crystallization technology, this volume offers a clear account of the field's underlying principles, reviews of past and current research, and provides guidelines for equipment and process design. The book takes a balanced functional approach in its critical survey of research literature, and includes several problems based on real practical situations that illustrate theoretical development. Several new concepts and techniques used in process simulation and identification analysis are featured.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 560 pp. Englisch.